| Publication | Date of Publication | Type |
|---|
| Variable timestamp-based distributed deadlock detection and resolution | 2024-06-21 | Paper |
| Automated verification for real-time systems. Via implicit clocks and an extended Antimirov algorithm | 2023-12-13 | Paper |
| Automated modular verification for relaxed communication protocols | 2023-08-02 | Paper |
| Automated temporal verification for algebraic effects | 2023-07-25 | Paper |
| A decidable fragment in separation logic with inductive predicates and arithmetic | 2022-08-12 | Paper |
| Automated repair of heap-manipulating programs using deductive synthesis | 2021-10-18 | Paper |
| A synchronous effects logic for temporal verification of pure Esterel | 2021-10-18 | Paper |
| A Logical System for Modular Information Flow Verification | 2020-07-07 | Paper |
| Automatic program repair using formal verification and expression templates | 2020-01-23 | Paper |
| Automated mutual explicit induction proof in separation logic | 2020-01-03 | Paper |
| Certified Reasoning with Infinity | 2019-12-19 | Paper |
| Completeness and expressiveness of pointer program verification by separation logic | 2019-05-29 | Paper |
| Automated mutual induction proof in separation logic | 2019-05-10 | Paper |
| Satisfiability Modulo Heap-Based Programs | 2019-05-03 | Paper |
| A bounds inference method for vector-based memoization | 2017-08-21 | Paper |
| Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic | 2016-12-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3187616 | 2016-09-02 | Paper |
| Charting patterns on price history | 2015-03-09 | Paper |
| Bi-Abduction with Pure Properties for Specification Inference | 2015-01-12 | Paper |
| Enhancing modular OO verification with separation logic | 2014-09-12 | Paper |
| An Expressive Framework for Verifying Deadlock Freedom | 2014-07-08 | Paper |
| Invariants Synthesis over a Combined Domain for Automated Program Verification | 2013-08-16 | Paper |
| Dual analysis for proving safety and finding bugs | 2013-06-06 | Paper |
| Loop invariant synthesis in a combined abstract domain | 2013-01-10 | Paper |
| Automated verification of shape, size and bag properties via user-defined predicates in separation logic | 2012-07-20 | Paper |
| Verifying pointer safety for programs with unknown calls | 2010-11-10 | Paper |
| A rigorous methodology for specification and verification of business processes | 2009-11-13 | Paper |
| An Interval-Based Inference of Variant Parametric Types | 2009-03-31 | Paper |
| Enhancing Program Verification with Lemmas | 2008-07-15 | Paper |
| A tutorial on a monadic approach for exppressions evaluation | 2008-04-14 | Paper |
| Automated Verification of Shape and Size Properties Via Separation Logic | 2008-04-04 | Paper |
| Runtime Checking for Separation Logic | 2008-04-04 | Paper |
| Solving a class of higher-order equations over a group structure | 2007-08-24 | Paper |
| Static Analysis | 2006-10-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5472907 | 2006-06-19 | Paper |
| Theoretical Aspects of Computing - ICTAC 2004 | 2005-11-30 | Paper |
| Self-embedded context-free grammars with regular counterparts | 2004-12-09 | Paper |
| A new algorithm for regularizing one-letter context-free grammars. | 2004-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4440326 | 2003-12-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413058 | 2003-07-17 | Paper |
| Calculating sized types | 2002-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4529770 | 2002-05-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722049 | 2001-07-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4259949 | 1999-09-08 | Paper |
| A transformation method for dynamic-sized tabulation | 1995-06-21 | Paper |
