Home page of Alexandre Duret-Lutz

Alexandre Duret-Lutz,
Bureau L3,
Laboratoire de Recherche et Développement de l'Epita (LRDE)
14-16 rue Voltaire
94276 Le Kremlin-Bicêtre Cedex
(+33) 1 53 14 59 17
adl@lrde.epita.fr

Public Key (FCA0 8615 0211 941A 2AB9 FA66 3859 C03B 2E23 6E47)

I am an assistant professor at Epita, working in the LRDE, its research and development laboratory. I did my Ph.D. thesis on model checking at LIP6 in the MoVe (Modelisation and Verification) team, formerly known as the SRC (Cooperative and Distributed Systems) team.

I work on two projects of the LRDE: SPOT is a model checking library, and Vaucanson a finite automata library.

In my copious free time I used to maintain GNU Automake, but that is no longer the case. Please do not mail me about it. Consider reading my Autotools Tutorial.

BibTeX files

Here are some BibTeX files I maintain (or used to). I publish then here because I know how helpful it is to find pre-canned BibTeX entries on the net.

model checking: mc.bib, mc.pdf.
binary function minimization: bm.bib, bm.pdf.
generic programming (quite outdated): gp.bib, gp.pdf.
my own publications: adl.bib, adl.pdf.

Miscellaneous documents

An Autotools Tutorial.

In French: Cours Algorithmes pour la vérification de formules LTL par l'approche automate (4 par page).

The Spot Poster (a.k.a. the spoter).

I am slowly uploading my bookmarks to del.icio.us, my bookshelf to bookcrossing, and my pictures to flickr.