Author

Stephen T. Gilmore

Observed names: Gilmore, S, Gilmore, Stephen, S Gilmore, S. Gilmore, S.T. Gilmore, ST Gilmore, Stephen Gilmore

Observed institutions: University of Ulster, University of Nottingham, University of Trieste, King's College London, University of Exeter, Systems Biology Institute, University of Edinburgh

ORCID: 0000-0002-3657-989X

Observed ORCID: 0000-0002-3657-989X

OpenAlex ID: A5000114432

Evaluating the Performance of Skeleton-Based High Level Parallel Programs

2004 · Anne Benoit, Murray Cole, et al. · Lecture notes in computer science · 348

PDF

Combining Measurement and Stochastic Modelling to Enhance Scheduling Decisions for a Parallel Mean Value Analysis Algorithm

2006 · Gagarine Yaikhom, Murray Cole, et al. · Lecture notes in computer science · 284

PDF

The PEPA workbench: A tool to support a process algebra-based approach to performance modelling

1994 · Stephen Gilmore, Jane Hillston · Lecture notes in computer science · 273

Mobile Resource Guarantees for Smart Devices

2005 · David Aspinall, Stephen Gilmore, et al. · Lecture notes in computer science · 216

Sensoria Process Calculi for Service-Oriented Computing

2007 · Martin Wirsing, Rocco De Nicola, et al. · Lecture notes in computer science · 211

Flexible Skeletal Programming with eSkel

2005 · Anne Benoit, Murray Cole, et al. · Lecture notes in computer science · 208

Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA

2006 · Muffy Calder, Stephen Gilmore, et al. · Lecture notes in computer science · 206

Semantic-Based Development of Service-Oriented Systems

2006 · Martin Wirsing, Allan Clark, et al. · Lecture notes in computer science · 175

Scalable Differential Analysis of Process Algebra Models

2010 · Mirco Tribastone, Stephen Gilmore, et al. · IEEE Transactions on Software Engineering · 112

PDF

Specifying Performance Measures for PEPA

1999 · Graham Clark, Stephen Gilmore, et al. · Lecture notes in computer science · 102

Formal Methods for Performance Evaluation

2007 · Allan Clark, Stephen Gilmore, et al. · CiteSeer X (The Pennsylvania State University) · 99

An efficient algorithm for aggregating PEPA models

2001 · S. Gilmore, J. Hillston, et al. · IEEE Transactions on Software Engineering · 96

State-Aware Performance Analysis with eXtended Stochastic Probes

2008 · Allan Clark, Stephen Gilmore · Lecture notes in computer science · 91

The PEPA eclipse plugin

2009 · Mirco Tribastone, Adam Duguid, et al. · ACM SIGMETRICS Performance Evaluation Review · 86

PEPA Nets: A Structured Performance Modelling Formalism

2002 · Stephen Gilmore, Jane Hillston, et al. · Lecture notes in computer science · 85

Automatically deriving ODEs from process algebra models of signalling pathways

2005 · Muffy Calder, Stephen Gilmore, et al. · 79

PEPA nets: a structured performance modelling formalism

2003 · Stephen Gilmore, Jane Hillston, et al. · Performance Evaluation · 75

PDF

Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models

2007 · Jeremy T. Bradley, Stephen T. Gilmore, et al. · Journal of Computer and System Sciences · 65

PDF

Stochastic Process Algebras

2007 · Allan Clark, Stephen Gilmore, et al. · Springer eBooks · 64

Evaluating the performance of pipeline-structured parallel programs with skeletons and process algebra

2005 · Benoit, Anne, Cole, Murray, et al. · HAL · 64

Derivation of passage-time densities in PEPA models using ipc: the imperial PEPA compiler

2004 · J.T. Bradley, N.J. Dingle, et al. · Proceedings - International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems · 64

Spatio-temporal model checking of vehicular movement in public transport systems

2018 · Vincenzo Ciancia, Stephen Gilmore, et al. · International Journal on Software Tools for Technology Transfer · 59

PDF

Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile

2008 · Mirco Tribastone, Stephen Gilmore · International Workshop on Software and Performance (WOSP) · 57

CARMA: Collective Adaptive Resource-sharing Markovian Agents

2015 · Luca Bortolussi, Rocco De Nicola, et al. · Electronic Proceedings in Theoretical Computer Science · 51

Experiences with the PEPA performance modelling tools

1999 · G Clark, S Gilmore, et al. · IEE Proceedings - Software · 49

PDF

Works count: 219

Citation count: 4,583

H-index: 34

I10-index: 72