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
2000
- An abstract machine model of dynamic module replacement, Chris Walton, Dilsun Kirli Kaynar,
Stephen Gilmore, Future Generation Computer Systems, 16(7), pages 793-808, 2000.
- Exploiting modal logic to express performance measures, Graham Clark, Stepehn Gilmore, Jane
Hillston, and Marina Ribaudo, Computer Performance Evaluation: Modelling Techniques and Tools, Proceedings of the 11th International Conference,
Springer LNCS Volume 1786, pages 211-227, Schaumburg, Illinois, USA, March 2000.
- Performance modelling in PEPA with higher-order functions, Stephen Gilmore
and Jane Hillston. Proceedings of the Sixteenth UK Performance Engineering Workshop, pages 35-46, July 2000.
Last updated: Monday, 16 March 2015 — Validate this
page.