Allan Clark

According to our database, Allan Clark authored at least 29 papers between 2006 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2014

A Case Study in Capacity Planning for PEPA Models with the PEPA Eclipse Plug-in.

Christopher D. Williams, Allan Clark

Proceedings of the Twenty-ninth and thirtieth Annual UK Performance Engineering Workshops, 2014

Finding Optimal Timetables for Edinburgh Bus Routes.

Ludovica Luisa Vissat, Allan Clark, Stephen Gilmore

Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, 2014

2013

Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis.

Richard A. Hayden, Jeremy T. Bradley, Allan Clark

IEEE Trans. Software Eng., 2013

SBSI: an extensible distributed software infrastructure for parameter estimation in systems biology.

Richard R. Adams, Allan Clark, Azusa Yamaguchi, Neil Hanlon, Nikos Tsorman, Shakir Ali, Galina Lebedeva, Alexey N. Goltsov, Anatoly A. Sorokin, Ozgur E. Akman, Carl Troein, Andrew J. Millar, Igor Goryanin, Stephen Gilmore

Bioinform., 2013

2012

A Reparameterisation Based Approach to Geodesic Constrained Solvers for Curve Matching.

Colin J. Cotter, Allan Clark, Joaquim Peiró

Int. J. Comput. Vis., 2012

Conservation of Mass Analysis for Bio-PEPA.

Allan Clark, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston

Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012

Stochastic Modelling of the Kai-based Circadian Clock.

Chris J. Banks, Allan Clark, Anastasis Georgoulas, Stephen Gilmore, Jane Hillston, Dimitrios Milios, Ian Stark

Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012

A subsystems approach for parameter estimation of ODE models of hybrid systems

Anastasis Georgoulas, Allan Clark, Andrea Ocone, Stephen Gilmore, Guido Sanguinetti

Proceedings of the Proceedings First International Workshop on Hybrid Systems and Biology, 2012

2011

Cost-Sensitive Concurrent Planning Under Duration Uncertainty for Service-Level Agreements.

Andrew Coles, Amanda Jane Coles, Allan Clark, Stephen Gilmore

Proceedings of the 21st International Conference on Automated Planning and Scheduling, 2011

Evaluating Service Level Agreements Using Observational Probes.

Allan Clark, Stephen Gilmore

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Passage-End Analysis for Analysing Robot Movement.

Allan Clark, Adam Duguid, Stephen Gilmore

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Quantitative Analysis of Services.

Igor Cappello, Allan Clark, Stephen Gilmore, Diego Latella, Michele Loreti, Paola Quaglia, Stefano Schivo

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

VERIFICATION AND TESTING OF BIOLOGICAL MODELS.

Allan Clark, Jane Hillston, Stephen Gilmore, Peter Kemper

Proceedings of the 2010 Winter Simulation Conference, 2010

On verifying Bio-PEPA models.

Allan Clark, Stephen Gilmore, Maria Luisa Guerriero, Peter Kemper

Proceedings of the Computational Methods in Systems Biology, 8th International Conference, 2010

2009

Transient calculations on process algebra derived Markov chains.

Allan Clark, Stephen Gilmore

IET Softw., 2009

Quantitative Analysis of Web Services Using SRMC.

Allan Clark, Stephen Gilmore, Mirco Tribastone

Proceedings of the Formal Methods for Web Services, 2009

Scalable Analysis of Scalable Systems.

Allan Clark, Stephen Gilmore, Mirco Tribastone

Proceedings of the Fundamental Approaches to Software Engineering, 2009

Passage-End Analysis.

Allan Clark, Adam Duguid, Stephen Gilmore

Proceedings of the Computer Performance Engineering, 2009

2008

Service-Level Agreements for Service-Oriented Computing.

Allan Clark, Stephen Gilmore, Mirco Tribastone

Proceedings of the Recent Trends in Algebraic Development Techniques, 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, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró

Proceedings of the Leveraging Applications of Formal Methods, 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

Proceedings of the Leveraging Applications of Formal Methods, 2008

State-Aware Performance Analysis with eXtended Stochastic Probes.

Allan Clark, Stephen Gilmore

Proceedings of the Computer Performance Engineering, 2008

Partial Evaluation of PEPA Models for Fluid-Flow Analysis.

Allan Clark, Adam Duguid, Stephen Gilmore, Mirco Tribastone

Proceedings of the Computer Performance Engineering, 2008

2007

Location-Aware Quality of Service Measurements for Service-Level Agreements.

Ashok Argent-Katwala, Jeremy T. Bradley, Allan Clark, Stephen Gilmore

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

Stochastic Process Algebras.

Allan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone

Proceedings of the Formal Methods for Performance Evaluation, 2007

The ipclib PEPA Library.

Allan Clark

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

Modelling the CoCoME with the Java/AComponent Model.

Alexander Knapp, Stephan Janisch, Rolf Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister, Martin Wirsing

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

2006

Semantic-Based Development of Service-Oriented Systems.

Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

Evaluating Quality of Service for Service Level Agreements.

Allan Clark, Stephen Gilmore

Proceedings of the Formal Methods: Applications and Technology, 2006