default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlexandre Duret-Lutz
Person information
- affiliation: LRDE, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j7]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. Int. J. Softw. Tools Technol. Transf. 26(5): 551-567 (2024)- [c38]Antoine Martin, Etienne Renault, Alexandre Duret-Lutz:
Translation of Semi-extended Regular Expressions Using Derivatives. CIAA 2024: 234-248 - 2023
- [j6]Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet:
The Mealy-machine reduction functions of Spot. Sci. Comput. Program. 230: 102995 (2023) - 2022
- [j5]Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet:
Dissecting ltlsynt. Formal Methods Syst. Des. 61(2): 248-289 (2022) - [c37]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: 174-187 - [c36]Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet:
Effective Reductions of Mealy Machines. FORTE 2022: 114-130 - [c35]Antonio Casares, Alexandre Duret-Lutz, Klara J. Meyer, Florian Renkin, Salomon Sickert:
Practical Applications of the Alternating Cycle Decomposition. TACAS (2) 2022: 99-117 - [i5]Florian Renkin, Philipp Schlehuber, Alexandre Duret-Lutz, Adrien Pommellet:
Improvements to ltlsynt. CoRR abs/2201.05376 (2022) - [i4]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 abs/2206.00251 (2022) - [i3]Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet:
Effective Reductions of Mealy Machines. CoRR abs/2206.10228 (2022) - [i2]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? CoRR abs/2206.11366 (2022) - 2020
- [c34]Florian Renkin, Alexandre Duret-Lutz, Adrien Pommellet:
Practical "Paritizing" of Emerson-Lei Automata. ATVA 2020: 127-143 - [c33]Frantisek Blahoudek, Alexandre Duret-Lutz, Jan Strejcek:
Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization. CAV (2) 2020: 15-27
2010 – 2019
- 2019
- [j4]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): 307-324 (2019) - [c32]Christel Baier, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, David Müller, Jan Strejcek:
Generic Emptiness Check for Fun and Profit. ATVA 2019: 445-461 - 2018
- [p1]Jiri Barnat, Vincent Bloemen, Alexandre Duret-Lutz, Alfons Laarman, Laure Petrucci, Jaco van de Pol, Etienne Renault:
Parallel Model Checking Algorithms for Linear-Time Temporal Logic. Handbook of Parallel Constraint Reasoning 2018: 457-507 - 2017
- [j3]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): 653-673 (2017) - [c31]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: 356-367 - [c30]Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol:
Explicit state model checking with generalized Büchi and Rabin automata. SPIN 2017: 50-59 - 2016
- [c29]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: 122-129 - [c28]Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud, Etienne Renault:
Heuristics for Checking Liveness Properties with Partial Order Reductions. ATVA 2016: 340-356 - 2015
- [c27]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: 479-486 - [c26]Souheib Baarir, Alexandre Duret-Lutz:
SAT-Based Minimization of Deterministic \omega -Automata. LPAR 2015: 79-87 - [c25]Frantisek Blahoudek, Alexandre Duret-Lutz, Vojtech Rujbr, Jan Strejcek:
On Refinement of Büchi Automata for Explicit Model Checking. SPIN 2015: 66-83 - [c24]Thibaud Michaud, Alexandre Duret-Lutz:
Practical Stutter-Invariance Checks for ω-Regular Languages. SPIN 2015: 84-101 - [c23]Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud:
Parallel Explicit Model Checking for Generalized Büchi Automata. TACAS 2015: 613-627 - 2014
- [j2]Alexandre Duret-Lutz:
LTL translation improvements in Spot 1.0. Int. J. Crit. Comput. Based Syst. 5(1/2): 31-54 (2014) - [c22]Souheib Baarir, Alexandre Duret-Lutz:
Mechanizing the Minimization of Deterministic Generalized Büchi Automata. FORTE 2014: 266-283 - [c21]Frantisek Blahoudek, Alexandre Duret-Lutz, Mojmír Kretínský, Jan Strejcek:
Is there a best büchi automaton for explicit model checking? SPIN 2014: 68-76 - [c20]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: 440-454 - [c19]Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Luca Saiu, Jacques Sakarovitch:
A Type System for Weighted Automata and Rational Expressions. CIAA 2014: 162-175 - 2013
- [c18]Alexandre Duret-Lutz:
Manipulating LTL Formulas Using Spot 1.0. ATVA 2013: 442-445 - [c17]Lukasz Fronc, Alexandre Duret-Lutz:
LTL Model Checking with Neco. ATVA 2013: 451-454 - [c16]Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud:
Three SCC-Based Emptiness Checks for Generalized Büchi Automata. LPAR 2013: 668-682 - [c15]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: 81-98 - [c14]Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud:
Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking. TACAS 2013: 580-593 - [c13]Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Jacques Sakarovitch:
Implementation Concepts in Vaucanson 2. CIAA 2013: 122-133 - 2012
- [j1]Ala-Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon:
Model Checking Using Generalized Testing Automata. Trans. Petri Nets Other Model. Concurr. 6: 94-122 (2012) - 2011
- [c12]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: 336-350 - [i1]Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg:
Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking. CoRR abs/1106.5700 (2011)
2000 – 2009
- 2009
- [c11]Alexandre Duret-Lutz, Denis Poitrenaud, Jean-Michel Couvreur:
On-the-fly Emptiness Check of Transition-Based Streett Automata. ATVA 2009: 213-227 - 2008
- [c10]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: 199-206 - 2007
- [c9]Souheib Baarir, Alexandre Duret-Lutz:
Emptiness Check of Powerset Buchi Automata using Inclusion Tests. ACSD 2007: 41-50 - [c8]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: 23-28 - 2005
- [c7]Jean-Michel Couvreur, Alexandre Duret-Lutz, Denis Poitrenaud:
On-the-Fly Emptiness Checks for Generalized Büchi Automata. SPIN 2005: 169-184 - 2004
- [c6]Alexandre Duret-Lutz, Denis Poitrenaud:
SPOT: An Extensible Model Checking Library Using Transition-Based Generalized Büchi Automata. MASCOTS 2004: 76-83 - 2003
- [c5]H. Xue, Thierry Géraud, Alexandre Duret-Lutz:
Multiband segmentation using morphological clustering and fusion $application to color image segmentation. ICIP (1) 2003: 353-356 - 2001
- [c4]Alexandre Duret-Lutz:
Expression Templates in Ada. Ada-Europe 2001: 191-202 - [c3]Alexandre Duret-Lutz, Thierry Géraud, Akim Demaille:
Design Patterns for Generic Programming in C++. COOTS 2001: 189-202 - 2000
- [c2]Thierry Géraud, Alexandre Duret-Lutz:
Generic Programming Redesign of Patterns. EuroPLoP 2000: 283-294 - [c1]Thierry Géraud, Yoann Fabre, Alexandre Duret-Lutz:
Obtaining Genericity for Image Processing and Pattern Recognition Algorithms. ICPR 2000: 4816-4819
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-16 21:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
