Follow
Stephen Gilmore
Stephen Gilmore
Professor of Software Systems Modelling, The University of Edinburgh
Verified email at inf.ed.ac.uk - Homepage
Title
Cited by
Cited by
Year
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
4341994
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
2152006
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
2152004
Scalable differential analysis of process algebra models
M Tribastone, S Gilmore, J Hillston
IEEE Transactions on Software Engineering 38 (1), 205-219, 2010
1442010
Flexible skeletal programming with eSkel
A Benoit, M Cole, S Gilmore, J Hillston
Euro-Par 2005 Parallel Processing, 613-613, 2005
1382005
An efficient algorithm for aggregating PEPA models
S Gilmore, J Hillston, M Ribaudo
IEEE Transactions on Software Engineering 27 (5), 449-464, 2001
1252001
The PEPA eclipse plugin
M Tribastone, A Duguid, S Gilmore
ACM SIGMETRICS Performance Evaluation Review 36 (4), 28-33, 2009
1132009
PEPA nets: a structured performance modelling formalism
S Gilmore, J Hillston, L Kloul, M Ribaudo
Performance Evaluation 54 (2), 79-104, 2003
1072003
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
972005
Stochastic process algebras
A Clark, S Gilmore, J Hillston, M Tribastone
Formal Methods for Performance Evaluation, 132-179, 2007
962007
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
952006
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
872005
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
832003
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
742008
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
742003
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
722008
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
662011
Specifying performance measures for PEPA
G Clark, S Gilmore, J Hillston
Formal Methods for Real-Time and Probabilistic Systems, 211-227, 1999
661999
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
652006
The system can't perform the operation now. Try again later.
Articles 1–20