Stephen Gilmore

Affiliations:
  • University of Edinburgh, Scotland, UK


According to our database1, Stephen Gilmore authored at least 116 papers between 1991 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
A spatial algorithm for the analysis of transportation systems using statistical model checking.
CoRR, 2020

2018
Mesoscopic Modelling of Pedestrian Movement Using Carma and Its Tools.
ACM Trans. Model. Comput. Simul., 2018

Spatio-temporal model checking of vehicular movement in public transport systems.
Int. J. Softw. Tools Technol. Transf., 2018

Data-Driven Modelling and Simulation of Urban Transportation Systems Using Carma.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

2017
Transient and Steady-State Statistical Analysis for Discrete Event Simulators.
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2016
Modelling movement for collective adaptive systems with CARMA.
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, 2016

Data as processes: introducing measurement data into CARMA models.
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, 2016

Rigorous Graphical Modelling of Movement in Collective Adaptive Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Abstract Interpretation of PEPA Models.
Proceedings of the Semantics, Logics, and Calculi, 2016

2015
Component aggregation for PEPA models: An approach based on approximate strong equivalence.
Perform. Evaluation, 2015

CARMA: Collective Adaptive Resource-sharing Markovian Agents.
Proceedings of the Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, 2015

Service Composition for Collective Adaptive Systems.
Proceedings of the Software, 2015

2014
Finding Optimal Timetables for Edinburgh Bus Routes.
Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, 2014

Patch-based Modelling of City-centre Bus Movement with Phase-type Distributions.
Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, 2014

Validation of Automatic Vehicle Location Data in Public Transport Systems.
Proceedings of the Twenty-ninth and thirtieth Annual UK Performance Engineering Workshops, 2014

Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data.
Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014

An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems.
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

FM-Sim: A Hybrid Protocol Simulator of Fluorescence Microscopy Neuroscience Assays with Integrated Bayesian Inference.
Proceedings of the Hybrid Systems Biology, 2014

Formal Punctuality Analysis of Frequent Bus Services Using Headway Data.
Proceedings of the Computer Performance Engineering - 11th European Workshop, 2014

FM-Sim: Protocol Definition, Simulation and Rate Inference for Neuroscience Assays.
Proceedings of the Computational Methods in Systems Biology, 2014

2013
SBSI: an extensible distributed software infrastructure for parameter estimation in systems biology.
Bioinform., 2013

2012
Scalable Differential Analysis of Process Algebra Models.
IEEE Trans. Software Eng., 2012

Fluid Rewards for a Stochastic Process Algebra.
IEEE Trans. Software Eng., 2012

Markov Chain Simulation with Fewer Random Samples.
Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012

Conservation of Mass Analysis for Bio-PEPA.
Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012

Stochastic Modelling of the Kai-based Circadian Clock.
Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012

A subsystems approach for parameter estimation of ODE models of hybrid systems
Proceedings of the Proceedings First International Workshop on Hybrid Systems and Biology, 2012

Stochastic Process Algebras: From Individuals to Populations.
Comput. J., 2012

Compositional Approximate Markov Chain Aggregation for PEPA Models.
Proceedings of the Computer Performance Engineering - 9th European Workshop, 2012

Providing Dependability and Resilience in the Cloud: Challenges and Opportunities.
Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012

2011
Non-functional properties in the model-driven development of service-oriented systems.
Softw. Syst. Model., 2011

Modular performance modelling for mobile applications (abstracts only).
SIGMETRICS Perform. Evaluation Rev., 2011

Modular performance modelling for mobile applications.
Proceedings of the ICPE'11, 2011

Visualisation for Stochastic Process Algebras: The Graphic Truth.
Proceedings of the Computer Performance Engineering, 2011

Cost-Sensitive Concurrent Planning Under Duration Uncertainty for Service-Level Agreements.
Proceedings of the 21st International Conference on Automated Planning and Scheduling, 2011

Scaling Performance Analysis Using Fluid-Flow Approximation.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Evaluating Service Level Agreements Using Observational Probes.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Passage-End Analysis for Analysing Robot Movement.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Quantitative Analysis of Services.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010
Discussants' Comments on the <i>Computer Journal Lecture</i> by Peter Harrison presented at the British Computer Society on 24th February 2009.
Comput. J., 2010

VERIFICATION AND TESTING OF BIOLOGICAL MODELS.
Proceedings of the 2010 Winter Simulation Conference, 2010

Large-Scale Modelling with the PEPA Eclipse Plug-In.
Proceedings of the Operations Research Proceedings 2010, 2010

On verifying Bio-PEPA models.
Proceedings of the Computational Methods in Systems Biology, 8th International Conference, 2010

2009
The PEPA eclipse plugin.
SIGMETRICS Perform. Evaluation Rev., 2009

Transient calculations on process algebra derived Markov chains.
IET Softw., 2009

Design and Development of Software Tools for Bio-PEPA.
Proceedings of the 2009 Winter Simulation Conference, 2009

Quantitative Analysis of Web Services Using SRMC.
Proceedings of the Formal Methods for Web Services, 2009

The Bio-PEPA Tool Suite.
Proceedings of the QEST 2009, 2009

Scalable Analysis of Scalable Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2009

Passage-End Analysis.
Proceedings of the Computer Performance Engineering, 2009

2008
Preface.
Theor. Comput. Sci., 2008

Performance evaluation comes to life: quantitative methods applied to biological systems.
SIGMETRICS Perform. Evaluation Rev., 2008

Foreword.
SIGMETRICS Perform. Evaluation Rev., 2008

Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models.
J. Comput. Syst. Sci., 2008

Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems.
Proceedings of the Third International Workshop on the Practical Application of Stochastic Modelling, 2008

Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile.
Proceedings of the 7th International Workshop on Software and Performance, 2008

