Computing Publications

Publications Home » Keywords » Program Verification

Publications matching Program Verification
What are feeds?
All feeds

Program Verification

Book Chapter

Performance Trees: A Query Specification Formalism for Quantitative Performance Analysis [PDF] [Postscript]
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 [PDF]
Richard Hayden, Jeremy T. Bradley, Allan Clark
IEEE Transactions on Software Engineering
IEEE Computer Society
January, 2012

Journal Special Issue Article

Universe Types for Topology and Encapsulation [PDF]
David Cunningham, Werner Dietl, Sophia Drossopoulou, Adrian Francalanza, Peter , 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 [PDF]
Azalea Raad
FTfJP 2011
ACM Digital Library, ACM Press
July, 2011
Considerate Reasoning and the Composite Design Pattern [PDF]
Alexander Summers, Sophia Drossopoulou
VMCAI'2010
Springer-Verlag, LNCS
January, 2010
A Unified Framework for Verification Techniques for Object Invariants [PDF]
Sophia Drossopoulou, Adrian Francalanza, Peter , Alexander Summers
ECOOP 2008
Lecture Notes in Computer Science
July, 2008

BibTeX file for these publications

 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.