Alexandre Duret-Lutz

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
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

Research outcomes over time

This page was built for person: Alexandre Duret-Lutz