| Publication | Date of Publication | Type |
|---|
| Succinct determinisation of counting automata via sphere construction | 2024-04-19 | Paper |
| Fast matching of regular patterns with synchronizing counting | 2023-11-24 | Paper |
| Simulation algorithms for symbolic automata | 2023-07-28 | Paper |
| Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure | 2021-11-24 | Paper |
| Satisfiability solving meets evolutionary optimisation in designing approximate circuits | 2021-04-07 | Paper |
| Abstraction refinement and antichains for trace inclusion of infinite state systems | 2021-02-08 | Paper |
| Lazy Automata Techniques for WS1S | 2020-08-05 | Paper |
| Dataset for the OOPSLA'20 paper "Regex Matching with Counting-Set Automata" | 2020-08-03 | Dataset |
| From Shapes to Amortized Complexity | 2020-07-07 | Paper |
| Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure | 2020-03-10 | Paper |
| Nested Antichains for WS1S | 2019-09-17 | Paper |
| Abstraction refinement and antichains for trace inclusion of infinite state systems | 2019-09-17 | Paper |
| Nested antichains for WS1S | 2019-03-21 | Paper |
| Compositional entailment checking for a fragment of separation logic | 2018-01-08 | Paper |
| Counterexample Validation and Interpolation-Based Refinement for Forest Automata | 2017-02-21 | Paper |
| Verification of heap manipulating programs with ordered data by extended forest automata | 2016-06-28 | Paper |
| From Low-Level Pointers to High-Level Containers | 2016-03-23 | Paper |
| Compositional Entailment Checking for a Fragment of Separation Logic | 2016-02-26 | Paper |
| Deciding Entailments in Inductive Separation Logic with Tree Automata | 2015-12-17 | Paper |
| Mediating for reduction (on minimizing alternating Büchi automata) | 2014-09-10 | Paper |
| A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata | 2014-07-23 | Paper |
| Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata | 2014-07-08 | Paper |
| Forest automata for verification of heap manipulation | 2014-03-28 | Paper |
| Automated formal analysis and verification: an overview | 2014-01-08 | Paper |
| Pattern-based verification of programs with extended linear linked data structures | 2013-12-04 | Paper |
| Abstract regular tree model checking | 2013-10-07 | Paper |
| Regular model checking using inference of regular languages | 2013-10-02 | Paper |
| Monotonic abstraction for programs with multiply-linked structures | 2013-07-30 | Paper |
| Mediating for reduction (on minimizing alternating Büchi automata) | 2012-10-24 | Paper |
| VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata | 2012-06-29 | Paper |
| Monotonic abstraction for programs with multiply-linked structures | 2011-10-07 | Paper |
| Efficient inclusion checking on explicit and semi-symbolic tree automata | 2011-10-07 | Paper |
| Advanced Ramsey-based Büchi automata inclusion testing | 2011-09-02 | Paper |
| Programs with lists are counter automata | 2011-05-23 | Paper |
| When simulation meets antichains. (On checking language inclusion of nondeterministic finite (tree) automata) | 2010-04-27 | Paper |
| Verification of parametric concurrent systems with prioritized FIFO resource management. | 2010-03-30 | Paper |
| Automata-based verification of programs with tree updates | 2010-02-05 | Paper |
| COMPOSED BISIMULATION FOR TREE AUTOMATA | 2009-08-21 | Paper |
| Automatic Verification of Integer Array Programs | 2009-06-30 | Paper |
| Abstract Regular Tree Model Checking of Complex Dynamic Data Structures | 2009-03-12 | Paper |
| Composed Bisimulation for Tree Automata | 2009-02-12 | Paper |
| Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata | 2009-02-12 | Paper |
| A Logic of Singly Indexed Arrays | 2009-01-27 | Paper |
| Proving Termination of Tree Manipulating Programs | 2008-07-03 | Paper |
| What Else Is Decidable about Integer Arrays? | 2008-04-11 | Paper |
| Computing Simulations over Tree Automata | 2008-04-11 | Paper |
| Verification of parametric concurrent systems with prioritised FIFO resource management | 2008-04-11 | Paper |
| Generalised multi-pattern-based verification of programs with linear linked structures | 2007-09-06 | 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 |
| Correct Hardware Design and Verification Methods | 2006-10-20 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2005-11-10 | Paper |
| Computer Aided Verification | 2005-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4433968 | 2003-11-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2723329 | 2001-07-05 | Paper |
