Professor Stephen Gilmore

Email: Stephen.Gilmore@ed.ac.uk
Phone: +44 (0)131 650 5189

Publications

• 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.

• Visualisation for Stochastic Process Algebras: The Graphic Truth, Michael J.A. Smith and Stephen Gilmore, Proceedings of the 8th European Performance Engineering Workshop (EPEW 2011), Springer-Verlag LNCS 6977, pages 310-324 Borrowdale, UK, October 2011.
• Cost-Sensitive Concurrent Planning Under Duration Uncertainty for Service-Level Agreements, Andrew Coles, Amanda Jane Coles, Allan Clark and Stephen Gilmore, Proceedings of the 21st International Conference on Automated Planning and Scheduling (ICAPS 2011), Freiburg, Germany, June 2011.
• Modular performance modelling for mobile applications, Niaz Arijo, Reiko Heckel, Mirco Tribastone and Stephen Gilmore, Second Joint WOSP/SIPEW International Conference on Performance Engineering (ICPE 2011), Karlsruhe, Germany, pages 329-334, March 2011.
• Non-functional properties in the model-driven development of service-oriented systems, Stephen Gilmore, László Gönczy, Nora Koch, Philip Mayer, Mirco Tribastone, Dániel Varró, Software and Systems Modeling 10(3), pages 287-311, 2011.

• Verification and Testing of Biological Models, Allan Clark, Jane Hillston, Stephen Gilmore and Peter Kemper, Proceedings of the 2010 Winter Simulation Conference (WSC 2010), Baltimore, Maryland, pages 620-630, December 2010.
• On verifying Bio-PEPA models, Allan Clark, Stephen Gilmore, Maria Luisa Guerriero and Peter Kemper, 8th International Conference on Computational Methods in Systems Biology (CMSB 2010), Trento, Italy, pages 23-32, October 2010.

• Design and Development of Software Tools for Bio-PEPA, Adam Duguid, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston and Laurence Loewe, Winter Simulation Conference, Austin, Texas, USA, pages 956-967, December 2009.
• The Bio-PEPA Tool Suite, Federica Ciocchetta, Adam Duguid, Stephen Gilmore, Maria Luisa Guerriero and Jane Hillston, Sixth International Conference on the Quantitative Evaluation of Systems (QEST 2009), Budapest, Hungary, pages 309-310, September 2009.
• Passage-End Analysis, Allan Clark, Adam Duguid, Stephen Gilmore, 6th European Performance Engineering Workshop (EPEW 2009), pages 110-115, July 2009.
• Quantitative Analysis of Web Services Using SRMC, Allan Clark, Stephen Gilmore, Mirco Tribastone, Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, pages 296-339, June 2009.
• Scalable Analysis of Scalable Systems, , Allan Clark, Stephen Gilmore, Mirco Tribastone, 12th International Conference on Fundamental Approaches to Software Engineering (FASE 2009), York, UK, pages 1-17, March 2009.
• Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems, Federica Ciocchetta, Stephen Gilmore, Maria Luisa Guerriero and Jane Hillston, Electronic Notes in Theoretical Computer Science 232: pages 17-38, 2009.
• Transient calculations on process algebra derived Markov chains, Allan Clark and Stephen Gilmore, IET Software 3(6): pages 495-508, 2009.
• The PEPA Eclipse Plugin, Mirco Tribastone, Adam Duguid and Stephen Gilmore, SIGMETRICS Performance Evaluation Review 36(4): pages 28-33, 2009.

• 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.
• Modelling the CoCoME with the Java/A Component Model, Alexander Knapp, Stephan Janisch, Rolf Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister and Martin Wirsing, The Common Component Modeling Example: Comparing Software Component Models, Springer LNCS Volume 5153, pages 207-237, 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.
• Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models, Jeremy T. Bradley, Stephen Gilmore and Jane Hillston, Journal of Computer and System Sciences, Volume 74, Issue 6, pages 1013-1032, September 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.

• Stochastic Process Algebras, Allan Clark, Stephen Gilmore, Jane Hillston and Mirco Tribastone, 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM 2007), Bertinoro, Italy, Springer LNCS Volume 4486, pages 132-179, June 2007.
• Replicating Web Services for Scalability, Mario Bravetti, Stephen Gilmore, Claudio Guidi and Mirco Tribastone, Third Symposium on Trustworthy Global Computing (TGC 2007), Sophia-Antipolis, France, Springer LNCS Volume 4912, pages 204-221, November 2007.
• Location-Aware Quality of Service Measurements for Service-Level Agreements, Ashok Argent-Katwala, Jeremy T. Bradley, Allan Clark and Stephen Gilmore, Third Symposium on Trustworthy Global Computing (TGC 2007), Sophia-Antipolis, France, Springer LNCS Volume 4912, pages 222-239, November 2007.
• A Structural Approach for Modelling Performance of Systems Using Skeletons, Gagarine Yaikhom, Murray Cole, Stephen Gilmore and Jane Hillston, Electronic Notes in Theoretical Computer Science, 190(3), pages 167-183, 2007.

• Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods, Muffy Calder, Adam Duguid, Stephen Gilmore and Jane Hillston, Proceedings of Computational Methods in Systems Biology (CMSB 2006), Trento, Italy, Springer-Verlag LNCS 4210, pages 63-77, October 2006.
• 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.
• Sensoria Process Calculi for Service-Oriented Computing, Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone and Gianluigi Zavattaro, Second Symposium on Trustworthy Global Computing (TGC 2006), Lucca, Italy, Springer LNCS Volume 4661, pages 30-50, November 2006.
• Performance analysis of stochastic process algebra models using 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 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.

• 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 780.
• 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 Press.
• 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, February 2003.
• 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.

• PEPA nets: A structured performance modelling formalism, Stephen Gilmore, Jane Hillston, and Marina Ribaudo, Proceedings of the 12th International Conference on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation, Springer LNCS Volume 2324, pages 111-130, London, UK, April 2002.
• Monitoring and controlling distributed applications with relocatable objects, Stephen Gilmore and Marco A. Palomino. Proceedings of the 2nd IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGRID 02), pages 348-349. IEEE, 2002.
• Systematic transformations to find quasi-reversible structures in PEPA models, Stephen Gilmore, Zully Grant-Duff, Peter Harrison, and Jane Hillston. Proceedings of the first workshop on Process Algebras and Stochastically Timed Activities, pages 30-45, June 2002.

• The PEPA Feature Construct, Stephen Gilmore and Jane Hillston, In Language constructs for describing features: Proceedings of the FIREworks workshop, pages 125-142. Springer-Verlag, 2001.
• An efficient algorithm for aggregating PEPA models, Stephen Gilmore, Jane Hillston and Marina Ribaudo, IEEE Transactions on Software Engineering, 27(5):449-464, May 2001.

• 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.

• Experiences with the PEPA performance modelling tools, Graham Clark, Stephen Gilmore, Jane Hillston, and Nigel Thomas, IEE Proceedings-Software, 146(1):11-19, February 1999. Special issue of papers from the Fourteenth UK Performance Engineering Workshop.
• Specifying performance measures for PEPA, Graham Clark, Stephen Gilmore and Jane Hillston, 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.
• A feature construct for PEPA, Stephen Gilmore and Jane Hillston, 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.
• Deep type inference for mobile functions, Stephen Gilmore, In P. Trinder and G. Michaelson, editors, Proceedings of the First Scottish Functional Programming Workshop. Inspect, August 1999.

• Feature interaction in PEPA, Stephen Gilmore and Jane Hillston, In C. Priami, editor, Proceedings of the Sixth International Workshop on Process Algebra for Performance Modelling, pages 17-26, Nice, France, September 1998.
• Applying quasi-separability to Markovian process algebra, Nigel Thomas and Stephen Gilmore, In C. Priami, editor, Proceedings of the Sixth International Workshop on Process Algebra for Performance Modelling, pages 27-36, Nice, France, September 1998.
• Feng Shui for Standard ML Programmers, Stephen Gilmore. 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.

• Programming in Standard ML '97: A tutorial introduction, Stephen Gilmore, Technical Report ECS-LFCS-97-364, Laboratory for Foundations of Computer Science, Department of Computer Science, The University of Edinburgh, 1997.
• Elementary structural analysis for PEPA, Stephen Gilmore, Jane Hillston, and Laura Recalde. Technical Report ECS-LFCS-97-377, Laboratory for Foundations of Computer Science, Department of Computer Science, The University of Edinburgh, 1997.
• Dynamic ML without dynamic types, Stephen Gilmore, Dilsun Kırlı, and Chris Walton. Technical Report ECS-LFCS-97-378, Laboratory for Foundations of Computer Science, Department of Computer Science, The University of Edinburgh, 1997.

• Specifications in Stochastic Process Algebra for a Robot Control Problem, Stephen Gilmore, Jane Hillston, Robert Holton, and Michael Rettelbach, International Journal of Production Research, 34(4), pages 1065-1080, 1996.
• From SPA models to programs, Stephen Gilmore, Jane Hillston, and Robert Holton, 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.
  
• Refining internal choice in PEPA models, Stephen Gilmore and Jane Hillston, 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.

• Process Algebras and their Application to Performance Modelling, Stephen Gilmore and Jane Hillston, In The Computer Journal, 38(7), pages 489-491, 1995.

• The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling, Stephen Gilmore and Jane Hillston, In Proceedings of the Seventh International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Springer-Verlag Lecture Notes in Computer Science number 794, pages 353-368, Vienna, May 1994.