Allan Clark
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2006–2010
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | WSC | VERIFICATION AND TESTING OF BIOLOGICAL MODELS. | Allan Clark, Jane Hillston, Stephen Gilmore, Peter Kemper |
| 2009 | FASE | Scalable Analysis of Scalable Systems. | Allan Clark, Stephen Gilmore, Mirco Tribastone |
| 2008 | ISoLA | Safety and Response-Time Analysis of an Automotive Accident Assistance Service. | Ashok Argent-Katwala, Allan Clark, Howard Foster, Stephen Gilmore, Philip Mayer, Mirco Tribastone |
| 2008 | ISoLA | SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. | Martin Wirsing, Matthias M. Hlzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, Lszl Gnczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dniel Varr |
| 2006 | FMICS | Evaluating Quality of Service for Service Level Agreements. | Allan Clark, Stephen Gilmore |
| 2006 | FORTE | Semantic-Based Development of Service-Oriented Systems. | Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hlzl, Alexander Knapp, Nora Koch, Andreas Schroeder |