| Publication | Date of Publication | Type |
|---|
| On an invariance problem for parameterized concurrent systems | 2024-08-13 | Paper |
| Alternating automata modulo first order theories | 2024-02-16 | Paper |
| Checking deadlock-freedom of parametric component-based systems | 2023-11-24 | Paper |
| Verification of component-based systems with recursive architectures | 2023-04-20 | Paper |
| Program Verification with Separation Logic | 2023-03-21 | Paper |
| Decision problems in a logic for reasoning about reconfigurable distributed systems | 2022-12-07 | Paper |
| Structural Invariants for the Verification of Systems with Parameterized Architectures | 2022-10-13 | Paper |
| Unifying decidable entailments in separation logic with inductive definitions | 2021-12-01 | Paper |
| Entailment is undecidable for symbolic heap separation logic formulæ with non-established inductive rules | 2021-10-19 | Paper |
| Checking deadlock-freedom of parametric component-based systems | 2021-02-26 | Paper |
| Abstraction refinement and antichains for trace inclusion of infinite state systems | 2021-02-08 | Paper |
| The Bernays-Schönfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates | 2020-09-11 | Paper |
| Prenex separation logic with one selector field | 2020-05-14 | Paper |
| The Bernays-Schönfinkel-Ramsey class of separation logic on arbitrary domains | 2020-01-28 | Paper |
| Abstraction refinement and antichains for trace inclusion of infinite state systems | 2019-09-17 | Paper |
| Abstraction refinement for emptiness checking of alternating data automata | 2019-09-16 | Paper |
| A Complete Cyclic Proof System for Inductive Entailments in First Order Logic | 2019-07-04 | Paper |
| A decision procedure for separation logic in SMT | 2018-10-25 | Paper |
| How hard is it to verify flat affine counter systems with the finite monoid property? | 2018-10-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4610086 | 2018-04-05 | Paper |
| Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic | 2017-02-21 | Paper |
| Deciding Entailments in Inductive Separation Logic with Tree Automata | 2015-12-17 | Paper |
| Interprocedural Reachability for Flat Integer Programs | 2015-09-29 | Paper |
| Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops | 2015-01-13 | Paper |
| Deciding conditional termination | 2014-09-05 | Paper |
| Space-reduction strategies for model checking dynamic software | 2013-08-30 | Paper |
| Underapproximation of Procedure Summaries for Integer Programs | 2013-08-05 | Paper |
| The Tree Width of Separation Logic with Recursive Definitions | 2013-06-14 | Paper |
| Accelerating Interpolants | 2012-11-21 | Paper |
| Deciding Conditional Termination | 2012-06-29 | Paper |
| Programs with lists are counter automata | 2011-05-23 | Paper |
| Quantitative separation logic and programs with lists | 2010-10-08 | Paper |
| Fast Acceleration of Ultimately Periodic Relations | 2010-08-18 | Paper |
| Automata-based verification of programs with tree updates | 2010-02-05 | Paper |
| Automata-Based Termination Proofs | 2009-07-09 | Paper |
| Automatic Verification of Integer Array Programs | 2009-06-30 | Paper |
| Flat Parametric Counter Automata | 2009-06-23 | Paper |
| Iterating Octagons | 2009-03-31 | Paper |
| A Logic of Singly Indexed Arrays | 2009-01-27 | Paper |
| Quantitative Separation Logic and Programs with Lists | 2008-11-27 | Paper |
| Proving Termination of Tree Manipulating Programs | 2008-07-03 | Paper |
| What Else Is Decidable about Integer Arrays? | 2008-04-11 | Paper |
| On Flat Programs with Lists | 2008-04-04 | Paper |
| Flat Parametric Counter Automata | 2007-09-11 | Paper |
| Programs with Lists Are Counter Automata | 2007-09-05 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-05-02 | Paper |
| Translating Java for multiple model checkers: The Bandera back-end | 2006-02-20 | Paper |
| Foundations of Software Science and Computational Structures | 2005-11-10 | Paper |
| Static Analysis | 2005-08-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738464 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753748 | 2001-11-11 | Paper |
