Access content directly

Sébastien Tixeuil

313
Documents

Publications

Swarms of Mobile Robots: Towards Versatility with Safety

Pierre Courtieu , Lionel Rieg , Sébastien Tixeuil , Xavier Urbain
Leibniz Transactions on Embedded Systems, 2022, Special Issue on Distributed Hybrid Systems, 8 (2), pp.02:1-02:36. ⟨10.4230/LITES.8.2.2⟩
Journal articles hal-03901898v1
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 et al.
The Computer Journal, 2021, The Computer Journal, 64 (1), pp.132-154. ⟨10.1093/comjnl/bxz166⟩
Journal articles hal-02363013v1

Mobile Robots with Uncertain Visibility Sensors: Possibility Results and Lower Bounds

Adam Heriban , Sébastien Tixeuil
Parallel Processing Letters, 2021, 31 (01), pp.2150002. ⟨10.1142/S012962642150002X⟩
Journal articles hal-03154617v1
Image document

Compact self-stabilizing leader election for general networks

Lélia Blin , Sébastien Tixeuil
Journal of Parallel and Distributed Computing, 2020, ⟨10.1016/j.jpdc.2020.05.019⟩
Journal articles hal-02873070v1

Special issue on Structural Information and Communication Complexity

Shantanu Das , Sébastien Tixeuil
Theoretical Computer Science, 2020, 811, pp.1-2. ⟨10.1016/j.tcs.2020.02.003⟩
Journal articles hal-02873078v1

Parameterized verification of algorithms for oblivious robots on a ring

Arnaud Sangnier , Nathalie Sznajder , Maria Potop-Butucaru , Sébastien Tixeuil
Formal Methods in System Design, 2020, 56, pp.55-89. ⟨10.1007/s10703-019-00335-y⟩
Journal articles hal-02290400v1

Packet Efficient Implementation of the Omega Failure Detector

Quentin Bramas , Dianne Foreback , Mikhail Nesterenko , Sébastien Tixeuil
Theory of Computing Systems, 2019, 63 (2), pp.237-260. ⟨10.1007/s00224-018-9856-3⟩
Journal articles hal-02084539v1

Multi-hop Byzantine reliable broadcast with honest dealer made practical

Silvia Bonomi , Giovanni Farina , Sébastien Tixeuil
Journal of the Brazilian Computer Society, 2019, 25 (1), ⟨10.1186/s13173-019-0090-x⟩
Journal articles hal-02281139v1
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⟩
Journal articles hal-02420598v1

Approximate Agreement under Mobile Byzantine Faults

Silvia Bonomi , Antonella del Pozzo , Maria Potop-Butucaru , Sébastien Tixeuil
Theoretical Computer Science, 2019, 758, pp.17-29. ⟨10.1016/j.tcs.2018.08.001⟩
Journal articles hal-02076370v1
Image document

On asynchronous rendezvous in general graphs

Evangelos Bampas , Lélia Blin , Jurek Czyzowicz , David Ilcinkas , Arnaud Labourel et al.
Theoretical Computer Science, 2019, 753, pp.80-90. ⟨10.1016/j.tcs.2018.06.045⟩
Journal articles hal-01900843v1

Synchronous Gathering without Multiplicity Detection: a Certified Algorithm

Thibaut Balabonski , Amélie Delga , Lionel Rieg , Sébastien Tixeuil , Xavier Urbain et al.
Theory of Computing Systems, 2019, 63 (2), pp.200-218. ⟨10.1007/s00224-017-9828-z⟩
Journal articles hal-01894618v1

On time complexity for connectivity-preserving scattering of mobile robots

Taisuke Izumi , Daichi Kaino , Maria Gradinariu Potop-Butucaru , Sébastien Tixeuil
Theoretical Computer Science, 2018, 738, pp.42-52. ⟨10.1016/j.tcs.2018.04.047⟩
Journal articles hal-02076455v1
Image document

Compact deterministic self-stabilizing leader election on a ring: the exponential advantage of being talkative

Lélia Blin , Sébastien Tixeuil
Distributed Computing, 2018, 31 (2), pp.139-166. ⟨10.1007/s00446-017-0294-2⟩
Journal articles hal-01486763v1

AUTOMATED SYNTHESIS OF DISTRIBUTED SELF-STABILIZING PROTOCOLS

Fathiyeh Faghih , Borzoo Bonakdarpour , Sébastien Tixeuil , Sandeep S. Kulkarni
Logical Methods in Computer Science, 2018, 14, pp.1 - 25. ⟨10.23638/LMCS-14(1:12)2018⟩
Journal articles hal-02076452v1

Evaluating and Optimizing Stabilizing Dining Philosophers

Jordan Adamek , Giovanni Farina , Mikhail Nesterenko , Sébastien Tixeuil
Journal of Parallel and Distributed Computing, 2017, 109, pp.63-74. ⟨10.1016/j.jpdc.2017.05.003⟩
Journal articles hal-01520335v1
Image document

The complexity of data aggregation in static and dynamic wireless sensor networks

Quentin Bramas , Sébastien Tixeuil
Information and Computation, 2017, 255 (3), pp.369-383. ⟨10.1016/j.ic.2016.12.004⟩
Journal articles hal-01419900v1

The Random Bit Complexity of Mobile Robot Scattering

Quentin Bramas , Sébastien Tixeuil
International Journal of Foundations of Computer Science, 2017, 28 (2), pp.111-133. ⟨10.1142/S0129054117500083⟩
Journal articles hal-01349017v1

A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-Free Property

Lélia Blin , Maria Potop-Butucaru , Stephane Rovedakis , Sébastien Tixeuil
The Computer Journal, 2016, 59 (2), pp.225-243. ⟨10.1093/comjnl/bxv110⟩
Journal articles hal-01269828v1
Image document

Formal verification of mobile robot protocols

Beatrice Bérard , Pascal Lafourcade , Laure Millet , Maria Potop-Butucaru , Yann Thierry-Mieg et al.
Distributed Computing, 2016, 29 (6), pp.459-487. ⟨10.1007/s00446-016-0271-1⟩
Journal articles hal-01344903v1

Tolerating Random Byzantine Failures in an Unbounded Network

Alexandre Maurer Maurer , Sébastien Tixeuil
Parallel Processing Letters, 2016, 26 (1), pp.1650003. ⟨10.1142/S0129626416500031⟩
Journal articles hal-01294311v1

Practically stabilizing SWMR atomic memory in message passing systems

Noga Alon , Hagit Attiya , Shlomi Dolev , Swan Dubois , Maria Potop-Butucaru et al.
Journal of Computer and System Sciences, 2015, 81 (4), pp.692-701. ⟨10.1016/j.jcss.2014.11.014⟩
Journal articles hal-01123697v1

On the self-stabilization of mobile oblivious robots in uniform rings

Fukuhito Ooshita , Sébastien Tixeuil
Theoretical Computer Science, 2015, 568, pp.84-96. ⟨10.1016/j.tcs.2014.12.008⟩
Journal articles hal-01123668v1

Containing Byzantine Failures with Control Zones

Alexandre Maurer , Sébastien Tixeuil
IEEE Transactions on Parallel and Distributed Systems, 2015, 26 (2), pp.362-370. ⟨10.1109/TPDS.2014.2308190⟩
Journal articles hal-01123661v1

Maximum Metric Spanning Tree Made Byzantine Tolerant

Swan Dubois , Toshimitsu Masuzawa , Sébastien Tixeuil
Algorithmica, 2015, 73 (1), pp.166-201. ⟨10.1007/s00453-014-9913-5⟩
Journal articles hal-01151748v1

[Invited Paper] Formal Methods for Mobile Robots: Current Results and Open Problems

Béatrice Bérard , Pierre Courtieu , Laure Millet , Maria Potop-Butucaru , Lionel Rieg et al.
International Journal of Informatics Society, 2015, 7 (3), pp.101-114
Journal articles hal-01238784v1

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⟩
Journal articles hal-01198945v1

Impossibility of gathering, a certification

Pierre Courtieu , Lionel Rieg , Sébastien Tixeuil , Xavier Urbain
Information Processing Letters, 2015, 115 (3), pp.447-452. ⟨10.1016/j.ipl.2014.11.001⟩
Journal articles hal-01122869v1

Byzantine broadcast with fixed disjoint paths

Alexandre Maurer , Sébastien Tixeuil
Journal of Parallel and Distributed Computing, 2014, 74 (11), pp.3153--3160. ⟨10.1016/j.jpdc.2014.07.010⟩
Journal articles hal-01151757v1

Gathering fat mobile robots with slim omnidirectional cameras

Anthony Honorat , Maria Potop-Butucaru , Sébastien Tixeuil
Theoretical Computer Science, 2014, 557, pp.1-27. ⟨10.1016/j.tcs.2014.08.004⟩
Journal articles hal-01151754v1

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⟩
Journal articles hal-00930035v1

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⟩
Journal articles hal-00930045v1

Ideal Stabilization

Mikhail Nesterenko , Sébastien Tixeuil
International Journal of Grid and Utility Computing, 2013, 4 (4), pp.219-230. ⟨10.1504/IJGUC.2013.057116⟩
Journal articles hal-00930022v1

Self-stabilizing byzantine asynchronous unison

Swan Dubois , Maria Potop-Butucaru , Mikhail Nesterenko , Sébastien Tixeuil
Journal of Parallel and Distributed Computing, 2012, 72 (7), pp.917-923. ⟨10.1016/j.jpdc.2012.04.001⟩
Journal articles hal-00934022v1

Bounding the Impact of Unbounded Attacks in Stabilization

