Certified Impossibility Results for Byzantine-Tolerant Mobile Robots. - Cédric Auger; Zohir Bouzid; Pierre Courtieu; Sébastien Tixeuil; Xavier Urbain (SSS, 2013)

Compilation certifiée de SCADE/LUSTRE. (Certified compilation of SCADE/LUSTRE). - Cédric Auger (2013)