- Feature Interaction in PEPA Stephen Gilmore Jane Hillston y
- Practical e#ectiveness of mobile virtual machines Lennart Beringer and Stephen Gilmore
- Performance modelling with UML and stochastic process algebras Catherine Canevet, Stephen Gilmore, Jane Hillston, Matthew Prowse and Perdita Stevens
- Mapping coloured stochastic Petri nets to stochastic process algebras
- Developing multi-threaded Java applications from high-level models in the PEPA stochastic process algebra
- Integrated Analysis from Abstract Stochastic Process Algebra Models
- Partial Evaluation of PEPA Models for Fluid-Flow Analysis
- Semantic-Based Development of Service-Oriented Systems
- Evaluating the Scalability of a Web Service-Based Distributed e-Learning and
- A design environment for mobile applications Stephen Gilmore Valentin Haenel Jane Hillston
- End-to-End Integrated Security and Performance Analysis on the DEGAS
- Modelling Role-Playing Games Using PEPA Nets
- A structured performance modelling formalism Stephen Gilmore1
- Mapping coloured stochastic Petri nets to stochastic process algebras
- Performance Evaluation for Global Computation Linda Brodo1
- Choreographing Security and Performance Analysis for Web Services
- Exploiting Modal Logic to Express Performance Graham Clark 1 , Stephen Gilmore 1 , Jane Hillston 1 , and Marina Ribaudo 2
- A structured performance modelling formalism Stephen Gilmore 1 , Jane Hillston 1 , and Marina Ribaudo 2
- Programming in Standard ML '97: A Tutorial Introduction
- Derivation of Passagetime Densities in PEPA Models using ipc: the Imperial PEPA Compiler
- Applying QuasiSeparability to Markovian Process Algebra Nigel Thomas Stephen Gilmore
- Evaluating Quality of Service for Service Level Allan Clark and Stephen Gilmore
- The PEPA Feature Construct Stephen Gilmore and Jane Hillston
- Stochastic Process Algebras Allan Clark, Stephen Gilmore, Jane Hillston, and Mirco Tribastone
- Journal of Computer and System Sciences 74 (2008) 10131032 www.elsevier.com/locate/jcss
- A Feature Construct for PEPA Stephen Gilmore and Jane Hillston
- Automatic Translation of UML Sequence Diagrams into PEPA Models Mirco Tribastone and Stephen Gilmore
- IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 An Efficient Algorithm for Aggregating PEPA
- A Uni ed Tool for Performance Modelling and Stephen Gilmore and Le la Kloul ?
- Mobile Resource Guarantees for Smart Devices David Aspinall1
- Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems
- Elementary structural analysis for PEPA Stephen Gilmore, Jane Hillston \Lambda and Laura Recalde y
- Systematic transformations to find quasireversible structures in PEPA models
- Specifications in Stochastic Process Algebra for a Robot Control Problem
- State-Aware Performance Analysis with eXtended Stochastic Probes
- Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions
- Proof-carrying bytecode Stephen Gilmore and Matthew Prowse 1;2
- Safety and Response-Time Analysis of an Automotive Accident Assistance Service
- Service-Level Agreements for Service-Oriented Allan Clark, Stephen Gilmore, and Mirco Tribastone
- PASM 2005 Preliminary Version Estimating the cost of native method calls for
- From SPA models to programs Stephen Gilmore \Lambda , Jane Hillston \Lambda and Robert Holton y
- Refining internal choice in PEPA Stephen Gilmore \Lambda Jane Hillston \Lambda
- The PEPA Workbench: A Tool to Support a Process Algebrabased Approach to
- Specifying Performance Measures for PEPA Graham Clark, Stephen Gilmore, and Jane Hillston
- The PEPA Feature Construct Stephen Gilmore and Jane Hillston
- Performance modelling in PEPA with higherorder functions
- PEPA nets in practice: modelling a decentralised peertopeer emergency medical application
- Performance modelling in PEPA with higher-order functions
- Automatic Extraction of PEPA Performance Models from UML Activity Diagrams Annotated with the MARTE Profile
- Programming in Standard ML '97: A Tutorial Introduction
- IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 An E#cient Algorithm for Aggregating PEPA
- Developing multithreaded Java applications from highlevel models in the PEPA stochastic process algebra
- Scalable Analysis of Scalable Systems Allan Clark, Stephen Gilmore, and Mirco Tribastone
- Performance analysis of Stochastic Process Algebra models using Stochastic Jeremy T. Bradley1
- Performance modelling with UML and stochastic process algebras Catherine Canevet, Stephen Gilmore, Jane Hillston, Matthew Prowse and Perdita Stevens
- Specifying Performance Measures for PEPA Graham Clark, Stephen Gilmore, and Jane Hillston
- Replicating Web Services for Scalability Mario Bravetti1
- PASM 2005 Preliminary Version Stochastic simulation methods applied to a
- Graphical modelling of process algebras with Stephen Gilmore
- Formal methods for checking the consistency of biological models
- Experiences with the PEPA Performance Modelling Tools Graham Clark Stephen Gilmore Jane Hillston Nigel Thomas
- Performance Evaluation 54 (2003) 79104 PEPA nets: a structured performance modelling formalism
- On Verifying Bio-PEPA Models Allan Clark
- Applying Quasi-Separability to Markovian Process Algebra Nigel Thomas Stephen Gilmore
- Dynamic ML without Dynamic Types Stephen Gilmore, Dilsun Kirli and Christopher Walton
- Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems
- The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to
- The Bio-PEPA Tool Suite Federica Ciocchetta, Adam Duguid, Stephen Gilmore,
- Refining internal choice in PEPA Stephen Gilmore
- Deep type inference for mobile functions Stephen Gilmore
- Softw Syst Model (2011) 10:287311 DOI 10.1007/s10270-010-0155-y
- Systematic transformations to find quasi-reversible structures in PEPA models
- Rapid performance evaluation using fluid-flow analysis and eXtended Stochastic Probes
- Stochastic Process Algebras: From Individuals to Populations
- The PEPA Eclipse Plug-in Mirco Tribastone
- Elementary structural analysis for PEPA Stephen Gilmore, Jane Hillston
- Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler
- A survey of the PEPA tools Stephen Gilmore Jane Hillston
- Visualisation for Stochastic Process Algebras: The Graphic Truth
- Proceedings of the 2010 Winter Simulation Conference B. Johansson, S. Jain, J. Montoya-Torres, J. Hugan, and E. Yucesan, eds.
- SENSORIA Process Calculi for Service-Oriented Martin Wirsing1
- A Unified Tool for Performance Modelling and Stephen Gilmore and Leila Kloul
- Feng Shui for Standard ML Programmers Stephen Gilmore
- Passage-End Analysis Allan Clark, Adam Duguid, and Stephen Gilmore
- Quantitative Analysis of Web Services Allan Clark, Stephen Gilmore, and Mirco Tribastone
- Specifications in Stochastic Process Algebra for a Robot Control Problem
- Future Generation Computer Systems 16 (2000) 793808 An abstract machine model of dynamic module replacement
- An Efficient Algorithm for Aggregating PEPA Models
- Scalable Differential Analysis of Process Algebra Models
- Published in IET Software Received on 9th January 2009
- 9 Modelling the CoCoME with the JAVA/A Component Model
- Proceedings of the 2009 Winter Simulation Conference M. D. Rossetti, R. R. Hill, B. Johansson, A. Dunkin, and R. G. Ingalls, eds.
- Exploiting Modal Logic to Express Performance Measures
- From SPA models to programs Stephen Gilmore
- Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process
- Modular Performance Modelling for Mobile Applications Niaz Arijo, Reiko Heckel
- Location-Aware Quality of Service Measurements for Service-Level Agreements
- Feature Interaction in PEPA Stephen Gilmore
- Monitoring and Controlling Distributed Applications with Relocatable Objects Stephen Gilmore
