Alexandre Duret-Lutz

According to our database, Alexandre Duret-Lutz authored at least 47 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

The Mealy-machine reduction functions of Spot.

Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet

Sci. Comput. Program., August, 2023

2022

Dissecting ltlsynt.

Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet

Formal Methods Syst. Des., December, 2022

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.

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

CoRR, 2022

Improvements to ltlsynt.

Florian Renkin, Philipp Schlehuber, Alexandre Duret-Lutz, Adrien Pommellet

CoRR, 2022

Practical Applications of the Alternating Cycle Decomposition.

Antonio Casares, Alexandre Duret-Lutz, Klara J. Meyer, Florian Renkin, Salomon Sickert

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Effective Reductions of Mealy Machines.

Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2022

From Spot 2.0 to Spot 2.10: What's New?

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

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2020

Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization.

Frantisek Blahoudek, Alexandre Duret-Lutz, Jan Strejcek

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Practical "Paritizing" of Emerson-Lei Automata.

Florian Renkin, Alexandre Duret-Lutz, Adrien Pommellet

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

Model checking with generalized Rabin and Fin-less automata.

Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol

Int. J. Softw. Tools Technol. Transf., 2019

Generic Emptiness Check for Fun and Profit.

Christel Baier, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, David Müller, Jan Strejcek

Proceedings of the Automated Technology for Verification and Analysis, 2019

2018

Parallel Model Checking Algorithms for Linear-Time Temporal Logic.

Jiri Barnat, Vincent Bloemen, Alexandre Duret-Lutz, Alfons Laarman, Laure Petrucci, Jaco van de Pol, Etienne Renault

Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

2017

Variations on parallel explicit emptiness checks for generalized Büchi automata.

Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud

Int. J. Softw. Tools Technol. Transf., 2017

Explicit state model checking with generalized Büchi and Rabin automata.

Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Seminator: A Tool for Semi-Determinization of Omega-Automata.

Frantisek Blahoudek, Alexandre Duret-Lutz, Mikulás Klokocka, Mojmír Kretínský, Jan Strejcek

Proceedings of the LPAR-21, 2017

2016

Spot 2.0 - A Framework for LTL and \omega -Automata Manipulation.

Alexandre Duret-Lutz, Alexandre Lewkowicz, Amaury Fauchille, Thibaud Michaud, Etienne Renault, Laurent Xu

Proceedings of the Automated Technology for Verification and Analysis, 2016

Heuristics for Checking Liveness Properties with Partial Order Reductions.

Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud, Etienne Renault

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

Parallel Explicit Model Checking for Generalized Büchi Automata.

Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Practical Stutter-Invariance Checks for ω-Regular Languages.

Thibaud Michaud, Alexandre Duret-Lutz

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

On Refinement of Büchi Automata for Explicit Model Checking.

Frantisek Blahoudek, Alexandre Duret-Lutz, Vojtech Rujbr, Jan Strejcek

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

SAT-Based Minimization of Deterministic \omega -Automata.

Souheib Baarir, Alexandre Duret-Lutz

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

The Hanoi Omega-Automata Format.

Tomás Babiak, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kretínský, David Müller, David Parker, Jan Strejcek

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

LTL translation improvements in Spot 1.0.

Alexandre Duret-Lutz

Int. J. Crit. Comput. Based Syst., 2014

A Type System for Weighted Automata and Rational Expressions.

Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Luca Saiu, Jacques Sakarovitch

Proceedings of the Implementation and Application of Automata, 2014

Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata.

Ala-Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon, Yann Thierry-Mieg

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Is there a best büchi automaton for explicit model checking?

Frantisek Blahoudek, Alexandre Duret-Lutz, Mojmír Kretínský, Jan Strejcek

Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

Mechanizing the Minimization of Deterministic Generalized Büchi Automata.

Souheib Baarir, Alexandre Duret-Lutz

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

2013

Implementation Concepts in Vaucanson 2.

Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Jacques Sakarovitch

Proceedings of the Implementation and Application of Automata, 2013

Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking.

Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Compositional Approach to Suspension and Other Improvements to LTL Translation.

Tomás Babiak, Thomas Badie, Alexandre Duret-Lutz, Mojmír Kretínský, Jan Strejcek

Proceedings of the Model Checking Software - 20th International Symposium, 2013

Three SCC-Based Emptiness Checks for Generalized Büchi Automata.

Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

LTL Model Checking with Neco.

Lukasz Fronc, Alexandre Duret-Lutz

Proceedings of the Automated Technology for Verification and Analysis, 2013

Manipulating LTL Formulas Using Spot 1.0.

Alexandre Duret-Lutz

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Model Checking Using Generalized Testing Automata.

Ala-Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon

Trans. Petri Nets Other Model. Concurr., 2012

2011

Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking

Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg

CoRR, 2011

Self-Loop Aggregation Product - A New Hybrid Approach to On-the-Fly LTL Model Checking.

Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg

Proceedings of the Automated Technology for Verification and Analysis, 2011

2009

On-the-fly Emptiness Check of Transition-Based Streett Automata.

Alexandre Duret-Lutz, Denis Poitrenaud, Jean-Michel Couvreur

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

An XML Format Proposal for the Description of Weighted Automata, Transducers and Regular Expressions.

Akim Demaille, Alexandre Duret-Lutz, Florian Lesaint, Sylvain Lombardy, Jacques Sakarovitch, Florent Terrones

Proceedings of the Finite-State Methods and Natural Language Processing, 2008

2007

Flattening the Viewable Sphere.

Daniel M. Germán, Lloyd Burchill, Alexandre Duret-Lutz, Sébastien Pérez-Duarte, Emmanuel Pérez-Duarte, Josh Sommers

Proceedings of the 3rd International Symposium on Computational Aesthetics in Graphics, 2007

Emptiness Check of Powerset Buchi Automata using Inclusion Tests.

Souheib Baarir, Alexandre Duret-Lutz

Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2005

On-the-Fly Emptiness Checks for Generalized Büchi Automata.

Jean-Michel Couvreur, Alexandre Duret-Lutz, Denis Poitrenaud

Proceedings of the Model Checking Software, 2005

2004

SPOT: An Extensible Model Checking Library Using Transition-Based Generalized Büchi Automata.

Alexandre Duret-Lutz, Denis Poitrenaud

Proceedings of the 12th International Workshop on Modeling, 2004

2003

Multiband segmentation using morphological clustering and fusion $application to color image segmentation.

H. Xue, Thierry Géraud, Alexandre Duret-Lutz

Proceedings of the 2003 International Conference on Image Processing, 2003

2001

Design Patterns for Generic Programming in C++.

Alexandre Duret-Lutz, Thierry Géraud, Akim Demaille

Proceedings of the 6th USENIX Conference on Object-Oriented Technologies and Systems, January 29, 2001

Expression Templates in Ada.

Alexandre Duret-Lutz

Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001

2000

Obtaining Genericity for Image Processing and Pattern Recognition Algorithms.

Thierry Géraud, Yoann Fabre, Alexandre Duret-Lutz

Proceedings of the 15th International Conference on Pattern Recognition, 2000

Generic Programming Redesign of Patterns.

Thierry Géraud, Alexandre Duret-Lutz

Proceedings of the 5th European Conference on Pattern Languages of Programms (EuroPLoP '2000), 2000