| Publication | Date of Publication | Type |
|---|
| Invariant checking for SMT-based systems with quantifiers | 2024-11-12 | Paper |
| Synthesizing history and prophecy variables for symbolic model checking | 2023-08-17 | Paper |
| Eager abstraction for symbolic model checking | 2023-05-26 | Paper |
| Deductive verification in decidable fragments with Ivy | 2023-05-26 | Paper |
| Temporal prophecy for proving temporal properties of infinite-state systems | 2021-12-08 | Paper |
| $$P^5$$ : Planner-less Proofs of Probabilistic Parameterized Protocols | 2020-07-07 | Paper |
| Interpolation and model checking | 2018-07-20 | Paper |
| Abstractions from proofs | 2015-11-11 | Paper |
| Horn clause solvers for program verification | 2015-09-22 | Paper |
| Relevance heuristics for program analysis | 2014-09-12 | Paper |
| Synthesis of circular compositional program proofs via abduction | 2013-08-05 | Paper |
| Interpolation and SAT-based model checking. | 2010-04-20 | Paper |
| Abstract Counterexamples for Non-disjunctive Abstractions | 2009-11-19 | Paper |
| Generalizing DPLL to Richer Logics | 2009-06-30 | Paper |
| Liveness by Invisible Invariants | 2009-03-11 | Paper |
| Automated assumption generation for compositional verification | 2008-07-30 | Paper |
| Quantified Invariant Generation Using an Interpolating Saturation Prover | 2008-04-11 | Paper |
| Interpolants and Symbolic Model Checking | 2008-04-04 | Paper |
| Interpolant-Based Transition Relation Approximation | 2008-04-01 | Paper |
| Array Abstractions from Proofs | 2007-11-29 | Paper |
| Automated Assumption Generation for Compositional Verification | 2007-11-29 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-28 | Paper |
| Lazy Abstraction with Interpolants | 2007-09-05 | Paper |
| Combining Abstraction Refinement and SAT-Based Model Checking | 2007-09-03 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-05-02 | Paper |
| Correct Hardware Design and Verification Methods | 2006-10-20 | Paper |
| Formal Methods in Computer-Aided Design | 2006-10-20 | Paper |
| Computer Aided Verification | 2006-01-10 | Paper |
| Applications and Theory of Petri Nets 2005 | 2005-12-14 | Paper |
| An interpolating theorem prover | 2005-12-06 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2005-11-10 | Paper |
| Computer Science Logic | 2005-08-22 | Paper |
| Deciding global partial-order properties | 2005-05-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4817538 | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4813406 | 2004-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417909 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417912 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4804900 | 2003-05-01 | Paper |
| Model-checking of correctness conditions for concurrent objects | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4787228 | 2003-01-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4551174 | 2002-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754093 | 2001-12-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4503923 | 2001-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4503918 | 2000-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4503924 | 2000-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4503925 | 2000-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4494394 | 2000-08-10 | Paper |
| A methodology for hardware verification using compositional model checking | 2000-06-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4503920 | 2000-01-01 | Paper |
| A structural induction theorem for processes | 1995-05-28 | Paper |
| A technique of state space search based on unfolding | 1995-04-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3141897 | 1993-11-01 | Paper |
| Symbolic model checking: \(10^{20}\) states and beyond | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3204034 | 1989-01-01 | Paper |
