Publications

This is the short but (hopefully) growing list of my writings:

Michaël Cadilhac, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, and Sebastien Tixeuil.
Evaluating complex MAC protocols for sensor networks with APMC.
In 6th International Workshop on Automated Verification of Critical Systems (AVoCS), ENTCS, 2006.
Michaël Cadilhac, Thomas Hérault, and Pierre Lemarinier.
Message Relaying Techniques for Computational Grids and their Relations to Fault Tolerant Message Passing for the Grid.*
In Second CoreGRID Workshop on Grid and Peer to Peer Systems Architecture, 2005.

* Without review.

Cover automata for finite languages, a survey. (report|slides)
LRDE seminar of June 2005, France.

Éléments de théorie de la calculabilité.
Translation of Syllabus Computability Theory by Sebastiaan Terwijn, 2008.
Uniform guided random walks for conformance testing. (report|slides)
Master's thesis and EPITA report (French), 2007.
Comparative study of programming methods regarding threads in fault-tolerant message passing. (report|slides)
Bachelor's degree thesis (French), 2005.

For reference, here is my (less furnished) DBLP page.

Menu