Swan Dubois , Toshimitsu Masuzawa , Sébastien Tixeuil
IEEE Transactions on Parallel and Distributed Systems, 2012, 23 (3), pp.460-466. ⟨10.1109/TPDS.2011.158⟩
Journal articles hal-00934036v1

Self-stabilization in Self-organized Multihop Wireless Networks

Nathalie Mitton , Bruno Séricola , Sébastien Tixeuil , Eric Fleury , Isabelle Guérin-Lassous et al.
Ad Hoc & Sensor Wireless Networks, 2011, 11 (1-2), pp.1-34
Journal articles hal-00795173v1

Deterministic Secure Positioning in Wireless Sensor Networks

Sylvie Delaët , Partha Sarathi Mandal , Mariusz Rokicki , Sébastien Tixeuil
Theoretical Computer Science, 2011, 412 (35), pp.4471-4481. ⟨10.1016/j.tcs.2011.04.010⟩
Journal articles hal-01154134v1

A self-stabilizing 2/3-approximation algorithm for the maximum matching problem

Fredrik Manne , Morten Mjelde , Laurence Pilard , Sébastien Tixeuil
Theoretical Computer Science, 2011, 412 (40), pp.5515-5526. ⟨10.1016/j.tcs.2011.05.019⟩
Journal articles hal-01154122v1

Stabilizing data-link over non-FIFO channels with optimal fault-resilience

Shlomi Dolev , Swan Dubois , Maria Potop-Butucaru , Sébastien Tixeuil
Information Processing Letters, 2011, 111 (18), pp.912-920. ⟨10.1016/j.ipl.2011.06.010⟩
Journal articles inria-00627760v1

Dynamic FTSS in asynchronous systems: The case of unison

Swan Dubois , Maria Potop-Butucaru , Sébastien Tixeuil
Theoretical Computer Science, 2011, 412 (29), pp.3418-3439. ⟨10.1016/j.tcs.2011.02.012⟩
Journal articles inria-00627763v1

Quiescence of Self-stabilizing Gossiping among Mobile Agents in Graphs

Toshimitsu Masuzawa , Sébastien Tixeuil
Theoretical Computer Science, 2010, 411 (14-15), pp.1567-1582. ⟨10.1016/j.tcs.2010.01.006⟩
Journal articles hal-01154467v1

Optimal Byzantine-resilient Convergence in Unidimensional Robot Networks

Zohir Bouzid , Maria Gradinariu Potop-Butucaru , Sébastien Tixeuil
Theoretical Computer Science, 2010, 411 (34-36), pp.3154-3168. ⟨10.1016/j.tcs.2010.05.006⟩
Journal articles hal-01151863v1
Image document

Ascending runs in dependent uniformly distributed random variables: Application to wireless networks

Nathalie Mitton , Katy Paroux , Bruno Sericola , Sébastien Tixeuil
Methodology and Computing in Applied Probability, 2010, 12 (1), pp.51-62. ⟨10.1007/s11009-008-9088-0⟩
Journal articles hal-00384027v1

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⟩
Journal articles hal-01154466v1

A New Self-Stabilizing Maximal Matching Algorithm

Fredrik Manne , Morten Mjelde , Laurence Pilard , Sébastien Tixeuil
Theoretical Computer Science, 2009, 410 (14), pp.1336-1345. ⟨10.1016/j.tcs.2008.12.022⟩
Journal articles hal-01151767v1

Self-stabilizing Philosophers with Generic Conflicts

Praveen Danturi , Sébastien Tixeuil
ACM Transactions on Autonomous and Adaptive Systems, 2009, 4 (1), pp.7. ⟨10.1145/1462187.1462194⟩
Journal articles hal-01151770v1

On Bootstrapping Topology Knowledge in Anonymous Networks

Toshimitsu Masuzawa , Sébastien Tixeuil
ACM Transactions on Autonomous and Adaptive Systems, 2009, 4 (1), pp.8. ⟨10.1145/1462187.1462195⟩
Journal articles hal-01151766v1

Discovering Network Topology in the Presence of Byzantine Nodes

Mikhail Nesterenko , Sébastien Tixeuil
IEEE Transactions on Parallel and Distributed Systems, 2009, 20 (12), pp.1777-1789. ⟨10.1109/TPDS.2009.25⟩
Journal articles hal-01152552v1

An Exercise in Selfish Stabilization

Johanne Cohen , Anurag Dasgupta , Sukumar Ghosh , Sébastien Tixeuil
ACM Transactions on Autonomous and Adaptive Systems, 2008, 3 (4), pp.Article 15. ⟨10.1145/1452001.1452005⟩
Journal articles inria-00335919v1

Stabilizing Link-Coloration of Arbitrary Networks with Unbounded Byzantine Faults

Toshimitsu Masuzawa , Sébastien Tixeuil
International Journal of Principles and Applications of Information Science and Technology, 2007, 1 (1), pp.1-13
Journal articles hal-01152556v1
Image document

Self-stabilization with r-operators revisited

Sylvie Delaët , Bertrand Ducourthial , Sébastien Tixeuil
Journal of Aerospace Computing, Information, and Communication, 2006, 3 (10), pp.498-514. ⟨10.2514/1.19848⟩
Journal articles hal-00632413v1

Autostabilisation et protocoles réseau

Colette Johnen , Franck Petit , Sébastien Tixeuil
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2004, 23 (4), pp.1027-1056. ⟨10.3166/tsi.23.1027-1056⟩
Journal articles hal-00337547v1
Image document

Self-stabilization with Path Algebra

Bertrand Ducourthial , Sébastien Tixeuil
Theoretical Computer Science, 2003, 293 (1), pp.219-236. ⟨10.1016/S0304-3975(02)00238-4⟩
Journal articles hal-00632374v1
Image document

Self-stabilization with r-operators

Bertrand Ducourthial , Sébastien Tixeuil
Distributed Computing, 2001, 14 (3), pp.147-162. ⟨10.1007/PL00008934⟩
Journal articles hal-00632303v1
Image document

Self-Stabilizing Algorithms in DAG Structured Networks

Sajal K. Das , Ajoy Datta , Sébastien Tixeuil
Parallel Processing Letters, 1999, 9 (4), pp.563-574. ⟨10.1142/S0129626499000529⟩
Journal articles hal-00930899v1
Image document

Il était une fois Algotel

Fabien Mathieu , Sébastien Tixeuil
AlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2022, Saint-Rémy-Lès-Chevreuse, France
Conference papers hal-03656129v1
Image document

Comment réduire efficacement l'entropie des sources malveillantes d'information

Silvia Bonomi , Jérémie Decouchant , Giovanni Farina , Vincent Rahli , Sébastien Tixeuil et al.
AlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2022, Saint-Rémy-Lès-Chevreuse, France
Conference papers hal-03657365v1

Realistic Self-stabilization

Sébastien Tixeuil
26th International Conference on Principles of Distributed Systems (OPODIS 2022), Dec 2022, Bruxelles, Belgium
Conference papers hal-03971242v1
Image document

Asynchronous Gathering in a Torus

Sayaka Kamei , Anissa Lamani , Fukuhito Ooshita , Sébastien Tixeuil , Koichi Wada et al.
OPODIS 2021 - 25th International Conference on Principles of Distributed Systems, Dec 2021, Strasbourg, France. pp.9:1--9:17, ⟨10.4230/LIPIcs.OPODIS.2021.9⟩
Conference papers hal-03592615v1

Partial Gathering of Mobile Robots from Multiplicity-Allowed Configurations in Rings

Masahiro Shibata , Sébastien Tixeuil
Stabilization, Safety, and Security of Distributed Systems, Nov 2020, Austin, United States. pp.264-279, ⟨10.1007/978-3-030-64348-5_21⟩
Conference papers hal-03026522v1
Image document

On peut tromper mille personnes mille fois, mais pas plus

Lélia Blin , Anaïs Durand , Sébastien Tixeuil
ALGOTEL 2020 - 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France. pp.156-165
Conference papers hal-03746708v1
Image document

Uniform Bipartition in the Population Protocol Model with Arbitrary Communication Graphs

Hiroto Yasumi , Fukuhito Ooshita , Michiko Inoue , Sébastien Tixeuil
24th International Conference on Principles of Distributed Systems (OPODIS 2020), Dec 2020, Strasbourg, France. pp.33:1--33:16, ⟨10.4230/LIPIcs.OPODIS.2020.33⟩
Conference papers hal-03126591v1

On the Encoding and Solving of Partial Information Games

