Sébastien Tixeuil
9
Documents
Publications
- 9
- 6
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
Parameterized verification of algorithms for oblivious robots on a ringFormal Methods in System Design, 2020, 56, pp.55-89. ⟨10.1007/s10703-019-00335-y⟩
Article dans une revue
hal-02290400v1
|
|
[Invited Paper] Formal Methods for Mobile Robots: Current Results and Open ProblemsInternational Journal of Informatics Society, 2015, 7 (3), pp.101-114
Article dans une revue
hal-01238784v1
|
On the Encoding and Solving of Partial Information Games8th International Conference on Networked Systems - NETYS 2020, Jun 2020, Marrakech, Morocco. pp.60-76, ⟨10.1007/978-3-030-67087-0_5⟩
Communication dans un congrès
hal-02979574v1
|
|
Parameterized verification of algorithms for oblivious robots on a ringFormal Methods in Computer Aided Design, Oct 2017, Vienna, Austria. pp.212-219, ⟨10.23919/FMCAD.2017.8102262⟩
Communication dans un congrès
hal-01664894v1
|
|
|
Synthèse d'algorithmes pour robots mobiles : le cas du regroupement sur un anneauALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France
Communication dans un congrès
hal-01154517v1
|
|
On the Synthesis of Mobile Robots Algorithms: the Case of Ring GatheringSSS 2014 - 16th International Symposium on Stabilization, Safety and Security of Distributed Systems, Sep 2014, Paderborn, Germany. pp.237-251, ⟨10.1007/978-3-319-11764-5_17⟩
Communication dans un congrès
hal-01016832v2
|
Formal Methods for Mobile RobotsPaola Flocchini; Giuseppe Prencipe; Nicola Santoro. Distributed Computing by Mobile Entities, Current Research in Moving and Computing, 11340, Springer International Publishing, pp.278-313, 2019, Theoretical Computer Science and General Issues, 978-3-030-11071-0. ⟨10.1007/978-3-030-11072-7_12⟩
Chapitre d'ouvrage
hal-01981634v1
|
|
On the encoding and solving partial information games[Research Report] LIP6, Sorbonne Université, CNRS, UMR 7606; LINCS; CEA Paris Saclay; Sorbonne Université. 2018
Rapport
hal-01790508v1
|
|
Parameterized Verification of Algorithms for Oblivious Robots on a Ring[Research Report] UPMC Sorbonne Universités. 2017
Rapport
hal-01540339v1
|