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
2005
- Evaluating the performance of pipeline-structured parallel programs
with skeletons and process algebra, Anne Benoit, Murray Cole, Stephen Gilmore and Jane Hillston, Scalable Computing: Practice and
Experience, Volume 6, No. 4, pages 1--16, December 2005.
- Extending resource-bounded functional programming languages with
mutable state and concurrency, Stephen Gilmore, Kenneth MacKenzie and Nicholas Wolverson, Scalable Computing: Practice and Experience,
Volume 6, No. 4, pages 17-30, December 2005.
- Choreographing Security and Performance Analysis for Web
Services, Stephen Gilmore, Valentin Haenel, Leïla Kloul, and Monika Maidl, Proceedings of Web Services and Formal Methods, LNCS 3670,
pp. 200--214, Versailles, September 2005.
- End-to-end integrated security and performance analysis on the DEGAS
Choreographer platform, Mikael Buchholtz, Stephen Gilmore, Valentin Haenel, and Carlo Montangero, Proceedings of Formal Methods 2005 (FM
2005), Newcastle, England, July 2005.
- Stochastic simulation methods applied to a secure electronic voting
model, Jeremy T. Bradley and Stephen T. Gilmore, Proceedings of Second International workshop on Practical Applications of Stochastic
Modelling (PASM 2005), Newcastle, England, July 2005.
- Estimating the cost of native method calls for resource-bounded
functional programming languages, Stephen Gilmore and Olha Shkaravska, Proceedings of Second International workshop on Practical Applications
of Stochastic Modelling (PASM 2005), Newcastle, England, July 2005.
- Enhancing the effective utilisation of Grid clusters by exploiting
on-line performability analysis, Anne Benoit, Murray Cole, Stephen Gilmore and Jane Hillston, Proceedings of CCGrid workshop on Grid
Performability (CCGrid Performability 2005), Cardiff, Wales, May 2005.
- Automatically deriving ODEs from process algebra models of signalling pathways, Muffy Calder,
Stephen Gilmore and Jane Hillston, Proceedings of Computational Methods in Systems Biology (CMSB 2005), Edinburgh, Scotland, April 2005.
- Proof-carrying bytecode, Stephen Gilmore and Matthew
Prowse, First Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2005), Edinburgh, Scotland, April 2005.
- Scheduling Skeleton-Based Grid Applications Using PEPA and
NWS, Anne Benoit, Murray Cole, Stephen Gilmore, and Jane Hillston, The Computer Journal, Special Focus issue on Grid Performability 48(3):
369-378, March 2005.
- Mobile Resource Guarantees for Smart Devices, David
Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella and Ian Stark, In revised selected papers from Construction and Analysis of Safe, Secure,
and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, Published January 2005.
Last updated: Monday, 16 March 2015 — Validate this
page.