Publications

Selected Publications

• How to Verify Dynamic Properties of Information Systems with Neil Evans, Regine Laleau, and Marc Frappier (accepted for SEFM04).

• Investigating a file transfer protocol using CSP and B (journal version) with Neil Evans (submitted for consideration, January 2004).

• Verifying Controlled Components with Steve Schneider, IFM04 (postscript format) Source Files supporting paper.

• Investigating a file transmission protocol using CSP and B(postscript format)with Neil Evans and Steve Schneider, St.EVE Workshop FME Pisa 2003. Source Files supporting paper.

• Combining Specification using Composition with Steve Schneider and Marchia Bramble, ZB2003, July 2003.(postscript format) Source Files supporting paper.

• Supplementing a UML development process with B, FME2002, July 2002. (gzipped postscript format)

• Controlling B Machines with Steve Schneider, ZB2002, LNCS 2272, September 2002.

• How to drive a B Machine, with Steve Schneider, ZB2000, LNCS 1878 (pages 188-209), September 2000, York, UK, 2000 (Best Paper award).

• Classifying and Capturing Timing Requirements , with Steve Schneider, BUG Meeting at FM'99, Toulouse, September 1999.

• Using a Process Algebra to Control B OPERATIONS , with Steve Schneider, Integrated Formal Methods, York, Springer-Verlag, June 1999.

• Prototyping Formal Specifications with the B-Toolkit , with Bowen Ormsby, Jonathan Draper, and Steve Schneider, 2nd International B Conference, 1998.

• Evaluating the B-Method on an Avionics Example , with Jonathan Draper, Bowen Ormsby and Tim Boyce, Data Systems in Aerospace (DASIA) Conference, Rome, June 1996 pp 89-97 (European Space Agency Publication Division WPP-116).

• The Refinement of Embedded Software with the B-Method , with Jonathan Draper, Northern Formal Methods Workshop, Workshops in Computer Science, Springer Verlag, 1997.

• Management of Design from Large Specifications. SafeFM (DTI Project 9013), March 1996.

Technical Reports

• CSP Theorems for Communicating B Machines with Steve Schneider. Royal Holloway Department of Computer Science Technical Report CSD-TR-02-12.

• Capturing timing requirements formally in AMN , with Steve Schneider, CSD-TR-99-06, June 1999.

• Using a Process Algebra to Control B OPERATIONS (Full version) . with Steve Schneider, CSD-TR-99-01, February 1999.

• Thesis, August 2000.