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