publication venue for
- PML: Toward a High-Level Formal Language for Biological Systems 2007
- Preface 2007
- The Case for Analog Circuit Verification 2006
- Termination Criteria for Bounded Model Checking: Extensions and Comparison 2006
- Inferring Object Invariants 2005
- A Satisfiability-Based Approach to Abstraction Refinement in Model Checking 2003
- Collecting Statistics over Runtime Executions 2002
- Modular Synthesis of Timed Circuits using Partial Orders on LPNs 2002
- Symbolic State Exploration 2001
- An Incremental Algorithm to Check Satisfiability for Bounded Model Checking 2005