Yackolley Amoussou-Guenou , Souheib Baarir , Maria Potop-Butucaru , Nathalie Sznajder , Leo Tible et al.
8th International Conference on Networked Systems (NETYS'20), Jun 2020, Marrakech, Morocco
Conference papers hal-02979574v1

Boosting the Efficiency of Byzantine-Tolerant Reliable Communication

Silvia Bonomi , Giovanni Farina , Sébastien Tixeuil
Stabilization, Safety, and Security of Distributed Systems, Nov 2020, Austin, United States. pp.29-44, ⟨10.1007/978-3-030-64348-5_3⟩
Conference papers hal-03026501v1

Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space

Xavier Defago , Adam Heriban , Sébastien Tixeuil , Koichi Wada
2020 International Symposium on Reliable Distributed Systems (SRDS), Sep 2020, Shanghai, China. pp.113-122, ⟨10.1109/SRDS51746.2020.00019⟩
Conference papers hal-03017408v1

Stand Up Indulgent Rendezvous

Quentin Bramas , Anissa Lamani , Sébastien Tixeuil
Stabilization, Safety, and Security of Distributed Systems, Nov 2020, Austin, United States. pp.45-59, ⟨10.1007/978-3-030-64348-5_4⟩
Conference papers hal-03026512v1
Image document

Une méthode efficace pour éviter la propagation des fake news

Silvia Bonomi , Giovanni Farina , Sébastien Tixeuil
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
Conference papers hal-02875967v1

Autonomous Identification of IoT Device Types based on a Supervised Classification

Nesrine Ammar , Ludovic Noirie , Sébastien Tixeuil
ICC 2020 - 2020 IEEE International Conference on Communications (ICC), Jun 2020, Virtual conference, Ireland. ⟨10.1109/ICC40277.2020.9148821⟩
Conference papers hal-02913093v1
Image document

Du discrètement continu au continûment discret

Thibaut Balabonski , Pierre Courtieu , Robin Pelle , Lionel Rieg , Sébastien Tixeuil et al.
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
Conference papers hal-02871295v1

Broadcasting Information in Multi-hop Networks Prone to Mobile Byzantine Faults

Silvia Bonomi , Giovanni Farina , Sébastien Tixeuil
Networked Systems, 8th International Conference, NETYS 2020, Jun 2020, Marrakech, Morocco. pp.112-128, ⟨10.1007/978-3-030-67087-0_8⟩
Conference papers hal-03109954v1
Image document

Les 4 Robots Fantastiques

Quentin Bramas , 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
Conference papers hal-02123870v1

Network-Protocol-Based IoT Device Identification

Nesrine Ammar , Ludovic Noirie , Sébastien Tixeuil
2019 Fourth International Conference on Fog and Mobile Edge Computing (FMEC), Jun 2019, Rome, Italy. pp.204-209, ⟨10.1109/FMEC.2019.8795318⟩
Conference papers hal-02286011v1

Autonomous IoT Device Identification Prototype

Nesrine Ammar , Ludovic Noirie , Sébastien Tixeuil
Network Traffic Measurement and Analysis Conference 2019, Jun 2019, Paris, France. https://tma.roc.cnam.fr/Proceedings/TMA_Demo_2.pdf, ⟨10.23919/TMA.2019.8784517⟩
Conference papers hal-02168149v1
Image document

Gathering on Rings for Myopic Asynchronous Robots With Lights Sébastien Tixeuil

Sayaka Kamei , Anissa Lamani , Fukuhito Ooshita , Sébastien Tixeuil , Koichi Wada et al.
23rd International Conference on Principles of Distributed Systems (OPODIS 2019), Dec 2019, Neuchatel, Netherlands. pp.27:1--27:17, ⟨10.4230/LIPIcs.OPODIS.2019.27⟩
Conference papers hal-02475374v1
Image document

Amélioration de l’identification du type des objets connectés par classification supervisée

Nesrine Ammar , Ludovic Noirie , Sébastien Tixeuil
CORES2019 - Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, Jun 2019, Jardins de Saint Benoît, France
Conference papers hal-02126555v1

Mobile Robots with Uncertain Visibility Sensors

Adam Heriban , Sébastien Tixeuil
SIROCCO 2019 - 26th International Colloquium on Structural Information and Communication Complexity, Jul 2019, L'Aquila, Italy. pp.349-352, ⟨10.1007/978-3-030-24922-9_27⟩
Conference papers hal-02286008v1
Image document

Brief Announcement: Model Checking Rendezvous Algorithms for Robots with Lights in Euclidean Space

Xavier Défago , Adam Heriban , Sébastien Tixeuil , Koichi Wada
33rd International Symposium on Distributed Computing (DISC 2019), Oct 2019, Budapest, Hungary. pp.41:1--41:3, ⟨10.4230/LIPIcs.DISC.2019.41⟩
Conference papers hal-02394992v1

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

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

Distributed Online Data Aggregation in Dynamic Graphs

Quentin Bramas , Toshimitsu Masuzawa , Sébastien Tixeuil
NETYS 2019 - 7th International Conference on Networked Systems, Jun 2019, Marrakech, Morocco. pp.365-380, ⟨10.1007/978-3-030-31277-0_24⟩
Conference papers hal-02394962v1
Image document

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

Thibaut Balabonski , Pierre Courtieu , Robin Pelle , Lionel Rieg , Sébastien Tixeuil et al.
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
Conference papers hal-02115611v1

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⟩
Conference papers hal-01753439v1

Arbitrary Pattern Formation with Four Robots

Quentin Bramas , Sébastien Tixeuil
SSS 2018 - 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2018, Tokyo, Japan. pp.333-348, ⟨10.1007/978-3-030-03232-6_22⟩
Conference papers hal-02076496v1
Image document

Identification du type des objets connectés par les informations des protocoles réseaux

Nesrine Ammar , Ludovic Noirie , Sébastien Tixeuil
Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, May 2018, Roscoff, France
Conference papers hal-01785952v1

Concurrent Geometric Multicasting

Jordan Adamek , Mikhail Nesterenko , James Scott Robinson , Sébastien Tixeuil
The 19th International Conference on Distributed Computing and Networking, Jan 2018, Varanasi, India. ⟨10.1145/3154273.3154314⟩
Conference papers hal-01753444v1

Churn Possibilities and Impossibilities

Dianne Foreback , Mikhail Nesterenko , Sébastien Tixeuil
NETYS 2018 - 6th International Conference on Networked Systems, May 2018, Essaouira, Morocco. pp.303-317, ⟨10.1007/978-3-030-05529-5_20⟩
Conference papers hal-02076478v1

Reliable Broadcast in Dynamic Networks with Locally Bounded Byzantine Failures

Silvia Bonomi , Giovanni Farina , Sébastien Tixeuil
SSS 2018 - 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2018, Tokyo, Japan. pp.170-185, ⟨10.1007/978-3-030-03232-6_12⟩
Conference papers hal-02076398v1

Ring Exploration with Myopic Luminous Robots

Fukuhito Ooshita , Sébastien Tixeuil
SSS 2018 - 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2018, Tokyo, Japan. pp.301-316, ⟨10.1007/978-3-030-03232-6_20⟩
Conference papers hal-02076489v1

Short Paper: Tight Bounds for Universal and Cautious Self-stabilizing 1-Maximal Matching

Michiko Inoue , Sébastien Tixeuil
NETYS 2018 - 6th International Conference on Networked Systems, May 2018, Essaouira, Morocco. pp.334-339, ⟨10.1007/978-3-030-05529-5_22⟩
Conference papers hal-02076484v1

Brief Announcement: Optimal Self-stabilizing Mobile Byzantine-Tolerant Regular Register with Bounded Timestamps

Silvia Bonomi , Antonella del Pozzo , Maria Potop-Butucaru , Sébastien Tixeuil
20th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2018), Nov 2018, Tokyo, Japan. pp.398-403, ⟨10.1007/978-3-030-03232-6_28⟩
Conference papers hal-02443130v1

Multi-hop Byzantine Reliable Broadcast Made Practical

Silvia Bonomi , Giovanni Farina , Sébastien Tixeuil
LADC 2018 - 8th Latin-American Symposium on Dependable Computing, Oct 2018, Foz do Iguau, Brazil. pp.155-160, ⟨10.1109/LADC.2018.00026⟩
Conference papers hal-02076443v1

Compact Self-Stabilizing Leader Election for General Networks

Lélia Blin , Sébastien Tixeuil
LATIN 2018 - 13th Latin American Symposium on Theoretical Informatics, Apr 2018, Buenos Aires, Argentina. pp.161-173, ⟨10.1007/978-3-319-77404-6_13⟩
Conference papers hal-02076468v1

Optimally Gathering Two Robots

Adam Heriban , Xavier Défago , Sébastien Tixeuil
The 19th International Conference on Distributed Computing and Networking, Jan 2018, Varanasi, India. pp.3, ⟨10.1145/3154273.3154323⟩
Conference papers hal-01753431v1

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

Thibaut Balabonski , Pierre Courtieu , Robin Pelle , Lionel Rieg , Sébastien Tixeuil et al.
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⟩
Conference papers hal-01937420v1

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

Thibaut Balabonski , Pierre Courtieu , Lionel Rieg , Sébastien Tixeuil , Xavier Urbain et al.
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⟩
Conference papers hal-01549942v1

Optimal Storage under Unsynchronized Mobile Byzantine Faults

Silvia Bonomi , Antonella del Pozzo , Maria Potop-Butucaru , Sébastien Tixeuil
36th IEEE Symposium on Reliable Distributed Systems (SRDS 2017), Sep 2017, Hong Kong, China
Conference papers hal-01549931v1
Image document

Les Vertus Énergétiques de l'Inondation à Pleine Puissance

Quentin Bramas , Sébastien Tixeuil
Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, May 2017, Quiberon, France
Conference papers hal-01518553v1

Brief Announcement: Efficient Self-Stabilizing 1-Maximal Matching Algorithm for Arbitrary Networks

Michiko Inoue , Fukuhito Ooshita , Sébastien Tixeuil
ACM Conference on Principles of Distributed Computing (PODC 2017) , Jul 2017, Washington, United States
Conference papers hal-01520336v1

Stateless Reliable Geocasting

Jordan Adamek , Mikhail Nesterenko , James Scott Robinson , Sébastien Tixeuil
36th IEEE Symposium on Reliable Distributed Systems (SRDS 2017), Sep 2017, Hong Kong, China
Conference papers hal-01549915v1

Parameterized verification of algorithms for oblivious robots on a ring

Arnaud Sangnier , Nathalie Sznajder , Maria Potop-Butucaru , Sébastien Tixeuil
Formal Methods in Computer Aided Design, Oct 2017, Vienna, Austria. pp.212-219, ⟨10.23919/FMCAD.2017.8102262⟩
Conference papers hal-01664894v1

