Professor Stephen Gilmore
School of Informatics
The University of Edinburgh
Informatics Forum (Room 3.47)
10 Crichton Street
Edinburgh EH8 9AB
Biography — Projects — Publications —
Students — Teaching — Conferences — Family — DBLP
Phone: +44 (0)131 650 5189
All ‣ Preprints ‣ 2011 ‣ 2010 ‣ 2009 ‣ 2008 ‣ 2007 ‣ 2006 ‣ 2005 ‣ 2004 ‣ 2003 ‣ 2002 ‣ 2001 ‣ 2000 ‣ 1999 ‣ 1998 ‣ 1997 ‣ 1996 ‣ 1995 ‣ 1994
- PEPA nets: A structured performance modelling formalism, Stephen Gilmore, Jane Hillston,
Leïla Kloul, and Marina Ribaudo, Performance Evaluation, 54(2), pages 79-104, 2003.
- A unified tool for performance modelling and predicition, Stephen Gilmore and Leïla
Kloul. In Proceedings of the 22nd International Conference on Computer Safety, Reliability and Security (SAFECOMP'03), Springer LNCS Volume
2788, pages 179-192, Edinburgh, Scotland, September 2003.
- Performance modelling with UML and stochastic process algebras,
Catherine Canevet, Stephen Gilmore, Jane Hillston, Matthew Prowse, and Perdita Stevens, IEE Proceedings: Computers and Digital Techniques,
150(2):107-120, March 2003.
- Performance modelling with PEPA nets and PRISM, Stephen Gilmore, Jane Hillston, Leïla
Kloul and Marina Ribaudo. . In Proceedings of the Second Workshop on Process Algebra and Stochastically Timed Activities (PASTA Secondi Piatti),
pages 23-39, June 2003.
- A survey of the PEPA tools, Stephen Gilmore and Jane Hillston. In Proceedings of the Second
Workshop on Process Algebra and Stochastically Timed Activities (PASTA Secondi Piatti), pages 40-49, June 2003.
- Mapping coloured stochastic Petri nets to stochastic process
algebras, Linda Brodo, Stephen Gilmore, Jane Hillston, and Corrado Priami. . In P. Kemper, editor, On-site proceedings of the ICALP
Workshop on Stochastic Petri Nets and Related Formalisms, pages 47-66, Eindhoven, Holland, 2003. University of Dortmund Research Report number
- Extracting passage times from PEPA models with the HYDRA tool: A case study, J.T. Bradley, N.J.
Dingle, S. Gilmore, and W.J. Knottenbelt, In S. Jarvis, editor, Proceedings of the Nineteenth annual UK Performance Engineering Workshop,
pages 79-90, Warwick, July 2003.
- Derivation of passage-time densities in PEPA models using IPC: The Imperial PEPA Compiler, J.T.
Bradley, N.J. Dingle, S.T. Gilmore, and W.J. Knottenbelt, In Proceedings of the 11th IEEE/ACM International Symposium on Modeling, Analysis and
Simulation of Computer and Telecommunications Systems, pages 344-351, University of Central Florida, October 2003. IEEE Computer Society
- Performance evaluation for global computation, Linda Brodo, Pierpaolo Degano,
Stephen Gilmore, Jane Hillston, and Corrado Priami. In C. Priami, editor, Global Computing: Programming environments, languages, security, and
analysis of systems. Proceedings of the IST/FET International Workshop (GC 2003), Springer LNCS volume 2874, pages 229-253, Rovereto, Italy,
- Graphical modelling of process algebras with DrawNET, Stephen
Gilmore and Marco Gribaudo. Proceedings of the 2003 Illinois international multiconference on Measurement, Modelling and Evaluation of
Computer-Communication systems, September 2003.
- Developing multi-threaded Java applications from high-level models in
the PEPA stochastic process algebra, Stephen Gilmore and Kris Powell, Unpublished, April 2003.
Last updated: Thursday, 06 September 2012 — Validate this