| 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 | 439 | 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 | 217 | 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 | 217 | 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 | 139 | 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 | 115 | 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 | 101 | 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 | 98 | 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 |
| The PEPA performance modelling tools G Clark, S Gilmore, J Hillston Proceedings of the Seventh Annual Workshop on Process Algebra and …, 1999 | 87* | 1999 |
| 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 | 86 | 2005 |
| 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 the unified modelling language and stochastic process algebras C Canevet, S Gilmore, J Hillston, M Prowse, P Stevens IEE Proceedings on 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 |
| Specifying performance measures for PEPA G Clark, S Gilmore, J Hillston Formal Methods for Real-Time and Probabilistic Systems, 211-227, 1999 | 68 | 1999 |
| 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 |
| 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 | 66 | 2006 |
