Stephen T. Gilmore

Publication Activity (10 Years)

Years Active: 2003-2009
Publications (10 Years): 0

Publications

Adam Duguid, Stephen T. Gilmore, Maria Luisa Guerriero, Jane Hillston, Laurence Loewe
Design and Development of Software Tools for Bio-PEPA. WSC (2009)
Jeremy T. Bradley, Stephen T. Gilmore, Jane Hillston
Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models. J. Comput. Syst. Sci. 74 (6) (2008)
Jeremy T. Bradley, Stephen T. Gilmore
Stochastic Simulation Methods Applied to a Secure Electronic Voting Model. Electron. Notes Theor. Comput. Sci. 151 (3) (2006)
Stephen T. Gilmore, Mirco Tribastone
Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System. WS-FM (2006)
Stephen T. Gilmore, Olha Shkaravska
Estimating the Cost of Native Method Calls for Resource-bounded Functional Programming Languages. Electron. Notes Theor. Comput. Sci. 151 (3) (2006)
Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas
Performance analysis of stochastic process algebra models using stochastic simulation. IPDPS (2006)
Mikael Buchholtz, Stephen T. Gilmore, Jane Hillston, Flemming Nielson
Securing Statically-verified Communications Protocols Against Timing Attacks. Electron. Notes Theor. Comput. Sci. 128 (4) (2005)
Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas
How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results. FORTE Workshops (2004)
Jeremy T. Bradley, Nicholas J. Dingle, Stephen T. Gilmore, William J. Knottenbelt
Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler. MASCOTS (2003)