| Publication Culture in Computing Research (Dagstuhl Perspectives Workshop 12452). | 1 | 0.36 | 2012 |
| Compositional Dependability Evaluation for STATEMATE | 15 | 0.64 | 2009 |
| Probabilistic Model Checking and Reliability of Results | 2 | 0.39 | 2008 |
| Propositional Approximations For Bounded Model Checking Of Partial Circuit Designs | 0 | 0.34 | 2008 |
| The Demand for Reliability in Probabilistic Verification. | 0 | 0.34 | 2008 |
| Optimization techniques for BDD-based bisimulation computation | 2 | 0.36 | 2007 |
| Application of Lifting in Partial Design Analysis | 0 | 0.34 | 2007 |
| Bounded Model Checking with Parametric Data Structures | 4 | 0.41 | 2007 |
| On combining 01X-logic and QBF | 20 | 0.78 | 2007 |
| Forwarding, Splitting, and Block Ordering to Optimize BDD-based Bisimulation Computation. | 2 | 0.40 | 2007 |
| Sigref: a symbolic bisimulation tool box | 38 | 1.24 | 2006 |
| Compositional Performability Evaluation for STATEMATE | 14 | 1.23 | 2006 |
| Memory-aware Bounded Model Checking for Linear Hybrid Systems. | 0 | 0.34 | 2006 |
| Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs | 18 | 0.88 | 2006 |
| On SAT-based Bounded Invariant Checking of Blackbox Designs | 8 | 0.58 | 2005 |
| Bounded Model Checking and Inductive Verication of Hybrid Discrete-continuous Systems | 3 | 0.44 | 2004 |
| On the Impact of Structural Circuit Partitioning on SAT-Based Combinational Circuit Verification | 1 | 0.40 | 2004 |
| Conflict-based Selection of Branching Rules in SAT-Algorithms | 3 | 0.40 | 2003 |
| Conflict-Based Selection of Branching Rules | 5 | 0.48 | 2003 |
| Don't Care Minimization of *BMDs: Complexity and Algorithms | 0 | 0.34 | 2001 |
| Exploiting don't cares to minimize *BMDs | 0 | 0.34 | 2001 |
