Correctness-oriented approaches to software development. - Stephen Gilmore (1991)

The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. - Stephen Gilmore; Jane Hillston (Computer Performance Evaluation, 1994)

Process Algebras and their Application to Performance Modelling: Proceedings of the Third Workshop on Process Algebra and Performance Modelling Edinburgh, Scotland. - Stephen Gilmore; Jane Hillston (Comput. J., 1995)

Specifying Performance Measures for PEPA. - Graham Clark; Stephen Gilmore; Jane Hillston (ARTS, 1999)

Deep Type Inference for Mobile Functions. - Stephen Gilmore (Scottish Functional Programming Workshop, 1999)

Experiences with the PEPA performance modelling. - Graham Clark; Stephen Gilmore; Jane Hillston; Nigel Thomas (IEE Proc. Softw., 1999)

Exploiting Modal Logic to Express Performance Measures. - Graham Clark; Stephen Gilmore; Jane Hillston; Marina Ribaudo (Computer Performance Evaluation / TOOLS, 2000)

The PEPA Feature Construct. - Stephen Gilmore; Jane Hillston (FIREworks, 2000)

An abstract machine model of dynamic module replacement. - Chris Walton; Dilsun Kirli Kaynar; Stephen Gilmore (Future Gener. Comput. Syst., 2000)

An Efficient Algorithm for Aggregating PEPA Models. - Stephen Gilmore; Jane Hillston; Marina Ribaudo (IEEE Trans. Software Eng., 2001)

Monitoring and Controlling Distributed Applications with Relocatable Objects. - Stephen Gilmore; Marco A. Palomino (CCGRID, 2002)

PEPA Nets: A Structured Performance Modelling Formalism. - Stephen Gilmore; Jane Hillston; Marina Ribaudo (Computer Performance Evaluation / TOOLS, 2002)

Performance Evaluation for Global Computation. - Linda Brodo; Pierpaolo Degano; Stephen Gilmore; Jane Hillston; Corrado Priami (Global Computing, 2003)

Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler. - Jeremy T. Bradley; Nicholas J. Dingle; Stephen T. Gilmore; William J. Knottenbelt (MASCOTS, 2003)

PEPA Nets. - Stephen Gilmore; Jane Hillston; Leïla Kloul (MASCOTS Tutorials, 2003)

PEPA nets: a structured performance modelling formalism. - Stephen Gilmore; Jane Hillston; Leïla Kloul; Marina Ribaudo (Perform. Evaluation, 2003)

Mobile Resource Guarantees for Smart Devices. - David Aspinall 001; Stephen Gilmore; Martin Hofmann 001; Donald Sannella; Ian Stark (CASSIS, 2004)

How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results. - Jeremy T. Bradley; Stephen T. Gilmore; Nigel Thomas (FORTE Workshops, 2004)

PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application. - Stephen Gilmore; Valentin Haenel; Jane Hillston; Leïla Kloul (FORTE Workshops, 2004)

Evaluating the Performance of Skeleton-Based High Level Parallel Programs. - Anne Benoit; Murray Cole; Stephen Gilmore; Jane Hillston (International Conference on Computational Science, 2004)

Extending Camelot with Mutable State and Concurrency. - Stephen Gilmore (International Conference on Computational Science, 2004)

Modelling Role-Playing Games Using PEPA Nets. - Stephen Gilmore; Leïla Kloul; Davide Piazza (ISCIS, 2004)

Analysing UML 2.0 activity diagrams in the software performance engineering process. - C. Canevet; Stephen Gilmore; Jane Hillston; Leïla Kloul; Perdita Stevens (WOSP, 2004)

Software performance modelling using PEPA nets. - Stephen Gilmore; Jane Hillston; Leïla Kloul; Marina Ribaudo (WOSP, 2004)

Securing Statically-verified Communications Protocols Against Timing Attacks. - Mikael Buchholtz; Stephen T. Gilmore; Jane Hillston; Flemming Nielson (PASM, 2004)

