Sébastien Tixeuil

336
Documents

Publications

78
34
29
29
28
27
23
20
20
20
19
12
11
10
10
9
8
8
8
8
8
7
7
7
7
7
7
7
6
6
6
6
6
6
5
5
5
5
5
5
5
5
5
5
4
4
4
4
4
4
4
4
4
4
4
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2

Publications

Stand-up indulgent gathering on lines for myopic luminous robots

Quentin Bramas , Hirotsugu Kakugawa , Sayaka Kamei , Anissa Lamani , Fukuhito Ooshita et al.

The Computer Journal, 2026, ⟨10.1093/comjnl/bxag015⟩

Article dans une revue hal-05524331v1
Deposit thumbnail

QoSentry: a reinforcement learning framework for QoS-preserving DDoS mitigation in software-defined networks

Shurok Khozam , Gregory Blanc , Sébastien Tixeuil , Eric Totel

Journal of Network and Systems Management, 2025, 33 (4), pp.97. ⟨10.1007/s10922-025-09971-8⟩

Article dans une revue hal-05244654v1
Deposit thumbnail

Swarms of Mobile Robots: Towards Versatility with Safety

Pierre Courtieu , Lionel Rieg , Sébastien Tixeuil , Xavier Urbain

Leibniz Transactions on Embedded Systems, 2022, Distributed Hybrid Systems, 8 (2), pp.02:1-02:36. ⟨10.4230/LITES.8.2.2⟩

Article dans une revue hal-03901898v1

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⟩

Article dans une revue hal-03154617v1
Deposit thumbnail

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

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⟩

Article dans une revue hal-02290400v1

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⟩

Article dans une revue hal-02873078v1
Deposit thumbnail

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⟩

Article dans une revue hal-02873070v1

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⟩

Article dans une revue hal-02076370v1
Deposit thumbnail

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

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⟩

Article dans une revue hal-02281139v1

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⟩

Article dans une revue hal-02084539v1
Deposit thumbnail

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⟩

Article dans une revue hal-01900843v1
Deposit thumbnail

Synchronous Gathering without Multiplicity Detection: a Certified Algorithm

Thibaut Balabonski , Amélie Delga , Lionel Rieg , Sébastien Tixeuil , Xavier Urbain

Theory of Computing Systems, 2019, 63 (2), pp.200-218. ⟨10.1007/s00224-017-9828-z⟩

Article dans une revue 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⟩

Article dans une revue hal-02076455v1
Deposit thumbnail

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⟩

Article dans une revue 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⟩

Article dans une revue 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⟩

Article dans une revue hal-01520335v1

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⟩

Article dans une revue hal-01349017v1
Deposit thumbnail

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⟩

Article dans une revue hal-01419900v1

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⟩

Article dans une revue hal-01294311v1
Deposit thumbnail

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⟩

Article dans une revue hal-01344903v1

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⟩

Article dans une revue hal-01269828v1

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⟩

Article dans une revue hal-01123661v1

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

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⟩

Article dans une revue hal-01122869v1

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⟩

Article dans une revue istex hal-01123668v1

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⟩

Article dans une revue istex hal-01123697v1

