Stephen Gilmore
Stephen Gilmore
Professor of Software Systems Modelling, The University of Edinburgh
Verified email at inf.ed.ac.uk - Homepage
TitleCited byYear
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
3701994
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
1952006
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
1952004
An efficient algorithm for aggregating PEPA models
S Gilmore, J Hillston, M Ribaudo
IEEE Transactions on Software Engineering 27 (5), 449-464, 2001
1212001
Scalable differential analysis of process algebra models
M Tribastone, S Gilmore, J Hillston
IEEE Transactions on Software Engineering 38 (1), 205-219, 2010
1202010
Flexible skeletal programming with eSkel
A Benoit, M Cole, S Gilmore, J Hillston
Euro-Par 2005 Parallel Processing, 613-613, 2005
1142005
PEPA nets: a structured performance modelling formalism
S Gilmore, J Hillston, L Kloul, M Ribaudo
Performance Evaluation 54 (2), 79-104, 2003
922003
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
912005
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
892006
The PEPA eclipse plug-in
M Tribastone, A Duguid, S Gilmore
Performance Evaluation Review 36 (4), 28, 2009
882009
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
812005
Stochastic process algebras
A Clark, S Gilmore, J Hillston, M Tribastone
Formal Methods for Performance Evaluation, 132-179, 2007
752007
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
732003
Experiences with the PEPA performance modelling tools
G Clark, S Gilmore, J Hillston, N Thomas
IEE Proceedings-Software 146 (1), 11-19, 1999
721999
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
712008
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
682003
Dynamic ML without dynamic types
S Gilmore, D Kirli, CD Walton
University of Edinburgh, 1997
631997
Specifying performance measures for PEPA
G Clark, S Gilmore, J Hillston
Formal Methods for Real-Time and Probabilistic Systems, 211-227, 1999
621999
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
592008
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
562006
The system can't perform the operation now. Try again later.
Articles 1–20