Allan Clark

Publication Activity (10 Years)

Years Active: 2006-2015
Publications (10 Years): 0

Top Topics

Stochastic Model

Capacity Planning

Candidate Matches

Top Venues

Electron. Notes Theor. Comput. Sci.

Int. J. Comput. Vis.

IEEE Trans. Software Eng.

Publications

Ludovica Luisa Vissat, Allan Clark, Stephen Gilmore
Finding Optimal Timetables for Edinburgh Bus Routes. Electron. Notes Theor. Comput. Sci. 310 (2015)
Christopher D. Williams, Allan Clark
A Case Study in Capacity Planning for PEPA Models with the PEPA Eclipse Plug-in. Electron. Notes Theor. Comput. Sci. 318 (2015)
Allan Clark, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston
Conservation of Mass Analysis for Bio-PEPA. Electron. Notes Theor. Comput. Sci. 296 (2013)
Richard A. Hayden, Jeremy T. Bradley, Allan Clark
Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis. IEEE Trans. Software Eng. 39 (1) (2013)
Richard R. Adams, Allan Clark, Azusa Yamaguchi, Neil Hanlon, Nikos Tsorman, Shakir Ali, Galina Lebedeva, Alexey Goltsov, Anatoly A. Sorokin, Ozgur E. Akman, Carl Troein, Andrew J. Millar, Igor Goryanin, Stephen Gilmore
SBSI: an extensible distributed software infrastructure for parameter estimation in systems biology. Bioinform. 29 (5) (2013)
Chris J. Banks, Allan Clark, Anastasis Georgoulas, Stephen Gilmore, Jane Hillston, Dimitrios Milios, Ian Stark
Stochastic Modelling of the Kai-based Circadian Clock. Electron. Notes Theor. Comput. Sci. 296 (2013)
Colin J. Cotter, Allan Clark, Joaquim Peiró
A Reparameterisation Based Approach to Geodesic Constrained Solvers for Curve Matching. Int. J. Comput. Vis. 99 (1) (2012)
Anastasis Georgoulas, Allan Clark, Andrea Ocone, Stephen Gilmore, Guido Sanguinetti
A subsystems approach for parameter estimation of ODE models of hybrid systems HSB (2012)
Andrew Coles, Amanda Jane Coles, Allan Clark, Stephen Gilmore
Cost-Sensitive Concurrent Planning Under Duration Uncertainty for Service-Level Agreements. ICAPS (2011)
Allan Clark, Stephen Gilmore, Maria Luisa Guerriero, Peter Kemper
On verifying Bio-PEPA models. CMSB (2010)
Allan Clark, Jane Hillston, Stephen Gilmore, Peter Kemper
VERIFICATION AND TESTING OF BIOLOGICAL MODELS. WSC (2010)
Allan Clark, Stephen Gilmore, Mirco Tribastone
Scalable Analysis of Scalable Systems. FASE (2009)
Allan Clark, Stephen Gilmore, Mirco Tribastone
Quantitative Analysis of Web Services Using SRMC. SFM (2009)
Allan Clark, Stephen Gilmore
Transient calculations on process algebra derived Markov chains. IET Softw. 3 (6) (2009)
Allan Clark, Adam Duguid, Stephen Gilmore
Passage-End Analysis. EPEW (2009)
Allan Clark, Adam Duguid, Stephen Gilmore, Mirco Tribastone
Partial Evaluation of PEPA Models for Fluid-Flow Analysis. EPEW (2008)
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)
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)
Allan Clark, Stephen Gilmore, Mirco Tribastone
Service-Level Agreements for Service-Oriented Computing. WADT (2008)
Allan Clark, Stephen Gilmore
State-Aware Performance Analysis with eXtended Stochastic Probes. EPEW (2008)
Allan Clark
The ipclib PEPA Library. QEST (2007)
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)
Ashok Argent-Katwala, Jeremy T. Bradley, Allan Clark, Stephen Gilmore
Location-Aware Quality of Service Measurements for Service-Level Agreements. TGC (2007)
Allan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone
Stochastic Process Algebras. SFM (2007)
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)
Allan Clark, Stephen Gilmore
Evaluating Quality of Service for Service Level Agreements. FMICS/PDMC (2006)