Alexandre Duret-Lutz

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 18

Top Topics

Partial Order Reduction

Pspace Complete

Top Venues

Publications

Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet
The Mealy-machine reduction functions of Spot. Sci. Comput. Program. 230 (2023)
Florian Renkin, Philipp Schlehuber, Alexandre Duret-Lutz, Adrien Pommellet
Improvements to ltlsynt. CoRR (2022)
Alexandre Duret-Lutz, Etienne Renault, Maximilien Colange, Florian Renkin, Alexandre Gbaguidi, Philipp Schlehuber-Caissier, Thomas Medioni, Antoine Martin, Jérôme Dubois, Clément Gillard, Henrich Lauko
From Spot 2.0 to Spot 2.10: What's New? CoRR (2022)
Swen Jacobs, Guillermo A. Pérez, Remco Abraham, Véronique Bruyère, Michaël Cadilhac, Maximilien Colange, Charly Delfosse, Tom van Dijk, Alexandre Duret-Lutz, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. CoRR (2022)
Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet
Effective Reductions of Mealy Machines. FORTE (2022)
Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet
Effective Reductions of Mealy Machines. CoRR (2022)
Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet
Dissecting ltlsynt. Formal Methods Syst. Des. 61 (2) (2022)
Alexandre Duret-Lutz, Etienne Renault, Maximilien Colange, Florian Renkin, Alexandre Gbaguidi Aisse, Philipp Schlehuber-Caissier, Thomas Medioni, Antoine Martin, Jérôme Dubois, Clément Gillard, Henrich Lauko
From Spot 2.0 to Spot 2.10: What's New? CAV (2) (2022)
Antonio Casares, Alexandre Duret-Lutz, Klara J. Meyer, Florian Renkin, Salomon Sickert
Practical Applications of the Alternating Cycle Decomposition. TACAS (2) (2022)
Florian Renkin, Alexandre Duret-Lutz, Adrien Pommellet
Practical "Paritizing" of Emerson-Lei Automata. ATVA (2020)
Frantisek Blahoudek, Alexandre Duret-Lutz, Jan Strejcek
Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization. CAV (2) (2020)
Christel Baier, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, David Müller, Jan Strejcek
Generic Emptiness Check for Fun and Profit. ATVA (2019)
Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol
Model checking with generalized Rabin and Fin-less automata. Int. J. Softw. Tools Technol. Transf. 21 (3) (2019)
Frantisek Blahoudek, Alexandre Duret-Lutz, Mikulás Klokocka, Mojmír Kretínský, Jan Strejcek
Seminator: A Tool for Semi-Determinization of Omega-Automata. LPAR (2017)
Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
Variations on parallel explicit emptiness checks for generalized Büchi automata. Int. J. Softw. Tools Technol. Transf. 19 (6) (2017)
Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol
Explicit state model checking with generalized Büchi and Rabin automata. SPIN (2017)
Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud, Etienne Renault
Heuristics for Checking Liveness Properties with Partial Order Reductions. ATVA (2016)
Alexandre Duret-Lutz, Alexandre Lewkowicz, Amaury Fauchille, Thibaud Michaud, Etienne Renault, Laurent Xu
Spot 2.0 - A Framework for LTL and \omega -Automata Manipulation. ATVA (2016)
Frantisek Blahoudek, Alexandre Duret-Lutz, Vojtech Rujbr, Jan Strejcek
On Refinement of Büchi Automata for Explicit Model Checking. SPIN (2015)
Tomás Babiak, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kretínský, David Müller, David Parker, Jan Strejcek
The Hanoi Omega-Automata Format. CAV (1) (2015)
Souheib Baarir, Alexandre Duret-Lutz
SAT-Based Minimization of Deterministic \omega -Automata. LPAR (2015)
Thibaud Michaud, Alexandre Duret-Lutz
Practical Stutter-Invariance Checks for ω-Regular Languages. SPIN (2015)
Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
Parallel Explicit Model Checking for Generalized Büchi Automata. TACAS (2015)
Alexandre Duret-Lutz
LTL translation improvements in Spot 1.0. Int. J. Crit. Comput. Based Syst. 5 (1/2) (2014)
Frantisek Blahoudek, Alexandre Duret-Lutz, Mojmír Kretínský, Jan Strejcek
Is there a best büchi automaton for explicit model checking? SPIN (2014)
Souheib Baarir, Alexandre Duret-Lutz
Mechanizing the Minimization of Deterministic Generalized Büchi Automata. FORTE (2014)
Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Luca Saiu, Jacques Sakarovitch
A Type System for Weighted Automata and Rational Expressions. CIAA (2014)
Ala-Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon, Yann Thierry-Mieg
Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata. TACAS (2014)
Lukasz Fronc, Alexandre Duret-Lutz
LTL Model Checking with Neco. ATVA (2013)
Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Jacques Sakarovitch
Implementation Concepts in Vaucanson 2. CIAA (2013)
Alexandre Duret-Lutz
Manipulating LTL Formulas Using Spot 1.0. ATVA (2013)
Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
Three SCC-Based Emptiness Checks for Generalized Büchi Automata. LPAR (2013)
Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking. TACAS (2013)
Tomás Babiak, Thomas Badie, Alexandre Duret-Lutz, Mojmír Kretínský, Jan Strejcek
Compositional Approach to Suspension and Other Improvements to LTL Translation. SPIN (2013)
Ala-Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon
Model Checking Using Generalized Testing Automata. Trans. Petri Nets Other Model. Concurr. 6 (2012)
Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg
Self-Loop Aggregation Product - A New Hybrid Approach to On-the-Fly LTL Model Checking. ATVA (2011)
Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg
Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking CoRR (2011)
Alexandre Duret-Lutz, Denis Poitrenaud, Jean-Michel Couvreur
On-the-fly Emptiness Check of Transition-Based Streett Automata. ATVA (2009)
Akim Demaille, Alexandre Duret-Lutz, Florian Lesaint, Sylvain Lombardy, Jacques Sakarovitch, Florent Terrones
An XML Format Proposal for the Description of Weighted Automata, Transducers and Regular Expressions. FSMNLP (2008)
Souheib Baarir, Alexandre Duret-Lutz
Emptiness Check of Powerset Buchi Automata using Inclusion Tests. ACSD (2007)
Daniel M. Germán, Lloyd Burchill, Alexandre Duret-Lutz, Sébastien Pérez-Duarte, Emmanuel Pérez-Duarte, Josh Sommers
Flattening the Viewable Sphere. CAe (2007)
Jean-Michel Couvreur, Alexandre Duret-Lutz, Denis Poitrenaud
On-the-Fly Emptiness Checks for Generalized Büchi Automata. SPIN (2005)
Alexandre Duret-Lutz, Denis Poitrenaud
SPOT: An Extensible Model Checking Library Using Transition-Based Generalized Büchi Automata. MASCOTS (2004)
H. Xue, Thierry Géraud, Alexandre Duret-Lutz
Multiband segmentation using morphological clustering and fusion $application to color image segmentation. ICIP (1) (2003)
Alexandre Duret-Lutz, Thierry Géraud, Akim Demaille
Design Patterns for Generic Programming in C++. COOTS (2001)
Alexandre Duret-Lutz
Expression Templates in Ada. Ada-Europe (2001)
Thierry Géraud, Alexandre Duret-Lutz
Generic Programming Redesign of Patterns. EuroPLoP (2000)
Thierry Géraud, Yoann Fabre, Alexandre Duret-Lutz
Obtaining Genericity for Image Processing and Pattern Recognition Algorithms. ICPR (2000)