Xavier Urbain - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2022

Swarms of Mobile Robots: Towards Versatility with SafetyPierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain. lites, 8(2), 2022. [doi]

2021

Computer Aided Formal Design of Swarm Robotics AlgorithmsThibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain. sss 2021: 469-473 [doi]

2019

Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile RobotsThibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain. netys 2019: 93-109 [doi]

Synchronous Gathering without Multiplicity Detection: a Certified AlgorithmThibaut Balabonski, Amélie Delga, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain. mst, 63(2):200-218, 2019. [doi]

Formal Methods for Mobile RobotsMaria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil, Xavier Urbain. In Paola Flocchini, Giuseppe Prencipe, Nicola Santoro, editors, Distributed Computing by Mobile Entities, Current Research in Moving and Computing. Volume 11340 of Lecture Notes in Computer Science, pages 278-313, Springer, 2019. [doi]

2018

Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile RobotsThibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain. sss 2018: 404-408 [doi]

2017

Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open ProblemsThibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain. fmics 2017: 165-181 [doi]

2016

2015

Impossibility of gathering, a certificationPierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain. ipl, 115(3):447-452, 2015. [doi]

2013

Certified Impossibility Results for Byzantine-Tolerant Mobile RobotsCédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, Xavier Urbain. sss 2013: 178-190 [doi]

2011

Automated Certified Proofs with CiME3Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain. RTA 2011: 21-30 [doi]

2010

A3PAT, an approach for certified automated termination proofsEvelyne Contejean, Andrey Paskevich, Xavier Urbain, Pierre Courtieu, Olivier Pons, Julien Forest. PEPM 2010: 63-72 [doi]

2008

2007

Certification of Automated Termination ProofsEvelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain. frocos 2007: 148-162 [doi]

2005

Mechanically Proving Termination Using Polynomial InterpretationsEvelyne Contejean, Claude Marché, Ana Paula Tomás, Xavier Urbain. JAR, 34(4):325-363, 2005. [doi]

2004

2001

Automated Incremental Termination Proofs for Hierarchically Defined Term Rewriting SystemsXavier Urbain. cade 2001: 485-498 [doi]

Approche incrémentale des preuves automatiques de terminaison. (Incremental Approach for Automated Termination Proofs)Xavier Urbain. PhD thesis, University of Paris-Sud, Orsay, France, 2001. [doi]

1998

Termination of Associative-Commutative Rewriting by Dependency PairsClaude Marché, Xavier Urbain. RTA 1998: 241-255 [doi]

A3PAT, an Approach for Certified Automated Termination ProofsÉvelyne Contejean, Pierre Courtieu, Julien Forest, Andrei Paskevich, Olivier Pons, Xavier Urbain. PEPM 2010:

Sign in or sign up to see more results.

runs on WebDSL