The PEPA workbench: a tool to support a process algebra-based approach to performance modelling S Gilmore, J Hillston Computer Performance Evaluation Modelling Techniques and Tools, 353-368, 1994 | 435 | 1994 |
Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA M Calder, S Gilmore, J Hillston Transactions on computational systems biology VII, 1-23, 2006 | 216 | 2006 |
Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA M Calder, S Gilmore, J Hillston Transactions on Computational Systems Biology, 2004 | 216 | 2004 |
Scalable differential analysis of process algebra models M Tribastone, S Gilmore, J Hillston IEEE Transactions on Software Engineering 38 (1), 205-219, 2010 | 144 | 2010 |
Flexible skeletal programming with eSkel A Benoit, M Cole, S Gilmore, J Hillston Euro-Par 2005 Parallel Processing, 613-613, 2005 | 138 | 2005 |
An efficient algorithm for aggregating PEPA models S Gilmore, J Hillston, M Ribaudo IEEE Transactions on Software Engineering 27 (5), 449-464, 2001 | 127 | 2001 |
The PEPA eclipse plugin M Tribastone, A Duguid, S Gilmore ACM SIGMETRICS Performance Evaluation Review 36 (4), 28-33, 2009 | 114 | 2009 |
PEPA nets: a structured performance modelling formalism S Gilmore, J Hillston, L Kloul, M Ribaudo Performance Evaluation 54 (2), 79-104, 2003 | 108 | 2003 |
Stochastic process algebras A Clark, S Gilmore, J Hillston, M Tribastone Formal Methods for Performance Evaluation, 132-179, 2007 | 98 | 2007 |
Automatically deriving ODEs from process algebra models of signalling pathways M Calder, S Gilmore, J Hillston Proceedings of Computational Methods in Systems Biology (CMSB 2005) 204215, 2005 | 97 | 2005 |
Semantic-based development of service-oriented systems M Wirsing, A Clark, S Gilmore, M Hölzl, A Knapp, N Koch, A Schroeder Formal Techniques for Networked and Distributed Systems-FORTE 2006, 24-45, 2006 | 95 | 2006 |
Mobile resource guarantees for smart devices D Aspinall, S Gilmore, M Hofmann, D Sannella, I Stark Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, 1-26, 2005 | 87 | 2005 |
The PEPA performance modelling tools G Clark, S Gilmore, J Hillston Proceedings of the Seventh Annual Workshop on Process Algebra and …, 1999 | 87* | 1999 |
Derivation of passage-time densities in PEPA models using ipc: the Imperial PEPA Compiler JT Bradley, NJ Dingle, ST Gilmore, WJ Knottenbelt Modeling, Analysis and Simulation of Computer Telecommunications Systems …, 2003 | 83 | 2003 |
Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models JT Bradley, ST Gilmore, J Hillston Journal of Computer and System Sciences 74 (6), 1013-1032, 2008 | 74 | 2008 |
Performance modelling with UML and stochastic process algebras C Canevet, S Gilmore, J Hillston, M Prowse, P Stevens IEE Proceedings: Computers and Digital Techniques 150 (2), 107-120, 2003 | 74 | 2003 |
Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile M Tribastone, S Gilmore Proceedings of the 7th International Workshop on Software and Performance, 67-78, 2008 | 72 | 2008 |
Non-functional properties in the model-driven development of service-oriented systems S Gilmore, L Gönczy, N Koch, P Mayer, M Tribastone, D Varró Software and Systems Modeling 10 (3), 287-311, 2011 | 67 | 2011 |
Specifying performance measures for PEPA G Clark, S Gilmore, J Hillston Formal Methods for Real-Time and Probabilistic Systems, 211-227, 1999 | 67 | 1999 |
Stronger computational modelling of signalling pathways using both continuous and discrete-state methods M Calder, A Duguid, S Gilmore, J Hillston Computational Methods in Systems Biology, 63-77, 2006 | 65 | 2006 |