Stephen Gilmore
Stephen Gilmore
Professor of Software Systems Modelling, The University of Edinburgh
Dirección de correo verificada de inf.ed.ac.uk - Página principal
Título
Citado por
Citado por
Año
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
3821994
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
2012006
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
2012004
Scalable differential analysis of process algebra models
M Tribastone, S Gilmore, J Hillston
IEEE Transactions on Software Engineering 38 (1), 205-219, 2010
1242010
An efficient algorithm for aggregating PEPA models
S Gilmore, J Hillston, M Ribaudo
IEEE Transactions on Software Engineering 27 (5), 449-464, 2001
1212001
Flexible skeletal programming with eSkel
A Benoit, M Cole, S Gilmore, J Hillston
Euro-Par 2005 Parallel Processing, 613-613, 2005
1182005
PEPA nets: a structured performance modelling formalism
S Gilmore, J Hillston, L Kloul, M Ribaudo
Performance Evaluation 54 (2), 79-104, 2003
1002003
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
932005
The PEPA eclipse plugin
M Tribastone, A Duguid, S Gilmore
ACM SIGMETRICS Performance Evaluation Review 36 (4), 28-33, 2009
912009
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
902006
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
792007
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
742003
Experiences with the PEPA performance modelling tools
G Clark, S Gilmore, J Hillston, N Thomas
IEE Proceedings-Software 146 (1), 11-19, 1999
731999
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
722008
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
722003
Dynamic ML without dynamic types
S Gilmore, D Kirli, CD Walton
University of Edinburgh, 1997
651997
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
642008
Specifying performance measures for PEPA
G Clark, S Gilmore, J Hillston
Formal Methods for Real-Time and Probabilistic Systems, 211-227, 1999
631999
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
602011
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20