Brief announcement: Compact Self-Stabilizing Leader Election for General Networks

Lélia Blin , Sébastien Tixeuil
31st International Symposium on Distributed Computing (DISC 2017), Oct 2017, Vienna, Austria
Conference papers hal-01553088v1
Image document

Agrégation Distribuée de Données dans les Réseaux Dynamiques

Quentin Bramas , Toshimitsu Masuzawa , Sébastien Tixeuil
ALGOTEL 2017 - 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2017, Quiberon, France
Conference papers hal-01518548v1
Image document

Algorithme Auto-Stabilisant Compact d'Election pour les Graphes Arbitraires

Lélia Blin , Sébastien Tixeuil
ALGOTEL 2017 - 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2017, Quiberon, France
Conference papers hal-01512950v1
Image document

Specification-Based Synthesis of Distributed Self-Stabilizing Protocols

Fathiyeh Faghih , Borzoo Bonakdarpour , Sébastien Tixeuil , Sandeep Kulkarni
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.124-141, ⟨10.1007/978-3-319-39570-8_9⟩
Conference papers hal-01432932v1

Optimal Mobile Byzantine Fault Tolerant Distributed Storage

Silvia Bonomi , Antonella del Pozzo , Maria Potop-Butucaru , Sébastien Tixeuil
ACM Conference on Principles of Distributed Computing (PODC), ACM, Jul 2016, Chicago, United States
Conference papers hal-01349064v1

Stability and optimization of DNS-based request redirection in CDNs

Walid Benchaïta , Samir Ghamri-Doudane , Sébastien Tixeuil
International Conference on Distributed Computing and Networking , Jan 2016, Singapore, Singapore. pp.11, ⟨10.1145/2833312.2833455⟩
Conference papers hal-01272045v1

Benchmarking Energy-Efficient Broadcast Protocols in Wireless Sensor Networks

Quentin Bramas , Sébastien Tixeuil
Networked Systems - Fourth International Conference (NETYS 2016), May 2016, Marakech, Morocco
Conference papers hal-01349075v1

Probabilistic Asynchronous Arbitrary Pattern Formation (Short Paper)

Quentin Bramas , Sébastien Tixeuil
International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016), Nov 2016, Lyon, France. pp.88-93, ⟨10.1007/978-3-319-49259-9_7⟩
Conference papers hal-01491832v1

Infinite Unlimited Churn (Short Paper)

Dianne Foreback , Mikhail Nesterenko , Sébastien Tixeuil
International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016), Nov 2016, Lyon, France. pp.148-153, ⟨10.1007/978-3-319-49259-9_12⟩
Conference papers hal-01491828v1

Specification-based Synthesis of Distributed Self-Stabilizing Protocols

Fathiyeh Faghih , Borzoo Bonakdarpour , Sandeep Kulkarni , Sébastien Tixeuil
Formal Techniques for Distributed Objects, Components, and Systems International Conference (FORTE 2016), May 2016, Heraklion, Greece
Conference papers hal-01349070v1

An Efficient Silent Self-stabilizing 1-Maximal Matching Algorithm Under Distributed Daemon Without Global Identifiers

Michiko Inoue , Fukuhito Ooshita , Sébastien Tixeuil
International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016), Nov 2016, Lyon, France. pp.195-212, ⟨10.1007/978-3-319-49259-9_17⟩
Conference papers hal-01491823v1

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
Conference papers 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
Conference papers hal-01349061v1

Packet Efficient Implementation of the Omega Failure Detector

Quentin Bramas , Dianne Foreback , Mikhail Nesterenko , Sébastien Tixeuil
International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016), Nov 2016, Lyon, France. pp.70-87, ⟨10.1007/978-3-319-49259-9_6⟩
Conference papers hal-01491817v1

Synchronous Gathering Without Multiplicity Detection: A Certified Algorithm

Thibaut Balabonski , Amélie Delga , Lionel Rieg , Sébastien Tixeuil , Xavier Urbain et al.
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⟩
Conference papers hal-01491813v1
Image document

Formation de Motifs Géométriques Arbitraires par des Robots Désorientés

Quentin Bramas , Sébastien Tixeuil
ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications , May 2016, Bayonne, France
Conference papers hal-01302912v1

Asynchronous Gathering in Rings with 4 Robots

Francois Bonnet , Maria Potop-Butucaru , Sébastien Tixeuil
Ad Hoc Now 2016, Jul 2016, Lille, France
Conference papers hal-01340243v1

Enhancing Content Distribution through Information-Aware Mechanisms

Walid Benchaïta , Gioacchino Tangari , Samir Ghamri-Doudane , Sébastien Tixeuil
CloudNet, Oct 2016, Pisa, Italy
Conference papers hal-01349026v1

Brief announcement: Probabilistic Asynchronous Arbitrary Pattern Formation

Quentin Bramas , Sébastien Tixeuil
ACM Conference on Principles of Distributed Computing (PODC), Jul 2016, Chicago, United States
Conference papers hal-01349087v1

Evaluating and Optimizing Stabilizing Dining Philosophers

Jordan Adamek , Mikhail Nesterenko , Sébastien Tixeuil
The European Dependable Computing Conference (EDCC 2015), Sep 2015, Paris, France
Conference papers hal-01213278v1

Communicating Reliably in Multihop Dynamic Networks despite Byzantine Failures

Alexandre Maurer , Xavier Défago , Sébastien Tixeuil
The International Symposium on Reliable Distributed Systems (SRDS2015), Sep 2015, Montreal, Canada
Conference papers hal-01213311v1
Image document

Communication fiable dans un réseau dynamique en présence de fautes Byzantines

Alexandre Maurer , Xavier Defago , Sébastien Tixeuil
ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France
Conference papers hal-01146737v1

The Complexity of Data Aggregation in Static and Dynamic Wireless Sensor Networks

Quentin Bramas , Sébastien Tixeuil
The International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2015), Aug 2015, Edmonton, Canada. pp.36-50, ⟨10.1007/978-3-319-21741-3_3⟩
Conference papers hal-01213269v1

Stabilizing Byzantine-Fault Tolerant Storage

Silvia Bonomi , Maria Potop-Butucaru , Sébastien Tixeuil
IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2015, May 2015, Hyderabad, India. pp.894-903, ⟨10.1109/IPDPS.2015.89⟩
Conference papers hal-01206290v1
Image document

Agréger Rapidement des Données est Difficile

Quentin Bramas , Sébastien Tixeuil
ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France
Conference papers hal-01144458v1
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⟩
Conference papers hal-00926573v3

WiSeBat: Accurate Energy Benchmarking of Wireless Sensor Networks

Quentin Bramas , Wilfried Dron , Mariem Ben Fadhl , Khalil Hachicha , Patrick Garda et al.
The Forum on specification and Design Languages (FDL 2015), Sep 2015, Barcelona, Spain. pp.1--8, ⟨10.1109/FDL.2015.7306084⟩
Conference papers hal-01213325v1

Wait-free Gathering without Chirality

Quentin Bramas , Sébastien Tixeuil
SIROCCO 2015, Jul 2015, Montserrat, Spain
Conference papers hal-01213285v1

Automated Analysis of Impact of Scheduling on Performance of Self-Stabilizing Protocols

Saba Aflaki , Borzoo Bonakdarpour , Sébastien Tixeuil
The International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2015), Aug 2015, Edmonton, Canada. pp.156-170, ⟨10.1007/978-3-319-21741-3_11⟩
Conference papers hal-01213273v1

The Random Bit Complexity of Mobile Robots Scattering

Quentin Bramas , Sébastien Tixeuil
Ad-hoc, Mobile, and Wireless Networks - 14th International Conference, ADHOC-NOW 2015, Jun 2015, Athènes, Greece. pp.210-224, ⟨10.1007/978-3-319-19662-6_15⟩
Conference papers hal-01135398v1
Image document

De la Survie Énergétique des Réseaux de Capteurs

Quentin Bramas , Wilfried Dron , Mariem Ben Fadhl , Khalil Hachicha , Patrick Garda et al.
ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France
Conference papers hal-01144309v1
Image document

Synthèse d'algorithmes pour robots mobiles : le cas du regroupement sur un anneau

Laure Millet , Maria Potop-Butucaru , Nathalie Sznajder , Sébastien Tixeuil
ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France
Conference papers hal-01154517v1
Image document

On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering

Laure Millet , Maria Potop-Butucaru , Nathalie Sznajder , Sébastien Tixeuil
SSS 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⟩
Conference papers hal-01016832v2
Image document

Le pouvoir séparateur d'une pièce de monnaie

Quentin Bramas , Sébastien Tixeuil
ALGOTEL 2014 -- 16èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2014, Le Bois-Plage-en-Ré, France. pp.1-4
Conference papers hal-00985322v1

Brief Announcement: Designing a Fault Tolerance Algorithm to Optimize Experimental Performance: the Case of Stabilizing Dining Philosophers

Jordan Adamek , Mikhail Nesterenko , Sébastien Tixeuil
16th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2014, Sep 2014, Paderborn, Germany. pp.349-351
Conference papers hal-01215924v1

Self-stabilizing Byzantine Broadcast

Alexandre Maurer , Sébastien Tixeuil
The 33rd IEEE Symposium on Reliable Distributed Systems (SRDS 2014), Oct 2014, Nara, Japan. pp.152-160, ⟨10.1109/SRDS.2014.10⟩
Conference papers hal-01215926v1

Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols

