Cédric Auger

According to our database, Cédric Auger authored at least 2 papers in 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2013

Compilation certifiée de SCADE/LUSTRE. (Certified compilation of SCADE/LUSTRE).

Cédric Auger

PhD thesis, 2013

Certified Impossibility Results for Byzantine-Tolerant Mobile Robots.

Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, Xavier Urbain

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2013