Stephen Gilmore
Stephen Gilmore
Professor of Software Systems Modelling, The University of Edinburgh
Email verificata su inf.ed.ac.uk - Home page
Titolo
Citata da
Citata da
Anno
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
3991994
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
2062006
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
2062004
Scalable differential analysis of process algebra models
M Tribastone, S Gilmore, J Hillston
IEEE Transactions on Software Engineering 38 (1), 205-219, 2010
1352010
Flexible skeletal programming with eSkel
A Benoit, M Cole, S Gilmore, J Hillston
Euro-Par 2005 Parallel Processing, 613-613, 2005
1272005
An efficient algorithm for aggregating PEPA models
S Gilmore, J Hillston, M Ribaudo
IEEE Transactions on Software Engineering 27 (5), 449-464, 2001
1242001
PEPA nets: a structured performance modelling formalism
S Gilmore, J Hillston, L Kloul, M Ribaudo
Performance Evaluation 54 (2), 79-104, 2003
1032003
The PEPA eclipse plugin
M Tribastone, A Duguid, S Gilmore
ACM SIGMETRICS Performance Evaluation Review 36 (4), 28-33, 2009
962009
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
942005
Semantic-based development of service-oriented systems
M Wirsing, A Clark, S Gilmore, M Hlzl, A Knapp, N Koch, A Schroeder
Formal Techniques for Networked and Distributed Systems-FORTE 2006, 24-45, 2006
932006
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
Stochastic process algebras
A Clark, S Gilmore, J Hillston, M Tribastone
Formal Methods for Performance Evaluation, 132-179, 2007
852007
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
772003
Experiences with the PEPA performance modelling tools
G Clark, S Gilmore, J Hillston, N Thomas
IEE Proceedings-Software 146 (1), 11-19, 1999
751999
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
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
702008
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
682008
Dynamic ML without dynamic types
S Gilmore, D Kirli, CD Walton
University of Edinburgh, 1997
661997
Specifying performance measures for PEPA
G Clark, S Gilmore, J Hillston
Formal Methods for Real-Time and Probabilistic Systems, 211-227, 1999
641999
Non-functional properties in the model-driven development of service-oriented systems
S Gilmore, L Gnczy, N Koch, P Mayer, M Tribastone, D Varr
Software and Systems Modeling 10 (3), 287-311, 2011
612011
Il sistema al momento non pu eseguire l'operazione. Riprova pi tardi.
Articoli 1–20