2009 |
11 | EE | Allan Clark,
Stephen Gilmore,
Mirco Tribastone:
Scalable Analysis of Scalable Systems.
FASE 2009: 1-17 |
2008 |
10 | EE | Allan Clark,
Stephen Gilmore:
State-Aware Performance Analysis with eXtended Stochastic Probes.
EPEW 2008: 125-140 |
9 | EE | Allan Clark,
Adam Duguid,
Stephen Gilmore,
Mirco Tribastone:
Partial Evaluation of PEPA Models for Fluid-Flow Analysis.
EPEW 2008: 2-16 |
8 | EE | 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 |
7 | EE | 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 |
2007 |
6 | EE | 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 |
5 | EE | Allan Clark:
The ipclib PEPA Library.
QEST 2007: 55-56 |
4 | EE | Allan Clark,
Stephen Gilmore,
Jane Hillston,
Mirco Tribastone:
Stochastic Process Algebras.
SFM 2007: 132-179 |
3 | EE | Ashok Argent-Katwala,
Jeremy T. Bradley,
Allan Clark,
Stephen Gilmore:
Location-Aware Quality of Service Measurements for Service-Level Agreements.
TGC 2007: 222-239 |
2006 |
2 | EE | Allan Clark,
Stephen Gilmore:
Evaluating Quality of Service for Service Level Agreements.
FMICS/PDMC 2006: 181-194 |
1 | EE | 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 |