Conference Talks

Title	Venue	Date	Description	Downloads
Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification	Software Engineering Formal Methods 2005, Koblenz University, Germany	8th September 2005	Discussion of the paper which presents a discussion of the combination of different assertion-based verification approaches	Slides

Workshop Talks

Title	Venue	Date	Description	Downloads
Omnibus: A clean language and supporting tool for integrating different assertion-based verification techniques	REFT workshop, University of Newcastle upon Tyne	19th July 2005	Short presentation of the paper giving an overview of the Omnibus project and its relationship to fault tolerance	Slides
Omnibus: Supporting software component reuse through Contracts and Certificates	Scottish Theorem Provers meeting, University of Strathclyde	19th December 2003	Presentation explaining the basic principles of the Omnibus language in terms of PVS	Abstract Slides

Seminars

Title	Venue	Date	Description	Downloads
Extended Static Checking	Departmental seminar, University of Stirling	12th November 2004	Seminar presenting the Extended Static Checking approach, built around a demo of the ESC/Java2 tool	Abstract Slides

Other talks

Title	Venue	Date	Description	Downloads
First year viva presentation	PhD supervisors, University of Stirling	20th August 2004	Defence of the first year of my PhD	Slides
Open Design Decisions for the Omnibus language	Applied Formal Methods group, University of Stirling	13th May 2004, 20th May 2004	Talks presenting some of the open issues within the Omnibus project	Part I , Part II
The basic principles of Omnibus	PGTips postgraduate group, University of Stirling	5th December 2003	Presentation explaining the motivation for the development of Omnibus and illustrating the key concepts of the language through a series of examples	Slides

Short presentations

Title	Venue	Date	Description	Downloads
An Overview of the Omnibus Project	Departmental postgraduate talks, University of Stirling	28th January 2005	Talk giving a high-level overview of the work in the Omnibus project and then focussing on some particular details in more depth	Abstract Slides
Omnibus: PhD Project Overview	PGTips postgraduate group, University of Stirling	13th September 2004	Short talk presenting a high-level non-technical overview of the Omnibus project	Slides
A better way to develop GUI applications	Departmental postgraduate talks, University of Stirling	5th February 2004	Talk briefly explaining the specification of GUI applications in Omnibus through the presentation of the GUI for a Yahtzee game	Slides
Omnibus: Towards a framework to allow software components to be reused safely	Departmental honours project talks, University of Stirling	30th April 2003	Brief overview presentation for the use of Omnibus as a tool for supporting component reuse	Slides