| Publication | Date of Publication | Type |
|---|
| Dijkstra's legacy on program verification | 2024-10-28 | Paper |
| Deduction by combining semantic tableaux and integer programming | 2024-06-21 | Paper |
| Schematic program proofs with abstract execution. Theory and applications | 2024-06-10 | Paper |
| A program logic for dependence analysis | 2024-04-19 | Paper |
| Asynchronous Cooperative Contracts for Cooperative Scheduling | 2024-03-14 | Paper |
| Abstract execution | 2024-03-14 | Paper |
| Deductive software verification: from pen-and-paper proofs to industrial tools | 2022-02-16 | Paper |
| Certified abstract cost analysis | 2021-08-04 | Paper |
| Array abstraction with symbolic pivots | 2021-05-20 | Paper |
| The trace modality | 2020-07-08 | Paper |
| Semantic tableaux with ordering restrictions | 2020-01-21 | Paper |
| Verifying OpenJDK's sort method for generic collections | 2019-02-15 | Paper |
| Ordered tableaux: Extensions and applications | 2019-01-15 | Paper |
| The tableau-based theorem prover 3 T A P Version 4.0 | 2019-01-15 | Paper |
| Locally abstract, globally concrete semantics of concurrent programming languages | 2018-02-02 | Paper |
| Inferring secrets by guided experiments | 2017-11-03 | Paper |
| Resource Analysis of Complex Programs with Cost Equations | 2016-02-26 | Paper |
| A Dynamic Logic with Traces and Coinduction | 2015-12-11 | Paper |
| KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS | 2015-12-02 | Paper |
| Analysis of Executable Software Models | 2015-02-25 | Paper |
| Reuse in Software Verification by Abstract Method Calls | 2013-06-14 | Paper |
| Specifying Imperative ML-Like Programs Using Dynamic Logic | 2011-01-21 | Paper |
| Interleaving Symbolic Execution and Partial Evaluation | 2011-01-08 | Paper |
| Automated Reasoning with Analytic Tableaux and Related Methods | 2010-03-09 | Paper |
| Abstract Interpretation of Symbolic Execution with Explicit State Updates | 2009-10-28 | Paper |
| Formal Approaches to Software Testing | 2009-06-04 | Paper |
| Integration of a Security Type System into a Program Logic | 2009-03-05 | Paper |
| Integration of a security type system into a program logic | 2008-08-06 | Paper |
| Automating Verification of Loops by Parallelization | 2008-05-27 | Paper |
| Normal Forms for Knowledge Compilation | 2008-03-17 | Paper |
| KeY: A Formal Method for Object-Oriented Systems | 2007-11-28 | Paper |
| Verification by Parallelization of Parametric Code | 2007-11-15 | Paper |
| Generating Unit Tests from Formal Proofs | 2007-10-31 | Paper |
| Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages | 2005-11-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3021903 | 2005-06-21 | Paper |
| Linearity and regularity with negation normal form | 2005-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738328 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738337 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4450446 | 2004-02-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4789457 | 2003-01-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4534923 | 2003-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536314 | 2002-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2751354 | 2002-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4540005 | 2002-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767061 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753604 | 2001-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4524782 | 2001-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2701980 | 2001-07-05 | Paper |
| Commodious axiomatization of quantifiers in multiple-valued logic | 2001-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4524769 | 2001-01-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518443 | 2000-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4265389 | 1999-10-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4366602 | 1999-05-03 | Paper |
| Simplification of many-valued logic formulas using anti-links | 1999-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3838812 | 1998-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4360106 | 1998-05-17 | Paper |
| A-ordered tableaux | 1997-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364517 | 1997-11-17 | Paper |
| Fast subsumption checks using anti-links | 1997-09-07 | Paper |
| Many-valued logic and mixed integer programming | 1996-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4863689 | 1996-05-27 | Paper |
| Exploiting data dependencies in many-valued logics | 1996-03-06 | Paper |
| Short Conjunctive Normal Forms in Finitely Valued Logics | 1995-08-10 | Paper |
| The liberalized \(\delta\)-rule in free variable semantic tableaux | 1995-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282596 | 1994-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4289327 | 1994-05-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281690 | 1994-04-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282514 | 1994-03-17 | Paper |
