Stephen Gilmore

Room 3.47
Informatics Forum
10 Crichton Street
Edinburgh EH8 9AB
Email: Stephen.Gilmore@ed.ac.uk
Phone: +44 (0)131 650 5189
Web pages: INF, DCS.

Research - Projects - Recent papers - Students - Teaching - Meetings - Committees - Older papers - DBLP

Research

I am a Reader in the School of Informatics at The University of Edinburgh. I pursue research on the use of the PEPA stochastic process algebra, a high-level modelling language with applications in areas as diverse as performance evaluation of computer systems and cellular signalling pathway analysis in systems biology. The language is supported by a range of software tools which allow modellers to make quantitative studies of their models. The PEPA home page allows you to obtain information about PEPA.

Projects

At present I am working on the following projects:

SBSI with Richard Adams, Azusa Yamaguchi, Neil Hanlon and Nikos Tsorman.
PEPA with Jeremy Bradley, Jane Hillston, Leila Kloul, Marina Ribaudo, and Nigel Thomas.
Cellular signalling pathways in process algebra with Muffy Calder, Jane Hillston, Oana Andrei, Andrea Degasperi, Dimitrios Milios and Vashti Galpin.
Bio-PEPA with Maria-Luisa Guerriero.
Sensoria (wiki) with Martin Wirsing, Flemming Nielson, Pierpaolo Degano, Mirco Tribastone and many others.
SRMC with Allan Clark and Mirco Tribastone.
ipc with Jeremy Bradley and Allan Clark.

Previous projects have included:

ENHANCE with Anne Benoit, Murray Cole, Jane Hillston and Greg Yaikhom.
Mobile Resource Guarantees with David Aspinall, Martin Hofmann, Don Sannella and Ian Stark.
Design Environments for Global Applications with Perdita Stevens, Val Haenel, Monika Maidl, Corrado Priami, Linda Brodo and Catherine Canevet.
P# (``P sharp'') with Jon Cook.
Dynamic ML with Dilsun Kirli and Chris Walton.

Papers

Some recent papers are listed here:

