| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mirco Tribastone, Stephen Gilmore, Jane Hillston |
Scalable Differential Analysis of Process Algebra Models.  |
IEEE Trans. Software Eng.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Gilmore, László Gönczy, Nora Koch, Philip Mayer, Mirco Tribastone, Dániel Varró |
Non-functional properties in the model-driven development of service-oriented systems. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Niaz Arijo, Reiko Heckel, Mirco Tribastone, Stephen Gilmore |
Modular performance modelling for mobile applications (abstracts only). |
SIGMETRICS Performance Evaluation Review |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Cappello, Allan Clark, Stephen Gilmore, Diego Latella, Michele Loreti, Paola Quaglia, Stefano Schivo |
Quantitative Analysis of Services. |
Results of the SENSORIA Project |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirco Tribastone, Stephen Gilmore |
Scaling Performance Analysis Using Fluid-Flow Approximation. |
Results of the SENSORIA Project |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Allan Clark, Stephen Gilmore |
Evaluating Service Level Agreements Using Observational Probes. |
Results of the SENSORIA Project |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Allan Clark, Adam Duguid, Stephen Gilmore |
Passage-End Analysis for Analysing Robot Movement. |
Results of the SENSORIA Project |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Coles, Amanda Jane Coles, Allan Clark, Stephen Gilmore |
Cost-Sensitive Concurrent Planning Under Duration Uncertainty for Service-Level Agreements. |
ICAPS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jason Liu, Francesco Quaglia, Stephan Eidenbenz, Stephen Gilmore (eds.) |
4th International ICST Conference on Simulation Tools and Techniques, SIMUTools '11, Barcelona, Spain, March 22 - 24, 2011 |
SIMUTools |
2011 |
DBLP BibTeX RDF |
|
| 1 | Niaz Arijo, Reiko Heckel, Mirco Tribastone, Stephen Gilmore |
Modular performance modelling for mobile applications. |
ICPE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. A. Smith, Stephen Gilmore |
Visualisation for Stochastic Process Algebras: The Graphic Truth. |
EPEW |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Erol Gelenbe, Stephen Gilmore |
Discussants' Comments on the Computer Journal Lecture by Peter Harrison presented at the British Computer Society on 24th February 2009. |
Comput. J. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Allan Clark, Stephen Gilmore, Maria Luisa Guerriero, Peter Kemper |
On verifying Bio-PEPA models. |
CMSB |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Allan Clark, Jane Hillston, Stephen Gilmore, Peter Kemper |
VERIFICATION AND TESTING OF BIOLOGICAL MODELS. |
Winter Simulation Conference |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Federica Ciocchetta, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston |
Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Allan Clark, Stephen Gilmore |
Transient calculations on process algebra derived Markov chains. |
IET Software |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirco Tribastone, Adam Duguid, Stephen Gilmore |
The PEPA eclipse plugin. |
SIGMETRICS Performance Evaluation Review |
2009 |
DBLP DOI BibTeX RDF |
Eclipse |
| 1 | Allan Clark, Stephen Gilmore, Mirco Tribastone |
Scalable Analysis of Scalable Systems. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Allan Clark, Stephen Gilmore, Mirco Tribastone |
Quantitative Analysis of Web Services Using SRMC. |
SFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Federica Ciocchetta, Adam Duguid, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston |
The Bio-PEPA Tool Suite. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Allan Clark, Adam Duguid, Stephen Gilmore |
Passage-End Analysis. |
EPEW |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Duguid, Stephen T. Gilmore, Maria Luisa Guerriero, Jane Hillston, Laurence Loewe |
Design and Development of Software Tools for Bio-PEPA. |
Winter Simulation Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Muffy Calder, Stephen Gilmore |
Preface. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Gilmore, Jane Hillston |
Foreword. |
SIGMETRICS Performance Evaluation Review |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Gilmore, Jane Hillston |
Performance evaluation comes to life: quantitative methods applied to biological systems. |
SIGMETRICS Performance Evaluation Review |
2008 |
DBLP DOI BibTeX RDF |
biochemical signalling pathways, systems biology, stochastic process algebra |
| 1 | Allan Clark, Stephen Gilmore, Mirco Tribastone |
Service-Level Agreements for Service-Oriented Computing. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jane Hillston, Federica Ciocchetta, Adam Duguid, Stephen Gilmore |
Integrated Analysis from Abstract Stochastic Process Algebra Models. |
CMSB |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Degasperi, Stephen Gilmore |
Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions. |
SFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirco Tribastone, Stephen Gilmore |
Automatic Translation of UML Sequence Diagrams into PEPA Models. |
QEST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashok Argent-Katwala, Allan Clark, Howard Foster, Stephen Gilmore, Philip Mayer, Mirco Tribastone |
Safety and Response-Time Analysis of an Automotive Accident Assistance Service. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró |
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirco Tribastone, Stephen Gilmore |
Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile. |
WOSP |
2008 |
DBLP DOI BibTeX RDF |
pepa, uml, marte |
| 1 | Allan Clark, Adam Duguid, Stephen Gilmore, Mirco Tribastone |
Partial Evaluation of PEPA Models for Fluid-Flow Analysis. |
EPEW |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Allan Clark, Stephen Gilmore |
State-Aware Performance Analysis with eXtended Stochastic Probes. |
EPEW |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy T. Bradley, Stephen T. Gilmore, Jane Hillston |
Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models. |
J. Comput. Syst. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gagarine Yaikhom, Murray Cole, Stephen Gilmore, Jane Hillston |
A Structural Approach for Modelling Performance of Systems Using Skeletons. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Knapp, Stephan Janisch, Rolf Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister, Martin Wirsing |
Modelling the CoCoME with the Java/AComponent Model. |
CoCoME |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Muffy Calder, Stephen Gilmore (eds.) |
Computational Methods in Systems Biology, International Conference, CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings |
CMSB |
2007 |
DBLP BibTeX RDF |
|
| 1 | Allan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone |
Stochastic Process Algebras. |
SFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Bravetti, Stephen Gilmore, Claudio Guidi, Mirco Tribastone |
Replicating Web Services for Scalability. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashok Argent-Katwala, Jeremy T. Bradley, Allan Clark, Stephen Gilmore |
Location-Aware Quality of Service Measurements for Service-Level Agreements. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Muffy Calder, Stephen Gilmore, Jane Hillston |
Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA. |
T. Comp. Sys. Biology |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder |
Semantic-Based Development of Service-Oriented Systems. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gagarine Yaikhom, Murray Cole, Stephen Gilmore |
Combining Measurement and Stochastic Modelling to Enhance Scheduling Decisions for a Parallel Mean Value Analysis Algorithm. |
International Conference on Computational Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Gilmore, Valentin Haenel, Jane Hillston, Jennifer Tenzer |
A design environment for mobile applications. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Allan Clark, Stephen Gilmore |
Evaluating Quality of Service for Service Level Agreements. |
FMICS/PDMC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Muffy Calder, Adam Duguid, Stephen Gilmore, Jane Hillston |
Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods. |
CMSB |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro |
SensoriaProcess Calculi for Service-Oriented Computing. |
TGC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen T. Gilmore, Olha Shkaravska |
Estimating the Cost of Native Method Calls for Resource-bounded Functional Programming Languages. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy T. Bradley, Stephen T. Gilmore |
Stochastic Simulation Methods Applied to a Secure Electronic Voting Model. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen T. Gilmore, Mirco Tribastone |
Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System. |
WS-FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas |
Performance analysis of stochastic process algebra models using stochastic simulation. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Gilmore, Kenneth MacKenzie, Nicholas Wolverson |
Extending resource-bounded functional programming languages with mutable state and concurrency. |
Scalable Computing: Practice and Experience |
2005 |
DBLP BibTeX RDF |
|
| 1 | Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston |
Evaluating the performance of pipeline-structured parallel programs with skeletons and process algebra. |
Scalable Computing: Practice and Experience |
2005 |
DBLP BibTeX RDF |
|
| 1 | Stephen Gilmore, Matthew Prowse |
Proof-carrying Bytecode. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston |
Scheduling Skeleton-Based Grid Applications Using PEPA and NWS. |
Comput. J. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston |
Flexible Skeletal Programming with eSkel. |
Euro-Par |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston |
Enhancing the effective utilisation of grid clusters by exploiting on-line performability analysis. |
CCGRID |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikael Buchholtz, Stephen Gilmore, Valentin Haenel, Carlo Montangero |
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform. |
FM |
2005 |
DBLP DOI BibTeX RDF |
UML, performance analysis, security analysis, process calculi |
| 1 | Stephen Gilmore (eds.) |
Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, TFP 2003, Edinburgh, United Kingdom, 11-12 September 2003. |
Trends in Functional Programming |
2005 |
DBLP BibTeX RDF |
|
| 1 | Donald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth MacKenzie, Alberto Momigliano, Olha Shkaravska |
Mobile Resource Guarantees (project evaluation paper). |
Trends in Functional Programming |
2005 |
DBLP BibTeX RDF |
|
| 1 | Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston |
Using eSkel to Implement the Multiple Baseline Stereo Application. |
PARCO |
2005 |
DBLP BibTeX RDF |
|
| 1 | Stephen Gilmore, Valentin Haenel, Leïla Kloul, Monika Maidl |
Choreographing Security and Performance Analysis for Web Services. |
EPEW/WS-FM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikael Buchholtz, Stephen T. Gilmore, Jane Hillston, Flemming Nielson |
Securing Statically-verified Communications Protocols Against Timing Attacks. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Gilmore, Valentin Haenel, Jane Hillston, Leïla Kloul |
PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application. |
FORTE Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston |
Evaluating the Performance of Skeleton-Based High Level Parallel Programs. |
International Conference on Computational Science |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Gilmore |
Extending Camelot with Mutable State and Concurrency. |
International Conference on Computational Science |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark |
Mobile Resource Guarantees for Smart Devices. |
CASSIS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo |
Software performance modelling using PEPA nets. |
WOSP |
2004 |
DBLP DOI BibTeX RDF |
PEPA nets, performance analysis, mobile objects |
| 1 | C. Canevet, Stephen Gilmore, Jane Hillston, Leïla Kloul, Perdita Stevens |
Analysing UML 2.0 activity diagrams in the software performance engineering process. |
WOSP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Gilmore, Leïla Kloul, Davide Piazza |
Modelling Role-Playing Games Using PEPA Nets. |
ISCIS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas |
How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results. |
FORTE Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo |
PEPA nets: a structured performance modelling formalism. |
Perform. Eval. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Gilmore, Jane Hillston, Leïla Kloul |
PEPA Nets. |
MASCOTS Tutorials |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Gilmore, Leïla Kloul |
A Unified Tool for Performance Modelling and Prediction. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami |
Performance Evaluation for Global Computation. |
Global Computing |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy T. Bradley, Nicholas J. Dingle, Stephen T. Gilmore, William J. Knottenbelt |
Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler. |
MASCOTS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Gilmore, Jane Hillston, Marina Ribaudo |
PEPA Nets: A Structured Performance Modelling Formalism. |
Computer Performance Evaluation / TOOLS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Gilmore, Marco A. Palomino |
Monitoring and Controlling Distributed Applications with Relocatable Objects. (PDF / PS) |
CCGRID |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Gilmore, Jane Hillston, Marina Ribaudo |
An Efficient Algorithm for Aggregating PEPA Models. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
model aggregation, performance evaluation tools, Performance modeling, stochastic process algebras |
| 1 | Luca de Alfaro, Stephen Gilmore (eds.) |
Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001, Proceedings |
PAPM-PROBMIV |
2001 |
DBLP BibTeX RDF |
|
| 1 | Chris Walton, Dilsun Kirli Kaynar, Stephen Gilmore |
An abstract machine model of dynamic module replacement. |
Future Generation Comp. Syst. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Graham Clark, Stephen Gilmore, Jane Hillston, Marina Ribaudo |
Exploiting Modal Logic to Express Performance Measures. |
Computer Performance Evaluation / TOOLS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Gilmore (eds.) |
Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000 |
Scottish Functional Programming Workshop |
2000 |
DBLP BibTeX RDF |
|
| 1 | Graham Clark, Stephen Gilmore, Jane Hillston, Nigel Thomas |
Experiences with the PEPA performance modelling. |
IEE Proceedings - Software |
1999 |
DBLP BibTeX RDF |
|
| 1 | Stephen Gilmore |
Deep Type Inference for Mobile Functions. |
Scottish Functional Programming Workshop |
1999 |
DBLP BibTeX RDF |
|
| 1 | Graham Clark, Stephen Gilmore, Jane Hillston |
Specifying Performance Measures for PEPA. |
ARTS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Gilmore, Jane Hillston |
Process Algebras and their Application to Performance Modelling: Proceedings of the Third Workshop on Process Algebra and Performance Modelling Edinburgh, Scotland. |
Comput. J. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Gilmore, Jane Hillston |
The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. |
Computer Performance Evaluation |
1994 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")