2013-2026 Publications

• 2026
  • F. Bonnet, Q. Bramas, P. Courtieu, X. Défago, L. Rieg, S. Tixeuil, X. Urbain : “Deterministic color-optimal self-stabilizing semi-synchronous gathering: Two certified algorithms”, Theoretical Computer Science, vol. 1078, pp. 116013, (Elsevier) (2026)
  • M.‑V. Aponte, M. Bouverot‑Dupuis, Q. Bramas, P. Courtieu, L. Rieg, X. Urbain : “Formal Certification of ASYNC Protocols: The Case of Gathering in R² Using Weber Points”, Structural Information and Communication Complexity - 33^rd International Colloquium, SIROCCO 2026, Durham, UK, June 9–11, 2026, Proceedings, vol. 16488, Lecture Notes in Computer Science, Durham, United Kingdom, pp. 34-52, (Springer Nature Switzerland), (ISBN: 978-3-032-26465-7) (2026)
• 2025
  • F. Bonnet, Q. Bramas, P. Courtieu, X. Défago, L. Rieg, S. Tixeuil, X. Urbain : “Comment se rassembler (avec certitude) quand on est confus et désorienté”, ALGOTEL 2025 – 27^es Rencontres Francophones sur les AspectsAlgorithmiques des Télécommunications, Saint Valery-sur-Somme, France (2025)
  • F. Bonnet, Q. Bramas, P. Courtieu, X. Défago, L. Rieg, S. Tixeuil, X. Urbain : “Deterministic Color-optimal Self-stabilizing Semi-synchronous Gathering: a Certified Algorithm”, SIROCCO 2025, vol. 15671, LNCS, Delphi, Greece, pp. 127-143, (Springer Nature) (2025)
  • M.‑V. Aponte, M. Bouverot‑Dupuis, Q. Bramas, P. Courtieu, L. Rieg, X. Urbain : “Rendez-vous au Point-Dont-On-Ne-Doit-Pas-Calculer-Les-Coordonnées”, ALGOTEL 2025 – 27^es Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Saint Valery-sur-Somme, France (2025)
• 2022
  • P. Courtieu, L. Rieg, S. Tixeuil, X. Urbain : “Swarms of Mobile Robots: Towards Versatility with Safety”, Leibniz Transactions on Embedded Systems, vol. 8 (2), Distributed Hybrid Systems, pp. 02:1–02:36, (European Design and Automation Association (EDAA) \ EMbedded Systems Special Interest Group (EMSIG) and Schloss Dagstuhl -- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing.) (2022)
• 2021
  • Th. Balabonski, P. Courtieu, R. Pelle, L. Rieg, S. Tixeuil, X. Urbain : “Computer Aided Formal Design of Swarm Robotics Algorithms”, Stabilization, Safety, and Security of Distributed Systems. SSS 2021, vol. 13046, Lecture Notes in Computer Science, Online, Sweden, pp. 469-473, (Springer International Publishing) (2021)
  • Th. Balabonski, P. Courtieu, R. Pelle, L. Rieg, S. Tixeuil, X. Urbain : “Computer Aided Formal Design of Swarm Robotics Algorithms”, (2021)
  • Th. Balabonski, P. Courtieu, R. Pelle, L. Rieg, S. Tixeuil, X. Urbain : “Comment s’assurer de garder le contact (et nos distances)”, ALGOTEL 2021 - 23^es Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, La Rochelle, France (2021)
• 2020
  • Th. Balabonski, P. Courtieu, R. Pelle, L. Rieg, S. Tixeuil, X. Urbain : “Du discrètement continu au continûment discret”, ALGOTEL 2020 – 22^es Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Lyon, France (2020)
• 2019
  • Th. Balabonski, P. Courtieu, R. Pelle, L. Rieg, S. Tixeuil, X. Urbain : “Manuel de savoir-prouver à l’usage des roboteux et des distributeux”, ALGOTEL 2019 - 21^es Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Saint Laurent de la Cabrerisse, France, pp. 1-4 (2019)
  • Th. Balabonski, P. Courtieu, R. Pelle, L. Rieg, S. Tixeuil, X. Urbain : “Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots”, 7^th International Conference on NETworked sYStems (NETYS 2019), vol. 11704, Lecture Notes in Computer Science, Marrakech, Morocco, pp. 93-09 (2019)
  • Th. Balabonski, A. Delga, L. Rieg, S. Tixeuil, X. Urbain : “Synchronous Gathering without Multiplicity Detection: a Certified Algorithm”, Theory of Computing Systems, vol. 63 (2), pp. 200-218, (Springer Verlag) (2019)
  • M. Potop‑Butucaru, N. Sznajder, S. Tixeuil, X. Urbain : “Formal Methods for Mobile Robots”, chapter in Distributed Computing by Mobile Entities,Current Research in Moving and Computing n°11340, Theoretical Computer Science and General Issues, pp. 278-313, (Springer International Publishing), (ISBN: 978-3-030-11071-0) (2019)
