Alexandre Duret-Lutz

55 papers A 3B 14C 6Misc 2Journal 14Unranked 15

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	Engineering an LTL CIAA Alexandre Duret-Lutz, Shufang Zhu, Nir Piterman, Giuseppe De Giacomo, Moshe Y. Vardi
2025	J	`jnl`	Engineering an LTLf Synthesis Tool. CoRR Alexandre Duret-Lutz, Shufang Zhu, Nir Piterman, Giuseppe De Giacomo, Moshe Y. Vardi
2025	B	`conf`	Simplifying LTL Model Checking Given Prior Knowledge. Petri Nets Alexandre Duret-Lutz, Denis Poitrenaud, Yann Thierry-Mieg
2025	J	`jnl`	Simplifying LTL Model Checking Given Prior Knowledge. CoRR Alexandre Duret-Lutz, Denis Poitrenaud, Yann Thierry-Mieg
2024	J	`jnl`	The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. Int. J. Softw. Tools Technol. Transf. 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
2024	C	`conf`	Translation of Semi-extended Regular Expressions Using Derivatives. CIAA Antoine Martin, Etienne Renault, Alexandre Duret-Lutz
2023	J	`jnl`	The Mealy-machine reduction functions of Spot. Sci. Comput. Program. Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet
2022	J	`jnl`	Dissecting ltlsynt. Formal Methods Syst. Des. Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet
2022	C	`conf`	Effective Reductions of Mealy Machines. FORTE Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet
2022	J	`jnl`	Effective Reductions of Mealy Machines. CoRR Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet
2022	—	`conf`	From Spot 2.0 to Spot 2.10: What's New? CAV (2) 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
2022	J	`jnl`	From Spot 2.0 to Spot 2.10: What's New? CoRR 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
2022	J	`jnl`	Improvements to ltlsynt. CoRR Florian Renkin, Philipp Schlehuber, Alexandre Duret-Lutz, Adrien Pommellet
2022	—	`conf`	Practical Applications of the Alternating Cycle Decomposition. TACAS (2) Antonio Casares, Alexandre Duret-Lutz, Klara J. Meyer, Florian Renkin, Salomon Sickert
2022	J	`jnl`	The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. CoRR 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
2020	B	`conf`	Practical "Paritizing" of Emerson-Lei Automata. ATVA Florian Renkin, Alexandre Duret-Lutz, Adrien Pommellet
2020	—	`conf`	Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization. CAV (2) Frantisek Blahoudek, Alexandre Duret-Lutz, Jan Strejcek
2019	B	`conf`	Generic Emptiness Check for Fun and Profit. ATVA Christel Baier, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, David Müller, Jan Strejcek
2019	J	`jnl`	Model checking with generalized Rabin and Fin-less automata. Int. J. Softw. Tools Technol. Transf. Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol
2018	—	`ch.`	Parallel Model Checking Algorithms for Linear-Time Temporal Logic. Handbook of Parallel Constraint Reasoning Jiri Barnat, Vincent Bloemen, Alexandre Duret-Lutz, Alfons Laarman, Laure Petrucci, Jaco van de Pol, Etienne Renault
2017	—	`conf`	Explicit state model checking with generalized Büchi and Rabin automata. SPIN Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol
2017	B	`conf`	Seminator: A Tool for Semi-Determinization of Omega-Automata. LPAR Frantisek Blahoudek, Alexandre Duret-Lutz, Mikulás Klokocka, Mojmír Kretínský, Jan Strejcek
2017	J	`jnl`	Variations on parallel explicit emptiness checks for generalized Büchi automata. Int. J. Softw. Tools Technol. Transf. Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
2016	B	`conf`	Heuristics for Checking Liveness Properties with Partial Order Reductions. ATVA Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud, Etienne Renault
2016	B	`conf`	Spot 2.0 - A Framework for LTL and \omega -Automata Manipulation. ATVA Alexandre Duret-Lutz, Alexandre Lewkowicz, Amaury Fauchille, Thibaud Michaud, Etienne Renault, Laurent Xu
2015	—	`conf`	On Refinement of Büchi Automata for Explicit Model Checking. SPIN Frantisek Blahoudek, Alexandre Duret-Lutz, Vojtech Rujbr, Jan Strejcek
2015	A	`conf`	Parallel Explicit Model Checking for Generalized Büchi Automata. TACAS Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
2015	—	`conf`	Practical Stutter-Invariance Checks for ω-Regular Languages. SPIN Thibaud Michaud, Alexandre Duret-Lutz
2015	B	`conf`	SAT-Based Minimization of Deterministic \omega -Automata. LPAR Souheib Baarir, Alexandre Duret-Lutz
2015	—	`conf`	The Hanoi Omega-Automata Format. CAV (1) Tomás Babiak, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kretínský, David Müller, David Parker, Jan Strejcek
2014	C	`conf`	A Type System for Weighted Automata and Rational Expressions. CIAA Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Luca Saiu, Jacques Sakarovitch
2014	—	`conf`	Is there a best büchi automaton for explicit model checking? SPIN Frantisek Blahoudek, Alexandre Duret-Lutz, Mojmír Kretínský, Jan Strejcek
2014	J	`jnl`	LTL translation improvements in Spot 1.0. Int. J. Crit. Comput. Based Syst. Alexandre Duret-Lutz
2014	C	`conf`	Mechanizing the Minimization of Deterministic Generalized Büchi Automata. FORTE Souheib Baarir, Alexandre Duret-Lutz
2014	A	`conf`	Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata. TACAS Ala-Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon, Yann Thierry-Mieg
2013	—	`conf`	Compositional Approach to Suspension and Other Improvements to LTL Translation. SPIN Tomás Babiak, Thomas Badie, Alexandre Duret-Lutz, Mojmír Kretínský, Jan Strejcek
2013	C	`conf`	Implementation Concepts in Vaucanson 2. CIAA Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Jacques Sakarovitch
2013	B	`conf`	LTL Model Checking with Neco. ATVA Lukasz Fronc, Alexandre Duret-Lutz
2013	B	`conf`	Manipulating LTL Formulas Using Spot 1.0. ATVA Alexandre Duret-Lutz
2013	A	`conf`	Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking. TACAS Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
2013	B	`conf`	Three SCC-Based Emptiness Checks for Generalized Büchi Automata. LPAR Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
2012	J	`jnl`	Model Checking Using Generalized Testing Automata. Trans. Petri Nets Other Model. Concurr. Ala-Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon
2011	J	`jnl`	Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking CoRR Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg
2011	B	`conf`	Self-Loop Aggregation Product - A New Hybrid Approach to On-the-Fly LTL Model Checking. ATVA Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg
2009	B	`conf`	On-the-fly Emptiness Check of Transition-Based Streett Automata. ATVA Alexandre Duret-Lutz, Denis Poitrenaud, Jean-Michel Couvreur
2008	—	`conf`	An XML Format Proposal for the Description of Weighted Automata, Transducers and Regular Expressions. FSMNLP Akim Demaille, Alexandre Duret-Lutz, Florian Lesaint, Sylvain Lombardy, Jacques Sakarovitch, Florent Terrones
2007	—	`conf`	Emptiness Check of Powerset Buchi Automata using Inclusion Tests. ACSD Souheib Baarir, Alexandre Duret-Lutz
2007	—	`conf`	Flattening the Viewable Sphere. CAe Daniel M. Germán, Lloyd Burchill, Alexandre Duret-Lutz, Sébastien Pérez-Duarte, Emmanuel Pérez-Duarte, Josh Sommers
2005	—	`conf`	On-the-Fly Emptiness Checks for Generalized Büchi Automata. SPIN Jean-Michel Couvreur, Alexandre Duret-Lutz, Denis Poitrenaud
2004	B	`conf`	SPOT: An Extensible Model Checking Library Using Transition-Based Generalized Büchi Automata. MASCOTS Alexandre Duret-Lutz, Denis Poitrenaud
2003	—	`conf`	Multiband segmentation using morphological clustering and fusion $application to color image segmentation. ICIP (1) H. Xue, Thierry Géraud, Alexandre Duret-Lutz
2001	—	`conf`	Design Patterns for Generic Programming in C++. COOTS Alexandre Duret-Lutz, Thierry Géraud, Akim Demaille
2001	Misc	`conf`	Expression Templates in Ada. Ada-Europe Alexandre Duret-Lutz
2000	Misc	`conf`	Generic Programming Redesign of Patterns. EuroPLoP Thierry Géraud, Alexandre Duret-Lutz
2000	B	`conf`	Obtaining Genericity for Image Processing and Pattern Recognition Algorithms. ICPR Thierry Géraud, Yoann Fabre, Alexandre Duret-Lutz