Evaluating Quality of Service for Service Level Agreements. - Allan Clark; Stephen Gilmore (FMICS/PDMC, 2006)

Semantic-Based Development of Service-Oriented Systems. - Martin Wirsing; Allan Clark; Stephen Gilmore; Matthias M. Hölzl; Alexander Knapp; Nora Koch; Andreas Schroeder 001 (FORTE, 2006)

Modelling the CoCoME with the Java/AComponent Model. - Alexander Knapp; Stephan Janisch; Rolf Hennicker; Allan Clark; Stephen Gilmore; Florian Hacklinger; Hubert Baumeister; Martin Wirsing (CoCoME, 2007)

The ipclib PEPA Library. - Allan Clark (QEST, 2007)

Stochastic Process Algebras. - Allan Clark; Stephen Gilmore; Jane Hillston; Mirco Tribastone (SFM, 2007)

Location-Aware Quality of Service Measurements for Service-Level Agreements. - Ashok Argent-Katwala; Jeremy T. Bradley; Allan Clark; Stephen Gilmore (TGC, 2007)

Partial Evaluation of PEPA Models for Fluid-Flow Analysis. - Allan Clark; Adam Duguid; Stephen Gilmore; Mirco Tribastone (EPEW, 2008)

State-Aware Performance Analysis with eXtended Stochastic Probes. - Allan Clark; Stephen Gilmore (EPEW, 2008)

Safety and Response-Time Analysis of an Automotive Accident Assistance Service. - Ashok Argent-Katwala; Allan Clark; Howard Foster; Stephen Gilmore; Philip Mayer; Mirco Tribastone (ISoLA, 2008)

SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. - 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; et al. (ISoLA, 2008)

Service-Level Agreements for Service-Oriented Computing. - Allan Clark; Stephen Gilmore; Mirco Tribastone (WADT, 2008)

Passage-End Analysis. - Allan Clark; Adam Duguid; Stephen Gilmore (EPEW, 2009)

Scalable Analysis of Scalable Systems. - Allan Clark; Stephen Gilmore; Mirco Tribastone (FASE, 2009)

Quantitative Analysis of Web Services Using SRMC. - Allan Clark; Stephen Gilmore; Mirco Tribastone (SFM, 2009)

Transient calculations on process algebra derived Markov chains. - Allan Clark; Stephen Gilmore (IET Softw., 2009)

On verifying Bio-PEPA models. - Allan Clark; Stephen Gilmore; Maria Luisa Guerriero; Peter Kemper (CMSB, 2010)

VERIFICATION AND TESTING OF BIOLOGICAL MODELS. - Allan Clark; Jane Hillston; Stephen Gilmore; Peter Kemper (WSC, 2010)

Quantitative Analysis of Services. - Igor Cappello; Allan Clark; Stephen Gilmore; Diego Latella; Michele Loreti; Paola Quaglia; Stefano Schivo (Results of the SENSORIA Project, 2011)

Passage-End Analysis for Analysing Robot Movement. - Allan Clark; Adam Duguid; Stephen Gilmore (Results of the SENSORIA Project, 2011)

Evaluating Service Level Agreements Using Observational Probes. - Allan Clark; Stephen Gilmore (Results of the SENSORIA Project, 2011)

Cost-Sensitive Concurrent Planning Under Duration Uncertainty for Service-Level Agreements. - Andrew Coles; Amanda Jane Coles; Allan Clark; Stephen Gilmore (ICAPS, 2011)

A subsystems approach for parameter estimation of ODE models of hybrid systems - Anastasis Georgoulas; Allan Clark; Andrea Ocone; Stephen Gilmore; Guido Sanguinetti (HSB, 2012)

Stochastic Modelling of the Kai-based Circadian Clock. - Chris J. Banks; Allan Clark; Anastasis Georgoulas; Stephen Gilmore; Jane Hillston; Dimitrios Milios; Ian Stark (PASM/PDMC, 2012)

Conservation of Mass Analysis for Bio-PEPA. - Allan Clark; Stephen Gilmore; Maria Luisa Guerriero; Jane Hillston (PASM/PDMC, 2012)

A Reparameterisation Based Approach to Geodesic Constrained Solvers for Curve Matching. - Colin J. Cotter; Allan Clark; Joaquim Peiró (Int. J. Comput. Vis., 2012)

Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis. - Richard A. Hayden; Jeremy T. Bradley; Allan Clark (IEEE Trans. Software Eng., 2013)

Finding Optimal Timetables for Edinburgh Bus Routes. - Ludovica Luisa Vissat; Allan Clark; Stephen Gilmore (PASM, 2014)

A Case Study in Capacity Planning for PEPA Models with the PEPA Eclipse Plug-in. - Christopher D. Williams; Allan Clark (UKPEW, 2014)