Accéder directement au contenu

Sébastien Tixeuil

17
Documents

Publications

lionel-rieg
Image document

Du discrètement continu au continûment discret

Thibaut Balabonski , Pierre Courtieu , Robin Pelle , Lionel Rieg , Sébastien Tixeuil
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
Communication dans un congrès hal-02871295v1
Image document

Manuel de savoir-prouver à l’usage des roboteux et des distributeux

Thibaut Balabonski , Pierre Courtieu , Robin Pelle , Lionel Rieg , Sébastien Tixeuil
ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France. pp.1-4
Communication dans un congrès hal-02115611v1

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

Thibaut Balabonski , Pierre Courtieu , Robin Pelle , Lionel Rieg , Sébastien Tixeuil
7th International Conference on NETworked sYStems (NETYS 2019), Jun 2019, Marrakech, Morocco. pp.93-09, ⟨10.1007/978-3-030-31277-0_7⟩
Communication dans un congrès hal-02115599v1

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

Thibaut Balabonski , Pierre Courtieu , Robin Pelle , Lionel Rieg , Sébastien Tixeuil
Stabilization, Safety, and Security of Distributed Systems. SSS 2018., Xavier Defago, Toshimitsu Masuzawa, Koichi Wada, Nov 2018, Tokyo, Japan. pp.404-408, ⟨10.1007/978-3-030-03232-6_29⟩
Communication dans un congrès hal-01937420v1

A Foundational Framework for Certified Impossibility Results with Mobile Robots on Graphs

Thibaut Balabonski , Robin Pelle , Lionel Rieg , Sébastien Tixeuil
ICDCN 2018 - 19th International Conference on Distributed Computing and Networking, Jan 2018, Varanasi, India. pp.1-10, ⟨10.1145/3154273.3154321⟩
Communication dans un congrès hal-01753439v1

Certified Gathering of Oblivious Mobile Robots: survey of recent results and open problems

Thibaut Balabonski , Pierre Courtieu , Lionel Rieg , Sébastien Tixeuil , Xavier Urbain
Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS/AVOCS), Sep 2017, Turin, Italy. pp.165-181, ⟨10.1007/978-3-319-67113-0_11⟩
Communication dans un congrès hal-01549942v1

Brief announcement: Certified Universal Gathering in R2 for Oblivious Mobile Robots

Pierre Courtieu , Lionel Rieg , Sébastien Tixeuil , Xavier Urbain
ACM Conference on Principles of Distributed Computing (PODC), ACM, Jul 2016, Chicago, United States
Communication dans un congrès hal-01349084v1

A Certified Universal Gathering Algorithm for Oblivious Mobile Robots

Pierre Courtieu , Lionel Rieg , Sébastien Tixeuil , Xavier Urbain
Distributed Computing (DISC), Sep 2016, Paris, France
Communication dans un congrès hal-01349061v1

Synchronous Gathering Without Multiplicity Detection: A Certified Algorithm

Thibaut Balabonski , Amélie Delga , Lionel Rieg , Sébastien Tixeuil , Xavier Urbain
International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016), Nov 2016, Lyon, France. pp.7-19, ⟨10.1007/978-3-319-49259-9_2⟩
Communication dans un congrès hal-01491813v1
Image document

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

Thibaut Balabonski , Pierre Courtieu , Robin Pelle , Lionel Rieg , Sébastien Tixeuil
[Research Report] Sorbonne Université, CNRS, Laboratoire d’Informatique de Paris 6, LIP6, F-75005 Paris, France. 2018, pp.1-12
Rapport hal-01762962v1
Image document

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

Pierre Courtieu , Lionel Rieg , Sébastien Tixeuil , Xavier Urbain
[Research Report] UPMC; CNAM. 2016
Rapport hal-01274295v1
Image document

A Certified Universal Gathering Algorithm for Oblivious Mobile Robots

Pierre Courtieu , Lionel Rieg , Sébastien Tixeuil , Xavier Urbain
[Research Report] UPMC, Sorbonne Universites CNRS; CNAM, Paris; College de France; Université Paris Sud. 2015
Rapport hal-01159890v1
Image document

Impossibility of Gathering, a Certification

Pierre Courtieu , Lionel Rieg , Xavier Urbain , Sébastien Tixeuil
[Technical Report] CEDRIC-14-3016, CEDRIC laboratory, CNAM-Paris, France. 2014, pp.10
Rapport hal-00995126v1