Alexandre Duret-Lutz

Statistics

Publications

Citations

323

H-Index

Active since

2000

Affiliations

École Pour l'Informatique et les Techniques Avancées(Current)

LIP6

Sorbonne Université

Alexandre Duret-Lutz is an author at École Pour l'Informatique et les Techniques Avancées specializing in computer science, computing, and model checking.

ORCID

Publications per year

2000–2024

Publications

SPOT: an extensible model checking library using transition-based generalized buchi automata

Alexandre Duret-Lutz, Denis Poitrenaud · 2004 · 135 citations

Computing, Computer Engineering, Computer Science +13

LTL Translation Improvements in Spot

Alexandre Duret-Lutz · Electronic workshops in computing · 2011 · 48 citations · Full text

Computing, Computer Science, Formal Methods +9

LTL translation improvements in Spot 1.0

Alexandre Duret-Lutz · International Journal of Critical Computer-Based Systems · 2014 · 34 citations

Computing, Computer Science, Compilers +15

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021

Swen Jacobs, Guillermo A. Pérez, Remco Abraham et al. · arXiv (Cornell University) · 2022 · 18 citations · Full text

Computing, Computer Science, Compilers +7

GENERIC IMPLEMENTATION OF MORPHOLOGICAL IMAGE OPERATORS

Jérôme Darbon, Thierry Géraud, Alexandre Duret-Lutz · 2002 · 16 citations

Language Studies, Computer Science, Computer Vision +9

1–5 of 11