Formal Verification of Diagnosability via Symbolic Model Checking. Article presented at MoChArt 2002 Workshop, Lyon, France, July 23, 2002 (with Alessandro Cimatti).
Symbolic Model Checking of Domain Models for Autonomous Spacecrafts. Presentation at University of Liège, Belgium, 12 November 2001.
Symbolic Model Checking of Domain Models for Autonomous Spacecrafts. Presentation at the Dagstuhl Seminar: Exploration of Large State Spaces, Dagstuhl, Germany, 8 November 2001.
RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems (Asilomar, December 2000). Report presented as a RIACS Seminar at NASA Ames, Moffett Field, California, February 2001 (with Willem Visser).
Verification of Intelligent Software. Presentation at NASA Kennedy Space Center, Florida, November 2000. Also presented at San Jose State University, 17 October 2001.
Model Checking for Software. Tutorial presented at the ASE'00 conference, Grenoble, France, 12 September 2000 (with Willem Visser).
Software Model Checking Tools and Trends at NASA. Tutorial presented at Lfm 2000, Williamsburg, Virginia, June 2000 (with Klaus Havelund, Reid Simmons and Willem Visser).
From Livingstone to SMV: Formal Verification for Autonomous Spacecrafts . Article presented at FAABS 2000, Greenbelt, Maryland, April 2000.
Model Checking for Autonomy Software. Presented as a RIACS Seminar at NASA Ames, Moffett Field, California, November 1999.
Advanced Modelling and Verification Techniques Applied to a Cluster File System . Article presented at ASE'99, Cocoa Beach, Florida, October 1999.
Formal Verification of Autonomous Systems. Presented at Florida Institute of Technology, Melbourne, Florida, October 1999.
Towards Verification of Autonomy Software. Presentation at 2nd Assurance Technology Conference, Cleveland, Ohio, May 1999.