dblp.uni-trier.dewww.uni-trier.de

Stephen Gilmore Vis

Stephen T. Gilmore

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
68EEAllan Clark, Adam Duguid, Stephen Gilmore: Passage-End Analysis. EPEW 2009: 110-115
67EEAllan Clark, Stephen Gilmore, Mirco Tribastone: Scalable Analysis of Scalable Systems. FASE 2009: 1-17
66EEAllan Clark, Stephen Gilmore, Mirco Tribastone: Quantitative Analysis of Web Services Using SRMC. SFM 2009: 296-339
65EEFederica 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
64EEJane Hillston, Federica Ciocchetta, Adam Duguid, Stephen Gilmore: Integrated Analysis from Abstract Stochastic Process Algebra Models. CMSB 2008: 2-4
63EEAllan Clark, Stephen Gilmore: State-Aware Performance Analysis with eXtended Stochastic Probes. EPEW 2008: 125-140
62EEAllan Clark, Adam Duguid, Stephen Gilmore, Mirco Tribastone: Partial Evaluation of PEPA Models for Fluid-Flow Analysis. EPEW 2008: 2-16
61EEMartin 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
60EEAshok 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
59EEMirco Tribastone, Stephen Gilmore: Automatic Translation of UML Sequence Diagrams into PEPA Models. QEST 2008: 205-214
58EEAndrea Degasperi, Stephen Gilmore: Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions. SFM 2008: 1-20
57EEMirco Tribastone, Stephen Gilmore: Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile. WOSP 2008: 67-78
56EEJeremy 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)
55EEStephen Gilmore, Jane Hillston: Foreword. SIGMETRICS Performance Evaluation Review 35(4): 2 (2008)
54EEStephen Gilmore, Jane Hillston: Performance evaluation comes to life: quantitative methods applied to biological systems. SIGMETRICS Performance Evaluation Review 35(4): 3-13 (2008)
53EEMuffy 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
51EEAlexander 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
50EEAllan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone: Stochastic Process Algebras. SFM 2007: 132-179
49EEMario Bravetti, Stephen Gilmore, Claudio Guidi, Mirco Tribastone: Replicating Web Services for Scalability. TGC 2007: 204-221
48EEAshok Argent-Katwala, Jeremy T. Bradley, Allan Clark, Stephen Gilmore: Location-Aware Quality of Service Measurements for Service-Level Agreements. TGC 2007: 222-239
47EEGagarine 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
46EEMuffy Calder, Adam Duguid, Stephen Gilmore, Jane Hillston: Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods. CMSB 2006: 63-77
45EEAllan Clark, Stephen Gilmore: Evaluating Quality of Service for Service Level Agreements. FMICS/PDMC 2006: 181-194
44EEMartin 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
43EEStephen Gilmore, Valentin Haenel, Jane Hillston, Jennifer Tenzer: A design environment for mobile applications. IPDPS 2006
42EEJeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas: Performance analysis of stochastic process algebra models using stochastic simulation. IPDPS 2006
41EEGagarine 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
40EEMartin 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
39EEStephen T. Gilmore, Mirco Tribastone: Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System. WS-FM 2006: 214-226
38EEStephen 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)
37EEJeremy 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)
36EEMuffy 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
34EEAnne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston: Enhancing the effective utilisation of grid clusters by exploiting on-line performability analysis. CCGRID 2005: 317-324
33EEStephen Gilmore, Valentin Haenel, Leïla Kloul, Monika Maidl: Choreographing Security and Performance Analysis for Web Services. EPEW/WS-FM 2005: 200-214
32EEAnne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston: Flexible Skeletal Programming with eSkel. Euro-Par 2005: 761-770
31EEMikael 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
28EEAnne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston: Scheduling Skeleton-Based Grid Applications Using PEPA and NWS. Comput. J. 48(3): 369-378 (2005)
27EEMikael 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)
26EEStephen Gilmore, Matthew Prowse: Proof-carrying Bytecode. Electr. Notes Theor. Comput. Sci. 141(1): 3-18 (2005)
2004
25EEDavid Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark: Mobile Resource Guarantees for Smart Devices. CASSIS 2004: 1-26
24EEJeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas: How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results. FORTE Workshops 2004: 128-142
23EEStephen 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
22EEStephen Gilmore, Leïla Kloul, Davide Piazza: Modelling Role-Playing Games Using PEPA Nets. ISCIS 2004: 523-532
21EEAnne 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
20EEStephen Gilmore: Extending Camelot with Mutable State and Concurrency. International Conference on Computational Science 2004: 306-313
19EEStephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo: Software performance modelling using PEPA nets. WOSP 2004: 13-23
18EEC. 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
17EELinda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami: Performance Evaluation for Global Computation. Global Computing 2003: 229-253
16EEJeremy 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-
15EEStephen Gilmore, Jane Hillston, Leïla Kloul: PEPA Nets. MASCOTS Tutorials 2003: 311-335
14EEStephen Gilmore, Leïla Kloul: A Unified Tool for Performance Modelling and Prediction. SAFECOMP 2003: 179-192
13EEStephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo: PEPA nets: a structured performance modelling formalism. Perform. Eval. 54(2): 79-104 (2003)
2002
12EEStephen Gilmore, Marco A. Palomino: Monitoring and Controlling Distributed Applications with Relocatable Objects. CCGRID 2002: 348-349
11EEStephen 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
9EEStephen 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
7EEGraham Clark, Stephen Gilmore, Jane Hillston, Marina Ribaudo: Exploiting Modal Logic to Express Performance Measures. Computer Performance Evaluation / TOOLS 2000: 247-261
6EEChris Walton, Dilsun Kirli Kaynar, Stephen Gilmore: An abstract machine model of dynamic module replacement. Future Generation Comp. Syst. 16(7): 793-808 (2000)
1999
5EEGraham 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
1EEStephen 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

