| Publication | Date of Publication | Type |
|---|
| Transition power abstractions for deep counterexample detection | 2024-01-23 | Paper |
| The \textsc{Golem} Horn solver | 2024-01-12 | Paper |
| Symbolic model checking for TLA+ made faster | 2023-12-13 | Paper |
| Decomposing Farkas Interpolants | 2023-11-24 | Paper |
| SMT-based verification of program changes through summary repair | 2023-10-30 | Paper |
| Farkas-based tree interpolation | 2021-10-18 | Paper |
| A cooperative parallelization approach for property-directed \(k\)-induction | 2020-08-05 | Paper |
| Exploiting partial variable assignment in interpolation-based model checking | 2019-11-29 | Paper |
| SMTS: Distributed, Visualized Constraint Solving | 2019-07-04 | Paper |
| Function Summarization Modulo Theories | 2019-07-04 | Paper |
| Lookahead-Based SMT Solving | 2019-07-04 | Paper |
| Property Directed Equivalence via Abstract Simulation | 2019-05-03 | Paper |
| Lattice-based refinement in bounded model checking | 2018-12-07 | Paper |
| Modeling for Verification | 2018-07-20 | Paper |
| Theory refinement for program verification | 2017-11-15 | Paper |
| A New Acceleration-Based Combination Framework for Array Properties | 2017-02-27 | Paper |
| OpenSMT2: An SMT Solver for Multi-core and Cloud Computing | 2016-09-05 | Paper |
| Decision procedures for flat array properties | 2016-05-26 | Paper |
| Towards Completeness in Bounded Model Checking Through Automatic Recursion Depth Detection | 2016-04-01 | Paper |
| Automated Discovery of Simulation Between Programs | 2016-01-12 | Paper |
| Booster: An Acceleration-Based Verification Framework for Array Programs | 2015-12-17 | Paper |
| Search-Space Partitioning for Parallelizing SMT Solvers | 2015-11-20 | Paper |
| Resolution proof transformation for compression and interpolation | 2014-12-05 | Paper |
| An extension of lazy abstraction with interpolation for programs with arrays | 2014-12-05 | Paper |
| Interpolation Properties and SAT-Based Model Checking | 2014-07-08 | Paper |
| Loop summarization using state and transition invariants | 2014-06-30 | Paper |
| PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification | 2014-01-17 | Paper |
| Definability of Accelerated Relations in a Theory of Arrays and Its Applications | 2013-09-20 | Paper |
| eVolCheck: Incremental Upgrade Checker for C | 2013-08-05 | Paper |
| A model checking-based approach for security policy verification of mobile systems | 2012-07-03 | Paper |
| Lazy Abstraction with Interpolants for Arrays | 2012-06-15 | Paper |
| Loop Summarization and Termination Analysis | 2011-05-19 | Paper |
| An Efficient and Flexible Approach to Resolution Proof Reduction | 2011-04-06 | Paper |
| Integrated Formal Methods | 2009-05-07 | Paper |
| Loop Summarization Using Abstract Transformers | 2008-11-20 | Paper |
| Verification of evolving software via component substitutability analysis | 2008-07-30 | Paper |
| Verification of Boolean programs with unbounded thread creation | 2007-12-18 | Paper |
| State/Event Software Verification for Branching-Time Specifications | 2007-11-29 | Paper |
| Program Compatibility Approaches | 2007-09-11 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-05-02 | Paper |
| Model Checking Software | 2006-11-01 | Paper |
| Concurrent software verification with states, events, and deadlocks | 2006-10-25 | Paper |
| Computer Aided Verification | 2006-01-10 | Paper |
| Computer Aided Verification | 2006-01-10 | Paper |
| FM 2005: Formal Methods | 2006-01-10 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2005-11-10 | Paper |
| Predicate abstraction of ANSI-C programs using SAT | 2004-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417841 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2764134 | 2002-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2764005 | 2002-01-22 | Paper |
