| Publication | Date of Publication | Type |
|---|
| Global guidance for local generalization in model checking | 2024-11-04 | Paper |
| Property directed self composition | 2024-02-16 | Paper |
| Interpolating strong induction | 2024-02-16 | Paper |
| Fast approximations of quantifier elimination | 2024-01-12 | Paper |
| Quantifiers on demand | 2023-07-28 | Paper |
| Efficient modular SMT-based model checking of pointer programs | 2023-07-28 | Paper |
| Compositional verification of smart contracts through communication abstraction | 2022-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4997233 | 2021-06-28 | Paper |
| Global guidance for local generalization in model checking | 2021-02-09 | Paper |
| Lazy but effective functional synthesis | 2020-01-23 | Paper |
| Property Directed Equivalence via Abstract Simulation | 2019-05-03 | Paper |
| Automated analysis of Stateflow models | 2019-01-10 | Paper |
| BDD-Based Symbolic Model Checking | 2018-07-20 | Paper |
| Fast interpolating BMC | 2018-03-01 | Paper |
| SMT-based model checking for recursive programs | 2017-03-28 | Paper |
| IC3 - Flipping the E in ICE | 2017-02-21 | Paper |
| Maximal specification synthesis | 2016-10-24 | Paper |
| Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation) | 2016-02-25 | Paper |
| Automated Discovery of Simulation Between Programs | 2016-01-12 | Paper |
| Horn Clause Solvers for Program Verification | 2015-09-22 | Paper |
| Reachability Problems in Piecewise FIFO Systems | 2015-09-17 | Paper |
| Robust Vacuity for Branching Temporal Logic | 2015-09-17 | Paper |
| Property Directed Polyhedral Abstraction | 2015-02-04 | Paper |
| Compositional Sequentialization of Periodic Programs | 2014-11-03 | Paper |
| Interpolation Properties and SAT-Based Model Checking | 2014-07-08 | Paper |
| Beyond vacuity: towards the strongest passing formula | 2014-06-30 | Paper |
| Symbolic optimization with SMT solvers | 2014-04-10 | Paper |
| A practical approach to partial functions in CVC Lite | 2013-09-25 | Paper |
| From Under-Approximations to Over-Approximations and Back | 2012-06-29 | Paper |
| Regression Verification for Multi-threaded Programs | 2012-06-15 | Paper |
| Whale: An Interpolation-Based Algorithm for Inter-procedural Verification | 2012-06-15 | Paper |
| Variants of LTL Query Checking | 2011-04-06 | Paper |
| On the consistency, expressiveness, and precision of partial modeling formalisms | 2011-01-13 | Paper |
| Boxes: A Symbolic Abstract Domain of Boxes | 2010-10-01 | Paper |
| CONCUR 2003 - Concurrency Theory | 2010-03-30 | Paper |
| Finding State Solutions to Temporal Logic Queries | 2009-03-06 | Paper |
| Mixed Transition Systems Revisited | 2009-02-10 | Paper |
| Model Checking Recursive Programs with Exact Predicate Abstraction | 2008-11-20 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-28 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-05-02 | Paper |
| Verification, Model Checking, and Abstract Interpretation | 2007-02-12 | Paper |
| Data structures for symbolic multi-valued model-checking | 2007-01-24 | Paper |
| Formal Methods in Computer-Aided Design | 2006-10-20 | Paper |
| Correct Hardware Design and Verification Methods | 2006-10-20 | Paper |
| Correct Hardware Design and Verification Methods | 2006-10-20 | Paper |
| Fundamental Approaches to Software Engineering | 2005-09-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417920 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4806210 | 2003-05-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4531751 | 2002-05-23 | Paper |