Enhancing the effective utilisation of grid clusters by exploiting on-line performability analysis. - Anne Benoit; Murray Cole; Stephen Gilmore; Jane Hillston (CCGRID, 2005)

Choreographing Security and Performance Analysis for Web Services. - Stephen Gilmore; Valentin Haenel; Leïla Kloul; Monika Maidl (EPEW/WS-FM, 2005)

Flexible Skeletal Programming with eSkel. - Anne Benoit; Murray Cole; Stephen Gilmore; Jane Hillston (Euro-Par, 2005)

End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform. - Mikael Buchholtz; Stephen Gilmore; Valentin Haenel; Carlo Montangero (FM, 2005)

Using eSkel to Implement the Multiple Baseline Stereo Application. - Anne Benoit; Murray Cole; Stephen Gilmore; Jane Hillston (PARCO, 2005)

Mobile Resource Guarantees (project evaluation paper). - Donald Sannella; Martin Hofmann 001; David Aspinall 001; Stephen Gilmore; Ian Stark; Lennart Beringer; Hans-Wolfgang Loidl; Kenneth MacKenzie; Alberto Momigliano; Olha Shkaravska (Trends in Functional Programming, 2005)

Scheduling Skeleton-Based Grid Applications Using PEPA and NWS. - Anne Benoit; Murray Cole; Stephen Gilmore; Jane Hillston (Comput. J., 2005)

Stochastic Simulation Methods Applied to a Secure Electronic Voting Model. - Jeremy T. Bradley; Stephen T. Gilmore (PASM@FM, 2005)

Proof-carrying Bytecode. - Stephen Gilmore; Matthew Prowse (Bytecode@ETAPS, 2005)

Estimating the Cost of Native Method Calls for Resource-bounded Functional Programming Languages. - Stephen T. Gilmore; Olha Shkaravska (PASM@FM, 2005)

A unified tool for performance modelling and prediction. - Stephen Gilmore; Leïla Kloul (Reliab. Eng. Syst. Saf., 2005)

Evaluating the performance of pipeline-structured parallel programs with skeletons and process algebra. - Anne Benoit; Murray Cole; Stephen Gilmore; Jane Hillston (Scalable Comput. Pract. Exp., 2005)

Extending resource-bounded functional programming languages with mutable state and concurrency. - Stephen Gilmore; Kenneth MacKenzie; Nicholas Wolverson (Scalable Comput. Pract. Exp., 2005)

Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods. - Muffy Calder; Adam Duguid; Stephen Gilmore; Jane Hillston (CMSB, 2006)

Evaluating Quality of Service for Service Level Agreements. - Allan Clark; Stephen Gilmore (FMICS/PDMC, 2006)

Semantic-Based Development of Service-Oriented Systems. - Martin Wirsing; Allan Clark; Stephen Gilmore; Matthias M. Hölzl; Alexander Knapp; Nora Koch; Andreas Schroeder 001 (FORTE, 2006)

Combining Measurement and Stochastic Modelling to Enhance Scheduling Decisions for a Parallel Mean Value Analysis Algorithm. - Gagarine Yaikhom; Murray Cole; Stephen Gilmore (International Conference on Computational Science (2), 2006)

Performance analysis of stochastic process algebra models using stochastic simulation. - Jeremy T. Bradley; Stephen T. Gilmore; Nigel Thomas (IPDPS, 2006)

A design environment for mobile applications. - Stephen Gilmore; Valentin Haenel; Jane Hillston; Jennifer Tenzer (IPDPS, 2006)

SensoriaProcess Calculi for Service-Oriented Computing. - Martin Wirsing; Rocco De Nicola; Stephen Gilmore; Matthias M. Hölzl; Roberto Lucchi; Mirco Tribastone; Gianluigi Zavattaro (TGC, 2006)

Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System. - Stephen T. Gilmore; Mirco Tribastone (WS-FM, 2006)

Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA. - Muffy Calder; Stephen Gilmore; Jane Hillston (Trans. Comp. Sys. Biology, 2006)