François Bonnet , Xavier Défago , Franck Petit , Maria Potop-Butucaru , Sébastien Tixeuil et al.
Workshop on Self-organization in Swarm of Robots: from Molecular Robots to Mobile Agents (WSSR 2014), Oct 2014, Nara, Japan. pp.50-59, ⟨10.1109/SRDSW.2014.34⟩
Conference papers hal-01108586v1

Consensus with Unknown Participants in Shared Memory

Catia Khouri , Fabiola Greve , Sébastien Tixeuil
International Symposium on Reliable Distributed Systems, Sep 2013, Braga, Portugal. pp.51-60, ⟨10.1109/SRDS.2013.14⟩
Conference papers hal-00930100v1

Certified Impossibility Results for Byzantine-Tolerant Mobile Robots

Cédric Auger , Zohir Bouzid , Pierre Courtieu , Sébastien Tixeuil , Xavier Urbain et al.
International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2013, Osaka, Japan. pp.178-190, ⟨10.1007/978-3-319-03089-0_13⟩
Conference papers hal-00930267v1
Image document

Vérification formelle et robots mobiles

Béatrice Bérard , Laure Millet , Maria Gradinariu Potop-Butucaru , Yann Thierry-Mieg , Sébastien Tixeuil et al.
15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4
Conference papers hal-00818707v1
Image document

A Scalable Byzantine Grid

Alexandre Maurer , Sébastien Tixeuil
International Conference on Distributed Computing and Networking, Jan 2013, Mumbai, India. pp.87-101, ⟨10.1007/978-3-642-35668-1_7⟩
Conference papers hal-00742655v1

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⟩
Conference papers hal-00930061v1

Gathering of Mobile Robots Tolerating Multiple Crash Faults

Zohir Bouzid , Shantanu Das , Sébastien Tixeuil
International Conference on Distributed Computing Systems, Jul 2013, Philadelphia, United States. pp.337-346, ⟨10.1109/ICDCS.2013.27⟩
Conference papers hal-00930074v1

Compact Deterministic Self-stabilizing Leader Election - The Exponential Advantage of Being Talkative

Lélia Blin , Sébastien Tixeuil
DISC 2013 - 27th International Symposium on Distributed Computing, Oct 2013, Jerusalem, Israel. pp.76-90, ⟨10.1007/978-3-642-41527-2_6⟩
Conference papers hal-00930095v1

Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Model Checking

Narges Fallahi , Borzoo Bonakdarpour , Sébastien Tixeuil
International Symposium on Reliable Distributed Systems, Sep 2013, Braga, Portugal. pp.153-162, ⟨10.1109/SRDS.2013.24⟩
Conference papers hal-00930109v1
Image document

Contenu généré par les utilisateurs : une étude sur DailyMotion

Yannick Carlinet , The Dang Huynh , Bruno Kauffmann , Fabien Mathieu , Ludovic Noirie et al.
15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4
Conference papers hal-00818606v1
Image document

Tolérer les fautes Byzantines dans les graphes planaires

Alexandre Maurer , Sébastien Tixeuil
15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4
Conference papers hal-00812914v4
Image document

Explorer une grille avec un minimum de robots amnésiques

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

Dependable Information Broadcast in Sparsely Connected Networks

Alexandre Maurer , Sébastien Tixeuil
International Conference on Latin American Dependable Computing, LADC 2013, Apr 2013, Rio de Janeiro, Brazil. pp.31-39
Conference papers hal-01219722v1

Linearizing Peer-to-Peer Systems with Oracles

Rizal Mohd Nor , Mikhail Nesterenko , Sébastien Tixeuil
International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2013, Osaka, Japan. pp.221-236, ⟨10.1007/978-3-319-03089-0_16⟩
Conference papers hal-00930281v1

Brief Announcement: Certified impossibility results for Byzantine-tolerant mobile robots

Cédric Auger , Zohir Bouzid , Pierre Courtieu , Sébastien Tixeuil , Xavier Urbain et al.
International Symposium on Distributed Computing (DISC2013), Oct 2013, Jerusalem, Israel. pp.2
Conference papers hal-01126335v1

Brief announcement: deterministic self-stabilizing leader election with O(log log n)-bits

Lélia Blin , Sébastien Tixeuil
ACM Symposium on Principles of Distributed Computing, Jul 2013, Montreal, Canada. pp.125-127, ⟨10.1145/2484239.2484289⟩
Conference papers hal-00930090v1

On the Self-stabilization of Mobile Oblivious Robots in Uniform Rings

Fukuhito Ooshita , Sébastien Tixeuil
International Symposium on Stabilization, Safety, and Security of Distributed Systems, Oct 2012, Toronto, Canada. pp.49-63, ⟨10.1007/978-3-642-33536-5_6⟩
Conference papers hal-00934149v1

Consenso com Participantes Desconhecidos em Memória Compartilhada

Cátia Khouri , Fabíola Greve , Sébastien Tixeuil
Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2012), Apr 2012, Ouro Preto, Brazil. pp.756-769
Conference papers hal-01272830v1
Image document

On Byzantine Broadcast in Loosely Connected Networks

Alexandre Maurer , Sébastien Tixeuil
26th International Symposium on Distributed Computing, DISC 2012, Oct 2012, Salvador, Brazil. pp.253-266, ⟨10.1007/978-3-642-33651-5_18⟩
Conference papers hal-00728337v1

Gathering an Even Number of Robots in an Odd Ring without Global Multiplicity Detection

Sayaka Kamei , Anissa Lamani , Fukuhito Ooshita , Sébastien Tixeuil
Mathematical Foundations of Computer Science, Aug 2012, Bratislava, Slovakia. pp.542-553, ⟨10.1007/978-3-642-32589-2_48⟩
Conference papers hal-00934132v1

Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with Feedback

Jordan Adamek , Mikhail Nesterenko , Sébastien Tixeuil
International Symposium on Stabilization, Safety, and Security of Distributed Systems, Oct 2012, Toronto, Canada. pp.126-132, ⟨10.1007/978-3-642-33536-5_13⟩
Conference papers hal-00934179v1

Optimal Grid Exploration by Asynchronous Oblivious Robots

Stéphane Devismes , Anissa Lamani , Franck Petit , Pascal Raymond , Sébastien Tixeuil et al.
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⟩
Conference papers hal-00934161v1

A Fast and Robust Optimistic Total Order Broadcast for Online Video Games

Samuel Bernard , Xavier Défago , Sébastien Tixeuil
International Conference on Advanced Information Networking and Applications Workshops, Mar 2012, Fukuoka, Japan. pp.189-196, ⟨10.1109/WAINA.2012.105⟩
Conference papers hal-00934047v1

Limiting Byzantine Influence in Multihop Asynchronous Networks

Alexandre Maurer , Sébastien Tixeuil
International Conference on Distributed Computing Systems, Jun 2012, Macau, China. pp.183-192, ⟨10.1109/ICDCS.2012.15⟩
Conference papers hal-00934073v1
Image document

Confinement de fautes Byzantines dans les réseaux multi-sauts asynchrones

Alexandre Maurer , Sébastien Tixeuil
14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2012, La Grande Motte, France
Conference papers hal-00686663v1

Brief Announcement: Probabilistic Stabilization under Probabilistic Schedulers

Yukiko Yamauchi , Sébastien Tixeuil , Shuji Kijima , Masafumi Yamashita
International Symposium on Distributed COmputing, Oct 2012, Salvador, Brazil. pp.413-414, ⟨10.1007/978-3-642-33651-5_34⟩
Conference papers hal-00934232v1

The Byzantine Brides Problem

Swan Dubois , Sébastien Tixeuil , Nini Zhu
FUN 2012 - 6th International Conference Fun with Algorithms, Jun 2012, Venice, Italy. pp.107-118, ⟨10.1007/978-3-642-30347-0_13⟩
Conference papers hal-00934055v1

Crash Resilient and Pseudo-Stabilizing Atomic Registers

Shlomi Dolev , Swan Dubois , Maria Potop-Butucaru , Sébastien Tixeuil
OPODIS 2012 - 16th International Conference on Principles of Distributed Systems, Dec 2012, Rome, Italy. pp.135-150, ⟨10.1007/978-3-642-35476-2_10⟩
Conference papers hal-00934144v1
Image document

Four Months in DailyMotion: Dissecting User Video Requests

Yannick Carlinet , The Dang Huynh , Bruno Kauffmann , Fabien Mathieu , Ludovic Noirie et al.
TRAC 2012 - 3rd International Workshop on TRaffic Analysis and Classification, Aug 2012, Limassol, Cyprus. pp.613-618, ⟨10.1109/IWCMC.2012.6314274⟩
Conference papers hal-00692095v1

Brief Announcement: Wait-Free Gathering of Mobile Robots

Zohir Bouzid , Shantanu Das , Sébastien Tixeuil
International Symposium on Distributed Computing, Oct 2012, Salvador, Brazil. pp.401-402, ⟨10.1007/978-3-642-33651-5_28⟩
Conference papers hal-00934220v1

Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols

François Bonnet , Xavier Défago , Franck Petit , Maria Potop-Butucaru , Sébastien Tixeuil et al.
International Symposium on Stabilization, Safety, and Security of Distributed Systems, Oct 2012, Toronto, Canada. pp.282-284, ⟨10.1007/978-3-642-33536-5_28⟩
Conference papers hal-00934186v1
Image document

Mariages et Trahisons

Swan Dubois , Sébastien Tixeuil , Nini Zhu
AlgoTel'12 - 14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2012, La Grande Motte, France. pp.1-4
Conference papers hal-00689348v1

Distributed Computing with Mobile Robots: an Introductory Survey

