Talks

Feature Interaction Analysis: automatic verification of any number of concurrent, communicating processes Departmental seminar, August 2002.

Automatic verification of any number of concurrent, communicating processes Poster presented at ASE 2002, September 2002

Automatic verification of any number of concurrent, communicating processes Presented at Infinite model checking workshop, December 2002

Analysing the tree identify phase of the FireWire protocol Presented at Dagstuhl seminar February 2003

Reasoning about networks of processes with similar behaviour (Also) presented at Dagstuhl seminar and Scottish Hoppers meeting February 2003

An application of abstraction and induction to degenerating systems of processes Presented at MCDSIS, San Francisco, June 2003

Model checking and Planning Presented Stirling University, computing science department seminar, February 2004

The use of Mathematical Techniques in Model checking Presented University of East Anglia, joint pure and applied mathematics and computing seminar, March 2004

Abstraction for safety, induction for liveness Presented at AMAST, July 2004.

SPIN-to-GRAPE: A tool for analysing symmetry in Promela models Presented at ARTS'04, July 2004.

Finding symmetry in models of concurrent systems by static channel diagram analysis Presented at AVoCS, September 2004.

Comparing the use of symmetry in constraint processing and model checking Presented at SymCon, September 2004.

Verifying Parameterised, featured networks by abstraction Presented at ISOLA, November 2004.

Using abstraction to verify Parameterised, featured networks Presented at Department of Computer Science, University of Warwick, January 2005.

Combatting state space explosion in model checking Presented at Scottish Hoppers meeting for women in computing research, May 2005.

A generic approach for the automatic verification of featured, parameterised systems Presented at the 8th International Conference on Feature interactions in Telecommunications and software systems, Leicester, June 2005.