Stephen Gilmore
Orcid: 0000-0001-7135-5616Affiliations:
- University of Edinburgh, Scotland, UK
According to our database1,
Stephen Gilmore
authored at least 116 papers
between 1991 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on id.loc.gov
-
on d-nb.info
-
on dcs.ed.ac.uk
-
on dl.acm.org
On csauthors.net:
Bibliography
2020
A spatial algorithm for the analysis of transportation systems using statistical model checking.
CoRR, 2020
2018
ACM Trans. Model. Comput. Simul., 2018
Int. J. Softw. Tools Technol. Transf., 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018
2017
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017
2016
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, 2016
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Proceedings of the Semantics, Logics, and Calculi, 2016
2015
Component aggregation for PEPA models: An approach based on approximate strong equivalence.
Perform. Evaluation, 2015
Proceedings of the Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, 2015
Proceedings of the Software, 2015
2014
Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, 2014
Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, 2014
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
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
Proceedings of the Computer Performance Engineering - 11th European Workshop, 2014
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
IEEE Trans. Software Eng., 2012
Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012
Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012
Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012
Proceedings of the Proceedings First International Workshop on Hybrid Systems and Biology, 2012
Proceedings of the Computer Performance Engineering - 9th European Workshop, 2012
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
SIGMETRICS Perform. Evaluation Rev., 2011
Proceedings of the ICPE'11, 2011
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
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
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
Proceedings of the 2010 Winter Simulation Conference, 2010
Proceedings of the Operations Research Proceedings 2010, 2010
Proceedings of the Computational Methods in Systems Biology, 8th International Conference, 2010
2009
Proceedings of the 2009 Winter Simulation Conference, 2009
Proceedings of the Formal Methods for Web Services, 2009
Proceedings of the Fundamental Approaches to Software Engineering, 2009
2008
Performance evaluation comes to life: quantitative methods applied to biological systems.
SIGMETRICS Perform. Evaluation Rev., 2008
Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models.
J. Comput. Syst. Sci., 2008
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
Proceedings of the Recent Trends in Algebraic Development Techniques, 2008
Proceedings of the Formal Methods for Computational Systems Biology, 2008
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
Proceedings of the Leveraging Applications of Formal Methods, 2008
Proceedings of the Computer Performance Engineering, 2008
Proceedings of the Computer Performance Engineering, 2008
Proceedings of the Computational Methods in Systems Biology, 6th International Conference, 2008
2007
Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, 2007
Proceedings of the Trustworthy Global Computing, Third Symposium, 2007
Proceedings of the Trustworthy Global Computing, Third Symposium, 2007
Proceedings of the Formal Methods for Performance Evaluation, 2007
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
Proceedings of the Trustworthy Global Computing, Second Symposium, 2006
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
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006
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
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
Proceedings of the First Workshop on Bytecode Semantics, 2005
Proceedings of the Second International Workshop on the Practical Application of Stochastic Modeling, 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
Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005
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
Proceedings of the First International Workshop on Practical Applications of Stochastic Modelling, 2004
Proceedings of the Fourth International Workshop on Software and Performance, 2004
Proceedings of the Fourth International Workshop on Software and Performance, 2004
Proceedings of the Computer and Information Sciences, 2004
Proceedings of the Computational Science, 2004
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
Proceedings of the Construction and Analysis of Safe, 2004
2003
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
Proceedings of the Global Computing. Programming Environments, 2003
2002
Proceedings of the Computer Performance Evaluation, 2002
Proceedings of the 2nd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2002), 2002
2001
2000
Future Gener. Comput. Syst., 2000
Proceedings of the Language Constructs for Describing Features, 2000
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 2000
1999
Deep Type Inference for Mobile Functions.
Proceedings of the Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), 1999
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