Phone: +44 (0)131 650 5145
I am Allan Clark.
Evaluating quality of service for service level agreements
In Proceedings of the 11th International Workshop on Formal Methods for Industrial Critical System, 2006.
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
The ipclib PEPA Library
Proceedings of the 4th International Conference on the Quantitative Evaluation of SysTems (QEST), 2007
Location-Aware Quality of Service Measurements for Service-Level Agreements
Proceedings of the Third International Conference on Trustworthy Global Computing (TGC'07)
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)
Terminating Passage-Time Calculations on Uniformised Markov Chains
Proceedings of the 24th UK Performance Engineering Workshop (UKPEW), 2008
eXtented Probe Specifications
Proceedings of the 5th European Performance Engineering Workshop (EPEW), 2008