Stephen Gilmore

Stephen T. Gilmore

2008
53	EE	Stephen Gilmore, Jane Hillston: Foreword. SIGMETRICS Performance Evaluation Review 35(4): 2 (2008)
52	EE	Stephen Gilmore, Jane Hillston: Performance evaluation comes to life: quantitative methods applied to biological systems. SIGMETRICS Performance Evaluation Review 35(4): 3-13 (2008)
2007
51		Muffy Calder, Stephen Gilmore: Computational Methods in Systems Biology, International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings Springer 2007
50	EE	Allan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone: Stochastic Process Algebras. SFM 2007: 132-179
49	EE	Mario Bravetti, Stephen Gilmore, Claudio Guidi, Mirco Tribastone: Replicating Web Services for Scalability. TGC 2007: 204-221
48	EE	Ashok Argent-Katwala, Jeremy T. Bradley, Allan Clark, Stephen Gilmore: Location-Aware Quality of Service Measurements for Service-Level Agreements. TGC 2007: 222-239
47	EE	Gagarine Yaikhom, Murray Cole, Stephen Gilmore, Jane Hillston: A Structural Approach for Modelling Performance of Systems Using Skeletons. Electr. Notes Theor. Comput. Sci. 190(3): 167-183 (2007)
2006
46	EE	Muffy Calder, Adam Duguid, Stephen Gilmore, Jane Hillston: Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods. CMSB 2006: 63-77
45	EE	Allan Clark, Stephen Gilmore: Evaluating Quality of Service for Service Level Agreements. FMICS/PDMC 2006: 181-194
44	EE	Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder: Semantic-Based Development of Service-Oriented Systems. FORTE 2006: 24-45
43	EE	Stephen Gilmore, Valentin Haenel, Jane Hillston, Jennifer Tenzer: A design environment for mobile applications. IPDPS 2006
42	EE	Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas: Performance analysis of stochastic process algebra models using stochastic simulation. IPDPS 2006
41	EE	Gagarine Yaikhom, Murray Cole, Stephen Gilmore: Combining Measurement and Stochastic Modelling to Enhance Scheduling Decisions for a Parallel Mean Value Analysis Algorithm. International Conference on Computational Science (2) 2006: 929-936
40	EE	Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro: SensoriaProcess Calculi for Service-Oriented Computing. TGC 2006: 30-50
39	EE	Stephen T. Gilmore, Mirco Tribastone: Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System. WS-FM 2006: 214-226
38	EE	Stephen T. Gilmore, Olha Shkaravska: Estimating the Cost of Native Method Calls for Resource-bounded Functional Programming Languages. Electr. Notes Theor. Comput. Sci. 151(3): 27-45 (2006)
37	EE	Jeremy T. Bradley, Stephen T. Gilmore: Stochastic Simulation Methods Applied to a Secure Electronic Voting Model. Electr. Notes Theor. Comput. Sci. 151(3): 5-25 (2006)
36	EE	Muffy Calder, Stephen Gilmore, Jane Hillston: Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA. T. Comp. Sys. Biology: 1-23 (2006)
2005
35		Stephen Gilmore: Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, TFP 2003, Edinburgh, United Kingdom, 11-12 September 2003. Intellect 2005
34	EE	Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston: Enhancing the effective utilisation of grid clusters by exploiting on-line performability analysis. CCGRID 2005: 317-324
33	EE	Stephen Gilmore, Valentin Haenel, Leïla Kloul, Monika Maidl: Choreographing Security and Performance Analysis for Web Services. EPEW/WS-FM 2005: 200-214
32	EE	Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston: Flexible Skeletal Programming with eSkel. Euro-Par 2005: 761-770
31	EE	Mikael Buchholtz, Stephen Gilmore, Valentin Haenel, Carlo Montangero: End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform. FM 2005: 286-301
30		Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston: Using eSkel to Implement the Multiple Baseline Stereo Application. PARCO 2005: 673-680
29		Donald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth MacKenzie, Alberto Momigliano, Olha Shkaravska: Mobile Resource Guarantees (project evaluation paper). Trends in Functional Programming 2005: 211-226
28	EE	Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston: Scheduling Skeleton-Based Grid Applications Using PEPA and NWS. Comput. J. 48(3): 369-378 (2005)
27	EE	Mikael Buchholtz, Stephen T. Gilmore, Jane Hillston, Flemming Nielson: Securing Statically-verified Communications Protocols Against Timing Attacks. Electr. Notes Theor. Comput. Sci. 128(4): 123-143 (2005)
26	EE	Stephen Gilmore, Matthew Prowse: Proof-carrying Bytecode. Electr. Notes Theor. Comput. Sci. 141(1): 3-18 (2005)
2004
25	EE	David Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark: Mobile Resource Guarantees for Smart Devices. CASSIS 2004: 1-26
24	EE	Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas: How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results. FORTE Workshops 2004: 128-142
23	EE	Stephen Gilmore, Valentin Haenel, Jane Hillston, Leïla Kloul: PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application. FORTE Workshops 2004: 262-277
22	EE	Stephen Gilmore, Leïla Kloul, Davide Piazza: Modelling Role-Playing Games Using PEPA Nets. ISCIS 2004: 523-532
21	EE	Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston: Evaluating the Performance of Skeleton-Based High Level Parallel Programs. International Conference on Computational Science 2004: 289-296
20	EE	Stephen Gilmore: Extending Camelot with Mutable State and Concurrency. International Conference on Computational Science 2004: 306-313
19	EE	Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo: Software performance modelling using PEPA nets. WOSP 2004: 13-23
18	EE	C. Canevet, Stephen Gilmore, Jane Hillston, Leïla Kloul, Perdita Stevens: Analysing UML 2.0 activity diagrams in the software performance engineering process. WOSP 2004: 74-78
2003
17	EE	Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami: Performance Evaluation for Global Computation. Global Computing 2003: 229-253
16	EE	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: 344-
15	EE	Stephen Gilmore, Jane Hillston, Leïla Kloul: PEPA Nets. MASCOTS Tutorials 2003: 311-335
14	EE	Stephen Gilmore, Leïla Kloul: A Unified Tool for Performance Modelling and Prediction. SAFECOMP 2003: 179-192
13	EE	Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo: PEPA nets: a structured performance modelling formalism. Perform. Eval. 54(2): 79-104 (2003)
2002
12	EE	Stephen Gilmore, Marco A. Palomino: Monitoring and Controlling Distributed Applications with Relocatable Objects. CCGRID 2002: 348-349
11	EE	Stephen Gilmore, Jane Hillston, Marina Ribaudo: PEPA Nets: A Structured Performance Modelling Formalism. Computer Performance Evaluation / TOOLS 2002: 111-130
2001
10		Luca de Alfaro, Stephen Gilmore: Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001, Proceedings Springer 2001
9	EE	Stephen Gilmore, Jane Hillston, Marina Ribaudo: An Efficient Algorithm for Aggregating PEPA Models. IEEE Trans. Software Eng. 27(5): 449-464 (2001)
2000
8		Stephen Gilmore: Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000 Intellect 2000
7	EE	Graham Clark, Stephen Gilmore, Jane Hillston, Marina Ribaudo: Exploiting Modal Logic to Express Performance Measures. Computer Performance Evaluation / TOOLS 2000: 247-261
6	EE	Chris Walton, Dilsun Kirli Kaynar, Stephen Gilmore: An abstract machine model of dynamic module replacement. Future Generation Comp. Syst. 16(7): 793-808 (2000)
1999
5	EE	Graham Clark, Stephen Gilmore, Jane Hillston: Specifying Performance Measures for PEPA. ARTS 1999: 211-227
4		Stephen Gilmore: Deep Type Inference for Mobile Functions. Scottish Functional Programming Workshop 1999: 41-49
3		Graham Clark, Stephen Gilmore, Jane Hillston, Nigel Thomas: Experiences with the PEPA performance modelling. IEE Proceedings - Software 146(1): 11-20 (1999)
1995
2		Stephen Gilmore, Jane Hillston: Process Algebras and their Application to Performance Modelling: Proceedings of the Third Workshop on Process Algebra and Performance Modelling Edinburgh, Scotland. Comput. J. 38(7): 489-491 (1995)
1994
1		Stephen Gilmore, Jane Hillston: The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. Computer Performance Evaluation 1994: 353-368

