Accéder directement au contenu

Sébastien Tixeuil

28
Documents

Publications

stephane-devismes
Image document

Terminating Exploration Of A Grid By An Optimal Number Of Asynchronous Oblivious Robots

Stéphane Devismes , Anissa Lamani , Franck Petit , Pascal Raymond , Sébastien Tixeuil
The Computer Journal, 2021, The Computer Journal, 64 (1), pp.132-154. ⟨10.1093/comjnl/bxz166⟩
Article dans une revue hal-02363013v1
Image document

Optimal torus exploration by oblivious robots

Stéphane Devismes , Anissa Lamani , Franck Petit , Sébastien Tixeuil
Computing, 2019, 101 (9), pp.1241-1264. ⟨10.1007/s00607-018-0595-8⟩
Article dans une revue hal-02420598v1

Weak vs. Self vs. Probabilistic Stabilization

Stéphane Devismes , Sébastien Tixeuil , Masafumi Yamashita
International Journal of Foundations of Computer Science, 2015, 26 (3), pp.293-319. ⟨10.1142/S0129054115500173⟩
Article dans une revue hal-01198945v1

Optimal probabilistic ring exploration by semi-synchronous oblivious robots

Stéphane Devismes , Franck Petit , Sébastien Tixeuil
Theoretical Computer Science, 2013, 498, pp.10-27. ⟨10.1016/j.tcs.2013.05.031⟩
Article dans une revue hal-00930045v1

A self-stabilizing 3-approximation for the maximum leaf spanning tree problem in arbitrary networks

Sayaka Kamei , Hirostugu Kakugawa , Stéphane Devismes , Sébastien Tixeuil
Journal of Combinatorial Optimization, 2013, 25 (3), pp.430-459. ⟨10.1007/s10878-011-9383-5⟩
Article dans une revue hal-00930035v1

Snap-Stabilization in Message-Passing Systems

Sylvie Delaët , Stéphane Devismes , Mikhail Nesterenko , Sébastien Tixeuil
Journal of Parallel and Distributed Computing, 2010, 70 (12), pp.1220-1230. ⟨10.1016/j.jpdc.2010.04.002⟩
Article dans une revue hal-01154466v1
Image document

Optimal Torus Exploration by Oblivious Robots

Stéphane Devismes , Anissa Lamani , Franck Petit , Sébastien Tixeuil
NETYS 2015 - Third International Conference on Networked Systems, May 2015, Agadir, Morocco. pp.183-199, ⟨10.1007/978-3-319-26850-7_13⟩
Communication dans un congrès hal-00926573v3
Image document

Explorer une grille avec un minimum de robots amnésiques

Franck Petit , Anissa Lamani , Stéphane Devismes , Sébastien Tixeuil , Pascal Raymond
15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4
Communication dans un congrès hal-00817123v1

Fast Leader (Full) Recovery Despite Dynamic Faults

Ajoy Datta , Stéphane Devismes , Lawrence L. Larmore , Sébastien Tixeuil
International Conference on Distributed Computing and Networking, Jan 2013, Mumbai, India. pp.428-433, ⟨10.1007/978-3-642-35668-1_30⟩
Communication dans un congrès hal-00930061v1

Optimal Grid Exploration by Asynchronous Oblivious Robots

Stéphane Devismes , Anissa Lamani , Franck Petit , Pascal Raymond , Sébastien Tixeuil
International Symposium on Stabilization, Safety, and Security of Distributed Systems, Oct 2012, Toronto, Canada. pp.64-76, ⟨10.1007/978-3-642-33536-5_7⟩
Communication dans un congrès hal-00934161v1

A Self-Stabilizing 3-Approximation for the Maximum Leaf Spanning Tree Problem in Arbitrary Networks

Sayaka Kamei , Hirotsugu Kakugawa , Stéphane Devismes , Sébastien Tixeuil
COCOON 2010, Jul 2010, Na Thrang, Vietnam. pp.80-89, ⟨10.1007/978-3-642-14031-0_11⟩
Communication dans un congrès hal-01292491v1

Probabilistic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks

Samuel Bernard , Stéphane Devismes , Katy Paroux , Maria Gradinariu Potop-Butucaru , Sébastien Tixeuil
11th International Conference on Distributed Computing and Networking, ICDCN 2010, Jan 2010, Kolkata, India. pp.167-177, ⟨10.1007/978-3-642-11322-2_19⟩
Communication dans un congrès hal-01292601v1
Image document

Communications Efficaces et Auto-Stabilisation

Stéphane Devismes , Toshimitsu Masuzawa , Sébastien Tixeuil
12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2010, Belle-Dune, France. pp.id 19
Communication dans un congrès hal-00479860v1
Image document

Sur le Coloriage Auto-stabilisant dans les Réseaux Unidirectionnels Anonymes

Samuel Bernard , Stéphane Devismes , Katy Paroux , Maria Gradinariu Potop-Butucaru , Sébastien Tixeuil
11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France
Communication dans un congrès inria-00384649v2

Communication Efficiency in Self-Stabilizing Silent Protocols

Stéphane Devismes , Toshimitsu Masuzawa , Sébastien Tixeuil
The IEEE International Conference on Distributed Computing Systems (ICDCS 2009), Jun 2009, Montreal, Canada. pp.474-481, ⟨10.1109/ICDCS.2009.24⟩
Communication dans un congrès hal-01295187v1
Image document

Stabilisation instantanée dans les systèmes à passage de messages

Sylvie Delaët , Stéphane Devismes , Mikhail Nesterenko , Sébastien Tixeuil
11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France
Communication dans un congrès inria-00383350v1

Snap-Stabilization in Message-Passing Systems

Sylvie Delaët , Stéphane Devismes , Mikhail Nesterenko , Sébastien Tixeuil
International Conference on Distributed Computing and Networking (ICDCN 2009), Jan 2009, Hyderabad, India. pp.281-286, ⟨10.1007/978-3-540-92295-7_34⟩
Communication dans un congrès hal-01295022v1

Optimal deterministic self-stabilizing vertex coloring in unidirectional anonymous networks

Samuel Bernard , Stéphane Devismes , Maria Gradinariu Potop-Butucaru , Sébastien Tixeuil
IPDPS, May 2009, Rome, Italy. pp.1-8, ⟨10.1109/IPDPS.2009.5161053⟩
Communication dans un congrès hal-01298811v1
Image document

Exploration Optimale Probabiliste d'un Anneau par des Robots Semi-Synchrones et Amnésiques

Stéphane Devismes , Franck Petit , Sébastien Tixeuil
11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France
Communication dans un congrès inria-00383351v1

Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots

Stéphane Devismes , Franck Petit , Sébastien Tixeuil
Sirocco 2009, May 2009, Piran, Slovenia. pp.195-208, ⟨10.1007/978-3-642-11476-2_16⟩
Communication dans un congrès hal-01295189v1

Weak vs. Self vs. Probabilistic Stabilization

Stéphane Devismes , Sébastien Tixeuil , Masafumi Yamashita
IEEE International Conference on Distributed Computing Systems (ICDCS 2008), Jun 2008, Beijing, China. pp.681-688, ⟨10.1109/ICDCS.2008.12⟩
Communication dans un congrès hal-01303470v1

Brief Announcement: Snap-Stabilization in Message-Passing Systems

Sylvie Delaët , Stéphane Devismes , Mikhail Nesterenko , Sébastien Tixeuil
Principles of Distributed Computing (PODC 2008), Aug 2008, Toronto, Canada. pp.443-443, ⟨10.1145/1400751.1400838⟩
Communication dans un congrès hal-01303457v1