Stephen Gilmore

Stephen T. Gilmore

	2009
69		Allan Clark, Adam Duguid, Stephen Gilmore: Passage-End Analysis. EPEW 2009: 110-115
68		Allan Clark, Stephen Gilmore, Mirco Tribastone: Scalable Analysis of Scalable Systems. FASE 2009: 1-17
67		Allan Clark, Stephen Gilmore, Mirco Tribastone: Quantitative Analysis of Web Services Using SRMC. SFM 2009: 296-339
66		Federica Ciocchetta, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston: Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems. Electr. Notes Theor. Comput. Sci. 232: 17-38 (2009)
	2008
65		Jane Hillston, Federica Ciocchetta, Adam Duguid, Stephen Gilmore: Integrated Analysis from Abstract Stochastic Process Algebra Models. CMSB 2008: 2-4
64		Allan Clark, Stephen Gilmore: State-Aware Performance Analysis with eXtended Stochastic Probes. EPEW 2008: 125-140
63		Allan Clark, Adam Duguid, Stephen Gilmore, Mirco Tribastone: Partial Evaluation of PEPA Models for Fluid-Flow Analysis. EPEW 2008: 2-16
62		Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró: SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. ISoLA 2008: 170-190
61		Ashok Argent-Katwala, Allan Clark, Howard Foster, Stephen Gilmore, Philip Mayer, Mirco Tribastone: Safety and Response-Time Analysis of an Automotive Accident Assistance Service. ISoLA 2008: 191-205
60		Mirco Tribastone, Stephen Gilmore: Automatic Translation of UML Sequence Diagrams into PEPA Models. QEST 2008: 205-214
59		Andrea Degasperi, Stephen Gilmore: Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions. SFM 2008: 1-20
58		Allan Clark, Stephen Gilmore, Mirco Tribastone: Service-Level Agreements for Service-Oriented Computing. WADT 2008: 21-36
57		Mirco Tribastone, Stephen Gilmore: Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile. WOSP 2008: 67-78
56		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): 1013-1032 (2008)
55		Stephen Gilmore, Jane Hillston: Foreword. SIGMETRICS Performance Evaluation Review 35(4): 2 (2008)
54		Stephen Gilmore, Jane Hillston: Performance evaluation comes to life: quantitative methods applied to biological systems. SIGMETRICS Performance Evaluation Review 35(4): 3-13 (2008)
53		Muffy Calder, Stephen Gilmore: Preface. Theor. Comput. Sci. 408(1): 3 (2008)
	2007
52		Muffy Calder, Stephen Gilmore: Computational Methods in Systems Biology, International Conference, CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings Springer 2007
51		Alexander Knapp, Stephan Janisch, Rolf Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister, Martin Wirsing: Modelling the CoCoME with the Java/AComponent Model. CoCoME 2007: 207-237
50		Allan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone: Stochastic Process Algebras. SFM 2007: 132-179
49		Mario Bravetti, Stephen Gilmore, Claudio Guidi, Mirco Tribastone: Replicating Web Services for Scalability. TGC 2007: 204-221
48		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		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		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		Allan Clark, Stephen Gilmore: Evaluating Quality of Service for Service Level Agreements. FMICS/PDMC 2006: 181-194
44		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		Stephen Gilmore, Valentin Haenel, Jane Hillston, Jennifer Tenzer: A design environment for mobile applications. IPDPS 2006
42		Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas: Performance analysis of stochastic process algebra models using stochastic simulation. IPDPS 2006
41		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		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		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		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		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		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		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		Stephen Gilmore, Valentin Haenel, Leïla Kloul, Monika Maidl: Choreographing Security and Performance Analysis for Web Services. EPEW/WS-FM 2005: 200-214
32		Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston: Flexible Skeletal Programming with eSkel. Euro-Par 2005: 761-770
31		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		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		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		Stephen Gilmore, Matthew Prowse: Proof-carrying Bytecode. Electr. Notes Theor. Comput. Sci. 141(1): 3-18 (2005)
	2004