• 2018
  • Th. Balabonski, P. Courtieu, R. Pelle, L. Rieg, S. Tixeuil, X. Urbain : “Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots”, Stabilization, Safety, and Security of Distributed Systems. SSS 2018., vol. 11201, Lecture Notes in Computer Science, Tokyo, Japan, pp. 404-408, (Springer-Verlag) (2018)
  • Th. Balabonski, P. Courtieu, R. Pelle, L. Rieg, S. Tixeuil, X. Urbain : “Continuous vs. Discrete Asynchronous Moves: a Certified Approach for Mobile Robots”, 1-12 pages (2018)
• 2017
  • Th. Balabonski, P. Courtieu, L. Rieg, S. Tixeuil, X. Urbain : “Certified Gathering of Oblivious Mobile Robots: survey of recent results and open problems”, Proceedings of AVOCS 2017, vol. 10471, Lecture Notes in Computer Science, Turin, Italy, pp. 165-181, (Springer) (2017)
• 2016
  • P. Courtieu, L. Rieg, S. Tixeuil, X. Urbain : “Certified Universal Gathering in $R^2$ for Oblivious Mobile Robots”, Lecture Notes in Computer Science, vol. 9888, Lecture Notes in Computer Science, Paris, France, pp. 187-200, (Springer Berlin Heidelberg), (ISBN: 978-3-662-53426-7) (2016)
  • P. Courtieu, L. Rieg, S. Tixeuil, X. Urbain : “Brief announcement: Certified Universal Gathering in R2 for Oblivious Mobile Robots”, PODC '16: Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, Chicago, United States, pp. 439-441, (ACM) (2016)
  • Th. Balabonski, A. Delga, L. Rieg, S. Tixeuil, X. Urbain : “Synchronous Gathering Without Multiplicity Detection: A Certified Algorithm”, International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016), vol. 10083, Lecture Notes in COmputer Science, Lyon, France, pp. 7-19, (Springer) (2016)
  • P. Courtieu, L. Rieg, S. Tixeuil, X. Urbain : “Certified Universal Gathering in $R^2$ for Oblivious Mobile Robots”, (2016)
• 2015
  • P. Courtieu, L. Rieg, S. Tixeuil, X. Urbain : “A Certified Universal Gathering Algorithm for Oblivious Mobile Robots”, (2015)
  • P. Courtieu, L. Rieg, S. Tixeuil, X. Urbain : “Impossibility of gathering, a certification”, Information Processing Letters, vol. 115 (3), pp. 447-452, (Elsevier) (2015)
  • B. Bérard, P. Courtieu, L. Millet, M. Potop‑Butucaru, L. Rieg, N. Sznajder, S. Tixeuil, X. Urbain : “[Invited Paper] Formal Methods for Mobile Robots: Current Results and Open Problems”, International Journal of Informatics Society, vol. 7 (3), pp. 101-114, (Japan Informatics Society) (2015)
• 2014
  • P. Courtieu, L. Rieg, X. Urbain, S. Tixeuil : “Impossibility of Gathering, a Certification”, 10 pages (2014)
• 2013
  • C. Auger, Z. Bouzid, P. Courtieu, S. Tixeuil, X. Urbain : “Certified Impossibility Results for Byzantine-Tolerant Mobile Robots”, International Symposium on Stabilization, Safety, and Security of Distributed Systems, vol. 8255, Lecture Notes in Computer Science, Osaka, Japan, pp. 178-190, (Springer) (2013)
  • C. Auger, Z. Bouzid, P. Courtieu, S. Tixeuil, X. Urbain : “Brief Announcement: Certified impossibility results for Byzantine-tolerant mobile robots”, International Symposium on Distributed Computing (DISC2013), vol. 8205, LNCS, Jerusalem, Israel, pp. 2 (2013)
  • C. Auger, Z. Bouzid, P. Courtieu, S. Tixeuil, X. Urbain : “Certified Impossibility Results for Byzantine-Tolerant Mobile Robots”, (2013)