Alexandre Duret-Lutz

A Static C++ Object-Oriented Programming (SCOOP) Paradigm

N. Burrus, Alexandre Duret-Lutz, T. Géraud, 2003 .

Spot 2 . 0 — a framework for LTL and ω-automata manipulation

Alexandre Duret-Lutz, Alexandre Lewkowicz, Amaury Fauchille, 2016 .

LTL translation improvements in spot

Alexandre Duret-Lutz, Alexandre Duret-Lutz, Alexandre Duret-Lutz, 2011 .

Generalized Büchi Automata versus Testing Automata for Model Checking

Alexandre Duret-Lutz, F. Kordon, A. Salem, 2011 .

Boosting Vaucanson

Alexandre Duret-Lutz, J. Sakarovitch, S. Lombardy, 2008 .