Modelling the CoCoME with the Java/AComponent Model. - Alexander Knapp; Stephan Janisch; Rolf Hennicker; Allan Clark; Stephen Gilmore; Florian Hacklinger; Hubert Baumeister; Martin Wirsing (CoCoME, 2007)

Stochastic Process Algebras. - Allan Clark; Stephen Gilmore; Jane Hillston; Mirco Tribastone (SFM, 2007)

Location-Aware Quality of Service Measurements for Service-Level Agreements. - Ashok Argent-Katwala; Jeremy T. Bradley; Allan Clark; Stephen Gilmore (TGC, 2007)

Replicating Web Services for Scalability. - Mario Bravetti; Stephen Gilmore; Claudio Guidi; Mirco Tribastone (TGC, 2007)

A Structural Approach for Modelling Performance of Systems Using Skeletons. - Gagarine Yaikhom; Murray Cole; Stephen Gilmore; Jane Hillston (QAPL, 2007)

Integrated Analysis from Abstract Stochastic Process Algebra Models. - Jane Hillston; Federica Ciocchetta; Adam Duguid; Stephen Gilmore (CMSB, 2008)

Partial Evaluation of PEPA Models for Fluid-Flow Analysis. - Allan Clark; Adam Duguid; Stephen Gilmore; Mirco Tribastone (EPEW, 2008)

State-Aware Performance Analysis with eXtended Stochastic Probes. - Allan Clark; Stephen Gilmore (EPEW, 2008)

Safety and Response-Time Analysis of an Automotive Accident Assistance Service. - Ashok Argent-Katwala; Allan Clark; Howard Foster; Stephen Gilmore; Philip Mayer; Mirco Tribastone (ISoLA, 2008)

SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. - Martin Wirsing; Matthias M. Hölzl; Lucia Acciai; Federico Banti; Allan Clark; Alessandro Fantechi; Stephen Gilmore; Stefania Gnesi; László Gönczy; Nora Koch; Alessandro Lapadula; Philip Mayer; et al. (ISoLA, 2008)

Automatic Translation of UML Sequence Diagrams into PEPA Models. - Mirco Tribastone; Stephen Gilmore (QEST, 2008)

Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions. - Andrea Degasperi; Stephen Gilmore (SFM, 2008)

Service-Level Agreements for Service-Oriented Computing. - Allan Clark; Stephen Gilmore; Mirco Tribastone (WADT, 2008)

Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile. - Mirco Tribastone; Stephen Gilmore (WOSP, 2008)

Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems. - Federica Ciocchetta; Stephen Gilmore; Maria Luisa Guerriero; Jane Hillston (PASM@EPEW, 2008)

Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models. - Jeremy T. Bradley; Stephen T. Gilmore; Jane Hillston (J. Comput. Syst. Sci., 2008)

Foreword. - Stephen Gilmore; Jane Hillston (SIGMETRICS Perform. Evaluation Rev., 2008)

Performance evaluation comes to life: quantitative methods applied to biological systems. - Stephen Gilmore; Jane Hillston (SIGMETRICS Perform. Evaluation Rev., 2008)

Preface. - Muffy Calder; Stephen Gilmore (Theor. Comput. Sci., 2008)

Passage-End Analysis. - Allan Clark; Adam Duguid; Stephen Gilmore (EPEW, 2009)

Scalable Analysis of Scalable Systems. - Allan Clark; Stephen Gilmore; Mirco Tribastone (FASE, 2009)

The Bio-PEPA Tool Suite. - Federica Ciocchetta; Adam Duguid; Stephen Gilmore; Maria Luisa Guerriero; Jane Hillston (QEST, 2009)

Quantitative Analysis of Web Services Using SRMC. - Allan Clark; Stephen Gilmore; Mirco Tribastone (SFM, 2009)

Design and Development of Software Tools for Bio-PEPA. - Adam Duguid; Stephen T. Gilmore; Maria Luisa Guerriero; Jane Hillston; Laurence Loewe (WSC, 2009)

Transient calculations on process algebra derived Markov chains. - Allan Clark; Stephen Gilmore (IET Softw., 2009)

