Allan Clark and Stephen Gilmore
Evaluating quality of service for service level agreements
In Proceedings of the 11th International Workshop on Formal Methods for Industrial Critical System, 2006.
Allan Clark, Stephen Gilmore, Jane Hillston and Mirco Tribastone
Stochastic Process Algebras
Formal Methods for Performance Evaluation: the 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007
Allan Clark
The ipclib PEPA Library
Proceedings of the 4th International Conference on the Quantitative Evaluation of SysTems (QEST), 2007
Ashok Argent-Katwala, Jeremy Bradley, Allan Clark and Stephen Gilmore
Location-Aware Quality of Service Measurements for Service-Level Agreements
Proceedings of the Third International Conference on Trustworthy Global Computing (TGC'07)
Ashok Argent-Katwala, Allan Clark, Howard Foster, Stephen Gilmore, Philip Mayer and Mirco Tribastone
Safety and Response-Time Analysis of an Automotive Accident Assistance Service
Proceedings of the 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008)
Allan Clark and Stephen Gilmore
Terminating Passage-Time Calculations on Uniformised Markov Chains
Proceedings of the 24th UK Performance Engineering Workshop (UKPEW), 2008
Allan Clark and Stephen Gilmore
eXtented Probe Specifications
Proceedings of the 5th European Performance Engineering Workshop (EPEW), 2008