Stephen Gilmore

Publication Activity (10 Years)

Years Active: 1994-2020
Publications (10 Years): 9

Top Venues

Electron. Notes Theor. Comput. Sci.

IFM

FORECAST@STAF

IEEE Trans. Software Eng.

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Daniël Reijsbergen, Stephen Gilmore
A spatial algorithm for the analysis of transportation systems using statistical model checking. CoRR (2020)
Vashti Galpin, Natalia Zon, Pia Wilsdorf, Stephen Gilmore
Mesoscopic Modelling of Pedestrian Movement Using Carma and Its Tools. ACM Trans. Model. Comput. Simul. 28 (2) (2018)
Vincenzo Ciancia, Stephen Gilmore, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink
Spatio-temporal model checking of vehicular movement in public transport systems. Int. J. Softw. Tools Technol. Transf. 20 (3) (2018)
Natalia Zon, Stephen Gilmore
Data-Driven Modelling and Simulation of Urban Transportation Systems Using Carma. ISoLA (3) (2018)
Stephen Gilmore, Daniël Reijsbergen, Andrea Vandin
Transient and Steady-State Statistical Analysis for Discrete Event Simulators. IFM (2017)
Stephen Gilmore
Data as processes: introducing measurement data into CARMA models. FORECAST@STAF (2016)
Natalia Zon, Stephen Gilmore, Jane Hillston
Rigorous Graphical Modelling of Movement in Collective Adaptive Systems. ISoLA (1) (2016)
Natalia Zon, Vashti Galpin, Stephen Gilmore
Modelling movement for collective adaptive systems with CARMA. FORECAST@STAF (2016)
Stephen Gilmore, Jane Hillston, Natalia Zon
Abstract Interpretation of PEPA Models. Semantics, Logics, and Calculi (2016)
Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti, Mieke Massink
CARMA: Collective Adaptive Resource-sharing Markovian Agents. QAPL (2015)
Dimitrios Milios, Stephen Gilmore
Component aggregation for PEPA models: An approach based on approximate strong equivalence. Perform. Evaluation 94 (2015)
Ludovica Luisa Vissat, Allan Clark, Stephen Gilmore
Finding Optimal Timetables for Edinburgh Bus Routes. Electron. Notes Theor. Comput. Sci. 310 (2015)
Stephen Gilmore, Jane Hillston, Mirco Tribastone
Service Composition for Collective Adaptive Systems. Software, Services, and Systems (2015)
Daniël Reijsbergen, Stephen Gilmore, Jane Hillston
Patch-based Modelling of City-centre Bus Movement with Phase-type Distributions. Electron. Notes Theor. Comput. Sci. 310 (2015)
Stephen Gilmore, Daniël Reijsbergen
Validation of Automatic Vehicle Location Data in Public Transport Systems. Electron. Notes Theor. Comput. Sci. 318 (2015)
Donal Stewart, Stephen Gilmore, Michael A. Cousin
FM-Sim: Protocol Definition, Simulation and Rate Inference for Neuroscience Assays. CMSB (2014)
Donal Stewart, Stephen Gilmore, Michael A. Cousin
FM-Sim: A Hybrid Protocol Simulator of Fluorescence Microscopy Neuroscience Assays with Integrated Bayesian Inference. HSB (2014)
Vincenzo Ciancia, Stephen Gilmore, Diego Latella, Michele Loreti, Mieke Massink
Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data. SASO Workshops (2014)
Daniël Reijsbergen, Stephen Gilmore
Formal Punctuality Analysis of Frequent Bus Services Using Headway Data. EPEW (2014)
Stephen Gilmore, Mirco Tribastone, Andrea Vandin
An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems. IFM (2014)
Dimitrios Milios, Stephen Gilmore
Markov Chain Simulation with Fewer Random Samples. Electron. Notes Theor. Comput. Sci. 296 (2013)
Allan Clark, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston
Conservation of Mass Analysis for Bio-PEPA. Electron. Notes Theor. Comput. Sci. 296 (2013)
Richard R. Adams, Allan Clark, Azusa Yamaguchi, Neil Hanlon, Nikos Tsorman, Shakir Ali, Galina Lebedeva, Alexey Goltsov, Anatoly A. Sorokin, Ozgur E. Akman, Carl Troein, Andrew J. Millar, Igor Goryanin, Stephen Gilmore
SBSI: an extensible distributed software infrastructure for parameter estimation in systems biology. Bioinform. 29 (5) (2013)
Chris J. Banks, Allan Clark, Anastasis Georgoulas, Stephen Gilmore, Jane Hillston, Dimitrios Milios, Ian Stark
Stochastic Modelling of the Kai-based Circadian Clock. Electron. Notes Theor. Comput. Sci. 296 (2013)
Jane Hillston, Mirco Tribastone, Stephen Gilmore
Stochastic Process Algebras: From Individuals to Populations. Comput. J. 55 (7) (2012)
Dimitrios Milios, Stephen Gilmore
Compositional Approximate Markov Chain Aggregation for PEPA Models. EPEW/UKPEW (2012)
Mirco Tribastone, Stephen Gilmore, Jane Hillston
Scalable Differential Analysis of Process Algebra Models. IEEE Trans. Software Eng. 38 (1) (2012)
Mirco Tribastone, Jie Ding, Stephen Gilmore, Jane Hillston
Fluid Rewards for a Stochastic Process Algebra. IEEE Trans. Software Eng. 38 (4) (2012)
Anastasis Georgoulas, Allan Clark, Andrea Ocone, Stephen Gilmore, Guido Sanguinetti
A subsystems approach for parameter estimation of ODE models of hybrid systems HSB (2012)
Andrew Coles, Amanda Jane Coles, Allan Clark, Stephen Gilmore
Cost-Sensitive Concurrent Planning Under Duration Uncertainty for Service-Level Agreements. ICAPS (2011)
Stephen Gilmore, László Gönczy, Nora Koch, Philip Mayer, Mirco Tribastone, Dániel Varró
Non-functional properties in the model-driven development of service-oriented systems. Softw. Syst. Model. 10 (3) (2011)
Niaz Arijo, Reiko Heckel, Mirco Tribastone, Stephen Gilmore
Modular performance modelling for mobile applications (abstracts only). SIGMETRICS Perform. Evaluation Rev. 39 (3) (2011)
Michael J. A. Smith, Stephen Gilmore
Visualisation for Stochastic Process Algebras: The Graphic Truth. EPEW (2011)
Niaz Arijo, Reiko Heckel, Mirco Tribastone, Stephen Gilmore
Modular performance modelling for mobile applications. ICPE (2011)
Mirco Tribastone, Stephen Gilmore
Large-Scale Modelling with the PEPA Eclipse Plug-In. OR (2010)
Allan Clark, Stephen Gilmore, Maria Luisa Guerriero, Peter Kemper
On verifying Bio-PEPA models. CMSB (2010)
Erol Gelenbe, Stephen Gilmore
by Peter Harrison presented at the British Computer Society on 24th February 2009. Comput. J. 53 (6) (2010)
Allan Clark, Jane Hillston, Stephen Gilmore, Peter Kemper
VERIFICATION AND TESTING OF BIOLOGICAL MODELS. WSC (2010)
Allan Clark, Stephen Gilmore, Mirco Tribastone
Scalable Analysis of Scalable Systems. FASE (2009)
Federica Ciocchetta, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston
Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems. Electron. Notes Theor. Comput. Sci. 232 (2009)
Mirco Tribastone, Adam Duguid, Stephen Gilmore
The PEPA eclipse plugin. SIGMETRICS Perform. Evaluation Rev. 36 (4) (2009)
Allan Clark, Stephen Gilmore, Mirco Tribastone
Quantitative Analysis of Web Services Using SRMC. SFM (2009)
Allan Clark, Stephen Gilmore
Transient calculations on process algebra derived Markov chains. IET Softw. 3 (6) (2009)
Allan Clark, Adam Duguid, Stephen Gilmore
Passage-End Analysis. EPEW (2009)
Federica Ciocchetta, Adam Duguid, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston
The Bio-PEPA Tool Suite. QEST (2009)
Andrea Degasperi, Stephen Gilmore
Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions. SFM (2008)
Jane Hillston, Federica Ciocchetta, Adam Duguid, Stephen Gilmore
Integrated Analysis from Abstract Stochastic Process Algebra Models. CMSB (2008)
Stephen Gilmore, Jane Hillston
Performance evaluation comes to life: quantitative methods applied to biological systems. SIGMETRICS Perform. Evaluation Rev. 35 (4) (2008)
Allan Clark, Adam Duguid, Stephen Gilmore, Mirco Tribastone
Partial Evaluation of PEPA Models for Fluid-Flow Analysis. EPEW (2008)
Ashok Argent-Katwala, Allan Clark, Howard Foster, Stephen Gilmore, Philip Mayer, Mirco Tribastone
Safety and Response-Time Analysis of an Automotive Accident Assistance Service. ISoLA (2008)
Muffy Calder, Stephen Gilmore
Preface. Theor. Comput. Sci. 408 (1) (2008)
Stephen Gilmore, Jane Hillston
Foreword. SIGMETRICS Perform. Evaluation Rev. 35 (4) (2008)
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, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. ISoLA (2008)
Allan Clark, Stephen Gilmore, Mirco Tribastone
Service-Level Agreements for Service-Oriented Computing. WADT (2008)
Mirco Tribastone, Stephen Gilmore
Automatic Translation of UML Sequence Diagrams into PEPA Models. QEST (2008)
Allan Clark, Stephen Gilmore
State-Aware Performance Analysis with eXtended Stochastic Probes. EPEW (2008)
Mirco Tribastone, Stephen Gilmore
Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile. WOSP (2008)
Mario Bravetti, Stephen Gilmore, Claudio Guidi, Mirco Tribastone
Replicating Web Services for Scalability. TGC (2007)
Gagarine Yaikhom, Murray Cole, Stephen Gilmore, Jane Hillston
A Structural Approach for Modelling Performance of Systems Using Skeletons. Electron. Notes Theor. Comput. Sci. 190 (3) (2007)
Alexander Knapp, Stephan Janisch, Rolf Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister, Martin Wirsing
Modelling the CoCoME with the Java/AComponent Model. CoCoME (2007)
Ashok Argent-Katwala, Jeremy T. Bradley, Allan Clark, Stephen Gilmore
Location-Aware Quality of Service Measurements for Service-Level Agreements. TGC (2007)
Allan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone
Stochastic Process Algebras. SFM (2007)
Stephen Gilmore, Valentin Haenel, Jane Hillston, Jennifer Tenzer
A design environment for mobile applications. IPDPS (2006)
Muffy Calder, Stephen Gilmore, Jane Hillston
Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA. Trans. Comp. Sys. Biology 7 (2006)
Muffy Calder, Adam Duguid, Stephen Gilmore, Jane Hillston
Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods. CMSB (2006)
Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder
Semantic-Based Development of Service-Oriented Systems. FORTE (2006)
Allan Clark, Stephen Gilmore
Evaluating Quality of Service for Service Level Agreements. FMICS/PDMC (2006)
Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro
SensoriaProcess Calculi for Service-Oriented Computing. TGC (2006)
Gagarine Yaikhom, Murray Cole, Stephen Gilmore
Combining Measurement and Stochastic Modelling to Enhance Scheduling Decisions for a Parallel Mean Value Analysis Algorithm. International Conference on Computational Science (2) (2006)
Mikael Buchholtz, Stephen Gilmore, Valentin Haenel, Carlo Montangero
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform. FM (2005)
Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston
Scheduling Skeleton-Based Grid Applications Using PEPA and NWS. Comput. J. 48 (3) (2005)
Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston
Enhancing the effective utilisation of grid clusters by exploiting on-line performability analysis. CCGRID (2005)
Stephen Gilmore, Matthew Prowse
Proof-carrying Bytecode. Electron. Notes Theor. Comput. Sci. 141 (1) (2005)
Stephen Gilmore, Kenneth MacKenzie, Nicholas Wolverson
Extending resource-bounded functional programming languages with mutable state and concurrency. Scalable Comput. Pract. Exp. 6 (4) (2005)
Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston
Using eSkel to Implement the Multiple Baseline Stereo Application. PARCO (2005)
Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston
Evaluating the performance of pipeline-structured parallel programs with skeletons and process algebra. Scalable Comput. Pract. Exp. 6 (4) (2005)
Stephen Gilmore, Leïla Kloul
A unified tool for performance modelling and prediction. Reliab. Eng. Syst. Saf. 89 (1) (2005)
Donald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth MacKenzie, Alberto Momigliano, Olha Shkaravska
Mobile Resource Guarantees (project evaluation paper). Trends in Functional Programming (2005)
Stephen Gilmore, Valentin Haenel, Leïla Kloul, Monika Maidl
Choreographing Security and Performance Analysis for Web Services. EPEW/WS-FM (2005)
Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston
Flexible Skeletal Programming with eSkel. Euro-Par (2005)
Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston
Evaluating the Performance of Skeleton-Based High Level Parallel Programs. International Conference on Computational Science (2004)
Stephen Gilmore, Leïla Kloul, Davide Piazza
Modelling Role-Playing Games Using PEPA Nets. ISCIS (2004)
Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo
Software performance modelling using PEPA nets. WOSP (2004)
Stephen Gilmore
Extending Camelot with Mutable State and Concurrency. International Conference on Computational Science (2004)
David Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark
Mobile Resource Guarantees for Smart Devices. CASSIS (2004)
Stephen Gilmore, Valentin Haenel, Jane Hillston, Leïla Kloul
PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application. FORTE Workshops (2004)
C. Canevet, Stephen Gilmore, Jane Hillston, Leïla Kloul, Perdita Stevens
Analysing UML 2.0 activity diagrams in the software performance engineering process. WOSP (2004)
Stephen Gilmore, Leïla Kloul
A Unified Tool for Performance Modelling and Prediction. SAFECOMP (2003)
Stephen Gilmore, Jane Hillston, Leïla Kloul
PEPA Nets. MASCOTS Tutorials (2003)
Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami
Performance Evaluation for Global Computation. Global Computing (2003)
Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo
PEPA nets: a structured performance modelling formalism. Perform. Evaluation 54 (2) (2003)
Stephen Gilmore, Marco A. Palomino
Monitoring and Controlling Distributed Applications with Relocatable Objects. CCGRID (2002)
Stephen Gilmore, Jane Hillston, Marina Ribaudo
PEPA Nets: A Structured Performance Modelling Formalism. Computer Performance Evaluation / TOOLS (2002)
Stephen Gilmore, Jane Hillston, Marina Ribaudo
An Efficient Algorithm for Aggregating PEPA Models. IEEE Trans. Software Eng. 27 (5) (2001)
Stephen Gilmore, Jane Hillston
The PEPA Feature Construct. FIREworks (2000)
Chris Walton, Dilsun Kirli Kaynar, Stephen Gilmore
An abstract machine model of dynamic module replacement. Future Gener. Comput. Syst. 16 (7) (2000)
Graham Clark, Stephen Gilmore, Jane Hillston, Marina Ribaudo
Exploiting Modal Logic to Express Performance Measures. Computer Performance Evaluation / TOOLS (2000)
Graham Clark, Stephen Gilmore, Jane Hillston, Nigel Thomas
Experiences with the PEPA performance modelling. IEE Proc. Softw. 146 (1) (1999)
Stephen Gilmore
Deep Type Inference for Mobile Functions. Scottish Functional Programming Workshop (1999)
Graham Clark, Stephen Gilmore, Jane Hillston
Specifying Performance Measures for PEPA. ARTS (1999)

Stephen Gilmore.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stephen Gilmore