Xavier Urbain
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
6
Active years
2001–2026
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SIROCCO | Formal Certification of async Protocols: The Case of Gathering in $\mathbb {R} ^2$ Using Weber Points. | Maria-Virginia Aponte, Mathis Bouverot-Dupuis, Quentin Bramas, Pierre Courtieu, Lionel Rieg, Xavier Urbain |
| 2025 | SIROCCO | Deterministic Color-Optimal Self-stabilizing Semi-synchronous Gathering: A Certified Algorithm. | Franois Bonnet, Quentin Bramas, Pierre Courtieu, Xavier Dfago, Lionel Rieg, Sbastien Tixeuil, Xavier Urbain |
| 2021 | SSS | Computer Aided Formal Design of Swarm Robotics Algorithms. | Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sbastien Tixeuil, Xavier Urbain |
| 2018 | SSS | Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots. | Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sbastien Tixeuil, Xavier Urbain |
| 2017 | FMICS | Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open Problems. | Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sbastien Tixeuil, Xavier Urbain |
| 2016 | PODC | Brief Announcement: Certified Universal Gathering in R | Pierre Courtieu, Lionel Rieg, Sbastien Tixeuil, Xavier Urbain |
| 2016 | SSS | Synchronous Gathering Without Multiplicity Detection: A Certified Algorithm. | Thibaut Balabonski, Amlie Delga, Lionel Rieg, Sbastien Tixeuil, Xavier Urbain |
| 2013 | SSS | Certified Impossibility Results for Byzantine-Tolerant Mobile Robots. | Cdric Auger, Zohir Bouzid, Pierre Courtieu, Sbastien Tixeuil, Xavier Urbain |
| 2010 | PEPM | A3PAT, an approach for certified automated termination proofs. | Evelyne Contejean, Andrey Paskevich, Xavier Urbain, Pierre Courtieu, Olivier Pons, Julien Forest |
| 2004 | PEPM | Proving termination of membership equational programs. | Francisco Durn, Salvador Lucas, Jos Meseguer, Claude March, Xavier Urbain |
| 2001 | CADE | Automated Incremental Termination Proofs for Hierarchically Defined Term Rewriting Systems. | Xavier Urbain |