Selected Presentations
- Symbolic Execution and Model Checking for Testing (HVC'07 Invited Talk).
- Learning Based Assume-Guarantee Reasoning (FACS'07 Invited Talk).
- Towards a Compositional SPIN (SPIN'06).
- Symbolic Execution with Abstract Subsumption Checking (SPIN'06).
- Concrete Model Checking with Abstract Matching and Refinement (CAV'05).
- Lifecycle Verification of the NASA Ames K9 Rover Executive (NASA Ames 2004).
- Verification of Java Programs using Symbolic Execution and Loop Invariant Generation (UC Santa Cruz and SPIN'04).
- Automated Assume-guarantee Reasoning for Component Verification (CMU and SRI 2003).
- Symbolic Execution for Model Checking and Testing (Stanford University 2003).
- Automatic Assumption Generation for Compositional Verification (Microsoft Research 2003).
- Combination of Symbolic Execution and Model Checking (CMU 2002).
- Abstraction and Modular Reasoning for the Verification of Software (Thesis Talk 2001).
- Finding Feasible Counter-examples when Model Checking Abstracted Java Programs (TACAS'01).
- Tool-supported Program Abstraction for Finite-state Verification (ICSE'01).
- Assume-Guarantee Model Checking of Software: A Comparative Case Study (SPIN'99).
- NASA Official: Dave Korsmeyer
- Curator: ASANI Solutions