Professor Stephen Gilmore
School of Informatics
The University of Edinburgh
Informatics Forum (Room 3.47)
10 Crichton Street
Edinburgh EH8 9AB
Email: Stephen.Gilmore@ed.ac.uk
Phone: +44 (0)131 650 5189
Biography — Projects — Publications —
Students — Teaching — Conferences — Family — DBLP
Publications
All ‣ Preprints ‣ 2011 ‣ 2010 ‣ 2009 ‣ 2008 ‣ 2007 ‣ 2006 ‣ 2005 ‣ 2004 ‣ 2003 ‣ 2002 ‣ 2001 ‣ 2000 ‣ 1999 ‣ 1998 ‣ 1997 ‣ 1996 ‣ 1995 ‣ 1994
2008
- Safety and Response-Time Analysis of an Automotive Accident Assistance Service, Ashok
Argent-Katwala, Allan Clark, Howard Foster, Stephen Gilmore, Philip Mayer and Mirco Tribastone, Proceedings of the 3rd International Symposium on
Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008), T. Margaria and B. Steffen (Eds.), Springer-Verlag CCIS 17, pages
191-205, October 2008.
- Modelling the CoCoME with the Java/A Component Model, Alexander Knapp, Stephan Janisch, Rolf
Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister and Martin Wirsing, The Common Component Modeling Example: Comparing
Software Component Models, Springer LNCS Volume 5153, pages 207-237, 2008.
- Integrated Analysis from Abstract Stochastic Process Algebra Models, Jane Hillston, Federica
Ciocchetta, Adam Duguid and Stephen Gilmore, Proceedings of Computational Methods in Systems Biology 2008, Springer-Verlag LNBI 5307, pages 2-4,
October 2008.
- Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra
models, Jeremy T. Bradley, Stephen Gilmore and Jane Hillston, Journal of Computer and System Sciences, Volume 74, Issue 6, pages 1013-1032,
September 2008.
- Automatic Translation of UML Sequence Diagrams into PEPA Models, Mirco Tribastone and Stephen
Gilmore, Proceedings of the Fifth International Conference on Quantitative Evaluation of SysTems (QEST 2008). IEEE Press, pages 205-214, St Malo,
France, September 2008.
- Automatic Extraction of PEPA Performance Models from UML Activity Diagrams Annotated with the MARTE
Profile, Mirco Tribastone and Stephen Gilmore, Proceedings of the 7th International Workshop on Software and Performance (WOSP 2008), ACM
Press, pages 67-78, Princeton, NJ, USA September 2008.
- Partial Evaluation of PEPA models for Fluid-flow Analysis, Allan Clark, Adam Duguid, Stephen
Gilmore and Mirco Tribastone, Proceedings of the European Performance Engineering Workshop 2008, Springer-Verlag LNCS 5261, pages 2-16, September
2008.
- State-Aware Performance Analysis with eXtended Stochastic Probes, Allan Clark and Stephen
Gilmore, Proceedings of the European Performance Engineering Workshop 2008, Springer-Verlag LNCS 5261, pages 125-140, September 2008.
- Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems, Federica
Ciocchetta, Stephen Gilmore, Maria Luisa Guerriero and Jane Hillston Proceedings of Practical Applications of Stochastic Modelling (PASM 2008), Palma
de Mallorca, Spain, September 2008.
- Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions, Andrea Degasperi and
Stephen Gilmore, Formal Methods for Computational Systems Biology, M. Bernardo, P. Degano, and G. Zavattaro (Eds.), LNCS 5016, pp. 1-20, Bertinoro,
Italy, 2008.
- Service-Level Agreements for Service-Oriented Computing, Allan Clark, Stephen Gilmore and Mirco
Tribastone, Proceedings of WADT 2008, A. Corradini and U. Montanari (Eds.): LNCS 5486, pp. 21-36, Pisa, Italy, 2008.
Last updated: Monday, 16 March 2015 — Validate this
page.