| Publication | Date of Publication | Type |
|---|
| Reasoning About Regular Properties: A Comparative Study | 2024-04-26 | Paper |
| Succinct determinisation of counting automata via sphere construction | 2024-04-19 | Paper |
Fast matching of regular patterns with synchronizing counting
Lecture Notes in Computer Science | 2023-11-24 | Paper |
Word equations in synergy with regular constraints
Formal Methods | 2023-08-17 | Paper |
Simulation algorithms for symbolic automata
Automated Technology for Verification and Analysis | 2023-07-28 | Paper |
| Simplifying Alternating Automata for Emptiness Testing | 2023-03-29 | Paper |
| Solving Not-Substring Constraint withFlat Abstraction | 2023-03-29 | Paper |
Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure
Journal of Automated Reasoning | 2021-11-24 | Paper |
Abstraction refinement and antichains for trace inclusion of infinite state systems
Formal Methods in System Design | 2021-02-08 | Paper |
Lazy automata techniques for WS1S
Tools and Algorithms for the Construction and Analysis of Systems | 2020-08-05 | Paper |
Chain-free string constraints
Automated Technology for Verification and Analysis | 2020-07-20 | Paper |
From Shapes to Amortized Complexity
Lecture Notes in Computer Science | 2020-07-07 | Paper |
Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure
Lecture Notes in Computer Science | 2020-03-10 | Paper |
Nested antichains for WS1S
Tools and Algorithms for the Construction and Analysis of Systems | 2019-09-17 | Paper |
| Reduction of nondeterministic tree automata | 2019-09-17 | Paper |
Reduction of nondeterministic tree automata
(available as arXiv preprint) | 2019-09-17 | Paper |
Nested antichains for WS1S
Acta Informatica | 2019-03-21 | Paper |
Summaries for context-free games
(available as arXiv preprint) | 2018-04-19 | Paper |
| Optimizing an LTS-simulation algorithm | 2017-03-29 | Paper |
Counterexample validation and interpolation-based refinement for forest automata
Lecture Notes in Computer Science | 2017-02-21 | Paper |
Verification of heap manipulating programs with ordered data by extended forest automata
Acta Informatica | 2016-06-28 | Paper |
Pointer race freedom
Lecture Notes in Computer Science | 2016-03-23 | Paper |
From low-level pointers to high-level containers
Lecture Notes in Computer Science | 2016-03-23 | Paper |
Mediator Synthesis in a Component Algebra with Data
Lecture Notes in Computer Science | 2015-11-04 | Paper |
All for the price of few (parameterized verification through view abstraction)
Lecture Notes in Computer Science | 2014-11-03 | Paper |
Mediating for reduction (on minimizing alternating Büchi automata)
Theoretical Computer Science | 2014-09-10 | Paper |
A uniform (bi-)simulation-based framework for reducing tree automata
Electronic Notes in Theoretical Computer Science | 2014-07-23 | Paper |
Verification of heap manipulating programs with ordered data by extended forest automata
Automated Technology for Verification and Analysis | 2014-07-08 | Paper |
Forest automata for verification of heap manipulation
Formal Methods in System Design | 2014-03-28 | Paper |
An integrated specification and verification technique for highly concurrent data structures
Tools and Algorithms for the Construction and Analysis of Systems | 2013-08-05 | Paper |
| Mediating for reduction (on minimizing alternating Büchi automata) | 2012-10-24 | Paper |
Efficient inclusion checking on explicit and semi-symbolic tree automata
Automated Technology for Verification and Analysis | 2011-10-07 | Paper |
Advanced Ramsey-based Büchi automata inclusion testing
CONCUR 2011 – Concurrency Theory | 2011-09-02 | Paper |
When simulation meets antichains. (On checking language inclusion of nondeterministic finite (tree) automata)
Tools and Algorithms for the Construction and Analysis of Systems | 2010-04-27 | Paper |
COMPOSED BISIMULATION FOR TREE AUTOMATA
International Journal of Foundations of Computer Science | 2009-08-21 | Paper |
Composed Bisimulation for Tree Automata
Implementation and Applications of Automata | 2009-02-12 | Paper |
Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata
Implementation and Applications of Automata | 2009-02-12 | Paper |
Computing Simulations over Tree Automata
Tools and Algorithms for the Construction and Analysis of Systems | 2008-04-11 | Paper |