Maria Gradinariu Potop-Butucaru , Michel Raynal , Sébastien Tixeuil
NBiS 2011 - 14th International Conference on Network-Based Information Systems, Sep 2011, Tirana, Albania. pp.318-324, ⟨10.1109/NBiS.2011.55⟩
Conference papers hal-00649294v1

Ideal Stabilization

Mikhail Nesterenko , Sébastien Tixeuil
IEEE AINA 2011, Mar 2011, Biopolis, Singapore. pp.224-231, ⟨10.1109/AINA.2011.28⟩
Conference papers hal-01285686v1

Asynchronous mobile robot gathering from symmetric configurations without global multiplicity detection

Sayaka Kamei , Anissa Lamani , Fukuhito Ooshita , Sébastien Tixeuil
Sirocco 2011, Jun 2011, Gdansk, Poland. pp.150-161, ⟨10.1007/978-3-642-22212-2_14⟩
Conference papers hal-01285680v1
Image document

Communication Optimalement Stabilisante sur Canaux non Fiables et non FIFO

Shlomi Dolev , Swan Dubois , Maria Potop-Butucaru , Sébastien Tixeuil
13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2011, Cap Estérel, France
Conference papers inria-00587089v1
Image document

Auto-Stabilisation et Confinement de Fautes Malicieuses : Optimalité du Protocole min+1

Swan Dubois , Toshimitsu Masuzawa , Sébastien Tixeuil
13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2011, Cap Estérel, France
Conference papers inria-00587517v1

Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction

François Bonnet , Alessia Milani , Maria Potop-Butucaru , Sébastien Tixeuil
OPODIS 2011 - 15th International Conference on Principles of Distributed Systems, Dec 2011, Toulouse, France. pp.251-265, ⟨10.1007/978-3-642-25873-2_18⟩
Conference papers hal-00992679v1

Pragmatic Self-Stabilization of Atomic Memory in Message-Passing Systems

Noga Alon , Hagit Attiya , Shlomi Dolev , Swan Dubois , Maria Gradinariu Potop-Butucaru et al.
SSS 2011 - 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Oct 2011, Grenoble, France. pp.19-31, ⟨10.1007/978-3-642-24550-3_4⟩
Conference papers inria-00627780v1

Asynchronous Mobile Robot Gathering from Symmetric Configurations without Global Multiplicity Detection

Sayaka Kamei , Anissa Lamani , Fukuhito Ooshita , Sébastien Tixeuil
SIROCCO 2011, 2011, Gdansk, Poland, Poland. pp.150-161
Conference papers hal-01009454v1

Maximum Metric Spanning Tree made Byzantine Tolerant

Swan Dubois , Toshimitsu Masuzawa , Sébastien Tixeuil
DISC 2011 - 25th International Symposium on Distributed Computing, Sep 2011, Rome, Italy. pp.150-164, ⟨10.1007/978-3-642-24100-0_14⟩
Conference papers inria-00627777v1

Brief Announcement: The BG-simulation for Byzantine Mobile Robots

Taisuke Izumi , Zohir Bouzid , Sébastien Tixeuil , Koichi Wada
DISC 2011, Sep 2011, Roma, Italy. pp.330-331, ⟨10.1007/978-3-642-24100-0_32⟩
Conference papers hal-01285672v1

Robocast: Asynchronous Communication in Robot Networks

Zohir Bouzid , Shlomi Dolev , Maria Gradinariu Potop-Butucaru , Sébastien Tixeuil
OPODIS 2010, Dec 2010, Tozeur, Tunisia. pp.16-31, ⟨10.1007/978-3-642-17653-1_2⟩
Conference papers hal-01290774v1

Optimal Deterministic Ring Exploration with Oblivious Asynchronous Robots

Anissa Lamani , Maria Gradinariu Potop-Butucaru , Sébastien Tixeuil
17th International Colloquium Structural Information and Communication Complexity, SIROCCO, 2010, Şirince, Turkey. pp.183-196, ⟨10.1007/978-3-642-13284-1_15⟩
Conference papers hal-01293850v1

Loop-Free Super-Stabilizing Spanning Tree Construction

Lélia Blin , Maria Gradinariu Potop-Butucaru , Stephane Rovedakis , Sébastien Tixeuil
12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2010), Sep 2010, New York, NY, United States. pp.50--64, ⟨10.1007/978-3-642-16023-3_7⟩
Conference papers hal-00668381v1

Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility

Taisuke Izumi , Maria Gradinariu Potop-Butucaru , Sébastien Tixeuil
SSS, Sep 2010, New York, NY, United States. pp.319-331, ⟨10.1007/978-3-642-16023-3_27⟩
Conference papers hal-01293837v1

Advanced Faults Patterns for WSN Dependability Benchmarking

Ali Asim , Sébastien Tixeuil
The 13th ACM international conference on Modeling, analysis, and simulation of wireless and mobile systems, MSWiM 2010, Oct 2010, Bodrum, Turkey. pp.39-48, ⟨10.1145/1868521.1868530⟩
Conference papers hal-01290826v1

On Byzantine Containment Properties of the min+1 Protocol

Swan Dubois , Toshimitsu Masuzawa , Sébastien Tixeuil
12th International Symposium Stabilization, Safety, and Security of Distributed Systems, SSS, Sep 2010, New York, NY, United States. pp.96-110, ⟨10.1007/978-3-642-16023-3_10⟩
Conference papers hal-01290827v1

Probabilistic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks

Samuel Bernard , Stéphane Devismes , Katy Paroux , Maria Gradinariu Potop-Butucaru , Sébastien Tixeuil et al.
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⟩
Conference papers hal-01292601v1
Image document

Construction auto-stabilisante d'arbre couvrant en dépit d'actions malicieuses

Swan Dubois , Toshimitsu Masuzawa , Sébastien Tixeuil
12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2010, Belle Dune, France
Conference papers inria-00477480v1

Brief Announcement: Monotonic Stabilization

Yukiko Yamauchi , Sébastien Tixeuil
The 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing, PODC'10, Jul 2010, Zurich, Switzerland. pp.406-407, ⟨10.1145/1835698.1835794⟩
Conference papers hal-01291182v1

A Framework for Secure and Private P2P Publish/Subscribe

Samuel Bernard , Maria Gradinariu Potop-Butucaru , Sébastien Tixeuil
12th International Symposium Stabilization, Safety, and Security of Distributed Systems, SSS, Sep 2010, New York, NY, United States. pp.531-545, ⟨10.1007/978-3-642-16023-3_41⟩
Conference papers hal-01293846v1

XS-WSNet : Extreme-scale Wireless Sensor Simulation

Ali Asim , Sébastien Tixeuil
IEEE International Symposium on a World of Wireless Mobile and Multimedia Networks, WoWMoM 2010, Jun 2010, Montreal, Canada. pp.1-9, ⟨10.1109/WOWMOM.2010.5534898⟩
Conference papers hal-01291183v1

Exclusive Perpetual Ring Exploration without Chirality

Lélia Blin , Alessia Milani , Maria Potop-Butucaru , Sébastien Tixeuil
DISC 2010 - 24th International Symposium Distributed Computing, Sep 2010, Cambridge, MA, United States. pp.312-327, ⟨10.1007/978-3-642-15763-9_29⟩
Conference papers hal-00992700v1

Self-stabilizing Byzantine Asynchronous Unison

Swan Dubois , Maria Gradinariu Potop-Butucaru , Mikhail Nesterenko , Sébastien Tixeuil
OPODIS 2010 - 14th International Conference On Principles Of DIstributed Systems, Dec 2010, Tozeur, Tunisia. pp.83-86, ⟨10.1007/978-3-642-17653-1_7⟩
Conference papers inria-00627771v1

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⟩
Conference papers hal-01292491v1

SAFE-OS: a Secure and Usable Desktop Operating System

François Lesueur , Ala Rezmerita , Thomas Hérault , Sylvain Peyronnet , Sébastien Tixeuil et al.
CRiSIS 2010, Oct 2010, Montréal, Canada. pp.1-7, ⟨10.1109/CRISIS.2010.5764916⟩
Conference papers hal-01290776v1

Stabilizing Locally Maximizable Tasks in Unidirectional Networks is Hard

Toshimitsu Masuzawa , Sébastien Tixeuil
IEEE 30th International Conference on Distributed Computing Systems, ICDCS 2010, Jun 2010, Gênes, Italy. pp.718-727, ⟨10.1109/ICDCS.2010.69⟩
Conference papers hal-01291184v1
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
Conference papers hal-00479860v1

The Impact of Topology on Byzantine Containment in Stabilization

Swan Dubois , Toshimitsu Masuzawa , Sébastien Tixeuil
24th International Symposium Distributed Computing DISC, Sep 2010, Cambridge, MA, United States. pp.495-509, ⟨10.1007/978-3-642-15763-9_47⟩
Conference papers hal-01293827v1

Brief Announcement: Sharing Memory in a Self-stabilizing Manner

Noga Alon , Hagit Attiya , Shlomi Dolev , Swan Dubois , Maria Gradinariu et al.
24th International Symposium Distributed Computing DISC, Sep 2010, Cambridge, MA, United States. pp.525-527, ⟨10.1007/978-3-642-15763-9_49⟩
Conference papers hal-01293831v1

Monotonic Stabilization

Yukiko Yamauchi , Sébastien Tixeuil
OPODIS 2010, Dec 2010, Tozeur, Tunisia. pp.475-490, ⟨10.1007/978-3-642-17653-1_34⟩
Conference papers hal-01290770v1

A new self-stabilizing minimum spanning tree construction with loop-free property

Lélia Blin , Maria Potop-Butucaru , Stephane Rovedakis , Sébastien Tixeuil
23rd International Symposium on Distributed Computing (DISC 2009), Sep 2009, Elche, Spain. pp.407--422, ⟨10.1007/978-3-642-04355-0_43⟩
Conference papers hal-00869591v1