The PEPA eclipse plugin. - Mirco Tribastone; Adam Duguid; Stephen Gilmore (SIGMETRICS Perform. Evaluation Rev., 2009)

On verifying Bio-PEPA models. - Allan Clark; Stephen Gilmore; Maria Luisa Guerriero; Peter Kemper (CMSB, 2010)

Large-Scale Modelling with the PEPA Eclipse Plug-In. - Mirco Tribastone; Stephen Gilmore (OR, 2010)

VERIFICATION AND TESTING OF BIOLOGICAL MODELS. - Allan Clark; Jane Hillston; Stephen Gilmore; Peter Kemper (WSC, 2010)

Discussants' Comments on the Computer Journal Lecture by Peter Harrison presented at the British Computer Society on 24th February 2009. - Erol Gelenbe; Stephen Gilmore (Comput. J., 2010)

Quantitative Analysis of Services. - Igor Cappello; Allan Clark; Stephen Gilmore; Diego Latella; Michele Loreti; Paola Quaglia; Stefano Schivo (Results of the SENSORIA Project, 2011)

Passage-End Analysis for Analysing Robot Movement. - Allan Clark; Adam Duguid; Stephen Gilmore (Results of the SENSORIA Project, 2011)

Evaluating Service Level Agreements Using Observational Probes. - Allan Clark; Stephen Gilmore (Results of the SENSORIA Project, 2011)

Scaling Performance Analysis Using Fluid-Flow Approximation. - Mirco Tribastone; Stephen Gilmore (Results of the SENSORIA Project, 2011)

Cost-Sensitive Concurrent Planning Under Duration Uncertainty for Service-Level Agreements. - Andrew Coles; Amanda Jane Coles; Allan Clark; Stephen Gilmore (ICAPS, 2011)

Visualisation for Stochastic Process Algebras: The Graphic Truth. - Michael J. A. Smith; Stephen Gilmore (EPEW, 2011)

Modular performance modelling for mobile applications. - Niaz Arijo; Reiko Heckel; Mirco Tribastone; Stephen Gilmore (ICPE, 2011)

