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. Thibaut 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. Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified A pproach for Mobile Robots SSS 2018
  11. Thibaut Balabonski, Robin Pelle, Lionel Rieg, Sébastien Tixeuil: A Foundational Framework for Certified Impossibility Results with Mobile Robots on Graphs ICDCN 2018
  12. Thibaut Balabonski, Amélie Delga, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Synchronous Gathering without Multiplicity Detection: a Certified Algorithm Theory Comput. Syst. 63(2) 2019
  13. Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Continuous vs. Discrete Asynchronous Moves: a Certified Approach for Mobile Robots Netys 2019
  14. Xiaojie Guo, Maxime Lesourd, Mengqi Liu, Lionel Rieg, Zhong Shao: Integrating Formal Schedulability Analysis into a Verified OS Kernel CAV 2019
  15. Thibaut Balabonsky, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sebastien Tixeuil, Xavier Urbain: Manuel de savoir-prouver à l’usage des roboteux et des distributeux Algotel 2019
  16. Mengqi Liu, Lionel Rieg, Zhong Shao, Ronghui Gu, David Costanzo, Jung-Eun Kim, Man-Ki Yoon: Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation POPL 2020
  17. Thibaut Balabonsky, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sebastien Tixeuil, Xavier Urbain: Du discrètement continu au continûment discret Algotel 2020