Safety and Response-Time Analysis of an Automotive Accident Assistance Service, Ashok Argent-Katwala, Allan Clark, Howard Foster, Stephen Gilmore, Philip Mayer and Mirco Tribastone, Proceedings of the 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008), T. Margaria and B. Steffen (Eds.), Springer-Verlag CCIS 17, pages 191-205, October 2008.
Integrated Analysis from Abstract Stochastic Process Algebra Models, Jane Hillston, Federica Ciocchetta, Adam Duguid and Stephen Gilmore, Proceedings of Computational Methods in Systems Biology 2008, Springer-Verlag LNBI 5307, pages 2-4, October 2008.
Automatic Translation of UML Sequence Diagrams into PEPA Models, Mirco Tribastone and Stephen Gilmore, Proceedings of the Fifth International Conference on Quantitative Evaluation of SysTems (QEST 2008). IEEE Press, pages 205-214, St Malo, France, September 2008.
Automatic Extraction of PEPA Performance Models from UML Activity Diagrams Annotated with the MARTE Profile, Mirco Tribastone and Stephen Gilmore, Proceedings of the 7th International Workshop on Software and Performance (WOSP 2008), ACM Press, pages 67-78, Princeton, NJ, USA September 2008.
Partial Evaluation of PEPA models for Fluid-flow Analysis, Allan Clark, Adam Duguid, Stephen Gilmore and Mirco Tribastone, Proceedings of the European Performance Engineering Workshop 2008, Springer-Verlag LNCS 5261, pages 2-16, September 2008.
State-Aware Performance Analysis with eXtended Stochastic Probes, Allan Clark and Stephen Gilmore, Proceedings of the European Performance Engineering Workshop 2008, Springer-Verlag LNCS 5261, pages 125-140, September 2008.
Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems, Federica Ciocchetta, Stephen Gilmore, Maria Luisa Guerriero and Jane Hillston Proceedings of Practical Applications of Stochastic Modelling (PASM 2008), Palma de Mallorca, Spain, September 2008.
Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions, Andrea Degasperi and Stephen Gilmore, Formal Methods for Computational Systems Biology, M. Bernardo, P. Degano, and G. Zavattaro (Eds.), LNCS 5016, pp. 1-20, Bertinoro, Italy, 2008.
Service-Level Agreements for Service-Oriented Computing, Allan Clark, Stephen Gilmore and Mirco Tribastone, Proceedings of WADT 2008, A. Corradini and U. Montanari (Eds.): LNCS 5486, pp. 21-36, Pisa, Italy, 2008.
Semantic-Based Development of Service-Oriented Systems, Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias Hölzl, Alexander Knapp, Nora Koch and Andreas Schroeder, Proceedings of FORTE 2006, Springer-Verlag LNCS 4229, pages 24-45, September 2006.
Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System, Stephen Gilmore and Mirco Tribastone, Proceedings of Web Services and Formal Methods (WS-FM) 2006, Springer-Verlag LNCS 4184, pages 214-223, September 2006.
Evaluating Quality of Service for Service Level Agreements, Allan Clark and Stephen Gilmore, Proceedings of FMICS and PDMC 2006, Springer-Verlag LNCS 4346, pages 181--194, August 2006.
Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA, Muffy Calder, Stephen Gilmore and Jane Hillston, Transactions on Computational Systems Biology VII, Springer-Verlag LNBI 4230, pages 1--23, 2006.
Combining measurement and stochastic modelling to enhance scheduling decisions for a parallel Mean Value Analysis algorithm, Gagarine Yaikhom, Murray Cole, and Stephen Gilmore, Proceedings of 6th International Conference on Computational Science (ICCS 2006), Springer-Verlag LNCS 3992, pages 929--936, May 2006.
Performance analysis of stochastic process algebra models through stochastic simulation, Jeremy Bradley, Stephen Gilmore and Nigel Thomas, Proceedings of the 5th International Workshop on Performance Modeling, Evaluation, and Optimization of Parallel and Distributed Systems (PMEO-PDS 2006), Rhodes, Greece, pages 121--130, April 2006.
A design environment for mobile applications, Stephen Gilmore, Valentin Haenel, Jane Hillston and Jennifer Tenzer, Proceedings of the 5th International Workshop on Performance Modeling, Evaluation, and Optimization of Parallel and Distributed Systems (PMEO-PDS 2006), Rhodes, Greece, pages 132--141, April 2006.
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.
Modelling Role-Playing Games Using PEPA Nets, Stephen Gilmore, Leila Kloul and Davide Piazza, Proceedings of the 19th International Symposium on Computer and Information Sciences - ISCIS 2004, Kemer-Antalya, Turkey, October, 2004.
PEPA nets in practice: modelling a decentralised peer-to-peer emergency medical application, Stephen Gilmore, Valentin Haenel, Jane Hillston and Leila Kloul, Proceedings of the First European Performance Engineering Workshop (EPEW 2004), Toledo, Spain, September/October 2004.
How Synchronisation Strategy Approximation in PEPA Implementations affects Passage time Performance Results, Jeremy T. Bradley, Stephen T. Gilmore and Nigel Thomas, Proceedings of the First European Performance Engineering Workshop (EPEW 2004), Toledo, Spain, September/October 2004.
Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA, Muffy Calder, Stephen Gilmore and Jane Hillston, Proceedings of BioConcur 2004, London, England, September 2004.
Securing statically-verified communications protocols against timing attacks, Mikael Buchholtz, Stephen Gilmore, Jane Hillston and Flemming Nielson, Proceedings of the first international workshop on Practical Applications of Stochastic Modelling (PASM 2004), London, England, September 2004.

Students

My PhD students, past and present.

