AESOP home

People

Prof. Stephen Gilmore

Picture of Prof. Stephen Gilmore
External Associate
Home page

Has only recently adequately explained why he has a cartoon picture of a pot plant for a photo.

11 Publications with AESOP

Book Chapters
Providing Dependability and Resilience in the Cloud: Challenges and Opportunities [PDF]
Samuel Kounev, Philipp Reinecke, Fabian Brosig, Jeremy T. Bradley, Kaustubh Joshi, Vlastimil Babka, Stephen T. Gilmore, Anton Stefanek
Resilience Assessment and Evaluation of Computing Systems
November, 2012
Modelling tools and techniques for the performance analysis of wireless protocols [PDF] [GZipped Postscript]
Ashok Argent-Katwala, Jeremy T. Bradley, Nil Geisweiller, Stephen T. Gilmore, Nigel Thomas
Advances in Wireless Networks: Performance Modelling, Analysis and Enhancement
October, 2007
Journal Article
Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models [PDF] [GZipped Postscript]
Jeremy T. Bradley, Stephen T. Gilmore, Jane Hillston
Journal of Computer and System Sciences
September, 2008
Conference and Workshop Papers
Safety and Response-Time Analysis of an Automotive Accident Assistance Service [PDF]
Ashok Argent-Katwala, A Clark, Howard Foster, Stephen T. Gilmore, Philip Mayer, Mirco Tribastone
ISOLA'08, 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
October, 2008
Location-Aware Quality of Service Measurements for Service-Level Agreements [PDF]
Ashok Argent-Katwala, Jeremy T. Bradley, A Clark, Stephen T. Gilmore
TGC'07, Trustworthy Global Computing
November, 2007
Stochastic simulation methods applied to a secure electronic voting model [PDF] [GZipped Postscript]
Jeremy T. Bradley, Stephen T. Gilmore
PASM 2005, 2nd International Workshop on the Practical Application of Stochastic Modelling
June, 2006
Performance analysis of Stochastic Process Algebra models using Stochastic Simulation [PDF] [GZipped Postscript]
Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas
PMEO-PDS'06, Proceedings of Performance Modelling, Evaluation and Optimization of Parallel and Distributed Systems
April, 2006
How Synchronisation Strategy Approximation in PEPA Implementations affects Passage Time Performance Results [PDF] [GZipped Postscript]
Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas
EPEW'04, European Performance Evaluation Workshop
October, 2004
Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler [PDF] [GZipped Postscript]
Jeremy T. Bradley, Nicholas J. Dingle, Stephen T. Gilmore, William J. Knottenbelt
MASCOTS'03, 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems
October, 2003
National Workshop Papers
Stochastic Simulation Methods applied to a Secure Electronic Voting Model [PDF] [GZipped Postscript]
Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas
PASM'05, Proceedings of 2nd Workshop on Practical Applications of Stochastic Modelling
July, 2005
Extracting Passage Times from PEPA models with the HYDRA Tool: A Case Study [PDF]
Jeremy T. Bradley, Nicholas J. Dingle, Stephen T. Gilmore, William J. Knottenbelt
UKPEW 2003, 19th UK Performance Engineering Workshop
July, 2003

Information from pubs.doc.ic.ac.uk/authors/sgilmore.