Concepedia

Stephen Gilmore

SG

49

Publications

1.7K

Citations

25

H-Index

1996

Active since

Affiliations

University of Edinburgh(Current)

Imperial College London

Ludwig-Maximilians-Universität München

King's College London

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"

Stephen Gilmore is an author at University of Edinburgh specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringSystems EngineeringComputer ScienceFormal MethodsSoftware DesignSoftware AnalysisSoftware EngineeringModeling And SimulationSystem SoftwareComputer Engineering

Publications per year

1996–2018

49

Publications

49

Scalable Differential Analysis of Process Algebra Models

Mirco Tribastone, Stephen Gilmore, Jane Hillston · IEEE Transactions on Software Engineering · 2010 · 113 citations · Full text

Engineering, Software Engineering, Discrete-event Simulation +18

An efficient algorithm for aggregating PEPA models

Stephen Gilmore, Jane Hillston, Marina Ribaudo · IEEE Transactions on Software Engineering · 2001 · 95 citations · Full text

Engineering, Computer Architecture, Software Analysis +26

The PEPA eclipse plugin

Mirco Tribastone, Adam Duguid, Stephen Gilmore · ACM SIGMETRICS Performance Evaluation Review · 2009 · 85 citations · Full text

Single Highlevel Language, Engineering, Software Engineering +20

Automatically deriving ODEs from process algebra models of signalling pathways

Muffy Calder, Stephen Gilmore, Jane Hillston · 2005 · 79 citations

PEPA nets: a structured performance modelling formalism

Stephen Gilmore, Jane Hillston, Leı̈la Kloul et al. · Performance Evaluation · 2003 · 73 citations

Engineering, Formal Modeling, Performance Modeling +9

Rows per page

1–5 of 49