Conference Papers

Title	Status	Conference	Location	Date	Downloads
Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification	Published	SEFM05	Koblenz, Germany	5-9 September, 2005	Paper

Workshop Papers

Title	Status	Workshop	Location	Date	Downloads
Omnibus: A clean language and supporting tool for integrating different assertion-based verification techniques	Published	REFT05, part of FM05	Newcastle, UK	18-22 July 2005	Paper

Technical reports

Title	Status	Date	Downloads
Push-button tools for application developers, Full formal verification for component vendors	To be published early 2007	20 December 2006	Paper

Theses

Title	Description	Date	Downloads
The Omnibus Language and Integrated Verification Approach	Ph.D. Thesis	August 2007	Thesis