Allan Clark

28 papers A* 1B 1C 3Misc 1Journal 3Unranked 16
YearRankTypeTitle / Venue / Authors
2014 — conf
A Case Study in Capacity Planning for PEPA Models with the PEPA Eclipse Plug-in.
UKPEW
Christopher D. Williams, Allan Clark
2014 — conf
Finding Optimal Timetables for Edinburgh Bus Routes.
PASM
Ludovica Luisa Vissat, Allan Clark, Stephen Gilmore
2013 J jnl
Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis.
IEEE Trans. Software Eng.
Richard A. Hayden, Jeremy T. Bradley, Allan Clark
2012 J jnl
A Reparameterisation Based Approach to Geodesic Constrained Solvers for Curve Matching.
Int. J. Comput. Vis.
Colin J. Cotter, Allan Clark, Joaquim Peiró
2012 — conf
A subsystems approach for parameter estimation of ODE models of hybrid systems
HSB
Anastasis Georgoulas, Allan Clark, Andrea Ocone, Stephen Gilmore, Guido Sanguinetti
2012 — conf
Conservation of Mass Analysis for Bio-PEPA.
PASM/PDMC
Allan Clark, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston
2012 — conf
Stochastic Modelling of the Kai-based Circadian Clock.
PASM/PDMC
Chris J. Banks, Allan Clark, Anastasis Georgoulas, Stephen Gilmore, Jane Hillston, Dimitrios Milios, Ian Stark
2011 A* conf
Cost-Sensitive Concurrent Planning Under Duration Uncertainty for Service-Level Agreements.
ICAPS
Andrew Coles, Amanda Jane Coles, Allan Clark, Stephen Gilmore
2011 — ch.
Evaluating Service Level Agreements Using Observational Probes.
Results of the SENSORIA Project
Allan Clark, Stephen Gilmore
2011 — ch.
Passage-End Analysis for Analysing Robot Movement.
Results of the SENSORIA Project
Allan Clark, Adam Duguid, Stephen Gilmore
2011 — ch.
Quantitative Analysis of Services.
Results of the SENSORIA Project
Igor Cappello, Allan Clark, Stephen Gilmore, Diego Latella, Michele Loreti, Paola Quaglia, Stefano Schivo
2010 — conf
On verifying Bio-PEPA models.
CMSB
Allan Clark, Stephen Gilmore, Maria Luisa Guerriero, Peter Kemper
2010 Misc conf
VERIFICATION AND TESTING OF BIOLOGICAL MODELS.
WSC
Allan Clark, Jane Hillston, Stephen Gilmore, Peter Kemper
2009 — conf
Passage-End Analysis.
EPEW
Allan Clark, Adam Duguid, Stephen Gilmore
2009 — conf
Quantitative Analysis of Web Services Using SRMC.
SFM
Allan Clark, Stephen Gilmore, Mirco Tribastone
2009 B conf
Scalable Analysis of Scalable Systems.
FASE
Allan Clark, Stephen Gilmore, Mirco Tribastone
2009 J jnl
Transient calculations on process algebra derived Markov chains.
IET Softw.
Allan Clark, Stephen Gilmore
2008 — conf
Partial Evaluation of PEPA Models for Fluid-Flow Analysis.
EPEW
Allan Clark, Adam Duguid, Stephen Gilmore, Mirco Tribastone
2008 C conf
Safety and Response-Time Analysis of an Automotive Accident Assistance Service.
ISoLA
Ashok Argent-Katwala, Allan Clark, Howard Foster, Stephen Gilmore, Philip Mayer, Mirco Tribastone
2008 C conf
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.
ISoLA
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ó
2008 — conf
Service-Level Agreements for Service-Oriented Computing.
WADT
Allan Clark, Stephen Gilmore, Mirco Tribastone
2008 — conf
State-Aware Performance Analysis with eXtended Stochastic Probes.
EPEW
Allan Clark, Stephen Gilmore
2007 — conf
Location-Aware Quality of Service Measurements for Service-Level Agreements.
TGC
Ashok Argent-Katwala, Jeremy T. Bradley, Allan Clark, Stephen Gilmore
2007 — conf
Modelling the CoCoME with the Java/AComponent Model.
CoCoME
Alexander Knapp, Stephan Janisch, Rolf Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister, Martin Wirsing
2007 — conf
Stochastic Process Algebras.
SFM
Allan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone
2007 — conf
The ipclib PEPA Library.
QEST
Allan Clark
2006 — conf
Evaluating Quality of Service for Service Level Agreements.
FMICS/PDMC
Allan Clark, Stephen Gilmore
2006 C conf
Semantic-Based Development of Service-Oriented Systems.
FORTE
Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder