| Publication | Date of Publication | Type |
|---|
Translation of semi-extended regular expressions using linear forms
Theoretical Computer Science | 2026-08-25 | Paper |
| Engineering an \(\mathsf{LTL_f}\) synthesis tool | 2026-02-10 | Paper |
| Translation of semi-extended regular expressions using derivatives | 2025-01-20 | Paper |
Dissecting \texttt{ltlsynt}
Formal Methods in System Design | 2024-03-11 | Paper |
| Practical applications of the alternating cycle decomposition | 2024-02-01 | Paper |
Practical “Paritizing” of Emerson-Lei Automata
1517.68214 | 2022-12-22 | Paper |
| From Spot 2.0 to Spot 2.10: What’s New? | 2022-12-07 | Paper |
Effective reductions of Mealy machines
(available as arXiv preprint) | 2022-08-19 | Paper |
| Seminator 2 can complement generalized Büchi automata via improved semi-determinization | 2021-02-09 | Paper |
Generic emptiness check for fun and profit
Automated Technology for Verification and Analysis | 2020-07-20 | Paper |
Parallel Explicit Model Checking for Generalized Büchi Automata
Tools and Algorithms for the Construction and Analysis of Systems | 2019-09-17 | Paper |
SAT-based minimization of deterministic -automata
Logic for Programming, Artificial Intelligence, and Reasoning | 2016-01-12 | Paper |
A type system for weighted automata and rational expressions
Implementation and Application of Automata | 2014-09-26 | Paper |
Manipulating LTL Formulas Using Spot 1.0
Automated Technology for Verification and Analysis | 2014-07-08 | Paper |
LTL model checking with Neco
Automated Technology for Verification and Analysis | 2014-07-08 | Paper |
Three SCC-based emptiness checks for generalized Büchi automata
Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
Implementation concepts in Vaucanson 2
Implementation and Application of Automata | 2013-08-07 | Paper |
Strength-based decomposition of the property Büchi automaton for faster model checking
Tools and Algorithms for the Construction and Analysis of Systems | 2013-08-05 | Paper |
Model Checking Using Generalized Testing Automata
Transactions on Petri Nets and Other Models of Concurrency VI | 2013-03-13 | Paper |
Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking
Automated Technology for Verification and Analysis | 2011-10-07 | Paper |
On-the-fly emptiness check of transition-based Streett automata
Automated Technology for Verification and Analysis | 2009-12-01 | Paper |
Model Checking Software
Lecture Notes in Computer Science | 2006-11-01 | Paper |
| scientific article; zbMATH DE number 1706228 (Why is no real title available?) | 2002-03-12 | Paper |