Coauthor Index

1	Luca de Alfaro	[10]
2	Ashok Argent-Katwala	[48]
3	David Aspinall	[25] [29]
4	Anne Benoit	[21] [28] [30] [32] [34]
5	Lennart Beringer	[29]
6	Jeremy T. Bradley	[16] [24] [37] [42] [48]
7	Mario Bravetti	[49]
8	Linda Brodo	[17]
9	Mikael Buchholtz	[27] [31]
10	Muffy Calder (Muffy Thomas)	[36] [46] [51]
11	C. Canevet	[18]
12	Allan Clark	[44] [45] [48] [50]
13	Graham Clark	[3] [5] [7]
14	Murray Cole	[21] [28] [30] [32] [34] [41] [47]
15	Pierpaolo Degano	[17]
16	Nicholas J. Dingle	[16]
17	Adam Duguid	[46]
18	Claudio Guidi	[49]
19	Valentin Haenel	[23] [31] [33] [43]
20	Jane Hillston	[1] [2] [3] [5] [7] [9] [11] [13] [15] [17] [18] [19] [21] [23] [27] [28] [30] [32] [34] [36] [43] [46] [47] [50] [52] [53]
21	Martin Hofmann	[25] [29]
22	Matthias M. Hölzl	[40] [44]
23	Dilsun Kirli Kaynar	[6]
24	Leïla Kloul	[13] [14] [15] [18] [19] [22] [23] [33]
25	Alexander Knapp	[44]
26	William J. Knottenbelt	[16]
27	Nora Koch	[44]
28	Hans-Wolfgang Loidl	[29]
29	Roberto Lucchi	[40]
30	Kenneth MacKenzie	[29]
31	Monika Maidl	[33]
32	Alberto Momigliano	[29]
33	Carlo Montangero	[31]
34	Rocco De Nicola	[40]
35	Flemming Nielson	[27]
36	Marco A. Palomino	[12]
37	Davide Piazza	[22]
38	Corrado Priami	[17]
39	Matthew Prowse	[26]
40	Marina Ribaudo	[7] [9] [11] [13] [19]
41	Donald Sannella	[25] [29]
42	Andreas Schroeder	[44]
43	Olha Shkaravska	[29] [38]
44	Ian Stark	[25] [29]
45	Perdita Stevens	[18]
46	Jennifer Tenzer	[43]
47	Nigel Thomas	[3] [24] [42]
48	Mirco Tribastone	[39] [40] [49] [50]
49	Chris Walton	[6]
50	Martin Wirsing	[40] [44]
51	Gagarine Yaikhom	[41] [47]
52	Gianluigi Zavattaro	[40]

Colors in the list of coauthors