Xavier Urbain

According to our database, Xavier Urbain authored at least 27 papers between 1998 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Swarms of Mobile Robots: Towards Versatility with Safety.

Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain

Leibniz Trans. Embed. Syst., 2022

2021

Computer Aided Formal Design of Swarm Robotics Algorithms.

Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2021

2019

Formal Methods for Mobile Robots.

Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil, Xavier Urbain

Proceedings of the Distributed Computing by Mobile Entities, 2019

Synchronous Gathering without Multiplicity Detection: a Certified Algorithm.

Thibaut Balabonski, Amélie Delga, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain

Theory Comput. Syst., 2019

Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots.

Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain

Proceedings of the Networked Systems - 7th International Conference, 2019

2018

Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots.

Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2018

2017

Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open Problems.

Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain

Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017

2016

Certified Universal Gathering in $R^2$ for Oblivious Mobile Robots.

Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain

CoRR, 2016

Certified Universal Gathering in \mathbb R ^2 for Oblivious Mobile Robots.

Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain

Proceedings of the Distributed Computing - 30th International Symposium, 2016

Brief Announcement: Certified Universal Gathering in R² for Oblivious Mobile Robots.

Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain

Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016

2015

Impossibility of gathering, a certification.

Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain

Inf. Process. Lett., 2015

A Certified Universal Gathering Algorithm for Oblivious Mobile Robots.

Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain

CoRR, 2015

2013

Certified Impossibility Results for Byzantine-Tolerant Mobile Robots.

Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, Xavier Urbain

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2013

2011

Automated Certified Proofs with CiME3.

Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain

Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011

2010

A3PAT, an approach for certified automated termination proofs.

Evelyne Contejean, Andrey Paskevich, Xavier Urbain, Pierre Courtieu, Olivier Pons, Julien Forest

Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010

2008

Proving operational termination of membership equational programs.

Francisco Durán, Salvador Lucas, Claude Marché, José Meseguer, Xavier Urbain

High. Order Symb. Comput., 2008

Certifying a Termination Criterion Based on Graphs, without Graphs.

Pierre Courtieu, Julien Forest, Xavier Urbain

Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008

Usable Rules for Context-Sensitive Rewrite Systems.

Raúl Gutiérrez, Salvador Lucas, Xavier Urbain

Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008

2007

Certification of Automated Termination Proofs.

Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain

Proceedings of the Frontiers of Combining Systems, 6th International Symposium, 2007

2005

Mechanically Proving Termination Using Polynomial Interpretations.

Evelyne Contejean, Claude Marché, Ana Paula Tomás, Xavier Urbain

J. Autom. Reason., 2005

2004

Modular and incremental proofs of AC-termination.

Claude Marché, Xavier Urbain

J. Symb. Comput., 2004

The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML.

Claude Marché, Christine Paulin-Mohring, Xavier Urbain

J. Log. Algebraic Methods Program., 2004

Modular & Incremental Automated Termination Proofs.

Xavier Urbain

J. Autom. Reason., 2004

Proving termination of membership equational programs.

Francisco Durán, Salvador Lucas, José Meseguer, Claude Marché, Xavier Urbain

Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004

2001

Approche incrémentale des preuves automatiques de terminaison. (Incremental Approach for Automated Termination Proofs).

Xavier Urbain

PhD thesis, 2001

Automated Incremental Termination Proofs for Hierarchically Defined Term Rewriting Systems.

Xavier Urbain

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

1998

Termination of Associative-Commutative Rewriting by Dependency Pairs.

Claude Marché, Xavier Urbain

Proceedings of the Rewriting Techniques and Applications, 9th International Conference, 1998