Modular performance modelling for mobile applications (abstracts only). - Niaz Arijo; Reiko Heckel; Mirco Tribastone; Stephen Gilmore (SIGMETRICS Perform. Evaluation Rev., 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ó (Softw. Syst. Model., 2011)

Providing Dependability and Resilience in the Cloud: Challenges and Opportunities. - Samuel Kounev; Philipp Reinecke; Fabian Brosig; Jeremy T. Bradley; Kaustubh Joshi 001; Vlastimil Babka; Anton Stefanek; Stephen Gilmore (Resilience Assessment and Evaluation of Computing Systems, 2012)

Compositional Approximate Markov Chain Aggregation for PEPA Models. - Dimitrios Milios; Stephen Gilmore (EPEW/UKPEW, 2012)

Stochastic Process Algebras: From Individuals to Populations. - Jane Hillston; Mirco Tribastone; Stephen Gilmore (Comput. J., 2012)

A subsystems approach for parameter estimation of ODE models of hybrid systems - Anastasis Georgoulas; Allan Clark; Andrea Ocone; Stephen Gilmore; Guido Sanguinetti (HSB, 2012)

Stochastic Modelling of the Kai-based Circadian Clock. - Chris J. Banks; Allan Clark; Anastasis Georgoulas; Stephen Gilmore; Jane Hillston; Dimitrios Milios; Ian Stark (PASM/PDMC, 2012)

Conservation of Mass Analysis for Bio-PEPA. - Allan Clark; Stephen Gilmore; Maria Luisa Guerriero; Jane Hillston (PASM/PDMC, 2012)

Markov Chain Simulation with Fewer Random Samples. - Dimitrios Milios; Stephen Gilmore (PASM/PDMC, 2012)

Fluid Rewards for a Stochastic Process Algebra. - Mirco Tribastone; Jie Ding; Stephen Gilmore; Jane Hillston (IEEE Trans. Software Eng., 2012)

Scalable Differential Analysis of Process Algebra Models. - Mirco Tribastone; Stephen Gilmore; Jane Hillston (IEEE Trans. Software Eng., 2012)

SBSI: an extensible distributed software infrastructure for parameter estimation in systems biology. - Richard R. Adams; Allan B. Clark; Azusa Yamaguchi; Neil Hanlon; Nikos Tsorman; Shakir Ali; Galina Lebedeva; Alexey N. Goltsov; Anatoly A. Sorokin; Ozgur E. Akman; Carl Troein; Andrew J. Millar; et al. (Bioinform., 2013)

FM-Sim: Protocol Definition, Simulation and Rate Inference for Neuroscience Assays. - Donal Stewart; Stephen Gilmore; Michael A. Cousin (CMSB, 2014)

Formal Punctuality Analysis of Frequent Bus Services Using Headway Data. - Daniël Reijsbergen; Stephen Gilmore (EPEW, 2014)

FM-Sim: A Hybrid Protocol Simulator of Fluorescence Microscopy Neuroscience Assays with Integrated Bayesian Inference. - Donal Stewart; Stephen Gilmore; Michael A. Cousin (HSB, 2014)

An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems. - Stephen Gilmore; Mirco Tribastone; Andrea Vandin (IFM, 2014)

Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data. - Vincenzo Ciancia; Stephen Gilmore; Diego Latella; Michele Loreti; Mieke Massink (SASO Workshops, 2014)

Validation of Automatic Vehicle Location Data in Public Transport Systems. - Stephen Gilmore; Daniël Reijsbergen (UKPEW, 2014)

Patch-based Modelling of City-centre Bus Movement with Phase-type Distributions. - Daniël Reijsbergen; Stephen Gilmore; Jane Hillston (PASM, 2014)

Finding Optimal Timetables for Edinburgh Bus Routes. - Ludovica Luisa Vissat; Allan Clark; Stephen Gilmore (PASM, 2014)

Service Composition for Collective Adaptive Systems. - Stephen Gilmore; Jane Hillston; Mirco Tribastone (Software, Services, and Systems, 2015)

CARMA: Collective Adaptive Resource-sharing Markovian Agents. - Luca Bortolussi; Rocco De Nicola; Vashti Galpin; Stephen Gilmore; Jane Hillston; Diego Latella; Michele Loreti; Mieke Massink (QAPL, 2015)

Component aggregation for PEPA models: An approach based on approximate strong equivalence. - Dimitrios Milios; Stephen Gilmore (Perform. Evaluation, 2015)

Abstract Interpretation of PEPA Models. - Stephen Gilmore; Jane Hillston; Natalia Zon (Semantics, Logics, and Calculi, 2016)

Rigorous Graphical Modelling of Movement in Collective Adaptive Systems. - Natalia Zon; Stephen Gilmore; Jane Hillston (ISoLA (1), 2016)

Data as processes: introducing measurement data into CARMA models. - Stephen Gilmore (FORECAST@STAF, 2016)

Modelling movement for collective adaptive systems with CARMA. - Natalia Zon; Vashti Galpin; Stephen Gilmore (FORECAST@STAF, 2016)

Transient and Steady-State Statistical Analysis for Discrete Event Simulators. - Stephen Gilmore; Daniël Reijsbergen; Andrea Vandin (IFM, 2017)

Data-Driven Modelling and Simulation of Urban Transportation Systems Using Carma. - Natalia Zon; Stephen Gilmore (ISoLA (3), 2018)

Spatio-temporal model checking of vehicular movement in public transport systems. - Vincenzo Ciancia; Stephen Gilmore; Gianluca Grilletti; Diego Latella; Michele Loreti; Mieke Massink (Int. J. Softw. Tools Technol. Transf., 2018)

Mesoscopic Modelling of Pedestrian Movement Using Carma and Its Tools. - Vashti Galpin; Natalia Zon; Pia Wilsdorf; Stephen Gilmore (ACM Trans. Model. Comput. Simul., 2018)

A spatial algorithm for the analysis of transportation systems using statistical model checking. - Daniël Reijsbergen; Stephen Gilmore (CoRR, 2020)