Stephen Gilmore

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