[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

Article dans une revue hal-01238784v1

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⟩

Article dans une revue hal-01151748v1

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⟩

Article dans une revue 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⟩

Article dans une revue hal-01151754v1

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 istex 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⟩

Article dans une revue hal-00930022v1

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

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⟩

Article dans une revue 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⟩

Article dans une revue hal-00934036v1

Self-stabilization in Self-organized Multihop Wireless Networks

Nathalie Mitton , Bruno Séricola , Sébastien Tixeuil , Eric Fleury , Isabelle Guérin-Lassous

Ad Hoc & Sensor Wireless Networks, 2011, 11 (1-2), pp.1-34

Article dans une revue hal-00795173v1

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⟩

Article dans une revue 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⟩

Article dans une revue 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⟩

Article dans une revue inria-00627763v1

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⟩

Article dans une revue hal-01154134v1

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⟩

Article dans une revue hal-01154467v1

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

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⟩

Article dans une revue hal-01151863v1
Deposit thumbnail

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⟩

Article dans une revue hal-00384027v1

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⟩

Article dans une revue 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⟩

Article dans une revue hal-01152552v1

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⟩

Article dans une revue hal-01151770v1

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⟩

Article dans une revue hal-01151767v1

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⟩

Article dans une revue 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

Article dans une revue hal-01152556v1
Deposit thumbnail

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⟩

Article dans une revue 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⟩

Article dans une revue istex hal-00337547v1
Deposit thumbnail

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⟩

Article dans une revue hal-00632374v1
Deposit thumbnail

Self-stabilization with r-operators

Bertrand Ducourthial , Sébastien Tixeuil

Distributed Computing, 2001, 14 (3), pp.147-162. ⟨10.1007/PL00008934⟩

Article dans une revue hal-00632303v1
Deposit thumbnail

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⟩

Article dans une revue hal-00930899v1

A Visibility vs. Memory Trade-Off for Stand-Up Indulgent Gathering on Lines

Quentin Bramas , Hirotsugu Kakugawa , Sayaka Kamei , Anissa Lamani , Fukuhito Ooshita et al.

Structural Information and Communication Complexity. SIROCCO 2025., Schmid, U., Kuznets, R., Jun 2025, Delphi, Greece. pp.159-175, ⟨10.1007/978-3-031-91736-3_10⟩

Communication dans un congrès hal-05107196v1
Deposit thumbnail

Preventing WebRTC IP Address Leaks

Guillaume Nibert , Sébastien Tixeuil , Baptiste Polvé , Nana J. Bakalafoua M'Boussi , Xuan Son Nguyen

19th International Conference on Risks and Security of Internet and Systems, Nov 2024, Aix-en-Provence, France. pp.365-381, ⟨10.1007/978-3-031-89350-6_22⟩

Communication dans un congrès hal-05048077v1
Deposit thumbnail

Comment se rassembler (avec certitude) quand on est confus et désorienté

François Bonnet , Quentin Bramas , Pierre Courtieu , Xavier Défago , Lionel Rieg et al.

ALGOTEL 2025 – 27èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2025, Saint Valery-sur-Somme, France

Communication dans un congrès hal-05002153v1
Deposit thumbnail

DAMS: double deep Q-network approach for DDoS attack mitigation in SDN

Shurok Khozam , Gregory Blanc , Sebastien Tixeuil , Eric Totel

The 8th International Conference on Future Networks & Distributed Systems (ICFNDS '24), Dec 2024, Marrakesh, Morocco. pp.1049-1056, ⟨10.1145/3726122.3726282⟩

Communication dans un congrès hal-05141570v1

On time-travel planning in dynamic graphs

Quentin Bramas , Jean-Romain Luttringer , Sébastien Tixeuil

SAND 2024, Jun 2024, Patras, Greece. pp.115501, ⟨10.1016/j.tcs.2025.115501⟩

Communication dans un congrès hal-05280684v1

HEAL: Resilient and Self-* Hub-Based Learning

Mohamed Amine Legheraba , Stefan Galkiewicz , Maria Potop-Butucaru , Sébastien Tixeuil

Advanced Information Networking and Applications. AINA 2025, Barolli, L., Apr 2025, Barcelona (ES), Spain. pp.200-211, ⟨10.1007/978-3-031-87766-7_18⟩

Communication dans un congrès hal-05107181v1
Deposit thumbnail

Crash-Tolerant Exploration of Trees by Energy-Sharing Mobile Agents

Quentin Bramas , Toshimitsu Masuzawa , Sébastien Tixeuil

28th International Conference on Principles of Distributed Systems (OPODIS 2024), Dec 2024, Lucca, Italy. pp.9:1--9:16, ⟨10.4230/LIPIcs.OPODIS.2024.9⟩

Communication dans un congrès hal-04883165v1
Deposit thumbnail

Deterministic Color-optimal Self-stabilizing Semi-synchronous Gathering: a Certified Algorithm

François Bonnet , Quentin Bramas , Pierre Courtieu , Xavier Défago , Lionel Rieg et al.

SIROCCO 2025, Jun 2025, Delphi, Greece. pp.127-143, ⟨10.1007/978-3-031-91736-3_8⟩

Communication dans un congrès hal-04988128v1
Deposit thumbnail

FREIDA: a concrete tool for reproducible evaluation of IDS using a data-driven approach

Solayman Ayoubi , Sébastien Tixeuil , Gregory Blanc , Houda Jmila

Risks and Security of Internet and Systems: 19th International Conference (CRISIS), Nov 2024, Aix-en-Provence, France. pp.40-55, ⟨10.1007/978-3-031-89350-6_3⟩

Communication dans un congrès hal-05048479v1
Deposit thumbnail

Le guide du routard temporel

Quentin Bramas , Jean-Romain Luttringer , Sébastien Tixeuil

AlgoTel 2024 – 26èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2024, Saint-Briac-sur-Mer, France

Communication dans un congrès hal-04565997v1
Deposit thumbnail

Empêcher les fuites d'adresses IP liées à WebRTC

Guillaume Nibert , Sébastien Tixeuil , Baptiste Polvé , Nana J. Bakalafoua M'Boussi , Xuan Son Nguyen

RESSI 2024 - Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2024, Eppe-Sauvage, France

Communication dans un congrès hal-05077608v1

Stand-Up Indulgent Gathering on Lines

Quentin Bramas , Sayaka Kamei , Anissa Lamani , Sébastien Tixeuil

SSS 2023: Stabilization, Safety, and Security of Distributed Systems, Oct 2023, Jersey City, NJ, United States. pp.451-465, ⟨10.1007/978-3-031-44274-2_34⟩

Communication dans un congrès hal-04232951v1
Deposit thumbnail

Data-driven evaluation of intrusion detectors: a methodological framework

Solayman Ayoubi , Gregory Blanc , Houda Jmila , Thomas Silverston , Sébastien Tixeuil

FPS 2022 - 15th International Symposium on Foundations & Practice of Security, Dec 2022, Ottawa, ON, Canada. pp.142-157, ⟨10.1007/978-3-031-30122-3_9⟩

Communication dans un congrès hal-04055085v1
Deposit thumbnail

Comment extraire un discours cohérent de la confusion générale

Silvia Bonomi , Giovanni Farina , Sébastien Tixeuil

AlgoTel 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2023, Cargese, France

Communication dans un congrès hal-04086366v1
Deposit thumbnail

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

Silvia Bonomi , Jérémie Decouchant , Giovanni Farina , Vincent Rahli , 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

Communication dans un congrès hal-03657365v1
Deposit thumbnail

Asynchronous Gathering in a Torus

Sayaka Kamei , Anissa Lamani , Fukuhito Ooshita , Sébastien Tixeuil , Koichi Wada

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⟩

Communication dans un congrès hal-03592615v1
Deposit thumbnail

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

Communication dans un congrès hal-03656129v1

Realistic Self-stabilization

Sébastien Tixeuil

26th International Conference on Principles of Distributed Systems (OPODIS 2022), Dec 2022, Bruxelles, Belgium

Communication dans un congrès hal-03971242v1
Deposit thumbnail

On the Encoding and Solving of Partial Information Games

Yackolley Amoussou-Guenou , Souheib Baarir , Maria Potop-Butucaru , Nathalie Sznajder , Léo Tible et al.

8th 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

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⟩

Communication dans un congrès hal-03109954v1

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⟩

Communication dans un congrès hal-03026501v1
Deposit thumbnail

Stand Up Indulgent Rendezvous

Quentin Bramas , Anissa Lamani , Sébastien Tixeuil

22nd International Symposium Stabilization, Safety, and Security of Distributed Systems (SSS 2020), Nov 2020, Austin, TX, United States. pp.45-59, ⟨10.1007/978-3-030-64348-5_4⟩

Communication dans un congrès hal-02961247v1

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⟩

Communication dans un congrès hal-03026522v1
Deposit thumbnail

Gathering on Rings for Myopic Asynchronous Robots With Lights

Sayaka Kamei , Anissa Lamani , Fukuhito Ooshita , Sébastien Tixeuil , Koichi Wada

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⟩

Communication dans un congrès hal-02475374v1
Deposit thumbnail

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

Communication dans un congrès hal-02871295v1

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⟩

Communication dans un congrès hal-02913093v1
Deposit thumbnail

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

Communication dans un congrès hal-02875967v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-03126591v1
Deposit thumbnail

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

Communication dans un congrès hal-03746708v1

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⟩

Communication dans un congrès hal-03017408v1

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⟩

Communication dans un congrès hal-02076478v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-02394992v1

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⟩

Communication dans un congrès hal-02286011v1
Deposit thumbnail

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

Communication dans un congrès hal-02123870v1
Deposit thumbnail

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

Communication dans un congrès hal-02115611v1

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⟩

Communication dans un congrès hal-02394962v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-02115599v1

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⟩

Communication dans un congrès hal-02168149v1

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⟩

Communication dans un congrès hal-02286008v1
Deposit thumbnail

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

Communication dans un congrès hal-02126555v1

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⟩

Communication dans un congrès hal-01753444v1

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⟩

Communication dans un congrès hal-02443130v1

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⟩

Communication dans un congrès hal-02076484v1

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

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⟩

Communication dans un congrès hal-01937420v1

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⟩

Communication dans un congrès hal-02076468v1

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⟩

Communication dans un congrès hal-02076443v1

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⟩

Communication dans un congrès hal-01753431v1
Deposit thumbnail

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

Communication dans un congrès hal-01785952v1

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⟩

Communication dans un congrès hal-02076496v1

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⟩

Communication dans un congrès hal-02076489v1

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⟩

Communication dans un congrès hal-02076398v1

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

Communication dans un congrès hal-01553088v1
Deposit thumbnail

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

Communication dans un congrès hal-01518548v1

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: 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

Communication dans un congrès hal-01520336v1
Deposit thumbnail

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

Communication dans un congrès hal-01518553v1
Deposit thumbnail

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

Communication dans un congrès hal-01512950v1

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

Communication dans un congrès hal-01549931v1

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⟩

Communication dans un congrès hal-01664894v1

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

Communication dans un congrès hal-01549915v1

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⟩

Communication dans un congrès hal-01491828v1

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⟩

Communication dans un congrès hal-01491817v1

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. pp.439-441, ⟨10.1145/2933057.2933070⟩

Communication dans un congrès hal-01349084v1

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

Pierre Courtieu , Lionel Rieg , Sébastien Tixeuil , Xavier Urbain

Distributed Computing (DISC), Sep 2016, Paris, France. pp.187-200, ⟨10.1007/978-3-662-53426-7_14⟩

Communication dans un congrès hal-01349061v1

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

Communication dans un congrès 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⟩

Communication dans un congrès hal-01491832v1

Enhancing Content Distribution through Information-Aware Mechanisms

Walid Benchaïta , Gioacchino Tangari , Samir Ghamri-Doudane , Sébastien Tixeuil

CloudNet, Oct 2016, Pisa, Italy

Communication dans un congrès 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

Communication dans un congrès hal-01349087v1
Deposit thumbnail

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

Communication dans un congrès 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

Communication dans un congrès hal-01340243v1

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

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

Communication dans un congrès 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⟩

Communication dans un congrès hal-01272045v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-01432932v1

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

Communication dans un congrès 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⟩

Communication dans un congrès hal-01491823v1

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⟩

Communication dans un congrès hal-01213269v1
Deposit thumbnail

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

Communication dans un congrès hal-01144458v1

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⟩

Communication dans un congrès hal-01206290v1

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⟩

Communication dans un congrès 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⟩

Communication dans un congrès hal-01135398v1

Evaluating and Optimizing Stabilizing Dining Philosophers

Jordan Adamek , Mikhail Nesterenko , Sébastien Tixeuil

The European Dependable Computing Conference (EDCC 2015), Sep 2015, Paris, France

Communication dans un congrès hal-01213278v1
Deposit thumbnail

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

Communication dans un congrès hal-01144309v1
Deposit thumbnail

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

Communication dans un congrès hal-01154517v1
Deposit thumbnail

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

Communication dans un congrès hal-01146737v1

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

Communication dans un congrès hal-01213311v1

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⟩

Communication dans un congrès hal-01213325v1

Wait-free Gathering without Chirality

Quentin Bramas , Sébastien Tixeuil

SIROCCO 2015, Jul 2015, Montserrat, Spain

Communication dans un congrès hal-01213285v1
Deposit thumbnail

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

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⟩

Communication dans un congrès hal-01215926v1

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

Communication dans un congrès hal-01215924v1

Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols

François Bonnet , Xavier Défago , Franck Petit , Maria Potop-Butucaru , Sébastien Tixeuil

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⟩

Communication dans un congrès hal-01108586v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-01016832v2
Deposit thumbnail

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

Communication dans un congrès hal-00985322v1
Deposit thumbnail

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⟩

Communication dans un congrès 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⟩

Communication dans un congrès istex 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⟩

Communication dans un congrès hal-00930074v1
Deposit thumbnail

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
Deposit thumbnail

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

Communication dans un congrès hal-00812914v4

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⟩

Communication dans un congrès hal-00930109v1
Deposit thumbnail

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

Communication dans un congrès hal-00818606v1
Deposit thumbnail

Vérification formelle et robots mobiles

Béatrice Bérard , Laure Millet , Maria Gradinariu Potop-Butucaru , Yann Thierry-Mieg , Sébastien Tixeuil

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-00818707v1

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⟩

Communication dans un congrès hal-00930090v1

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

Cédric Auger , Zohir Bouzid , Pierre Courtieu , Sébastien Tixeuil , Xavier Urbain

International Symposium on Distributed Computing (DISC2013), Oct 2013, Jerusalem, Israel. pp.2

Communication dans un congrès hal-01126335v1

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

Communication dans un congrès 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⟩

Communication dans un congrès istex hal-00930281v1

Certified Impossibility Results for Byzantine-Tolerant Mobile Robots

Cédric Auger , Zohir Bouzid , Pierre Courtieu , Sébastien Tixeuil , Xavier Urbain

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⟩

Communication dans un congrès hal-00930267v1

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⟩

Communication dans un congrès hal-00930100v1

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⟩

Communication dans un congrès istex hal-00930095v1

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⟩

Communication dans un congrès hal-00934073v1
Deposit thumbnail

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

Communication dans un congrès hal-00686663v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-00692095v1

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⟩

Communication dans un congrès hal-00934144v1

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⟩

Communication dans un congrès hal-00934149v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-00728337v1

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

Communication dans un congrès hal-01272830v1

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⟩

Communication dans un congrès hal-00934047v1

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
Deposit thumbnail

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

Communication dans un congrès hal-00689348v1

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⟩

Communication dans un congrès 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

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⟩

Communication dans un congrès hal-00934186v1

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⟩

Communication dans un congrès 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⟩

Communication dans un congrès hal-00934179v1

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⟩

Communication dans un congrès hal-00934055v1

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⟩

Communication dans un congrès hal-00934232v1

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⟩

Communication dans un congrès istex hal-00992679v1
Deposit thumbnail

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

Communication dans un congrès inria-00587517v1

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

Communication dans un congrès hal-01009454v1

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⟩

Communication dans un congrès istex inria-00627780v1

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⟩

Communication dans un congrès hal-00649294v1
Deposit thumbnail

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

Communication dans un congrès inria-00587089v1

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⟩

Communication dans un congrès hal-01285680v1

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⟩

Communication dans un congrès istex hal-01285672v1

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⟩

Communication dans un congrès inria-00627777v1

Ideal Stabilization

Mikhail Nesterenko , Sébastien Tixeuil

IEEE AINA 2011, Mar 2011, Biopolis, Singapore. pp.224-231, ⟨10.1109/AINA.2011.28⟩

Communication dans un congrès hal-01285686v1

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⟩

Communication dans un congrès istex hal-01293846v1

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

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⟩

Communication dans un congrès istex inria-00627771v1

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⟩

Communication dans un congrès hal-01293850v1

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⟩

Communication dans un congrès hal-01290774v1

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⟩

Communication dans un congrès hal-01291182v1

Monotonic Stabilization

Yukiko Yamauchi , Sébastien Tixeuil

OPODIS 2010, Dec 2010, Tozeur, Tunisia. pp.475-490, ⟨10.1007/978-3-642-17653-1_34⟩

Communication dans un congrès istex hal-01290770v1

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⟩

Communication dans un congrès hal-01293831v1

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⟩

Communication dans un congrès hal-01293827v1

SAFE-OS: a Secure and Usable Desktop Operating System

François Lesueur , Ala Rezmerita , Thomas Hérault , Sylvain Peyronnet , Sébastien Tixeuil

CRiSIS 2010, Oct 2010, Montréal, Canada. pp.1-7, ⟨10.1109/CRISIS.2010.5764916⟩

Communication dans un congrès 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⟩

Communication dans un congrès hal-01291184v1
Deposit thumbnail

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

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⟩

Communication dans un congrès hal-01290826v1
Deposit thumbnail

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

Communication dans un congrès inria-00477480v1

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⟩

Communication dans un congrès 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

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 istex hal-01292601v1

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⟩

Communication dans un congrès istex hal-01293837v1

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⟩

Communication dans un congrès istex hal-00668381v1

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⟩

Communication dans un congrès 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⟩

Communication dans un congrès istex hal-00992700v1

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

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⟩

Communication dans un congrès hal-00869591v1
Deposit thumbnail

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
Deposit thumbnail

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

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⟩

Communication dans un congrès istex hal-01298807v1

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⟩

Communication dans un congrès hal-01295184v1

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⟩

Communication dans un congrès hal-01295181v1

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 istex hal-01295189v1

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

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⟩

Communication dans un congrès istex hal-01298808v1
Deposit thumbnail

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

Universe Detectors for Sybil Defense in Ad Hoc Wireles Networks

Adnan Vora , Mikhail Nesterenko , Sébastien Tixeuil , Sylvie Delaët

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⟩

Communication dans un congrès hal-01303007v1

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

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⟩

Communication dans un congrès hal-01303473v1

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

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⟩

Communication dans un congrès hal-01303467v1

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

Communication dans un congrès hal-01303525v1

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⟩

Communication dans un congrès istex hal-01303005v1

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⟩

Communication dans un congrès hal-01336216v1
Deposit thumbnail

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

Communication dans un congrès inria-00176959v1

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⟩

Communication dans un congrès istex hal-01311362v1
Deposit thumbnail

Evaluating complex MAC protocols for sensor networks with APMC

Michaël Cadilhac , Thomas Herault , Richard Lassaigne , Sylvain Peyronnet , Sébastien Tixeuil

Automatic Verification of Critical Systems, Sep 2006, Nancy, France. pp.35-47

Communication dans un congrès inria-00089494v1
Deposit thumbnail

Fast Convergence in Self-stabilizing Wireless Networks.

Nathalie Mitton , Eric Fleury , Isabelle Guérin-Lassous , Bruno Sericola , Sébastien Tixeuil

12th International Conference on Parallel and Distributed Systems (ICPADS 2006), 12-15 July 2006, Minneapolis, Minnesota, USA, Jul 2006, Minneapolis, United States. pp.31-38

Communication dans un congrès hal-00383834v1

Etude de convergence dans les réseaux sans fil

Nathalie Mitton , Eric Fleury , Isabelle Guérin-Lassous , Bruno Sericola , Sébastien Tixeuil

8emes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2006, Trégastel, France

Communication dans un congrès inria-00600298v1

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

Communication dans un congrès 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⟩

Communication dans un congrès hal-00684889v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-00339766v1
Deposit thumbnail

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

Communication dans un congrès 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

Communication dans un congrès 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

Communication dans un congrès hal-00307529v1
Deposit thumbnail

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

Communication dans un congrès hal-00631707v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-00631710v1
Deposit thumbnail

Demo: towards reproducible evaluations of ML-based IDS using data-driven approaches

Solayman Ayoubi , Sébastien Tixeuil , Gregory Blanc , Houda Jmila

Bo Luo; Xiaojing Liao; Jun Xu. CCS '24: ACM SIGSAC Conference on Computer and Communications Security, Oct 2024, Salt Lake City, UT, United States. Association for Computing Machinery, CCS '24: Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, pp.5081-5083, 2024, ⟨10.1145/3658644.3691368⟩

Poster de conférence hal-04879181v1
Deposit thumbnail

Evaluation Framework for ML-based IDS

Solayman Ayoubi , Gregory Blanc , Houda Jmila , Sébastien Tixeuil , Thomas Silverston

RESSI 2023 : Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2023, Neuvy-sur-Barangeon, France

Poster de conférence hal-04164441v1
Deposit thumbnail

GRIFIN: cognitive and programmable security for resilient next-generation networks

Gregory Blanc , Thomas Silverston , Sébastien Tixeuil

RESSI 2022 : Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2022, Chambon-sur-Lac, France

Poster de conférence hal-04165398v1

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⟩

Poster de conférence 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⟩

Poster de conférence hal-01349094v1

Self-stabilizing Systems

Ted Herman , Sébastien Tixeuil

Ted Herman and Sébastien Tixeuil. Springer, 2005

Ouvrages 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⟩

Chapitre d'ouvrage 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⟩

Chapitre d'ouvrage hal-02076375v1

Dependability Evaluation of The Ogsa-Dai Middleware

William Hoarau , Sébastien Tixeuil , Nuno Rodrigues , Décio Sousa , Luis Silva

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⟩

Chapitre d'ouvrage hal-01303735v1

Fault-tolerant Distributed Algorithms for Scalable Systems

Sébastien Tixeuil

Wireless Ad Hoc and Sensor Networks, ISTE, pp.225-256, 2007, 9781848210035

Chapitre d'ouvrage hal-01334871v1
Deposit thumbnail

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⟩

Chapitre d'ouvrage hal-00341655v1
Deposit thumbnail

LIFT: Byzantine Resilient Hub-Sampling

Mohamed Amine Legheraba , Nour Rachdi , Maria Gradinariu Potop-Butucaru , Sébastien Tixeuil

CANDAR 2025. 2025

Rapport (rapport technique) hal-05480061v1
Deposit thumbnail

Emergent Peer-to-Peer Multi-Hub Topology

Mohamed Amine Legheraba , Maria Potop-Butucaru , Sébastien Tixeuil , Serge Fdida

Sorbonne Universites, UPMC University of Paris 6; LIP6 - Laboratoire d'Informatique de Paris 6. 2024

Rapport (rapport technique) hal-04582174v6
Deposit thumbnail

ABD-HFL: Byzantine-resistant Decentralized Hierarchical Federated Learning

Tengfei An , Maria Potop-Butucaru , Sébastien Tixeuil , Serge Fdida

LIP6, Sorbonne Université, CNRS, UMR 7606. 2024

Rapport (rapport technique) hal-04627430v1
Deposit thumbnail

HEAL: Resilient and Self-* Hub-based Learning

Mohamed Amine Legheraba , Stefan Galkiewicz , Maria Gradinariu Potop-Butucaru , Sébastien Tixeuil

Sorbonne Universite. 2024

Rapport hal-04855860v1
Deposit thumbnail

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

Rapport (rapport technique) hal-02960087v1
Deposit thumbnail

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

Rapport (rapport technique) hal-01826865v3
Deposit thumbnail

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

Rapport (rapport technique) hal-01712277v3
Deposit thumbnail

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

Rapport (rapport de recherche) hal-01762962v1
Deposit thumbnail

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

Rapport (rapport de recherche) hal-01790508v1
Deposit thumbnail

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

Rapport (rapport de recherche) hal-01753397v1
Deposit thumbnail

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

Rapport (rapport de recherche) hal-01561776v1
Deposit thumbnail

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

Rapport (rapport de recherche) hal-01540339v1
Deposit thumbnail

Optimally Gathering Two Robots

Adam Heriban , Xavier Défago , Sébastien Tixeuil

[Research Report] UPMC Sorbonne Universités. 2017

Rapport (rapport de recherche) hal-01575451v1
Deposit thumbnail

Concurrent Geometric Multicasting

Jordan Adamek , Mikhail Nesterenko , James Scott Robinson , Sébastien Tixeuil

[Research Report] UPMC Sorbonne Universités. 2017

Rapport (rapport de recherche) hal-01540744v1
Deposit thumbnail

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

Rapport (rapport de recherche) hal-01362193v2
Deposit thumbnail

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

Rapport (rapport de recherche) hal-01264285v2
Deposit thumbnail

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 (rapport de recherche) hal-01274295v1
Deposit thumbnail

Infinite Unlimited Churn

Dianne Foreback , Mikhail Nesterenko , Sébastien Tixeuil

[Research Report] LIP6 - Laboratoire d'Informatique de Paris 6; Kent State University. 2016

Rapport (rapport de recherche) hal-01350804v1
Deposit thumbnail

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

Rapport (rapport de recherche) hal-01348830v2
Deposit thumbnail

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 (rapport de recherche) hal-01159890v1
Deposit thumbnail

The Random Bit Complexity of Mobile Robots Scattering

Quentin Bramas , Sébastien Tixeuil

[Research Report] Université Pierre et Marie Curie. 2015

Rapport (rapport de recherche) hal-00866048v2
Deposit thumbnail

Stateless Geocasting

Jordan Adamek , Mikhail Nesterenko , Sébastien Tixeuil

[Research Report] UPMC. 2015

Rapport (rapport de recherche) hal-01168488v1
Deposit thumbnail

Probabilistic Asynchronous Arbitrary Pattern Formation

Quentin Bramas , Sébastien Tixeuil

[Research Report] Université Pierre et Marie Curie. 2015

Rapport (rapport de recherche) hal-01184532v4
Deposit thumbnail

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

Rapport (rapport de recherche) hal-01153111v2
Deposit thumbnail

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 (rapport technique) hal-00995126v1
Deposit thumbnail

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

Alexandre Maurer , Sébastien Tixeuil , Xavier Défago

[Research Report] _. 2014

Rapport (rapport de recherche) hal-00940569v4
Deposit thumbnail

Certified Impossibility Results for Byzantine-Tolerant Mobile Robots

Cédric Auger , Zohir Bouzid , Pierre Courtieu , Sébastien Tixeuil , Xavier Urbain

[Research Report] 1560, LRI - CNRS, University Paris-Sud. 2013

Rapport (rapport de recherche) hal-00834633v1
Deposit thumbnail

On Byzantine Broadcast in Planar Graphs

Alexandre Maurer , Sébastien Tixeuil

[Research Report] _. 2013

Rapport (rapport de recherche) hal-00773343v4
Deposit thumbnail

Formal verification of Mobile Robot Protocols

Béatrice Berard , Laure Millet , Maria Potop-Butucaru , Yann Thierry-Mieg , Sébastien Tixeuil

[Research Report] LIP6. 2013

Rapport hal-00834061v1
Deposit thumbnail

The Byzantine Brides Problem

Swan Dubois , Sébastien Tixeuil , Nini Zhu

[Research Report] ???. 2012

Rapport (rapport de recherche) hal-00679520v1
Deposit thumbnail

Parameterizable Byzantine Broadcast in Loosely Connected Networks

Alexandre Maurer , Sébastien Tixeuil

[Research Report] ???. 2012

Rapport hal-00777155v2
Deposit thumbnail

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

Rapport (rapport de recherche) hal-00709074v1
Deposit thumbnail

Asynchronous mobile robot gathering from symmetric configurations without global multiplicity detection

Sayaka Kamei , Anissa Lamani , Fukuhito Ooshita , Sébastien Tixeuil

[Research Report] ???. 2011

Rapport (rapport de recherche) inria-00589390v1
Deposit thumbnail

A Taxonomy of Daemons in Self-stabilization

Swan Dubois , Sébastien Tixeuil

[Research Report] ???. 2011

Rapport hal-00628390v1
Deposit thumbnail

Optimal grid exploration by asynchronous oblivious robots

Stéphane Devismes , Anissa Lamani , Franck Petit , Pascal Raymond , Sébastien Tixeuil

[Research Report] ???. 2011

Rapport hal-00591963v3
Deposit thumbnail

Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction

François Bonnet , Alessia Milani , Maria Potop-Butucaru , Sébastien Tixeuil

[Research Report] ???. 2011

Rapport hal-00626155v1
Deposit thumbnail

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

Swan Dubois , Toshimitsu Masuzawa , Sébastien Tixeuil

[Research Report] ???. 2011, pp.17

Rapport (rapport de recherche) inria-00577062v2
Deposit thumbnail

Maximum Metric Spanning Tree made Byzantine Tolerant

Swan Dubois , Toshimitsu Masuzawa , Sébastien Tixeuil

[Research Report] ???. 2011, pp.32

Rapport (rapport de recherche) inria-00589234v1
Deposit thumbnail

Limiting Byzantine Influence in Multihop Asynchronous Networks

Alexandre Maurer , Sébastien Tixeuil

[Research Report] _. 2011

Rapport (rapport de recherche) hal-00663688v1
Deposit thumbnail

Bounding the Impact of Unbounded Attacks in Stabilization

Swan Dubois , Toshimitsu Masuzawa , Sébastien Tixeuil

[Research Report] ???. 2010, pp.20

Rapport (rapport de recherche) inria-00484645v2
Deposit thumbnail

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

Shlomi Dolev , Swan Dubois , Maria Potop-Butucaru , Sébastien Tixeuil

[Research Report] ???. 2010

Rapport (rapport de recherche) inria-00536048v2
Deposit thumbnail

Exclusive perpetual ring exploration without chirality

Lélia Blin , Alessia Milani , Maria Potop-Butucaru , Sébastien Tixeuil

[Research Report] Université d'Evry Val d'Essonne. 2010, pp.17

Rapport (rapport de recherche) inria-00464206v1
Deposit thumbnail

On Byzantine Containment Properties of the $min+1$ Protocol

Swan Dubois , Toshimitsu Masuzawa , Sébastien Tixeuil

[Research Report] ???. 2010

Rapport (rapport de recherche) inria-00487091v1
Deposit thumbnail

The Impact of Topology on Byzantine Containment in Stabilization

Swan Dubois , Toshimitsu Masuzawa , Sébastien Tixeuil

[Research Report] ???. 2010, pp.18

Rapport (rapport de recherche) inria-00481836v1
Deposit thumbnail

RoboCast: Asynchronous Communication in Robot Networks

Zohir Bouzid , Shlomi Dolev , Maria Potop-Butucaru , Sébastien Tixeuil

[Research Report] ???. 2010

Rapport (rapport de recherche) inria-00496379v2
Deposit thumbnail

Self-Stabilizing Byzantine Asynchronous Unison

Swan Dubois , Maria Gradinariu Potop-Butucaru , Mikhail Nesterenko , Sébastien Tixeuil

[Research Report] ???. 2009, pp.15

Rapport (rapport de recherche) inria-00437691v1
Deposit thumbnail

Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks

Zohir Bouzid , Maria Potop-Butucaru , Sébastien Tixeuil

[Research Report] ???. 2009, pp.15

Rapport (rapport de recherche) inria-00390870v1
Deposit thumbnail

Ideal Stabilization

Mikhail Nesterenko , Sébastien Tixeuil

[Research Report] ???. 2009, pp.15

Rapport (rapport de recherche) inria-00394118v1
Deposit thumbnail

Byzantine Convergence in Robots Networks: The Price of Asynchrony

Zohir Bouzid , Maria Potop-Butucaru , Sébastien Tixeuil

[Technical Report] ???. 2009, pp.22

Rapport (rapport technique) inria-00408881v1
Deposit thumbnail

Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots

Stéphane Devismes , Franck Petit , Sébastien Tixeuil

[Research Report] RR-6838, INRIA. 2009, pp.29

Rapport (rapport de recherche) inria-00360305v1
Deposit thumbnail

Dynamic FTSS in Asynchronous Systems: the Case of Unison

Swan Dubois , Maria Potop-Butucaru , Sébastien Tixeuil

[Research Report] ???. 2009, pp.34

Rapport (rapport de recherche) inria-00379904v2
Deposit thumbnail

Optimal deterministic ring exploration with oblivious asynchronous robots

Anissa Lamani , Maria Potop-Butucaru , Sébastien Tixeuil

[Research Report] ???. 2009, pp.23

Rapport (rapport de recherche) inria-00422100v1
Deposit thumbnail

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

Lélia Blin , Maria Gradinariu Potop-Butucaru , Stephane Rovedakis , Sébastien Tixeuil

[Research Report] Université d'Evry Val d'Essonne. 2009

Rapport (rapport de recherche) inria-00384041v1
Deposit thumbnail

Optimal byzantine resilient convergence in oblivious robot networks

Zohir Bouzid , Maria Potop-Butucaru , Sébastien Tixeuil

[Research Report] ???. 2009, pp.15

Rapport (rapport de recherche) inria-00387525v1
Deposit thumbnail

Stabilizing Maximal Independent Set in Unidirectional Networks is Hard

Toshimitsu Masuzawa , Sébastien Tixeuil

[Research Report] RR-6880, INRIA. 2009, pp.21

Rapport (rapport de recherche) inria-00368950v1
Deposit thumbnail

Snap-Stabilization in Message-Passing Systems

Sylvie Delaët , Stéphane Devismes , Mikhail Nesterenko , Sébastien Tixeuil

[Research Report] RR-6446, INRIA. 2008, pp.29

Rapport (rapport de recherche) inria-00248465v2
Deposit thumbnail

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

Nathalie Mitton , Katy Paroux , Bruno Sericola , Sébastien Tixeuil

[Research Report] RR-6443, INRIA. 2008, pp.12

Rapport (rapport de recherche) inria-00239348v5
Deposit thumbnail

Quiescence of Self-stabilizing Gossiping among Mobile Agents in Graphs

Toshimitsu Masuzawa , Sébastien Tixeuil

[Research Report] RR-6458, INRIA. 2008, pp.20

Rapport (rapport de recherche) inria-00260011v3
Deposit thumbnail

Bounds for self-stabilization in unidirectional networks

Samuel Bernard , Stéphane Devismes , Maria Gradinariu Potop-Butucaru , Sébastien Tixeuil

[Research Report] RR-6524, INRIA. 2008, pp.24

Rapport (rapport de recherche) inria-00277661v2
Deposit thumbnail

Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks

Adnan Vora , Mikhail Nesterenko , Sébastien Tixeuil , Sylvie Delaët

[Research Report] RR-6529, INRIA. 2008, pp.31

Rapport (rapport de recherche) inria-00276732v2
Deposit thumbnail

Communication Efficiency in Self-stabilizing Silent Protocols

Stéphane Devismes , Toshimitsu Masuzawa , Sébastien Tixeuil

[Research Report] RR-6731, INRIA. 2008, pp.33

Rapport (rapport de recherche) inria-00340805v1
Deposit thumbnail

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

Nathalie Mitton , Katy Paroux , Bruno Sericola , Sébastien Tixeuil

[Research Report] PI 1883, 2008, pp.12

Rapport (rapport de recherche) inria-00241842v1
Deposit thumbnail

On the Self-stabilization of Mobile Robots in Graphs

Lélia Blin , Maria Gradinariu Potop-Butucaru , Sébastien Tixeuil

[Research Report] RR-6266, INRIA. 2007, pp.23

Rapport (rapport de recherche) inria-00166547v2
Deposit thumbnail

A New Self-Stabilizing Maximal Matching Algorithm

Fredrik Manne , Morten Mjelde , Laurence Pilard , Sébastien Tixeuil

[Research Report] RR-6111, INRIA. 2007, pp.17

Rapport (rapport de recherche) inria-00127899v2
Deposit thumbnail

Weak vs. Self vs. Probabilistic Stabilization

Stéphane Devismes , Sébastien Tixeuil , Masafumi Yamashita

[Research Report] RR-6366, INRIA. 2007

Rapport (rapport de recherche) inria-00189952v2
Deposit thumbnail

Deterministic Secure Positioning in Wireless Sensor Networks

Sylvie Delaët , Partha Sarathi Mandal , Mariusz Rokicki , Sébastien Tixeuil

[Research Report] RR-6326, INRIA. 2007, pp.31

Rapport (rapport de recherche) inria-00179056v2
Deposit thumbnail

FAIL-MPI: How fault-tolerant is fault-tolerant MPI ?

Thomas Herault , William Hoarau , Pierre Lemarinier , Eric Rodriguez , Sébastien Tixeuil

[Research Report] 1450, 2006, pp.26

Rapport (rapport de recherche) inria-00078183v1

Easy fault injection and stress testing with FAIL-FCI

William Hoarau , Sébastien Tixeuil , Fabien Vauchelles

[Research Report] RR1421, 2006, pp.20

Rapport (rapport de recherche) hal-00699867v1
Deposit thumbnail

Knowledge Connectivity vs. Synchrony Requirements for Fault-Tolerant Agreement in Unknown Networks

Fabiola Greve , Sébastien Tixeuil

[Research Report] RR-6099, INRIA. 2006, pp.32

Rapport (rapport de recherche) inria-00123020v4
Deposit thumbnail

Auto-stabilisation Efficace

Sébastien Tixeuil

Réseaux et télécommunications [cs.NI]. Université Paris Sud - Paris XI, 2000. Français. ⟨NNT : ⟩

Thèse tel-00124843v1
Deposit thumbnail

Vers l'auto-stabilisation des systèmes à grande échelle

Sébastien Tixeuil

Réseaux et télécommunications [cs.NI]. Université Paris Sud - Paris XI, 2006

HDR tel-00124848v1