Publications (by chronological order)

1. Thomas Brihaye, Nicolas Markey, Mohamed Ghannem, Lionel Rieg: Good Friends are Hard to Find! TIME 2008: 32-40
2. Lionel Rieg: Extracting Herbrand trees in classical realizability using forcing. CSL 2013: 597-614
3. Pierre Courtieu, Lionel Rieg, Xavier Urbain, Sébastien Tixeuil: Impossibility of Gathering, a Certification. IPL 115 (3):447-452
4. B. Bérard, P. Courtieu, L. Millet, M. Potop-Butucaru, L. Rieg, N. Sznajder, S. Tixeuil, X. Urbain: Formal Methods for Mobile Robots: Current Results and Open Problems. Int. J. of Inf. Soc., 7 (3), 101--114
5. Pierre Courtieu, Lionel Rieg, Xavier Urbain, Sébastien Tixeuil: Brief Announcement: Certified Universal Gathering in R2 for Oblivious Mobile Robots. PODC 2016
6. Pierre Courtieu, Lionel Rieg, Xavier Urbain, Sébastien Tixeuil: Certified Universal Gathering in R2 for Oblivious Mobile Robots. DISC 2016
7. Thibault Balabonski, Amélie Delga, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Synchronous Gathering without Multiplicity Detection: a Certified Algorithm. SSS 2016
8. Timothy Bourke, Lélio Brun, Pierre-Évariste Dagand, Xavier Leroy, Marc Pouzet, Lionel Rieg: A Formally Verified Compiler for Lustre. PLDI 2017
9. Thibault Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Certified Gathering of Oblivious Mobile Robots : Survey of Recent Results and Open Problems. FMICS-AVoCS 2017
10. Thibault Balabonski, Robin Pelle, Lionel Rieg, Sébastien Tixeuil: A Foundational Framework for Certifed Impossibility Results with Mobile Robots en Graphs. ICDCN 2018