| Publication | Date of Publication | Type |
|---|
| Specifiable robustness in reactive synthesis | 2023-05-08 | Paper |
| Accelerated deletion-based extraction of minimal unsatisfiable cores | 2021-12-09 | Paper |
| Vacuity in synthesis | 2021-12-08 | Paper |
| Real-time solving of computationally hard problems using optimal algorithm portfolios | 2021-08-02 | Paper |
| Learning the language of software errors | 2020-05-14 | Paper |
| Regression verification for unbalanced recursive functions | 2020-01-03 | Paper |
| Cyclic-routing of unmanned aerial vehicles | 2019-06-25 | Paper |
| Proof-guided underapproximation-widening for multi-process systems | 2017-07-14 | Paper |
| Decision procedures. An algorithmic point of view | 2017-03-30 | Paper |
| Synthesizing non-vacuous systems | 2017-02-21 | Paper |
| Learning general constraints in CSP | 2016-09-07 | Paper |
| Learning General Constraints in CSP | 2016-07-25 | Paper |
| Cyclic routing of unmanned aerial vehicles | 2016-06-27 | Paper |
| Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation) | 2016-02-25 | Paper |
| Model counting of monotone conjunctive normal form formulas with spectra | 2016-01-25 | Paper |
| Learning the Language of Error | 2016-01-08 | Paper |
| Mining backbone literals in incremental SAT. A new kind of incremental data | 2015-11-20 | Paper |
| Proving mutual termination | 2015-10-20 | Paper |
| Compositional sequentialization of periodic programs | 2014-11-03 | Paper |
| Ultimately incremental SAT | 2014-09-26 | Paper |
| Beyond vacuity: towards the strongest passing formula | 2014-06-30 | Paper |
| Generating minimum transitivity constraints in P-time for deciding equality logic | 2013-12-06 | Paper |
| Reduced functional consistency of uninterpreted functions | 2013-09-26 | Paper |
| Preprocessing in incremental SAT | 2013-08-12 | Paper |
| Regression verification for multi-threaded programs | 2012-06-15 | Paper |
| Linear completeness thresholds for bounded model checking | 2011-08-19 | Paper |
| Faster Extraction of High-Level Minimal Unsatisfiable Cores | 2011-06-17 | Paper |
| Variants of LTL query checking | 2011-04-06 | Paper |
| Inference rules for proving the equivalence of recursive procedures | 2010-09-07 | Paper |
| Underapproximation for model-checking based on universal circuits | 2010-04-08 | Paper |
| Predicate abstraction with minimum predicates | 2010-02-05 | Paper |
| A framework for satisfiability modulo theories | 2009-11-13 | Paper |
| \textsc{HaifaSat}: a SAT solver based on an abstraction/refinement model | 2009-10-12 | Paper |
| Before and after vacuity | 2009-07-06 | Paper |
| An approach for extracting a small unsatisfiable core | 2009-07-06 | Paper |
| Verification, Model Checking, and Abstract Interpretation | 2009-05-15 | Paper |
| Inference rules for proving the equivalence of recursive procedures | 2008-08-19 | Paper |
| Three optimizations for assume-guarantee reasoning with \(L^{*}\) | 2008-07-30 | Paper |
| Local Restarts | 2008-05-27 | Paper |
| Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant | 2008-02-27 | Paper |
| Underapproximation for Model-Checking Based on Random Cryptographic Constructions | 2007-11-29 | Paper |
| Optimized L*-Based Assume-Guarantee Reasoning | 2007-09-03 | Paper |
| Deciding Bit-Vector Arithmetic with Abstraction | 2007-09-03 | Paper |
| Hardware and Software, Verification and Testing | 2007-02-12 | Paper |
| Building small equality graphs for deciding equality logic with uninterpreted functions | 2006-04-28 | Paper |
| Computer Aided Verification | 2006-01-10 | Paper |
| Computer Aided Verification | 2006-01-10 | Paper |
| Theory and Applications of Satisfiability Testing | 2005-12-15 | Paper |
| Computer Aided Verification | 2005-08-25 | Paper |
| Computer Aided Verification | 2005-08-25 | Paper |
| Efficient verification of sequential and concurrent C programs | 2004-11-22 | Paper |
| Accelerating bounded model checking of safety properties | 2004-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4427902 | 2003-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4414397 | 2003-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4804901 | 2003-05-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4804898 | 2003-05-01 | Paper |
| The small model property: How small can it be? | 2003-01-14 | Paper |