Byzantine Convergence in Robots Networks: The Price of Asynchrony

Zohir Bouzid , Maria Gradinariu Potop-Butucaru , Sébastien Tixeuil
OPODIS 2009, Dec 2009, Nimes, France. pp.54-70, ⟨10.1007/978-3-642-10877-8_7⟩
Conference papers hal-01295181v1
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 et al.
11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France
Conference papers inria-00384649v2

Byzantine-Resilient Convergence in Oblivious Robot Networks

Zohir Bouzid , Maria Gradinariu Potop-Butucaru , Sébastien Tixeuil
ICDCN, Jan 2009, Hyderabad, India. pp.275-280, ⟨10.1007/978-3-540-92295-7_33⟩
Conference papers hal-01298808v1

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⟩
Conference papers hal-01298811v1

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⟩
Conference papers hal-01295189v1
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
Conference papers inria-00383351v1

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⟩
Conference papers hal-01295187v1

Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks

Zohir Bouzid , Maria Gradinariu Potop-Butucaru , Sébastien Tixeuil
SSS 2009., Nov 2009, Lyon, France. pp.165-179, ⟨10.1007/978-3-642-05118-0_12⟩
Conference papers hal-01295184v1

Brief Announcement: Dynamic FTSS in Asynchronous Systems: The Case of Unison

Swan Dubois , Maria Gradinariu Potop-Butucaru , Sébastien Tixeuil
23rd International Symposium on Distributed Computing, DISC 2009, Sep 2009, Elche, Spain. pp.291-293, ⟨10.1007/978-3-642-04355-0_30⟩
Conference papers hal-01298807v1

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⟩
Conference papers hal-01295022v1
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
Conference papers inria-00383350v1

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⟩
Conference papers hal-01303470v1

Strong Stabilization: Bounding Times Affected by Byzantine Processes in Stabilization

Toshimitsu Masuzawa , Sébastien Tixeuil
Asian Association for Algorithms and Computation annual meeting (AAAC 2008), Apr 2008, Pokfulam, Hong Kong SAR China
Conference papers hal-01303525v1

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⟩
Conference papers hal-01303457v1

Deterministic Secure Positioning in Wireless Sensor Networks

Sylvie Delaët , Partha Sarathi Mandal , Mariusz Rokicki , Sébastien Tixeuil
ACM/IEEE International Conference on Distributed Computing in Sensor Networks (DCOSS 2008), Jun 2008, Santorini Island, Greece. pp.469-477, ⟨10.1007/978-3-540-69170-9_32⟩
Conference papers hal-01303473v1

A self-stabilizing 2/3-approximation algorithm for the maximum matching problem

Fredrik Manne , Morten Mjelde , Laurence Pilard , Sébastien Tixeuil
International Conference on Stabilization, Safety, and Security (SSS 2008), Nov 2008, Detroit, MI, United States. pp.94-108, ⟨10.1007/978-3-540-89335-6_10⟩
Conference papers hal-01303005v1

Universe Detectors for Sybil Defense in Ad Hoc Wireles Networks

Adnam Vora , Mikhail Nesterenko , Sébastien Tixeuil
International Conference on Stabilization, Safety, and Security (SSS 2008), Nov 2008, Detroit, MI, United States. pp.63-78, ⟨10.1007/978-3-540-89335-6_8⟩
Conference papers hal-01303007v1

Quiescence of Self-stabilizing Gossiping among Mobile Agents in Graphs

Toshimitsu Masuzawa , Sébastien Tixeuil
15th International Colloquium on Structural Information and Communication Complexity (Sirocco 2008), Jun 2008, Villars-sur-Ollon, Switzerland. pp.247-261, ⟨10.1007/978-3-540-69355-0_21⟩
Conference papers hal-01303467v1
Image document

Connaissance vs. Synchronie pour l'Accord Tolérant aux Pannes dans les Réseaux Inconnus

Fabiola Greve , Sebastien Tixeuil
9ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2007, Ile d'Oléron, France. pp.67-70
Conference papers inria-00176959v1

Conflict Managers for Self-stabilization without Fairness Assumption

