| 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 | 446 | 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 | 221 | 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 | 221 | 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 | 140 | 2005 |
| An efficient algorithm for aggregating PEPA models S Gilmore, J Hillston, M Ribaudo IEEE Transactions on Software Engineering 27 (5), 449-464, 2002 | 128 | 2002 |
| 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 | 109 | 2003 |
| 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 | 101 | 2005 |
| Stochastic process algebras A Clark, S Gilmore, J Hillston, M Tribastone Formal Methods for Performance Evaluation, 132-179, 2007 | 99 | 2007 |
| 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 | 88 | 2005 |
| The PEPA performance modelling tools G Clark, S Gilmore, J Hillston Proceedings of the Seventh Annual Workshop on Process Algebra and …, 1999 | 86* | 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 | 82 | 2003 |
| Performance modelling with the unified modelling language 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 | 76 | 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 | 75 | 2008 |
| 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 | 73 | 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 |
| 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 | 67 | 2006 |
| Dynamic ML without dynamic types S Gilmore, D Kirli, CD Walton University of Edinburgh, 1997 | 67 | 1997 |
