![]() | ![]() |
| 2012 | ||
|---|---|---|
| 22 | Colin J. Cotter, Allan Clark, Joaquim Peiró: A Reparameterisation Based Approach to Geodesic Constrained Solvers for Curve Matching. International Journal of Computer Vision 99(1): 103-121 (2012) | |
| 2011 | ||
| 21 | Andrew Coles, Amanda Jane Coles, Allan Clark, Stephen Gilmore: Cost-Sensitive Concurrent Planning Under Duration Uncertainty for Service-Level Agreements. ICAPS 2011 | |
| 20 | Allan Clark, Stephen Gilmore: Evaluating Service Level Agreements Using Observational Probes. Results of the SENSORIA Project 2011: 467-485 | |
| 19 | Allan Clark, Adam Duguid, Stephen Gilmore: Passage-End Analysis for Analysing Robot Movement. Results of the SENSORIA Project 2011: 506-521 | |
| 18 | Igor Cappello, Allan Clark, Stephen Gilmore, Diego Latella, Michele Loreti, Paola Quaglia, Stefano Schivo: Quantitative Analysis of Services. Results of the SENSORIA Project 2011: 522-540 | |
| 2010 | ||
| 17 | Allan Clark, Stephen Gilmore, Maria Luisa Guerriero, Peter Kemper: On verifying Bio-PEPA models. CMSB 2010: 23-32 | |
| 16 | Allan Clark, Jane Hillston, Stephen Gilmore, Peter Kemper: VERIFICATION AND TESTING OF BIOLOGICAL MODELS. Winter Simulation Conference 2010: 620-630 | |
| 2009 | ||
| 15 | Allan Clark, Adam Duguid, Stephen Gilmore: Passage-End Analysis. EPEW 2009: 110-115 | |
| 14 | Allan Clark, Stephen Gilmore, Mirco Tribastone: Scalable Analysis of Scalable Systems. FASE 2009: 1-17 | |
| 13 | Allan Clark, Stephen Gilmore, Mirco Tribastone: Quantitative Analysis of Web Services Using SRMC. SFM 2009: 296-339 | |
| 12 | Allan Clark, Stephen Gilmore: Transient calculations on process algebra derived Markov chains. IET Software 3(6): 495-508 (2009) | |
| 2008 | ||
| 11 | Allan Clark, Stephen Gilmore: State-Aware Performance Analysis with eXtended Stochastic Probes. EPEW 2008: 125-140 | |
| 10 | Allan Clark, Adam Duguid, Stephen Gilmore, Mirco Tribastone: Partial Evaluation of PEPA Models for Fluid-Flow Analysis. EPEW 2008: 2-16 | |
| 9 | 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 | |
| 8 | 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 | |
| 7 | Allan Clark, Stephen Gilmore, Mirco Tribastone: Service-Level Agreements for Service-Oriented Computing. WADT 2008: 21-36 | |
| 2007 | ||
| 6 | 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 | Allan Clark: The ipclib PEPA Library. QEST 2007: 55-56 | |
| 4 | Allan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone: Stochastic Process Algebras. SFM 2007: 132-179 | |
| 3 | 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 | Allan Clark, Stephen Gilmore: Evaluating Quality of Service for Service Level Agreements. FMICS/PDMC 2006: 181-194 | |
| 1 | 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 | |
Colors in the list of coauthors
Last update Tue May 29 01:28:40 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page