| Publication | Date of Publication | Type |
|---|
| A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification) | 2024-04-26 | Paper |
| Simulations in rank-based Büchi automata complementation | 2024-04-19 | Paper |
Word equations in synergy with regular constraints
Formal Methods | 2023-08-17 | Paper |
| Solving Not-Substring Constraint withFlat Abstraction | 2023-03-29 | Paper |
A novel learning algorithm for Büchi automata based on family of DFAs and classification trees
Information and Computation | 2021-11-25 | Paper |
| A symbolic algorithm for the case-split rule in string constraint solving | 2021-07-08 | Paper |
| scientific article; zbMATH DE number 7361373 (Why is no real title available?) | 2021-06-21 | Paper |
scientific article; zbMATH DE number 7361373 (Why is no real title available?)
(available as arXiv preprint) | 2021-06-21 | Paper |
| Register automata with linear arithmetic | 2021-01-19 | Paper |
Register automata with linear arithmetic
(available as arXiv preprint) | 2021-01-19 | Paper |
A novel learning algorithm for Büchi automata based on family of DFAs and classification trees
Tools and Algorithms for the Construction and Analysis of Systems | 2020-08-05 | Paper |
The commutativity problem of the MapReduce framework: a transducer-based approach
Computer Aided Verification | 2019-05-03 | Paper |
Counterexample-guided polynomial loop invariant generation by Lagrange interpolation
(available as arXiv preprint) | 2018-03-01 | Paper |
Mediating for reduction (on minimizing alternating Büchi automata)
Theoretical Computer Science | 2014-09-10 | Paper |
| Mediating for reduction (on minimizing alternating Büchi automata) | 2012-10-24 | Paper |
Counter-Example Guided Fence Insertion under TSO
Tools and Algorithms for the Construction and Analysis of Systems | 2012-06-29 | Paper |
Algorithms for synthesizing priorities in component-based systems
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 |
Constrained monotonic abstraction: a CEGAR for parameterized verification
CONCUR 2010 - Concurrency Theory | 2010-08-31 | 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 |
Tool support for learning Büchi automata and linear temporal logic
Formal Aspects of Computing | 2009-05-27 | Paper |
Learning Minimal Separating DFA’s for Compositional Verification
Tools and Algorithms for the Construction and Analysis of Systems | 2009-03-31 | Paper |
Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages
Tools and Algorithms for the Construction and Analysis of Systems | 2008-04-11 | Paper |
GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic
Tools and Algorithms for the Construction and Analysis of Systems | 2008-04-11 | Paper |
