Alexandre Duret-Lutz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
26
Venues
10
Active years
2000–2026
Best venue rank
A*
Where they publish
Papers
26 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Fast Obligation Translation and Synthesis. | Alexandre Duret-Lutz, Giuseppe De Giacomo, Marcin Jurdzinski, Nir Piterman, Moshe Y. Vardi, Shufang Zhu |
| 2026 | KR | On-the-fly LTLf Synthesis under Partial Observability. | Nadav Alon, Supratik Chakraborty, Alexandre Duret-Lutz, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu |
| 2022 | CAV | 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, Jrme Dubois, Clment Gillard, Henrich Lauko |
| 2022 | FORTE | Effective Reductions of Mealy Machines. | Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet |
| 2022 | TACAS | Practical Applications of the Alternating Cycle Decomposition. | Antonio Casares, Alexandre Duret-Lutz, Klara J. Meyer, Florian Renkin, Salomon Sickert |
| 2020 | ATVA | Practical "Paritizing" of Emerson-Lei Automata. | Florian Renkin, Alexandre Duret-Lutz, Adrien Pommellet |
| 2020 | CAV | Seminator 2 Can Complement Generalized Bchi Automata via Improved Semi-determinization. | Frantisek Blahoudek, Alexandre Duret-Lutz, Jan Strejcek |
| 2019 | ATVA | Generic Emptiness Check for Fun and Profit. | Christel Baier, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, David Mller, Jan Strejcek |
| 2017 | LPAR | Seminator: A Tool for Semi-Determinization of Omega-Automata. | Frantisek Blahoudek, Alexandre Duret-Lutz, Mikuls Klokocka, Mojmr Kretnsk, Jan Strejcek |
| 2016 | ATVA | Heuristics for Checking Liveness Properties with Partial Order Reductions. | Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud, Etienne Renault |
| 2016 | ATVA | Spot 2.0 - A Framework for LTL and \omega -Automata Manipulation. | Alexandre Duret-Lutz, Alexandre Lewkowicz, Amaury Fauchille, Thibaud Michaud, Etienne Renault, Laurent Xu |
| 2015 | CAV | The Hanoi Omega-Automata Format. | Toms Babiak, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kretnsk, David Mller, David Parker, Jan Strejcek |
| 2015 | LPAR | SAT-Based Minimization of Deterministic \omega -Automata. | Souheib Baarir, Alexandre Duret-Lutz |
| 2015 | TACAS | Parallel Explicit Model Checking for Generalized Bchi Automata. | Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud |
| 2014 | FORTE | Mechanizing the Minimization of Deterministic Generalized Bchi Automata. | Souheib Baarir, Alexandre Duret-Lutz |
| 2014 | TACAS | Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata. | Ala-Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon, Yann Thierry-Mieg |
| 2013 | ATVA | Manipulating LTL Formulas Using Spot 1.0. | Alexandre Duret-Lutz |
| 2013 | ATVA | LTL Model Checking with Neco. | Lukasz Fronc, Alexandre Duret-Lutz |
| 2013 | LPAR | Three SCC-Based Emptiness Checks for Generalized Bchi Automata. | Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud |
| 2013 | TACAS | Strength-Based Decomposition of the Property Bchi Automaton for Faster Model Checking. | Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud |
| 2011 | ATVA | 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 |
| 2009 | ATVA | On-the-fly Emptiness Check of Transition-Based Streett Automata. | Alexandre Duret-Lutz, Denis Poitrenaud, Jean-Michel Couvreur |
| 2004 | MASCOTS | SPOT: An Extensible Model Checking Library Using Transition-Based Generalized Bchi Automata. | Alexandre Duret-Lutz, Denis Poitrenaud |
| 2003 | ICIP | Multiband segmentation using morphological clustering and fusion $application to color image segmentation. | H. Xue, Thierry Graud, Alexandre Duret-Lutz |
| 2000 | EuroPLop | Generic Programming Redesign of Patterns. | Thierry Graud, Alexandre Duret-Lutz |
| 2000 | ICPR | Obtaining Genericity for Image Processing and Pattern Recognition Algorithms. | Thierry Graud, Yoann Fabre, Alexandre Duret-Lutz |