1Lucia Acciai [61]
2Luca de Alfaro [10]
3Ashok Argent-Katwala [48] [60]
4David Aspinall [25] [29]
5Federico Banti [61]
6Hubert Baumeister [51]
7Anne Benoit [21] [28] [30] [32] [34]
8Lennart Beringer [29]
9Jeremy T. Bradley [16] [24] [37] [42] [48] [56]
10Mario Bravetti [49]
11Linda Brodo [17]
12Mikael Buchholtz [27] [31]
13Muffy Calder (Muffy Thomas) [36] [46] [52] [53]
14C. Canevet [18]
15Federica Ciocchetta [64] [65]
16Allan Clark [44] [45] [48] [50] [51] [60] [61] [62] [63] [66] [67] [68]
17Graham Clark [3] [5] [7]
18Murray Cole [21] [28] [30] [32] [34] [41] [47]
19Pierpaolo Degano [17]
20Andrea Degasperi [58]
21Nicholas J. Dingle [16]
22Adam Duguid [46] [62] [64] [68]
23Alessandro Fantechi [61]
24Howard Foster [60]
25Stefania Gnesi [61]
26László Gönczy [61]
27Maria Luisa Guerriero [65]
28Claudio Guidi [49]
29Florian Hacklinger [51]
30Valentin Haenel [23] [31] [33] [43]
31Rolf Hennicker [51]
32Jane 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] [64] [65]
33Martin Hofmann [25] [29]
34Matthias M. Hölzl [40] [44] [61]
35Stephan Janisch [51]
36Dilsun Kirli Kaynar [6]
37Leïla Kloul [13] [14] [15] [18] [19] [22] [23] [33]
38Alexander Knapp [44] [51]
39William J. Knottenbelt [16]
40Nora Koch [44] [61]
41Alessandro Lapadula [61]
42Hans-Wolfgang Loidl [29]
43Roberto Lucchi [40]
44Kenneth MacKenzie [29]
45Monika Maidl [33]
46Philip Mayer [60] [61]
47Franco Mazzanti [61]
48Alberto Momigliano [29]
49Carlo Montangero [31]
50Rocco De Nicola [40]
51Flemming Nielson [27]
52Marco A. Palomino [12]
53Davide Piazza [22]
54Corrado Priami [17]
55Matthew Prowse [26]
56Rosario Pugliese [61]
57Marina Ribaudo [7] [9] [11] [13] [19]
58Donald Sannella [25] [29]
59Andreas Schroeder [44] [61]
60Olha Shkaravska [29] [38]
61Ian Stark [25] [29]
62Perdita Stevens [18]
63Jennifer Tenzer [43]
64Nigel Thomas [3] [24] [42]
65Francesco Tiezzi [61]
66Mirco Tribastone [39] [40] [49] [50] [57] [59] [60] [61] [62] [66] [67]
67Dániel Varró [61]
68Chris Walton [6]
69Martin Wirsing [40] [44] [51] [61]
70Gagarine Yaikhom [41] [47]
71Gianluigi Zavattaro [40]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)