Computing Publications

Book Chapter

Performance Trees: A Query Specification Formalism for Quantitative Performance Analysis

William J. Knottenbelt, Nicholas J. Dingle, Tamas Suto

Parallel, Distributed and Grid Computing for Engineering

Volume 21, pp.165–198

Computational Science, Engineering and Technology, Saxe-Coburg Publications

April, 2009

Journal Article

Performance specification and evaluation with Unified Stochastic Probes and fluid analysis

Richard Hayden, Jeremy T. Bradley, Allan Clark

IEEE Transactions on Software Engineering

IEEE Computer Society

December, 2011

Journal Special Issue Article

Universe Types for Topology and Encapsulation

David Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander Summers

Formal Methods for Components (FMCO) 2007

Volume 5382, pp.72–112

Lecture Notes in Computer Science, Springer Verlag

2008

Conference and Workshop Papers

A Sip of the Chalice

Azalea Raad

FTfJP 2011

ACM Digital Library, ACM Press

July, 2011

Considerate Reasoning and the Composite Design Pattern

Alexander Summers, Sophia Drossopoulou

VMCAI'2010

Springer-Verlag, LNCS

January, 2010

A Unified Framework for Verification Techniques for Object Invariants

Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander Summers

ECOOP 2008

Lecture Notes in Computer Science

July, 2008