Service-Level Agreements for Service-Oriented Computing.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions.
Proceedings of the Formal Methods for Computational Systems Biology, 2008

Automatic Translation of UML Sequence Diagrams into PEPA Models.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.
Proceedings of the Leveraging Applications of Formal Methods, 2008

Safety and Response-Time Analysis of an Automotive Accident Assistance Service.
Proceedings of the Leveraging Applications of Formal Methods, 2008

State-Aware Performance Analysis with eXtended Stochastic Probes.
Proceedings of the Computer Performance Engineering, 2008

Partial Evaluation of PEPA Models for Fluid-Flow Analysis.
Proceedings of the Computer Performance Engineering, 2008

Integrated Analysis from Abstract Stochastic Process Algebra Models.
Proceedings of the Computational Methods in Systems Biology, 6th International Conference, 2008

2007
A Structural Approach for Modelling Performance of Systems Using Skeletons.
Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, 2007

Replicating Web Services for Scalability.
Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

Location-Aware Quality of Service Measurements for Service-Level Agreements.
Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

Stochastic Process Algebras.
Proceedings of the Formal Methods for Performance Evaluation, 2007

Modelling the CoCoME with the Java/AComponent Model.
Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

2006
Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA.
Trans. Comp. Sys. Biology, 2006

Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

SensoriaProcess Calculi for Service-Oriented Computing.
Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

A design environment for mobile applications.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Performance analysis of stochastic process algebra models using stochastic simulation.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Combining Measurement and Stochastic Modelling to Enhance Scheduling Decisions for a Parallel Mean Value Analysis Algorithm.
Proceedings of the Computational Science, 2006

Semantic-Based Development of Service-Oriented Systems.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

Evaluating Quality of Service for Service Level Agreements.
Proceedings of the Formal Methods: Applications and Technology, 2006

Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2006

2005
Extending resource-bounded functional programming languages with mutable state and concurrency.
Scalable Comput. Pract. Exp., 2005

Evaluating the performance of pipeline-structured parallel programs with skeletons and process algebra.
Scalable Comput. Pract. Exp., 2005

A unified tool for performance modelling and prediction.
Reliab. Eng. Syst. Saf., 2005

Estimating the Cost of Native Method Calls for Resource-bounded Functional Programming Languages.
Proceedings of the Second International Workshop on the Practical Application of Stochastic Modeling, 2005

Proof-carrying Bytecode.
Proceedings of the First Workshop on Bytecode Semantics, 2005

Stochastic Simulation Methods Applied to a Secure Electronic Voting Model.
Proceedings of the Second International Workshop on the Practical Application of Stochastic Modeling, 2005

Scheduling Skeleton-Based Grid Applications Using PEPA and NWS.
Comput. J., 2005

Mobile Resource Guarantees (project evaluation paper).
Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

Using eSkel to Implement the Multiple Baseline Stereo Application.
Proceedings of the Parallel Computing: Current & Future Issues of High-End Computing, 2005

End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform.
Proceedings of the FM 2005: Formal Methods, 2005

Flexible Skeletal Programming with eSkel.
Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005

Choreographing Security and Performance Analysis for Web Services.
Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

Enhancing the effective utilisation of grid clusters by exploiting on-line performability analysis.
Proceedings of the 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 2005

2004
Securing Statically-verified Communications Protocols Against Timing Attacks.
Proceedings of the First International Workshop on Practical Applications of Stochastic Modelling, 2004

Software performance modelling using PEPA nets.
Proceedings of the Fourth International Workshop on Software and Performance, 2004

Analysing UML 2.0 activity diagrams in the software performance engineering process.
Proceedings of the Fourth International Workshop on Software and Performance, 2004

Modelling Role-Playing Games Using PEPA Nets.
Proceedings of the Computer and Information Sciences, 2004

Extending Camelot with Mutable State and Concurrency.
Proceedings of the Computational Science, 2004

Evaluating the Performance of Skeleton-Based High Level Parallel Programs.
Proceedings of the Computational Science, 2004

PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application.
Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results.
Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

Mobile Resource Guarantees for Smart Devices.
Proceedings of the Construction and Analysis of Safe, 2004

2003
PEPA nets: a structured performance modelling formalism.
Perform. Evaluation, 2003

PEPA Nets.
Proceedings of the Performance Tools and Applications to Networked Systems, 2003

Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler.
Proceedings of the 11th International Workshop on Modeling, 2003

Performance Evaluation for Global Computation.
Proceedings of the Global Computing. Programming Environments, 2003

2002
PEPA Nets: A Structured Performance Modelling Formalism.
Proceedings of the Computer Performance Evaluation, 2002

Monitoring and Controlling Distributed Applications with Relocatable Objects.
Proceedings of the 2nd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2002), 2002

2001
An Efficient Algorithm for Aggregating PEPA Models.
IEEE Trans. Software Eng., 2001

2000
An abstract machine model of dynamic module replacement.
Future Gener. Comput. Syst., 2000

The PEPA Feature Construct.
Proceedings of the Language Constructs for Describing Features, 2000

Exploiting Modal Logic to Express Performance Measures.
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 2000

1999
Experiences with the PEPA performance modelling.
IEE Proc. Softw., 1999

Deep Type Inference for Mobile Functions.
Proceedings of the Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), 1999

Specifying Performance Measures for PEPA.
Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999

1995
Process Algebras and their Application to Performance Modelling: Proceedings of the Third Workshop on Process Algebra and Performance Modelling Edinburgh, Scotland.
Comput. J., 1995

1994
The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling.
Proceedings of the Computer Performance Evaluation, 1994

1991
Correctness-oriented approaches to software development.
PhD thesis, 1991


  Loading...