


default search action
Stephen Gilmore
Stephen T. Gilmore
Person information
- affiliation: University of Edinburgh, Scotland, UK
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
- [i1]Daniël Reijsbergen, Stephen Gilmore:
A spatial algorithm for the analysis of transportation systems using statistical model checking. CoRR abs/2009.13053 (2020)
2010 – 2019
- 2018
- [j26]Vincenzo Ciancia, Stephen Gilmore, Gianluca Grilletti
, Diego Latella
, Michele Loreti
, Mieke Massink
:
Spatio-temporal model checking of vehicular movement in public transport systems. Int. J. Softw. Tools Technol. Transf. 20(3): 289-311 (2018) - [j25]Vashti Galpin
, Natalia Zon, Pia Wilsdorf, Stephen Gilmore:
Mesoscopic Modelling of Pedestrian Movement Using Carma and Its Tools. ACM Trans. Model. Comput. Simul. 28(2): 11:1-11:26 (2018) - [c84]Natalia Zon, Stephen Gilmore:
Data-Driven Modelling and Simulation of Urban Transportation Systems Using Carma. ISoLA (3) 2018: 274-287 - 2017
- [c83]Stephen Gilmore, Daniël Reijsbergen, Andrea Vandin
:
Transient and Steady-State Statistical Analysis for Discrete Event Simulators. IFM 2017: 145-160 - 2016
- [c82]Stephen Gilmore, Jane Hillston, Natalia Zon:
Abstract Interpretation of PEPA Models. Semantics, Logics, and Calculi 2016: 140-158 - [c81]Natalia Zon, Stephen Gilmore, Jane Hillston:
Rigorous Graphical Modelling of Movement in Collective Adaptive Systems. ISoLA (1) 2016: 674-688 - [c80]Stephen Gilmore:
Data as processes: introducing measurement data into CARMA models. FORECAST@STAF 2016: 31-42 - [c79]Natalia Zon, Vashti Galpin
, Stephen Gilmore:
Modelling movement for collective adaptive systems with CARMA. FORECAST@STAF 2016: 43-52 - 2015
- [j24]Dimitrios Milios, Stephen Gilmore:
Component aggregation for PEPA models: An approach based on approximate strong equivalence. Perform. Evaluation 94: 43-71 (2015) - [c78]Stephen Gilmore, Jane Hillston, Mirco Tribastone:
Service Composition for Collective Adaptive Systems. Software, Services, and Systems 2015: 490-505 - [c77]Luca Bortolussi
, Rocco De Nicola
, Vashti Galpin
, Stephen Gilmore, Jane Hillston, Diego Latella
, Michele Loreti
, Mieke Massink
:
CARMA: Collective Adaptive Resource-sharing Markovian Agents. QAPL 2015: 16-31 - 2014
- [c76]Donal Stewart, Stephen Gilmore, Michael A. Cousin:
FM-Sim: Protocol Definition, Simulation and Rate Inference for Neuroscience Assays. CMSB 2014: 248-251 - [c75]Daniël Reijsbergen, Stephen Gilmore:
Formal Punctuality Analysis of Frequent Bus Services Using Headway Data. EPEW 2014: 164-178 - [c74]Donal Stewart, Stephen Gilmore, Michael A. Cousin:
FM-Sim: A Hybrid Protocol Simulator of Fluorescence Microscopy Neuroscience Assays with Integrated Bayesian Inference. HSB 2014: 159-174 - [c73]Stephen Gilmore, Mirco Tribastone, Andrea Vandin
:
An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems. IFM 2014: 71-86 - [c72]Vincenzo Ciancia
, Stephen Gilmore, Diego Latella
, Michele Loreti
, Mieke Massink
:
Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data. SASO Workshops 2014: 32-37 - [c71]Stephen Gilmore, Daniël Reijsbergen:
Validation of Automatic Vehicle Location Data in Public Transport Systems. UKPEW 2014: 31-51 - [c70]Daniël Reijsbergen, Stephen Gilmore, Jane Hillston:
Patch-based Modelling of City-centre Bus Movement with Phase-type Distributions. PASM 2014: 157-177 - [c69]Ludovica Luisa Vissat, Allan Clark, Stephen Gilmore:
Finding Optimal Timetables for Edinburgh Bus Routes. PASM 2014: 179-199 - 2013
- [j23]Richard R. Adams
, Allan B. Clark
, Azusa Yamaguchi, Neil Hanlon, Nikos Tsorman, Shakir Ali
, Galina Lebedeva, Alexey N. Goltsov
, Anatoly A. Sorokin
, Ozgur E. Akman, Carl Troein, Andrew J. Millar
, Igor Goryanin
, Stephen Gilmore:
SBSI: an extensible distributed software infrastructure for parameter estimation in systems biology. Bioinform. 29(5): 664-665 (2013) - [e7]Mirco Tribastone, Stephen Gilmore:
Computer Performance Engineering - 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7587, Springer 2013, ISBN 978-3-642-36780-9 [contents] - 2012
- [j22]Jane Hillston, Mirco Tribastone
, Stephen Gilmore:
Stochastic Process Algebras: From Individuals to Populations. Comput. J. 55(7): 866-881 (2012) - [j21]Mirco Tribastone
, Stephen Gilmore, Jane Hillston:
Scalable Differential Analysis of Process Algebra Models. IEEE Trans. Software Eng. 38(1): 205-219 (2012) - [j20]Mirco Tribastone
, Jie Ding, Stephen Gilmore, Jane Hillston:
Fluid Rewards for a Stochastic Process Algebra. IEEE Trans. Software Eng. 38(4): 861-874 (2012) - [c68]Dimitrios Milios, Stephen Gilmore:
Compositional Approximate Markov Chain Aggregation for PEPA Models. EPEW/UKPEW 2012: 96-110 - [c67]Anastasis Georgoulas
, Allan Clark, Andrea Ocone, Stephen Gilmore, Guido Sanguinetti
:
A subsystems approach for parameter estimation of ODE models of hybrid systems. HSB 2012: 30-41 - [c66]Chris J. Banks
, Allan Clark, Anastasis Georgoulas
, Stephen Gilmore, Jane Hillston, Dimitrios Milios, Ian Stark
:
Stochastic Modelling of the Kai-based Circadian Clock. PASM/PDMC 2012: 43-60 - [c65]Allan Clark, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston:
Conservation of Mass Analysis for Bio-PEPA. PASM/PDMC 2012: 107-126 - [c64]Dimitrios Milios, Stephen Gilmore:
Markov Chain Simulation with Fewer Random Samples. PASM/PDMC 2012: 183-197 - [p5]Samuel Kounev, Philipp Reinecke, Fabian Brosig, Jeremy T. Bradley, Kaustubh Joshi, Vlastimil Babka, Anton Stefanek, Stephen Gilmore:
Providing Dependability and Resilience in the Cloud: Challenges and Opportunities. Resilience Assessment and Evaluation of Computing Systems 2012: 65-81 - 2011
- [j19]Niaz Arijo, Reiko Heckel, Mirco Tribastone, Stephen Gilmore:
Modular performance modelling for mobile applications (abstracts only). SIGMETRICS Perform. Evaluation Rev. 39(3): 18 (2011) - [j18]Stephen Gilmore, László Gönczy, Nora Koch
, Philip Mayer, Mirco Tribastone
, Dániel Varró
:
Non-functional properties in the model-driven development of service-oriented systems. Softw. Syst. Model. 10(3): 287-311 (2011) - [c63]Andrew Coles, Amanda Jane Coles, Allan Clark, Stephen Gilmore:
Cost-Sensitive Concurrent Planning Under Duration Uncertainty for Service-Level Agreements. ICAPS 2011 - [c62]Michael J. A. Smith, Stephen Gilmore:
Visualisation for Stochastic Process Algebras: The Graphic Truth. EPEW 2011: 310-324 - [c61]Niaz Arijo
, Reiko Heckel, Mirco Tribastone
, Stephen Gilmore:
Modular performance modelling for mobile applications. ICPE 2011: 329-334 - [p4]Allan Clark, Stephen Gilmore:
Evaluating Service Level Agreements Using Observational Probes. Results of the SENSORIA Project 2011: 467-485 - [p3]Mirco Tribastone
, Stephen Gilmore:
Scaling Performance Analysis Using Fluid-Flow Approximation. Results of the SENSORIA Project 2011: 486-505 - [p2]Allan Clark, Adam Duguid, Stephen Gilmore:
Passage-End Analysis for Analysing Robot Movement. Results of the SENSORIA Project 2011: 506-521 - [p1]Igor Cappello, Allan Clark, Stephen Gilmore, Diego Latella
, Michele Loreti
, Paola Quaglia
, Stefano Schivo
:
Quantitative Analysis of Services. Results of the SENSORIA Project 2011: 522-540 - [e6]Jason Liu, Francesco Quaglia, Stephan J. Eidenbenz, Stephen Gilmore:
4th International ICST Conference on Simulation Tools and Techniques, SIMUTools '11, Barcelona, Spain, March 22 - 24, 2011. ICST/ACM 2011, ISBN 978-1-936968-00-8 [contents] - 2010
- [j17]Erol Gelenbe, Stephen Gilmore:
Discussants' Comments on the Computer Journal Lecture by Peter Harrison presented at the British Computer Society on 24th February 2009. Comput. J. 53(6): 869-870 (2010) - [c60]Allan Clark, Stephen Gilmore, Maria Luisa Guerriero, Peter Kemper:
On verifying Bio-PEPA models. CMSB 2010: 23-32 - [c59]Mirco Tribastone, Stephen Gilmore:
Large-Scale Modelling with the PEPA Eclipse Plug-In. OR 2010: 169-174 - [c58]Allan Clark, Jane Hillston, Stephen Gilmore, Peter Kemper:
VERIFICATION AND TESTING OF BIOLOGICAL MODELS. WSC 2010: 620-630
2000 – 2009
- 2009
- [j16]Allan Clark, Stephen Gilmore:
Transient calculations on process algebra derived Markov chains. IET Softw. 3(6): 495-508 (2009) - [j15]Mirco Tribastone, Adam Duguid, Stephen Gilmore:
The PEPA eclipse plugin. SIGMETRICS Perform. Evaluation Rev. 36(4): 28-33 (2009) - [c57]Allan Clark, Adam Duguid, Stephen Gilmore:
Passage-End Analysis. EPEW 2009: 110-115 - [c56]Allan Clark, Stephen Gilmore, Mirco Tribastone
:
Scalable Analysis of Scalable Systems. FASE 2009: 1-17 - [c55]Federica Ciocchetta, Adam Duguid, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston:
The Bio-PEPA Tool Suite. QEST 2009: 309-310 - [c54]Allan Clark, Stephen Gilmore, Mirco Tribastone
:
Quantitative Analysis of Web Services Using SRMC. SFM 2009: 296-339 - [c53]Adam Duguid, Stephen T. Gilmore, Maria Luisa Guerriero, Jane Hillston, Laurence Loewe:
Design and Development of Software Tools for Bio-PEPA. WSC 2009: 956-967 - 2008
- [j14]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) - [j13]Stephen Gilmore, Jane Hillston:
Foreword. SIGMETRICS Perform. Evaluation Rev. 35(4): 2 (2008) - [j12]Stephen Gilmore, Jane Hillston:
Performance evaluation comes to life: quantitative methods applied to biological systems. SIGMETRICS Perform. Evaluation Rev. 35(4): 3-13 (2008) - [j11]Muffy Calder
, Stephen Gilmore:
Preface. Theor. Comput. Sci. 408(1): 3 (2008) - [c52]Jane Hillston, Federica Ciocchetta, Adam Duguid, Stephen Gilmore:
Integrated Analysis from Abstract Stochastic Process Algebra Models. CMSB 2008: 2-4 - [c51]Allan Clark, Adam Duguid, Stephen Gilmore, Mirco Tribastone:
Partial Evaluation of PEPA Models for Fluid-Flow Analysis. EPEW 2008: 2-16 - [c50]Allan Clark, Stephen Gilmore:
State-Aware Performance Analysis with eXtended Stochastic Probes. EPEW 2008: 125-140 - [c49]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 - [c48]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 - [c47]Mirco Tribastone
, Stephen Gilmore:
Automatic Translation of UML Sequence Diagrams into PEPA Models. QEST 2008: 205-214 - [c46]Andrea Degasperi
, Stephen Gilmore:
Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions. SFM 2008: 1-20 - [c45]Allan Clark, Stephen Gilmore, Mirco Tribastone
:
Service-Level Agreements for Service-Oriented Computing. WADT 2008: 21-36 - [c44]Mirco Tribastone
, Stephen Gilmore:
Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile. WOSP 2008: 67-78 - [c43]Federica Ciocchetta, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston:
Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems. PASM@EPEW 2008: 17-38 - 2007
- [c42]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 - [c41]Allan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone:
Stochastic Process Algebras. SFM 2007: 132-179 - [c40]Mario Bravetti, Stephen Gilmore, Claudio Guidi, Mirco Tribastone
:
Replicating Web Services for Scalability. TGC 2007: 204-221 - [c39]Ashok Argent-Katwala, Jeremy T. Bradley, Allan Clark, Stephen Gilmore:
Location-Aware Quality of Service Measurements for Service-Level Agreements. TGC 2007: 222-239 - [c38]Gagarine Yaikhom, Murray Cole, Stephen Gilmore, Jane Hillston:
A Structural Approach for Modelling Performance of Systems Using Skeletons. QAPL 2007: 167-183 - [e5]Muffy Calder, Stephen Gilmore:
Computational Methods in Systems Biology, International Conference, CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings. Lecture Notes in Computer Science 4695, Springer 2007, ISBN 978-3-540-75139-7 [contents] - 2006
- [j10]Muffy Calder, Stephen Gilmore, Jane Hillston:
Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA. Trans. Comp. Sys. Biology 7: 1-23 (2006) - [c37]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 - [c36]Allan Clark, Stephen Gilmore:
Evaluating Quality of Service for Service Level Agreements. FMICS/PDMC 2006: 181-194 - [c35]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 - [c34]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 - [c33]Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas:
Performance analysis of stochastic process algebra models using stochastic simulation. IPDPS 2006 - [c32]Stephen Gilmore, Valentin Haenel, Jane Hillston, Jennifer Tenzer:
A design environment for mobile applications. IPDPS 2006 - [c31]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 - [c30]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 - 2005
- [j9]Anne Benoit
, Murray Cole, Stephen Gilmore, Jane Hillston:
Scheduling Skeleton-Based Grid Applications Using PEPA and NWS. Comput. J. 48(3): 369-378 (2005) - [j8]Stephen Gilmore, Leïla Kloul:
A unified tool for performance modelling and prediction. Reliab. Eng. Syst. Saf. 89(1): 17-32 (2005) - [j7]Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston:
Evaluating the performance of pipeline-structured parallel programs with skeletons and process algebra. Scalable Comput. Pract. Exp. 6(4) (2005) - [j6]Stephen Gilmore, Kenneth MacKenzie, Nicholas Wolverson:
Extending resource-bounded functional programming languages with mutable state and concurrency. Scalable Comput. Pract. Exp. 6(4) (2005) - [c29]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 - [c28]Stephen Gilmore, Valentin Haenel, Leïla Kloul, Monika Maidl:
Choreographing Security and Performance Analysis for Web Services. EPEW/WS-FM 2005: 200-214 - [c27]Anne Benoit
, Murray Cole, Stephen Gilmore, Jane Hillston:
Flexible Skeletal Programming with eSkel. Euro-Par 2005: 761-770 - [c26]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 - [c25]Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston:
Using eSkel to Implement the Multiple Baseline Stereo Application. PARCO 2005: 673-680 - [c24]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 - [c23]Stephen Gilmore, Matthew Prowse:
Proof-carrying Bytecode. Bytecode@ETAPS 2005: 3-18 - [c22]Jeremy T. Bradley, Stephen T. Gilmore:
Stochastic Simulation Methods Applied to a Secure Electronic Voting Model. PASM@FM 2005: 5-25 - [c21]Stephen T. Gilmore, Olha Shkaravska:
Estimating the Cost of Native Method Calls for Resource-bounded Functional Programming Languages. PASM@FM 2005: 27-45 - [e4]Stephen Gilmore:
Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, TFP 2003, Edinburgh, United Kingdom, 11-12 September 2003. Trends in Functional Programming 4, Intellect 2005, ISBN 1-84150-122-0 [contents] - 2004
- [c20]David Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella
, Ian Stark
:
Mobile Resource Guarantees for Smart Devices. CASSIS 2004: 1-26 - [c19]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 - [c18]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 - [c17]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 - [c16]Stephen Gilmore:
Extending Camelot with Mutable State and Concurrency. International Conference on Computational Science 2004: 306-313 - [c15]Stephen Gilmore, Leïla Kloul, Davide Piazza:
Modelling Role-Playing Games Using PEPA Nets. ISCIS 2004: 523-532 - [c14]Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo:
Software performance modelling using PEPA nets. WOSP 2004: 13-23 - [c13]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 - [c12]Mikael Buchholtz, Stephen T. Gilmore, Jane Hillston, Flemming Nielson:
Securing Statically-verified Communications Protocols Against Timing Attacks. PASM 2004: 123-143 - 2003
- [j5]Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo:
PEPA nets: a structured performance modelling formalism. Perform. Evaluation 54(2): 79-104 (2003) - [c11]Linda Brodo, Pierpaolo Degano, Stephen Gilmore, Jane Hillston, Corrado Priami:
Performance Evaluation for Global Computation. Global Computing 2003: 229-253 - [c10]Stephen Gilmore, Jane Hillston, Leïla Kloul:
PEPA Nets. MASCOTS Tutorials 2003: 311-335 - [c9]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- - [c8]Stephen Gilmore, Leïla Kloul:
A Unified Tool for Performance Modelling and Prediction. SAFECOMP 2003: 179-192 - 2002
- [c7]Stephen Gilmore, Marco A. Palomino
:
Monitoring and Controlling Distributed Applications with Relocatable Objects. CCGRID 2002: 348-349 - [c6]Stephen Gilmore, Jane Hillston, Marina Ribaudo:
PEPA Nets: A Structured Performance Modelling Formalism. Computer Performance Evaluation / TOOLS 2002: 111-130 - 2001
- [j4]Stephen Gilmore, Jane Hillston, Marina Ribaudo:
An Efficient Algorithm for Aggregating PEPA Models. IEEE Trans. Software Eng. 27(5): 449-464 (2001) - [e3]Stephen Gilmore, Mark Ryan:
Language Constructs for Describing Features, Proceedings of the FIREworks Workshop, Glasgow, UK, May 2000. Springer 2001, ISBN 978-1-85233-392-8 [contents] - [e2]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. Lecture Notes in Computer Science 2165, Springer 2001, ISBN 3-540-42556-X [contents] - 2000
- [j3]Chris Walton, Dilsun Kirli Kaynar, Stephen Gilmore:
An abstract machine model of dynamic module replacement. Future Gener. Comput. Syst. 16(7): 793-808 (2000) - [c5]Graham Clark, Stephen Gilmore, Jane Hillston, Marina Ribaudo:
Exploiting Modal Logic to Express Performance Measures. Computer Performance Evaluation / TOOLS 2000: 247-261 - [c4]Stephen Gilmore, Jane Hillston:
The PEPA Feature Construct. FIREworks 2000: 125-142 - [e1]Stephen Gilmore:
Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000. Trends in Functional Programming 2, Intellect 2000, ISBN 1-84150-058-5 [contents]
1990 – 1999
- 1999
- [j2]Graham Clark, Stephen Gilmore, Jane Hillston, Nigel Thomas:
Experiences with the PEPA performance modelling. IEE Proc. Softw. 146(1): 11-20 (1999) - [c3]