Alexandre Duret-Lutz

Available identifiers

Publication	Date of Publication	Type
Translation of semi-extended regular expressions using derivatives	2025-01-20	Paper
Dissecting \texttt{ltlsynt}	2024-03-11	Paper
Practical applications of the alternating cycle decomposition	2024-02-01	Paper
Practical “Paritizing” of Emerson-Lei Automata	2022-12-22	Paper
From Spot 2.0 to Spot 2.10: What’s New?	2022-12-07	Paper
Effective reductions of Mealy machines	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	2020-07-20	Paper
Parallel Explicit Model Checking for Generalized Büchi Automata	2019-09-17	Paper
SAT-Based Minimization of Deterministic $$\omega $$ -Automata	2016-01-12	Paper
A Type System for Weighted Automata and Rational Expressions	2014-09-26	Paper
Manipulating LTL Formulas Using Spot 1.0	2014-07-08	Paper
LTL Model Checking with Neco	2014-07-08	Paper
Three SCC-Based Emptiness Checks for Generalized Büchi Automata	2014-01-17	Paper
Implementation Concepts in Vaucanson 2	2013-08-07	Paper
Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking	2013-08-05	Paper
Model Checking Using Generalized Testing Automata	2013-03-13	Paper
Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking	2011-10-07	Paper
On-the-fly emptiness check of transition-based Streett automata	2009-12-01	Paper
Model Checking Software	2006-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q2771713	2002-03-12	Paper

This page was built for person: Alexandre Duret-Lutz