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 - 33rd 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 – 27es Rencontres Francophones sur les AspectsAlgorithmiques des Télécommunications, Saint Valery-sur-Somme, France (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 – 27es 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 : “Comment s’assurer de garder le contact (et nos distances)”, ALGOTEL 2021 - 23es 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 – 22es 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 - 21es Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Saint Laurent de la Cabrerisse, France, pp. 1-4 (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)
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)
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)
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)