Xavier Urbain

Publication Activity (10 Years)

Years Active: 1998-2022
Publications (10 Years): 11

Top Venues

CoRR

SSS

Theory Comput. Syst.

PODC

University of Paris-Sud, Orsay, France (PHD)

Education History

University of Paris-Sud, Orsay, France

PHD

Publications

Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
Swarms of Mobile Robots: Towards Versatility with Safety. Leibniz Trans. Embed. Syst. 8 (2) (2022)
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
Computer Aided Formal Design of Swarm Robotics Algorithms. CoRR (2021)
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
Computer Aided Formal Design of Swarm Robotics Algorithms. SSS (2021)
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)
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)
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots. SSS (2018)
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)
Thibaut Balabonski, Amélie Delga, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
Synchronous Gathering Without Multiplicity Detection: A Certified Algorithm. SSS (2016)
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
for Oblivious Mobile Robots. PODC (2016)
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
Certified Universal Gathering in \mathbb R ^2 for Oblivious Mobile Robots. DISC (2016)
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
Certified Universal Gathering in $R^2$ for Oblivious Mobile Robots. CoRR (2016)
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
A Certified Universal Gathering Algorithm for Oblivious Mobile Robots. CoRR (2015)
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
Impossibility of gathering, a certification. Inf. Process. Lett. 115 (3) (2015)
Pierre Courtieu, Lionel Rieg, Xavier Urbain, Sébastien Tixeuil
Impossibility of Gathering, a Certification. CoRR (2014)
Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, Xavier Urbain
Certified Impossibility Results for Byzantine-Tolerant Mobile Robots. SSS (2013)
Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, Xavier Urbain
Certified Impossibility Results for Byzantine-Tolerant Mobile Robots. CoRR (2013)
Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain
Automated Certified Proofs with CiME3. RTA (2011)
Evelyne Contejean, Andrey Paskevich, Xavier Urbain, Pierre Courtieu, Olivier Pons, Julien Forest
A3PAT, an approach for certified automated termination proofs. PEPM (2010)
Raúl Gutiérrez, Salvador Lucas, Xavier Urbain
Usable Rules for Context-Sensitive Rewrite Systems. RTA (2008)
Francisco Durán, Salvador Lucas, Claude Marché, José Meseguer, Xavier Urbain
Proving operational termination of membership equational programs. High. Order Symb. Comput. 21 (1-2) (2008)
Pierre Courtieu, Julien Forest, Xavier Urbain
Certifying a Termination Criterion Based on Graphs, without Graphs. TPHOLs (2008)
Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain
Certification of Automated Termination Proofs. FroCoS (2007)
Evelyne Contejean, Claude Marché, Ana Paula Tomás, Xavier Urbain
Mechanically Proving Termination Using Polynomial Interpretations. J. Autom. Reason. 34 (4) (2005)
Xavier Urbain
Modular & Incremental Automated Termination Proofs. J. Autom. Reason. 32 (4) (2004)
Francisco Durán, Salvador Lucas, José Meseguer, Claude Marché, Xavier Urbain
Proving termination of membership equational programs. PEPM (2004)
Claude Marché, Xavier Urbain
Modular and incremental proofs of AC-termination. J. Symb. Comput. 38 (1) (2004)
Claude Marché, Christine Paulin-Mohring, Xavier Urbain
The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML. J. Log. Algebraic Methods Program. 58 (1-2) (2004)
Xavier Urbain
Automated Incremental Termination Proofs for Hierarchically Defined Term Rewriting Systems. IJCAR (2001)
Claude Marché, Xavier Urbain
Termination of Associative-Commutative Rewriting by Dependency Pairs. RTA (1998)

Xavier Urbain.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Xavier Urbain