Alexandre Duret-Lutz

Available identifiers

zbMath Open duret-lutz.alexandreMaRDI QIDQ2165216

List of research outcomes

Publication	Date of Publication	Type
Dissecting \texttt{ltlsynt}	2024-03-11	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alexandre Duret-Lutz