1. Research Directions in Requirements Engineering
     ICSE 2007.  (paper, ppt)

  2. Formal Modeling and Verification of Safety-Critical Software
     IEEE Software, 2009.  (paper, ppt)

  3. Model-Driven Reverse Engineering
     IEEE Software 2004.   (paper, ppt)

  4. Worst Practices for Domain-Specific Modeling
     IEEE Software 2009.  (paper, ppt)

  5. Are Domain-Specific Models Easier to Maintain Than UML Model?
     IEEE Software 2009.  (paper, pdt)

  6. Automated Consistency Checking of Requirements Specification
     ACM ToSEM 1996. (paper, ppt)

  7. Model Checking of Large Software Specifications
     IEEE Transactions on Software Engineering 1998. (paper, ppt)

  8. From safety analysis to software requirements
     IEEE Transactions on Software Engineering 1998. (paper, ppt)

  9. Analysis and Synthesis of the Behaviour of Complex Programmable Electronic
     Systems in Conditions of Failure
     Reliability Engineering and System Safety 2001. (paper, ppt)

  10. CMBC
      - A Tool for Checking ANSI-C Programs, TACAS 2004, (paper, ppt)
      - Introduction to CBMC (ppt)
      - Behavioral Consistency Checking of C and Verilog Programs Using Bounded Model Checking,
        DAC 2003 (paper, TR)

  11. The Code Validation Tool (CVT) - Automatic Verification of Code Generated from Synchronous Languages
      Journal of Software Tools for Technology Transfer (STTT), 1998. (paper, ppt)

  12. Various V&V tools

A. SMV

B. SPIN

C. VIS

D. UPPAAL

E. CBMC

F. BLAST

G. etc.