25		David Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark: Mobile Resource Guarantees for Smart Devices. CASSIS 2004: 1-26
24		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		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		Stephen Gilmore, Leïla Kloul, Davide Piazza: Modelling Role-Playing Games Using PEPA Nets. ISCIS 2004: 523-532
21		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		Stephen Gilmore: Extending Camelot with Mutable State and Concurrency. International Conference on Computational Science 2004: 306-313
19		Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo: Software performance modelling using PEPA nets. WOSP 2004: 13-23
18		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		Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami: Performance Evaluation for Global Computation. Global Computing 2003: 229-253
16		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		Stephen Gilmore, Jane Hillston, Leïla Kloul: PEPA Nets. MASCOTS Tutorials 2003: 311-335
14		Stephen Gilmore, Leïla Kloul: A Unified Tool for Performance Modelling and Prediction. SAFECOMP 2003: 179-192
13		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		Stephen Gilmore, Marco A. Palomino: Monitoring and Controlling Distributed Applications with Relocatable Objects. CCGRID 2002: 348-349
11		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		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		Graham Clark, Stephen Gilmore, Jane Hillston, Marina Ribaudo: Exploiting Modal Logic to Express Performance Measures. Computer Performance Evaluation / TOOLS 2000: 247-261
6		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		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	Lucia Acciai	[62]
2	Luca de Alfaro	[10]
3	Ashok Argent-Katwala	[48] [61]
4	David Aspinall	[25] [29]
5	Federico Banti	[62]
6	Hubert Baumeister	[51]
7	Anne Benoit	[21] [28] [30] [32] [34]
8	Lennart Beringer	[29]
9	Jeremy T. Bradley	[16] [24] [37] [42] [48] [56]
10	Mario Bravetti	[49]
11	Linda Brodo	[17]
12	Mikael Buchholtz	[27] [31]
13	Muffy Calder (Muffy Thomas)	[36] [46] [52] [53]
14	C. Canevet	[18]
15	Federica Ciocchetta	[65] [66]
16	Allan Clark	[44] [45] [48] [50] [51] [58] [61] [62] [63] [64] [67] [68] [69]
17	Graham Clark	[3] [5] [7]
18	Murray Cole	[21] [28] [30] [32] [34] [41] [47]
19	Pierpaolo Degano	[17]
20	Andrea Degasperi	[59]
21	Nicholas J. Dingle	[16]
22	Adam Duguid	[46] [63] [65] [69]
23	Alessandro Fantechi	[62]
24	Howard Foster	[61]
25	Stefania Gnesi	[62]
26	László Gönczy	[62]
27	Maria Luisa Guerriero	[66]
28	Claudio Guidi	[49]
29	Florian Hacklinger	[51]
30	Valentin Haenel	[23] [31] [33] [43]
31	Rolf Hennicker	[51]
32	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] [54] [55] [56] [65] [66]
33	Martin Hofmann	[25] [29]
34	Matthias M. Hölzl	[40] [44] [62]
35	Stephan Janisch	[51]
36	Dilsun Kirli Kaynar	[6]
37	Leïla Kloul	[13] [14] [15] [18] [19] [22] [23] [33]
38	Alexander Knapp	[44] [51]
39	William J. Knottenbelt	[16]
40	Nora Koch	[44] [62]
41	Alessandro Lapadula	[62]
42	Hans-Wolfgang Loidl	[29]
43	Roberto Lucchi	[40]
44	Kenneth MacKenzie	[29]
45	Monika Maidl	[33]
46	Philip Mayer	[61] [62]
47	Franco Mazzanti	[62]
48	Alberto Momigliano	[29]
49	Carlo Montangero	[31]
50	Rocco De Nicola	[40]
51	Flemming Nielson	[27]
52	Marco A. Palomino	[12]
53	Davide Piazza	[22]
54	Corrado Priami	[17]
55	Matthew Prowse	[26]
56	Rosario Pugliese	[62]
57	Marina Ribaudo	[7] [9] [11] [13] [19]
58	Donald Sannella	[25] [29]
59	Andreas Schroeder	[44] [62]
60	Olha Shkaravska	[29] [38]
61	Ian Stark	[25] [29]
62	Perdita Stevens	[18]
63	Jennifer Tenzer	[43]
64	Nigel Thomas	[3] [24] [42]
65	Francesco Tiezzi	[62]
66	Mirco Tribastone	[39] [40] [49] [50] [57] [58] [60] [61] [62] [63] [67] [68]
67	Dániel Varró	[62]
68	Chris Walton	[6]
69	Martin Wirsing	[40] [44] [51] [62]
70	Gagarine Yaikhom	[41] [47]
71	Gianluigi Zavattaro	[40]

Colors in the list of coauthors