Xavier Urbain

32 papers A* 1A 2B 1C 6Journal 13Unranked 7
YearRankTypeTitle / Venue / Authors
2025 B conf
Deterministic Color-Optimal Self-stabilizing Semi-synchronous Gathering: A Certified Algorithm.
SIROCCO
François Bonnet, Quentin Bramas, Pierre Courtieu, Xavier Défago, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2022 J jnl
Swarms of Mobile Robots: Towards Versatility with Safety.
Leibniz Trans. Embed. Syst.
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2021 C conf
Computer Aided Formal Design of Swarm Robotics Algorithms.
SSS
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2021 J jnl
Computer Aided Formal Design of Swarm Robotics Algorithms.
CoRR
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2019 — conf
Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots.
NETYS
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2019 — ch.
Formal Methods for Mobile Robots.
Distributed Computing by Mobile Entities
Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil, Xavier Urbain
2019 J jnl
Synchronous Gathering without Multiplicity Detection: a Certified Algorithm.
Theory Comput. Syst.
Thibaut Balabonski, Amélie Delga, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2018 C conf
Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots.
SSS
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2017 — conf
Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open Problems.
FMICS-AVoCS
Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2016 A* conf
Brief Announcement: Certified Universal Gathering in R
PODC
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2016 J jnl
Certified Universal Gathering in $R^2$ for Oblivious Mobile Robots.
CoRR
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2016 A conf
Certified Universal Gathering in \mathbb R ^2 for Oblivious Mobile Robots.
DISC
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2016 C conf
Synchronous Gathering Without Multiplicity Detection: A Certified Algorithm.
SSS
Thibaut Balabonski, Amélie Delga, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2015 J jnl
A Certified Universal Gathering Algorithm for Oblivious Mobile Robots.
CoRR
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2015 J jnl
Impossibility of gathering, a certification.
Inf. Process. Lett.
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2014 J jnl
Impossibility of Gathering, a Certification.
CoRR
Pierre Courtieu, Lionel Rieg, Xavier Urbain, Sébastien Tixeuil
2013 C conf
Certified Impossibility Results for Byzantine-Tolerant Mobile Robots.
SSS
Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, Xavier Urbain
2013 J jnl
Certified Impossibility Results for Byzantine-Tolerant Mobile Robots.
CoRR
Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, Xavier Urbain
2011 — conf
Automated Certified Proofs with CiME3.
RTA
Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain
2010 C conf
A3PAT, an approach for certified automated termination proofs.
PEPM
Evelyne Contejean, Andrey Paskevich, Xavier Urbain, Pierre Courtieu, Olivier Pons, Julien Forest
2008 — conf
Certifying a Termination Criterion Based on Graphs, without Graphs.
TPHOLs
Pierre Courtieu, Julien Forest, Xavier Urbain
2008 J jnl
Proving operational termination of membership equational programs.
High. Order Symb. Comput.
Francisco Durán, Salvador Lucas, Claude Marché, José Meseguer, Xavier Urbain
2008 — conf
Usable Rules for Context-Sensitive Rewrite Systems.
RTA
Raúl Gutiérrez, Salvador Lucas, Xavier Urbain
2007 — conf
Certification of Automated Termination Proofs.
FroCoS
Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain
2005 J jnl
Mechanically Proving Termination Using Polynomial Interpretations.
J. Autom. Reason.
Evelyne Contejean, Claude Marché, Ana Paula Tomás, Xavier Urbain
2004 J jnl
Modular & Incremental Automated Termination Proofs.
J. Autom. Reason.
Xavier Urbain
2004 J jnl
Modular and incremental proofs of AC-termination.
J. Symb. Comput.
Claude Marché, Xavier Urbain
2004 C conf
Proving termination of membership equational programs.
PEPM
Francisco Durán, Salvador Lucas, José Meseguer, Claude Marché, Xavier Urbain
2004 J jnl
The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML.
J. Log. Algebraic Methods Program.
Claude Marché, Christine Paulin-Mohring, Xavier Urbain
2001 — —
Approche incrémentale des preuves automatiques de terminaison. (Incremental Approach for Automated Termination Proofs).
Xavier Urbain
2001 A conf
Automated Incremental Termination Proofs for Hierarchically Defined Term Rewriting Systems.
IJCAR
Xavier Urbain
1998 — conf
Termination of Associative-Commutative Rewriting by Dependency Pairs.
RTA
Claude Marché, Xavier Urbain