• CASE: Past, Present, and Future (Acrobat) [ICSE 97 State-of-the-Art Presentation]

  • Applying Model Checking to Large Software Specifications (Acrobat) [Presented at Stanford, U. Alberta, U. Virginia, Brown U.]