External Associate

Home page

10 Publications with AESOP

Book Chapter

Modelling tools and techniques for the performance analysis of wireless protocols

Ashok Argent-Katwala, Jeremy T. Bradley, Nil Geisweiller, Stephen T. Gilmore, Nigel Thomas

Advances in Wireless Networks: Performance Modelling, Analysis and Enhancement

September, 2007

Journal Article

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

Jeremy T. Bradley, Stephen T. Gilmore, Jane Hillston

Journal of Computer and System Sciences

August, 2008

Conference and Workshop Papers

Safety and Response-Time Analysis of an Automotive Accident Assistance Service

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

September, 2008

Location-Aware Quality of Service Measurements for Service-Level Agreements

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

Jeremy T. Bradley, Stephen T. Gilmore

PASM 2005, 2nd International Workshop on the Practical Application of Stochastic Modelling

May, 2006

Performance analysis of Stochastic Process Algebra models using Stochastic Simulation

Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas

PMEO-PDS'06, Proceedings of Performance Modelling, Evaluation and Optimization of Parallel and Distributed Systems

March, 2006

How Synchronisation Strategy Approximation in PEPA Implementations affects Passage Time Performance Results

Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas

EPEW'04, European Performance Evaluation Workshop

September, 2004

Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler

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

September, 2003

National Workshop Papers

Stochastic Simulation Methods applied to a Secure Electronic Voting Model

Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas

PASM'05, Proceedings of 2nd Workshop on Practical Applications of Stochastic Modelling

June, 2005

Extracting Passage Times from PEPA models with the HYDRA Tool: A Case Study

Jeremy T. Bradley, Nicholas J. Dingle, Stephen T. Gilmore, William J. Knottenbelt

UKPEW 2003, 19th UK Performance Engineering Workshop

June, 2003

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