Stephen Gilmore
Stephen Gilmore
Professor of Software Systems Modelling, The University of Edinburgh
Dirección de correo verificada de - Página principal
Citado por
Citado por
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
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
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
Scalable differential analysis of process algebra models
M Tribastone, S Gilmore, J Hillston
IEEE Transactions on Software Engineering 38 (1), 205-219, 2010
Flexible skeletal programming with eSkel
A Benoit, M Cole, S Gilmore, J Hillston
Euro-Par 2005 Parallel Processing, 613-613, 2005
An efficient algorithm for aggregating PEPA models
S Gilmore, J Hillston, M Ribaudo
IEEE Transactions on Software Engineering 27 (5), 449-464, 2001
The PEPA eclipse plugin
M Tribastone, A Duguid, S Gilmore
ACM SIGMETRICS Performance Evaluation Review 36 (4), 28-33, 2009
PEPA nets: a structured performance modelling formalism
S Gilmore, J Hillston, L Kloul, M Ribaudo
Performance Evaluation 54 (2), 79-104, 2003
Stochastic process algebras
A Clark, S Gilmore, J Hillston, M Tribastone
Formal Methods for Performance Evaluation, 132-179, 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
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
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
The PEPA performance modelling tools
G Clark, S Gilmore, J Hillston
Proceedings of the Seventh Annual Workshop on Process Algebra and …, 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
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
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
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
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
Specifying performance measures for PEPA
G Clark, S Gilmore, J Hillston
Formal Methods for Real-Time and Probabilistic Systems, 211-227, 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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20