| 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 | 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 |
| Correct Hardware Design and Verification Methods | 2010-02-05 | Paper |
| A framework for satisfiability modulo theories | 2009-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3181642 | 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 |
