AESOP home


Dr Allan Clark

External Associate
Home page

3 Publications with AESOP

Journal Article
Performance specification and evaluation with Unified Stochastic Probes and fluid analysis [PDF]
Richard Hayden, Jeremy T. Bradley, A Clark
IEEE Transactions on Software Engineering
January, 2012
Conference and Workshop Papers
Safety and Response-Time Analysis of an Automotive Accident Assistance Service [PDF]
Ashok Argent-Katwala, A Clark, Howard Foster, Stephen T. Gilmore, Philip Mayer, Mirco Tribastone
ISOLA'08, 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
October, 2008
Location-Aware Quality of Service Measurements for Service-Level Agreements [PDF]
Ashok Argent-Katwala, Jeremy T. Bradley, A Clark, Stephen T. Gilmore
TGC'07, Trustworthy Global Computing
November, 2007

Information from