Maria Gradinariu , Sébastien Tixeuil
27th International Conference on Distributed Computing Systems (ICDCS'07), Jun 2007, Toronto, Canada. pp.46, ⟨10.1109/ICDCS.2007.95⟩
Conference papers hal-01336216v1

On the Self-stabilization of Mobile Robots in Graphs

Lélia Blin , Maria Gradinariu Potop-Butucaru , Sébastien Tixeuil
OPODIS 2007 - 11th International Conference on Principles of Distributed Systems, Dec 2007, Guadeloupe, France. pp.301-314, ⟨10.1007/978-3-540-77096-1_22⟩
Conference papers hal-01311362v1
Image document

Evaluating complex MAC protocols for sensor networks with APMC

Michaël Cadilhac , Thomas Herault , Richard Lassaigne , Sylvain Peyronnet , Sébastien Tixeuil et al.
Automatic Verification of Critical Systems, Sep 2006, Nancy/France, pp.35-47
Conference papers inria-00089494v1

Etude de convergence dans les réseaux sans fil

Nathalie Mitton , Eric Fleury , Isabelle Guérin-Lassous , Bruno Sericola , Sébastien Tixeuil et al.
8emes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2006, Trégastel, France
Conference papers inria-00600298v1
Image document

Fast Convergence in Self-stabilizing Wireless Networks.

Nathalie Mitton , Eric Fleury , Isabelle Guérin-Lassous , Bruno Sericola , Sébastien Tixeuil et al.
12th International Conference on Parallel and Distributed Systems (ICPADS 2006), 12-15 July 2006, Minneapolis, Minnesota, USA, Jul 2006, Mineapolis, United States. pp.31-38
Conference papers hal-00383834v1

Auto-stabilisation dans les réseaux ad hoc.

Nathalie Mitton , Eric Fleury , Isabelle Guérin-Lassous , Sébastien Tixeuil
7e Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (Algotel), May 2005, Presqu'ile de giens, France
Conference papers inria-00600336v1

A language-driven tool for fault injection in distributed applications

William Hoarau , Sébastien Tixeuil
Proceedings of the IEEE/ACM Workshop GRID 2005, Nov 2005, Seattle, United States. ⟨10.1109/GRID.2005.1542742⟩
Conference papers hal-00684889v1
Image document

Space Lower Bounds for Graph Exploration via Reduced Automata

Pierre Fraigniaud , David Ilcinkas , Sergio Rajsbaum , Sébastien Tixeuil
SIROCCO 2005, May 2005, Le Mont Saint-Michel, France. pp.140-154, ⟨10.1007/11429647_13⟩
Conference papers hal-00339766v1
Image document

Self-stabilization in self-organized multihop wireless networks

Nathalie Mitton , Eric Fleury , Isabelle Guérin-Lassous , Sebastien Tixeuil
Workshop on Wireless ad hoc Networking (WWAN'05),, Jun 2005, Columbus, United States. pp.909-915
Conference papers hal-00383720v1

Optimal Randomized Self-stabilizing Mutual Exclusion on Synchronous Rings

Philippe Duchon , Nicolas Hanusse , Sébastien Tixeuil
Proceedings of DISC'2004, Oct 2004, Netherlands. pp.216--229
Conference papers hal-00307527v1

Protocoles auto-stabilisants synchrones d'exclusion mutuelle pour les anneaux anonymes et uniformes

Philippe Duchon , Nicolas Hanusse , Sébastien Tixeuil
Actes d'AlgoTel 2004, May 2004, France. pp.135--140
Conference papers hal-00307529v1
Image document

Self-stabilizing Vertex Coloring of Arbitrary Graphs

Maria Gradinariu , Sébastien Tixeuil
International conference on Principles of Distributed Systems (OPODIS 2000), Dec 2000, Paris, France. pp.55-70
Conference papers hal-00631707v1
Image document

Self-stabilization with Global Rooted Synchronizers

Luc Onana Alima , Joffroy Beauquier , Ajoy Datta , Sébastien Tixeuil
IEEE International Conference on Distributed Computing Systems (ICDCS 98), May 1998, Amsterdam, Netherlands. pp.102-109, ⟨10.1109/ICDCS.1998.679492⟩
Conference papers hal-00631710v1

Brief announcement: Approximate Agreement under Mobile Byzantine Faults Model

Silvia Bonomi , Antonella del Pozzo , Maria Potop-Butucaru , Sébastien Tixeuil
IEEE Conference on Distributed Computing Systems (ICDCS 2016), Jun 2016, Nara, Japan. IEEE, pp.727-728, ⟨10.1109/ICDCS.2016.68⟩
Conference poster hal-01349092v1

Brief announcement: Distributed Online Data Aggregation in Dynamic Graphs

Quentin Bramas , Toshimitsu Masuzawa , Sébastien Tixeuil
IEEE Conference on Distributed Computing Systems (ICDCS 2016), Jun 2016, Nara, Japan. IEEE, pp.747-748, ⟨10.1109/ICDCS.2016.55⟩
Conference poster hal-01349094v1

Self-stabilizing Systems

Ted Herman , Sébastien Tixeuil
Ted Herman and Sébastien Tixeuil. Springer, 2005
Books inria-00078184v1

Formal Methods for Mobile Robots

Maria Potop-Butucaru , Nathalie Sznajder , Sébastien Tixeuil , Xavier Urbain
Paola 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⟩
Book sections hal-01981634v1

Fault-Tolerant Mobile Robots

Xavier Défago , Maria Potop-Butucaru , Sébastien Tixeuil
Distributed Computing by Mobile Entities, 11340, Springer, pp.234-251, 2019, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-11072-7_10⟩
Book sections hal-02076375v1

Dependability Evaluation of The Ogsa-Dai Middleware

William Hoarau , Sébastien Tixeuil , Nuno Rodrigues , Décio Sousa , Luis Silva et al.
Achievements in European Research on Grid Systems, Springer Berlin / Heidelberg, pp.223-236, 2008, 978-0-387-72811-7. ⟨10.1007/978-0-387-72812-4_17⟩
Book sections hal-01303735v1

Fault-tolerant Distributed Algorithms for Scalable Systems

Sébastien Tixeuil
Wireless Ad Hoc and Sensor Networks, ISTE, pp.225-256, 2007, 9781848210035
Book sections hal-01334871v1
Image document

The Reduced Automata Technique for Graph Exploration Space Lower Bounds

Pierre Fraigniaud , David Ilcinkas , Sergio Rajsbaum , Sébastien Tixeuil
Oded Goldreich, Arnold L. Rosenberg, Alan L. Selman. Essays in Memory of Shimon Even, Springer Berlin / Heidelberg, Volume LNCS 3895, p. 1-26, 2006, Lecture Notes in Computer Science, ⟨10.1007/11685654_1⟩
Book sections hal-00341655v1
Image document

Boosting the Efficiency of Byzantine-tolerant Reliable Communication

Silvia Bonomi , Giovanni Farina , Sébastien Tixeuil
[Technical Report] Sorbonne Université, CNRS, LIP6, F-75005 Paris, France; Sapienza Università di Roma, Rome, Italy. 2020
Reports hal-02960087v1
Image document

Multi-hop Byzantine Reliable Broadcast with Honest Dealer Made Practical

Silvia Bonomi , Giovanni Farina , Sébastien Tixeuil
[Technical Report] Sorbonne Université, CNRS, Laboratoire d'Informatique de Paris 6, LIP6, F-75005 Paris, France; Dipartimento di Ingegneria Informatica Automatica e Gestionale "Antonio Ruberti'', Sapienza Università di Roma, Rome, Italy. 2019
Reports hal-01826865v3
Image document

On the encoding and solving partial information games

Yackolley Amoussou-Guenou , Souheib Baarir , Maria Potop-Butucaru , Nathalie Sznajder , Leo Tible et al.
[Research Report] LIP6, Sorbonne Université, CNRS, UMR 7606; LINCS; CEA Paris Saclay; Sorbonne Université. 2018
Reports hal-01790508v1
Image document

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

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

Reliable Broadcast in Dynamic Networks with Locally Bounded Byzantine Failures

Silvia Bonomi , Giovanni Farina , Sébastien Tixeuil
[Technical Report] Sorbonne Université, CNRS, Laboratoire d’Informatique de Paris 6, LIP6, F-75005 Paris, France; Dipartimento di Ingegneria Informatica Automatica e Gestionale "Antonio Ruberti", Università degli Studi di Roma La Sapienza, Rome, Italy. 2018
Reports hal-01712277v3
Image document

Churn Possibilities and Impossibilities

Dianne Foreback , Mikhail Nesterenko , Sébastien Tixeuil
[Research Report] Kent State University; Sorbonne Université, CNRS, Laboratoire d’Informatique de Paris 6, LIP6, F-75005 Paris, France. 2018
Reports hal-01753397v1
Image document

Optimally Gathering Two Robots

Adam Heriban , Xavier Défago , Sébastien Tixeuil
[Research Report] UPMC Sorbonne Universités. 2017
Reports hal-01575451v1
Image document

Optimal Storage under Unsynchrononized Mobile Byzantine Faults

Silvia Bonomi , Antonella del Pozzo , Maria Potop-Butucaru , Sébastien Tixeuil
[Research Report] UPMC - Université Paris 6 Pierre et Marie Curie; Sapienza Università di Roma (Italie). 2017
Reports hal-01561776v1
Image document

Parameterized Verification of Algorithms for Oblivious Robots on a Ring

Arnaud Sangnier , Nathalie Sznajder , Maria Potop-Butucaru , Sébastien Tixeuil
[Research Report] UPMC Sorbonne Universités. 2017
Reports hal-01540339v1
Image document

Concurrent Geometric Multicasting

Jordan Adamek , Mikhail Nesterenko , James Scott Robinson , Sébastien Tixeuil
[Research Report] UPMC Sorbonne Universités. 2017
Reports hal-01540744v1
Image document

Optimal Mobile Byzantine Fault Tolerant Distributed Storage

Silvia Bonomi , Antonella del Pozzo , Maria Potop-Butucaru , Sébastien Tixeuil
[Research Report] UPMC - Université Paris 6 Pierre et Marie Curie. 2016
Reports hal-01348830v2
Image document

Distributed Online Data Aggregation in Dynamic Graphs

Quentin Bramas , Toshimitsu Masuzawa , Sébastien Tixeuil
[Research Report] Sorbonne Universités, UPMC Univ Paris 06, CNRS, LIP6 UMR 7606, 4 place Jussieu 75005 Paris.; Osaka University, Japan. 2016
Reports hal-01264285v2
Image document

Optimal Self-Stabilizing Mobile Byzantine-Tolerant Regular Register with bounded timestamp

Silvia Bonomi , Antonella del Pozzo , Maria Potop-Butucaru , Sébastien Tixeuil
[Research Report] UPMC - Université Paris 6 Pierre et Marie Curie; Sapienza Università di Roma (Italie). 2016
Reports hal-01362193v2
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
Reports hal-01274295v1
Image document

Infinite Unlimited Churn

Dianne Foreback , Mikhail Nesterenko , Sébastien Tixeuil
[Research Report] LIP6 - Laboratoire d'Informatique de Paris 6; Kent State University. 2016
Reports hal-01350804v1
Image document

Stateless Geocasting

Jordan Adamek , Mikhail Nesterenko , Sébastien Tixeuil
[Research Report] UPMC. 2015
Reports hal-01168488v1

The Random Bit Complexity of Mobile Robots Scattering

Quentin Bramas , Sébastien Tixeuil
[Research Report] Université Pierre et Marie Curie. 2015
Reports hal-00866048v2
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
Reports hal-01159890v1
Image document

Packet Efficient Implementation of the Omega Failure Detector

Quentin Bramas , Dianne Foreback , Mikhail Nesterenko , Sébastien Tixeuil
[Research Report] UPMC Université Paris VI; Kent State University. 2015
Reports hal-01153111v2
Image document

Probabilistic Asynchronous Arbitrary Pattern Formation

Quentin Bramas , Sébastien Tixeuil
[Research Report] Université Pierre et Marie Curie. 2015
Reports hal-01184532v4
Image document

Reliable Communication in a Dynamic Network in the Presence of Byzantine Faults

Alexandre Maurer , Sébastien Tixeuil , Xavier Défago
[Research Report] _. 2014
Reports hal-00940569v4
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
Reports hal-00995126v1
Image document

On Byzantine Broadcast in Planar Graphs

Alexandre Maurer , Sébastien Tixeuil
[Research Report] _. 2013
Reports hal-00773343v4
Image document

Formal verification of Mobile Robot Protocols

Béatrice Berard , Laure Millet , Maria Potop-Butucaru , Yann Thierry-Mieg , Sébastien Tixeuil et al.
[Research Report] LIP6. 2013
Reports hal-00834061v1
Image document

Certified Impossibility Results for Byzantine-Tolerant Mobile Robots

Cédric Auger , Zohir Bouzid , Pierre Courtieu , Sébastien Tixeuil , Xavier Urbain et al.
[Research Report] 1560, LRI - CNRS, University Paris-Sud. 2013
Reports hal-00834633v1
Image document

Gathering an even number of robots in an odd ring without global multiplicity detection

Sayaka Kamei , Anissa Lamani , Fukuhito Ooshita , Sébastien Tixeuil
[Research Report] ???. 2012
Reports hal-00709074v1
Image document

Parameterizable Byzantine Broadcast in Loosely Connected Networks

Alexandre Maurer , Sébastien Tixeuil
[Research Report] ???. 2012
Reports hal-00777155v2
Image document

The Byzantine Brides Problem

Swan Dubois , Sébastien Tixeuil , Nini Zhu
[Research Report] ???. 2012
Reports hal-00679520v1
Image document

A Taxonomy of Daemons in Self-stabilization

Swan Dubois , Sébastien Tixeuil
[Research Report] ???. 2011
Reports hal-00628390v1
Image document

Limiting Byzantine Influence in Multihop Asynchronous Networks

Alexandre Maurer , Sébastien Tixeuil
[Research Report] _. 2011
Reports hal-00663688v1
Image document

Asynchronous mobile robot gathering from symmetric configurations without global multiplicity detection

Sayaka Kamei , Anissa Lamani , Fukuhito Ooshita , Sébastien Tixeuil
[Research Report] ???. 2011
Reports inria-00589390v1
Image document

Optimal grid exploration by asynchronous oblivious robots

Stéphane Devismes , Anissa Lamani , Franck Petit , Pascal Raymond , Sébastien Tixeuil et al.
[Research Report] ???. 2011
Reports hal-00591963v3
Image document

Maximum Metric Spanning Tree made Byzantine Tolerant

Swan Dubois , Toshimitsu Masuzawa , Sébastien Tixeuil
[Research Report] ???. 2011, pp.32
Reports inria-00589234v1
Image document

Self-Stabilization, Byzantine Containment, and Maximizable Metrics: Necessary Conditions

Swan Dubois , Toshimitsu Masuzawa ,