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
2009
- Design and Development of Software Tools for Bio-PEPA, Adam Duguid, Stephen Gilmore, Maria Luisa
Guerriero, Jane Hillston and Laurence Loewe, Winter Simulation Conference, Austin, Texas, USA, pages 956-967, December 2009.
- The Bio-PEPA Tool Suite, Federica Ciocchetta, Adam Duguid, Stephen Gilmore, Maria Luisa
Guerriero and Jane Hillston, Sixth International Conference on the Quantitative Evaluation of Systems (QEST 2009), Budapest, Hungary, pages 309-310,
September 2009.
- Passage-End Analysis, Allan Clark, Adam Duguid, Stephen Gilmore, 6th European Performance
Engineering Workshop (EPEW 2009), pages 110-115, July 2009.
- Quantitative Analysis of Web Services Using SRMC, Allan Clark, Stephen Gilmore, Mirco Tribastone,
Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009,
Bertinoro, Italy, pages 296-339, June 2009.
- Scalable Analysis of Scalable Systems, , Allan Clark, Stephen Gilmore, Mirco Tribastone, 12th
International Conference on Fundamental Approaches to Software Engineering (FASE 2009), York, UK, pages 1-17, March 2009.
- Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems, Federica
Ciocchetta, Stephen Gilmore, Maria Luisa Guerriero and Jane Hillston, Electronic Notes in Theoretical Computer Science 232: pages 17-38, 2009.
- Transient calculations on process algebra derived Markov chains, Allan Clark and Stephen
Gilmore, IET Software 3(6): pages 495-508, 2009.
- The PEPA Eclipse Plugin, Mirco Tribastone, Adam Duguid and Stephen Gilmore, SIGMETRICS
Performance Evaluation Review 36(4): pages 28-33, 2009.
Last updated: Monday, 16 March 2015 — Validate this
page.