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
Preprints
- Scalable Differential Analysis of Process Algebra Models, Mirco Tribastone, Stephen Gilmore, and
Jane Hillston, To appear in IEEE Transactions on Software Engineering.
- Rapid performance evaluation using fluid-flow analysis and eXtended Stochastic Probes, Allan Clark
and Stephen Gilmore, Submitted.
- Stochastic Process Algebras: From Individuals to Populations, Jane Hillston, Mirco Tribastone and
Stephen Gilmore, To appear in The Computer Journal.
- Formal methods for checking the consistency of biological models, Allan Clark, Vashti Galpin,
Stephen Gilmore, Maria Luisa Guerriero and Jane Hillston, To appear in Advances in Systems Biology.
Last updated: Monday, 16 March 2015 — Validate this
page.