Allan Clark
Jon Cook (Completed 2005)
Adam Duguid
Dilsun Kirli (Completed 2002)
Bruce McAdam (Completed 2002)
Chris Owens (Completed 1999)
Nick O'Shea
Mirco Tribastone
Chris Walton (Completed 2001)
Look here for information about applying to study for a PhD in Informatics at Edinburgh.

Teaching

Meetings and conferences

My involvement in organising workshops and conferences, past, present and future:

Process Algebra and Stochastically Timed Activities (PASTA 2009), Edinburgh, August 2009.
Process Algebra and Stochastically Timed Activities, Edinburgh, July 2008.
Computational Methods in Systems Biology, Edinburgh, September 2007.
Process Algebra and Stochastically Timed Activities, Edinburgh, September 2005.
Process Algebra and Stochastically Timed Activities (PASTA '03), Edinburgh, June 2003.
(The proceedings are here.)
Process Algebra and Stochastically Timed Activities, Edinburgh, June 2002.
(The proceedings are here).
Process Algebra and Performance Modelling, Aachen, September 2001.
(The book of the workshop is here)

Programme committees

6th International Conference on Computational Methods in Systems Biology, (CMSB 2008).
5th International Workshop on Web Services and Formal Methods, (WS-FM 2008).
SPEC International Performance Evaluation Workshop, (SIPEW 2008).
European Performance Engineering Workshop, (EPEW 2008).
Practical Applications of Stochastic Modelling, (PASM 2008).

Family

My wife Jane and I have two daughters, Martha and Alice. (Alice and Martha, June 2005).

At a loss for a gripping read to take on holiday this year? Just pick up a copy of Harry Partch: A Biography by my brother, Bob Gilmore, noted Partch scholar. (More about Bob Gilmore. More about Harry Partch.)

A picture of my nephew Benjamin Marquise Gilmore: artist, composer, legend.

Other materials

Most of my software tools are implemented in the functional programming language Standard ML. I have written a Standard ML '97 tutorial.

Selected papers

[1]	S. Gilmore and J. Hillston. The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. In Proceedings of the Seventh International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, number 794 in Lecture Notes in Computer Science, pages 353-368, Vienna, May 1994. Springer-Verlag. [ bib \| .ps.gz ]
[2]	S. Gilmore, J. Hillston, D.R.W. Holton, and M. Rettelbach. Specifications in Stochastic Process Algebra for a Robot Control Problem. International Journal of Production Research, 34(4):1065-1080, 1996. [ bib \| .ps.gz ]
[3]	S. Gilmore, J. Hillston, and D.R.W. Holton. From SPA models to programs. In M. Ribaudo, editor, Proceedings of the Fourth Annual Workshop on Process Algebra and Performance Modelling, pages 179-198. Dipartimento di Informatica, UniversitÃ¡ di Torino, CLUT, July 1996. [ bib \| .ps.gz ]
[4]	S. Gilmore and J. Hillston. Refining internal choice in PEPA models. In R. Pooley and J. Hillston, editors, Proceedings of the Twelfth UK Performance Engineering Workshop, pages 49-64, Department of Computer Science, The University of Edinburgh, September 1996. [ bib \| .ps.gz ]
[5]	S. Gilmore. Programming in Standard ML '97: A tutorial introduction. Technical Report ECS-LFCS-97-364, Laboratory for Foundations of Computer Science, Department of Computer Science, The University of Edinburgh, 1997. [ bib \| .ps.gz ]
[6]	S. Gilmore, J. Hillston, and L. Recalde. Elementary structural analysis for PEPA. Technical Report ECS-LFCS-97-377, Laboratory for Foundations of Computer Science, Department of Computer Science, The University of Edinburgh, 1997. [ bib \| .ps.gz ]
[7]	S. Gilmore, D. Kirli, and C. Walton. Dynamic ML without dynamic types. Technical Report ECS-LFCS-97-378, Laboratory for Foundations of Computer Science, Department of Computer Science, The University of Edinburgh, 1997. [ bib \| .ps.gz ]
[8]	G. Clark, S. Gilmore, J. Hillston, and N. Thomas. Experiences with the PEPA performance modelling tools. IEE Proceedings-Software, 146(1):11-19, February 1999. Special issue of papers from the Fourteenth UK Performance Engineering Workshop. [ bib \| .ps.gz ]
[9]	S. Gilmore and J. Hillston. Feature interaction in PEPA. In C. Priami, editor, Proceedings of the Sixth International Workshop on Process Algebra for Performance Modelling, pages 17-26, Nice, France, September 1998. [ bib \| .ps.gz ]
[10]	N. Thomas and S. Gilmore. Applying quasi-separability to Markovian process algebra. In C. Priami, editor, Proceedings of the Sixth International Workshop on Process Algebra for Performance Modelling, pages 27-36, Nice, France, September 1998. [ bib \| .ps.gz ]
[11]	S. Gilmore. Feng Shui for Standard ML Programmers. Technical Report ED-INF(S)-98-001, LFCS, Division of Informatics, August 1998. Inaugural essay in the Division of Informatics reports series, subseries South, subsubseries LFCS. [ bib \| .ps.gz ]
[12]	G. Clark, S. Gilmore, and J. Hillston. Specifying performance measures for PEPA. In J.-P. Katoen, editor, Proceedings of the Fifth International AMAST Workshop on Real-Time and Probabilistic Systems, pages 17-26, Bamberg, Germany, May 1999. [ bib \| .ps.gz ]
[13]	S. Gilmore and J. Hillston. A feature construct for PEPA. In N. Davies and J. Bradley, editors, Proceedings of the Fifteenth UK Performance Engineering Workshop, pages 225-236, Department of Computer Science, The University of Bristol, July 1999. [ bib \| .ps.gz ]
[14]	G. Clark, S. Gilmore, J. Hillston, and M. Ribaudo. Exploiting modal logic to express performance measures. In B.R. Haverkort, H.C. Bohnenkamp, and C.U. Smith, editors, Computer Performance Evaluation: Modelling Techniques and Tools, Proceedings of the 11th International Conference, number 1786 in LNCS, pages 211-227, Schaumburg, Illinois, USA, March 2000. Springer-Verlag. [ bib \| .ps.gz ]
[15]	S. Gilmore. Deep type inference for mobile functions. In P. Trinder and G. Michaelson, editors, Proceedings of the First Scottish Functional Programming Workshop. Inspect, August 1999. [ bib \| .ps.gz ]
[16]	S. Gilmore and J. Hillston. Performance modelling in PEPA with higher-order functions. In N. Thomas and J. Bradley, editors, Proceedings of the Sixteenth UK Performance Engineering Workshop, pages 35-46, July 2000. [ bib \| .ps.gz \| .pdf ]
[17]	S. Gilmore and J. Hillston. The PEPA Feature Construct, pages 125-142. Springer-Verlag, 2001. [ bib \| .ps \| .pdf ]
[18]	S. Gilmore, J. Hillston, and M. Ribaudo. An efficient algorithm for aggregating PEPA models. IEEE Transactions on Software Engineering, 27(5):449-464, May 2001. [ bib \| .ps \| .pdf ]
[19]	S. Gilmore, J. Hillston, and M. Ribaudo. PEPA nets: A structured performance modelling formalism. In T. Field, P.G. Harrison, J. Bradley, and U. Harder, editors, Proceedings of the 12th International Conference on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation, number 2324 in Lecture Notes in Computer Science, pages 111-130, London, UK, April 2002. Springer-Verlag. [ bib \| .ps \| .pdf ]
[20]	S. Gilmore and J. Hillston. An enhanced operational semantics for PEPA nets. Working draft, May 2002. [ bib \| .ps \| .pdf ]
[21]	S. Gilmore and M.A. Palomino. Monitoring and controlling distributed applications with relocatable objects. In O. Rana, editor, Proceedings of the 2nd IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGRID 02), pages 348-349. IEEE, 2002. [ bib \| .pdf ]
[22]	S. Gilmore, Z. Grant-Duff, P. Harrison, and Jane Hillston. Systematic transformations to find quasi-reversible structures in PEPA models. In Proceedings of the first workshop on Process Algebras and Stochastically Timed Activities, pages 30-45, June 2002. [ bib \| .ps ]
[23]	S. Gilmore, J. Hillston, L. Kloul, and M. Ribaudo. PEPA nets: A structured performance modelling formalism. Submitted to Performance Evaluation, September 2002. [ bib \| .ps \| .pdf ]
[24]	S. Gilmore and K. Powell. Developing Java applications from PEPA models. Submitted for publication, April 2003. [ bib \| .ps \| .pdf ]
[25]	C. Canevet, S. Gilmore, J. Hillston, M. Prowse, and P. Stevens. Performance modelling with UML and stochastic process algebras. IEE Proceedings: Computers and Digital Techniques, 150(2):107-120, March 2003. [ bib \| .ps \| .pdf ]
[26]	L. Beringer and S. Gilmore. Practical effectiveness of mobile virtual machines. Mobile Resource Guarantees project deliverable, March 2003. [ bib \| .ps ]
[27]	S. Gilmore, J. Hillston, L. Kloul, and M. Ribaudo. Performance modelling with PEPA nets and PRISM. In Proceedings of the Second Workshop on Process Algebra and Stochastically Timed Activities (PASTA Secondi Piatti), pages 23-39, June 2003. [ bib \| .ps ]
[28]	S. Gilmore and J. Hillston. A survey of the PEPA tools. In Proceedings of the Second Workshop on Process Algebra and Stochastically Timed Activities (PASTA Secondi Piatti), pages 40-49, June 2003. [ bib \| .ps ]
[29]	L. Brodo, S. Gilmore, J. Hillston, and C. Priami. Mapping coloured stochastic Petri nets to stochastic process algebras. 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 780. [ bib \| .ps \| .pdf ]
[30]	J.T. Bradley, N.J. Dingle, S.T. Gilmore, and W.J. Knottenbelt. Extracting passage times from PEPA models with the HYDRA tool: A case study. In S. Jarvis, editor, Proceedings of the Nineteenth annual UK Performance Engineering Workshop, pages 79-90, Warwick, July 2003. [ bib \| .ps ]
[31]	J.T. Bradley, N.J. Dingle, S.T. Gilmore, and W.J. Knottenbelt. Derivation of passage-time densities in PEPA models using IPC: The Imperial PEPA Compiler. 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 Press. [ bib \| .ps ]
[32]	L. Brodo, P. Degano, S. Gilmore, J. Hillston, and C. Priami. Performance evaluation for global computation. In C. Priami, editor, Global Computing: Programming environments, languages, security, and analysis of systems. Proceedings of the IST/FET International Workshop (GC 2003), volume 2874 of LNCS, pages 229-253, Rovereto, Italy, February 2003. Springer-Verlag. [ bib \| .pdf ]
[33]	S. Gilmore and M. Gribaudo. Graphical modelling of process algebras with DrawNET. To appear in the proceedings of the tools appendix of the proceedings of the 2003 Illinois international multiconference on Measurement, Modelling and Evaluation of Computer-Communication systems, September 2003. [ bib \| .ps \| .pdf ]
[34]	S. Gilmore and L. Kloul. A unified tool for performance modelling and predicition. In Proceedings of the 22nd International Conference on Computer Safety, Reliability and Security (SAFECOMP'03), number 2788 in LNCS, pages 179-192, Edinburgh, Scotland, September 2003. Springer-Verlag. [ bib \| .ps ]

Stephen Gilmore -- Last modified: Thu Oct 2 13:20:13 BST 2008 -- Validate this page.