Search the dblp DataBase

Publications of Author

1. Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas
   How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results. [Citation Graph (0, 0)][DBLP]
   FORTE Workshops, 2004, pp:128-142 [Conf]
   
2. Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas
   Performance analysis of stochastic process algebra models using stochastic simulation. [Citation Graph (0, 0)][DBLP]
   IPDPS, 2006, pp:- [Conf]
   
3. 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. [Citation Graph (0, 0)][DBLP]
   MASCOTS, 2003, pp:344-0 [Conf]
   
4. Stephen T. Gilmore, Mirco Tribastone
   Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System. [Citation Graph (0, 0)][DBLP]
   WS-FM, 2006, pp:214-226 [Conf]
   
5. Jeremy T. Bradley, Stephen T. Gilmore
   Stochastic Simulation Methods Applied to a Secure Electronic Voting Model. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:151, n:3, pp:5-25 [Journal]
   
6. Mikael Buchholtz, Stephen T. Gilmore, Jane Hillston, Flemming Nielson
   Securing Statically-verified Communications Protocols Against Timing Attacks. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:128, n:4, pp:123-143 [Journal]
   
7. Stephen T. Gilmore, Olha Shkaravska
   Estimating the Cost of Native Method Calls for Resource-bounded Functional Programming Languages. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:151, n:3, pp:27-45 [Journal]
   
8. 
   Design and Development of Software Tools for Bio-PEPA. [Citation Graph (, )][DBLP]