Sébastien Tixeuil

Comment se rassembler (avec certitude) quand on est confus et désorienté,
François Bonnet, Quentin Bramas, Pierre Courtieu, Xavier Défago, Lionel Rieg, Sébastien Tixeuil ■, Xavier Urbain,
ALGOTEL 2025 – 27èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2025, Saint Valery-sur-Somme, France

⇣

Deterministic Color-optimal Self-stabilizing Semi-synchronous Gathering: a Certified Algorithm,
François Bonnet, Quentin Bramas, Pierre Courtieu, Xavier Défago, Lionel Rieg, Sébastien Tixeuil ■, Xavier Urbain,
SIROCCO 2025 2025, Delphi, Greece

⇣

Brief Announcement: A Self-* and Persistent Hub Sampling Service,
Mohamed Amine Legheraba ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
SSS 2024, Nagoya, Aichi, Japan

⇣

Crash-Tolerant Exploration of Trees by Energy-Sharing Mobile Agents,
Quentin Bramas, Toshimitsu Masuzawa, Sébastien Tixeuil ■,
OPODIS 2024, Lucca, Italy

⇣

Demo: Towards Reproducible Evaluations of ML-Based IDS Using Data-Driven Approaches,
Solayman Ayoubi ■, Sébastien Tixeuil ■, Gregory Blanc ■, Houda Jmila,
CCS 2024, Salt Lake City, UT, United States

⇣

Challenger: Blockchain-based Massively Multiplayer Online Game Architecture,
Boris Chan Yip Hon, Bilel Zaghdoudi, Maria Potop-Butucaru ■, Sébastien Tixeuil ■, Serge Fdida ■,
NETYS 2024, Rabat (MOROCCO), Morocco

⇣

DDoS Mitigation while Preserving QoS: A Deep Reinforcement Learning-Based Approach,
Shurok Khozam, Gregory Blanc ■, Sébastien Tixeuil ■, Eric Totel,
NetSoft 2024, Saint Louis, MO, United States

⇣

Stand-Up Indulgent Gathering on Rings,
Quentin Bramas, Sayaka Kamei, Anissa Lamani, Sébastien Tixeuil ■,
SIROCCO 2024, Vietri sul Mare, Italy

⇣

Stand-Up Indulgent Gathering on Lines for Myopic Luminous Robots,
Quentin Bramas, Hirotsugu Kakugawa, Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Masahiro Shibata, Sébastien Tixeuil ■,
AINA 2024, Kitakyushu, Japan

⇣

Brief Announcement: Crash-Tolerant Exploration of Trees by Energy Sharing Mobile Agents,
Quentin Bramas, Toshimitsu Masuzawa, Sébastien Tixeuil ■,
SAND 2024, Patras, Greece

⇣

Online Space-Time Travel Planning in Dynamic Graphs,
Quentin Bramas, Jean Romain Luttringer, Sébastien Tixeuil ■,
SAND 2024, Patras, Greece

⇣

Data Poisoning Attacks in Gossip Learning,
Alexandre Pham ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■, Serge Fdida ■,
38th International Conference on Advanced Information Networking and Applications (AINA-2024) 2024, Kitakyūshū, Japan

⇣

On n'explore que deux fois,
Quentin Bramas, Toshimitsu Masuzawa, Sébastien Tixeuil ■,
AlgoTel 2024 – 26èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2024, Saint-Briac-sur-Mer, France

⇣

Comment Saboter l'Apprentissage Collectif par Commérage,
Alexandre Pham ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■, Serge Fdida ■,
AlgoTel 2024 – 26èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2024, Saint-Briac-sur-Mer, France

⇣

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 2024, Saint-Briac-sur-Mer, France

⇣

Data Poisoning Attacks in Gossip Learning,
Alexandre Pham ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■, Serge Fdida ■,
AINA 2024

⇣

Elevator: Self-* and Persistent Hub Sampling Service in Unstructured Peer-to-Peer Networks,
Mohamed Amine Legheraba ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
CoRR 2024

⇣

Offline Constrained Backward Time Travel Planning,
Quentin Bramas, Jean Romain Luttringer, Sébastien Tixeuil ■,
SSS 2023, Jersey City, NJ, United States

⇣

Reliable Broadcast Despite Mobile Byzantine Faults,
Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil ■,
OPODIS 2023

⇣

Stand-Up Indulgent Gathering on Lines,
Quentin Bramas, Sayaka Kamei, Anissa Lamani, Sébastien Tixeuil ■,
SSS 2023: Stabilization, Safety, and Security of Distributed Systems 2023, Jersey City, NJ, United States

⇣

Brief Announcement: Crash-Tolerant Exploration by Energy Sharing Mobile Agents,
Quentin Bramas, Toshimitsu Masuzawa, Sébastien Tixeuil ■,
SSS 2023: Stabilization, Safety, and Security of Distributed Systems 2023, Jersey City, NJ, United States

⇣

Meeting Times of Non-atomic Random Walks,
Ryota Eguchi, Fukuhito Ooshita, Michiko Inoue, Sébastien Tixeuil ■,
SSS 2023, Jersey City, NJ, United States

⇣

Fault-Tolerant Offline Multi-Agent Path Planning,
Keisuke Okumura, Sébastien Tixeuil ■,
AAAI 2023, Washington DC, United States

⇣

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 2023, Cargese, France

⇣

Rendez-vous avec un lapin,
Quentin Bramas, Anissa Lamani, Sébastien Tixeuil ■,
AlgoTel 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2023, Cargese, France

⇣

Brief Announcement: Crash-Tolerant Exploration by Energy Sharing Mobile Agents,
Quentin Bramas, Toshimitsu Masuzawa, Sébastien Tixeuil ■,
SSS 2023

⇣

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 2022, Ottawa, ON, Canada

⇣

Realistic Self-stabilization,
Sébastien Tixeuil ■,
26th International Conference on Principles of Distributed Systems (OPODIS 2022) 2022, Bruxelles, Belgium

⇣

QUANTAS: Quantitative User-friendly Adaptable Networked Things Abstract Simulator,
Joseph Oglio, Kendric Hood, Mikhail Nesterenko, Sébastien Tixeuil ■,
ApPLIED@PODC 2022, Salerno, Italy

⇣

Fun with FUN,
Fabien Mathieu, Sébastien Tixeuil ■,
FUN 2022, Favignana, Italy

⇣

Qui ne se ressemble pas s'assemble,
Quentin Bramas, Anissa Lamani, Sébastien Tixeuil ■,
AlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2022, Saint-Rémy-Lès-Chevreuse, France

⇣

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 2022, Saint-Rémy-Lès-Chevreuse, France

⇣

Il était une fois Algotel,
Fabien Mathieu, Sébastien Tixeuil ■,
AlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2022, Saint-Rémy-Lès-Chevreuse, France

⇣

Data-Driven Evaluation of Intrusion Detectors: A Methodological Framework,
Solayman Ayoubi, Gregory Blanc ■, Houda Jmila, Thomas Silverston, Sébastien Tixeuil ■,
FPS 2022

⇣

Constrained Backward Time Travel Planning is in P,
Quentin Bramas, Jean Romain Luttringer, Sébastien Tixeuil ■,
CoRR 2022

⇣

Quixo is Solved,
Satoshi Tanaka, Francois Bonnet, Sébastien Tixeuil ■, Yasumasa Tamura,
ACG 2021, Maastricht, Netherlands

⇣

Asynchronous Gathering in a Torus,
Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil ■, Koichi Wada,
OPODIS 2021, Strasbourg, France

⇣

Computer Aided Formal Design of Swarm Robotics Algorithms,
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil ■, Xavier Urbain,
SSS 2021, Online, Sweden

⇣

Unreliable Sensors for Reliable Efficient Robots,
Adam Heriban, Sébastien Tixeuil ■,
CoRR 2021

⇣

Bloquer efficacement les "fake news" sans connaître leurs réseaux de propagation,
Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil ■,
ALGOTEL 2021 — 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2021, La Rochelle, France

⇣

Comment s'assurer de garder le contact (et nos distances),
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil ■, Xavier Urbain,
ALGOTEL 2021 - 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2021, La Rochelle, France

⇣

Semi-Uniform Deployment of Mobile Robots in Perfect $\ell$ -ary Trees,
Masahiro Shibata, Sébastien Tixeuil ■,
CANDAR 2021

⇣

Practical Byzantine Reliable Broadcast on Partially Connected Networks,
Silvia Bonomi, Jeremie Decouchant, Giovanni Farina, Vincent Rahli, Sébastien Tixeuil ■,
ICDCS 2021

⇣

On the Encoding and Solving of Partial Information Games,
Yackolley Amoussou-Guenou ■, Souheib Baarir, Maria Potop-Butucaru ■, Nathalie Sznajder, Leo Tible, Sébastien Tixeuil ■,
NETYS 2020, Marrakech, Morocco

⇣

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 2020, Lyon, France

⇣

Uniform Bipartition in the Population Protocol Model with Arbitrary Communication Graphs,
Hiroto Yasumi, Fukuhito Ooshita, Michiko Inoue, Sébastien Tixeuil ■,
OPODIS 2020, Strasbourg, France

⇣

Broadcasting Information in Multi-hop Networks Prone to Mobile Byzantine Faults,
Silvia Bonomi, Giovanni Farina ■, Sébastien Tixeuil ■,
NETYS 2020, Marrakech, Morocco

⇣

Partial Gathering of Mobile Robots from Multiplicity-Allowed Configurations in Rings,
Masahiro Shibata, Sébastien Tixeuil ■,
SSS 2020, Austin, United States

⇣

Boosting the Efficiency of Byzantine-Tolerant Reliable Communication,
Silvia Bonomi, Giovanni Farina ■, Sébastien Tixeuil ■,
SSS 2020, Austin, United States

⇣

Stand Up Indulgent Rendezvous,
Quentin Bramas, Anissa Lamani, Sébastien Tixeuil ■,
SSS 2020, Austin, TX, United States

⇣

Autonomous Identification of IoT Device Types based on a Supervised Classification,
Nesrine Ammar ■, Ludovic Noirie ■, Sébastien Tixeuil ■,
ICC 2020, Virtual conference, Ireland

⇣

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 2020, Lyon, France

⇣

Du discrètement continu au continûment discret,
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil ■, Xavier Urbain,
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2020, Lyon, France

⇣

Ressource Efficient Stabilization for Local Tasks despite Unknown Capacity Links,
Lelia Blin, Anais Durand, Sébastien Tixeuil ■,
CoRR 2020

⇣

Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots,
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil ■, Xavier Urbain,
NETYS 2019, Marrakech, Morocco

⇣

Brief Announcement: Model Checking Rendezvous Algorithms for Robots with Lights in Euclidean Space,
Xavier Defago, Adam Heriban, Sébastien Tixeuil ■, Koichi Wada,
DISC 2019, Budapest, Hungary

⇣

Distributed Online Data Aggregation in Dynamic Graphs,
Quentin Bramas, Toshimitsu Masuzawa, Sébastien Tixeuil ■,
NETYS 2019, Marrakech, Morocco

⇣

Network-Protocol-Based IoT Device Identification,
Nesrine Ammar ■, Ludovic Noirie ■, Sébastien Tixeuil ■,
FMEC 2019, Rome, Italy

⇣

Mobile Robots with Uncertain Visibility Sensors,
Adam Heriban, Sébastien Tixeuil ■,
SIROCCO 2019, L'Aquila, Italy

⇣

Autonomous IoT Device Identification Prototype,
Nesrine Ammar ■, Ludovic Noirie ■, Sébastien Tixeuil ■,
TMA 2019, Paris, France

⇣

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 2019, Jardins de Saint Benoît, France

⇣

Manuel de savoir-prouver à l’usage des roboteux et des distributeux,
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil ■, Xavier Urbain,
ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2019, Saint Laurent de la Cabrerisse, France

⇣

Les 4 Robots Fantastiques,
Quentin Bramas, Sébastien Tixeuil ■,
ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2019, Saint Laurent de la Cabrerisse, France

⇣

Multi-hop Byzantine Reliable Broadcast Made Practical,
Silvia Bonomi, Giovanni Farina ■, Sébastien Tixeuil ■,
CoRR 2019, Foz do Iguau, Brazil

⇣

Asynchronous Scattering,
Ulysse Lechine, Sébastien Tixeuil ■,
CoRR 2019

⇣

Brief Announcement: Optimal Self-stabilizing Mobile Byzantine-Tolerant Regular Register with Bounded Timestamps,
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
SSS 2018, Tokyo, Japan

⇣

Arbitrary Pattern Formation with Four Robots,
Quentin Bramas, Sébastien Tixeuil ■,
SSS 2018, Tokyo, Japan

⇣

Short Paper: Tight Bounds for Universal and Cautious Self-stabilizing 1-Maximal Matching,
Michiko Inoue, Sébastien Tixeuil ■,
NETYS 2018, Essaouira, Morocco

⇣

Churn Possibilities and Impossibilities,
Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil ■,
NETYS 2018, Essaouira, Morocco

⇣

Reliable Broadcast in Dynamic Networks with Locally Bounded Byzantine Failures,
Silvia Bonomi, Giovanni Farina ■, Sébastien Tixeuil ■,
SSS 2018, Tokyo, Japan

⇣

Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots,
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil ■, Xavier Urbain,
SSS 2018, Tokyo, Japan

⇣

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 2018, Roscoff, France

⇣

Concurrent Geometric Multicasting,
Jordan Adamek, Mikhail Nesterenko, James Scott Robinson, Sébastien Tixeuil ■,
ICDCN 2018, Varanasi, India

⇣

A Foundational Framework for Certified Impossibility Results with Mobile Robots on Graphs,
Thibaut Balabonski, Robin Pelle, Lionel Rieg, Sébastien Tixeuil ■,
ICDCN 2018, Varanasi, India

⇣

Optimally Gathering Two Robots,
Adam Heriban, Xavier Defago, Sébastien Tixeuil ■,
ICDCN 2018, Varanasi, India

⇣

Optimal Storage under Unsynchrononized Mobile Byzantine Faults,
Silvia Bonomi, Antonella Del Pozzo ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
CoRR 2017

⇣

Brief announcement: Compact Self-Stabilizing Leader Election for General Networks,
Lélia Blin, Sébastien Tixeuil ■,
31st International Symposium on Distributed Computing (DISC 2017) 2017, Vienna, Austria

⇣

Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open Problems,
Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil ■, Xavier Urbain,
FMICS-AVoCS 2017, Turin, Italy

⇣

Optimal Storage under Unsynchronized Mobile Byzantine Faults,
Silvia Bonomi, Antonella Del Pozzo ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
SRDS 2017, Hong Kong, China

⇣

Stateless Reliable Geocasting,
Jordan Adamek, Mikhail Nesterenko, James Scott Robinson, Sébastien Tixeuil ■,
SRDS 2017, Hong Kong, China

⇣

Brief Announcement: Efficient Self-Stabilizing 1-Maximal Matching Algorithm for Arbitrary Networks,
Michiko Inoue, Fukuhito Ooshita, Sébastien Tixeuil ■,
PODC 2017, Washington, United States

⇣

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 2017, Quiberon, France

⇣

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 2017, Quiberon, France

⇣

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 2017, Quiberon, France

⇣

An Efficient Silent Self-stabilizing 1-Maximal Matching Algorithm Under Distributed Daemon for Arbitrary Networks,
Michiko Inoue, Fukuhito Ooshita, Sébastien Tixeuil ■,
SSS 2017

⇣

Brief Announcement: Compact Self-Stabilizing Leader Election in Arbitrary Graphs,
Lelia Blin, Sébastien Tixeuil ■,
DISC 2017

⇣

Compact Self-Stabilizing Leader Election for Arbitrary Networks,
Lelia Blin, Sébastien Tixeuil ■,
CoRR 2017

⇣

Probabilistic Asynchronous Arbitrary Pattern Formation (Short Paper),
Quentin Bramas ■, Sébastien Tixeuil ■,
SSS 2016, Lyon, France

⇣

Infinite Unlimited Churn (Short Paper),
Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil ■,
SSS 2016, Lyon, France

⇣

An Efficient Silent Self-stabilizing 1-Maximal Matching Algorithm Under Distributed Daemon Without Global Identifiers,
Michiko Inoue, Fukuhito Ooshita, Sébastien Tixeuil ■,
SSS 2016, Lyon, France

⇣

Specification-Based Synthesis of Distributed Self-Stabilizing Protocols,
Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil ■, Sandeep Kulkarni,
FORTE 2016, Heraklion, Greece

⇣

Infinite Unlimited Churn,
Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil ■,
CoRR 2016

⇣

Brief Announcement: Probabilistic Asynchronous Arbitrary Pattern Formation,
Quentin Bramas ■, Sébastien Tixeuil ■,
PODC 2016, Chicago, United States

⇣

Brief Announcement: Certified Universal Gathering in R2 for Oblivious Mobile Robots,
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil ■, Xavier Urbain,
PODC 2016, Chicago, United States

⇣

Benchmarking Energy-Efficient Broadcast Protocols in Wireless Sensor Networks,
Quentin Bramas ■, Sébastien Tixeuil ■,
Networked Systems - Fourth International Conference (NETYS 2016) 2016, Marakech, Morocco

⇣

Certified Universal Gathering in $R2$ for Oblivious Mobile Robots,
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil ■, Xavier Urbain,
CoRR 2016, Paris, France

⇣

Enhancing Content Distribution through Information-Aware Mechanisms,
Walid Benchaita ■, Gioacchino Tangari, Samir Ghamri Doudane ■, Sébastien Tixeuil ■,
CloudNet 2016, Pisa, Italy

⇣

Asynchronous Gathering in Rings with 4 Robots,
Francois Bonnet, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
ADHOC-NOW 2016, Lille, France

⇣

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 2016, Bayonne, France

⇣

Stability and optimization of DNS-based request redirection in CDNs,
Walid Benchaita ■, Samir Ghamri Doudane ■, Sébastien Tixeuil ■,
ICDCN 2016, Singapore, Singapore

⇣

Benchmarking Energy-Centric Broadcast Protocols in Wireless Sensor Networks,
Quentin Bramas ■, Sébastien Tixeuil ■,
NETYS 2016

⇣

Optimal Mobile Byzantine Fault Tolerant Distributed Storage: Extended Abstract,
Silvia Bonomi, Antonella Del Pozzo ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
PODC 2016

⇣

Certified Universal Gathering in \mathbb R 2 for Oblivious Mobile Robots,
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil ■, Xavier Urbain,
DISC 2016

⇣

Self-Stabilizing Mobile Byzantine-Tolerant Regular Register with bounded timestamp,
Silvia Bonomi, Antonella Del Pozzo ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
CoRR 2016

⇣

WiSeBat: accurate energy benchmarking of wireless sensor networks,
Quentin Bramas ■, Wilfried Dron, Mariem Ben Fadhl, Khalil Hachicha, Patrick Garda, Sébastien Tixeuil ■,
FDL 2015, Barcelona, Spain

⇣

Communicating Reliably in Multihop Dynamic Networks Despite Byzantine Failures,
Alexandre Maurer, Sébastien Tixeuil ■, Xavier Defago,
SRDS 2015, Montreal, Canada

⇣

Wait-Free Gathering Without Chirality,
Quentin Bramas ■, Sébastien Tixeuil ■,
SIROCCO 2015, Montserrat, Spain

⇣

Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols,
Saba Aflaki, Borzoo Bonakdarpour, Sébastien Tixeuil ■,
SSS 2015, Edmonton, Canada

⇣

Stabilizing Byzantine-Fault Tolerant Storage,
Silvia Bonomi, Maria Potop-Butucaru, Sébastien Tixeuil ■,
IPDPS 2015, Hyderabad, India

⇣

Stateless Geocasting,
Jordan Adamek, Mikhail Nesterenko, Sébastien Tixeuil ■,
CoRR 2015

⇣

A Certified Universal Gathering Algorithm for Oblivious Mobile Robots,
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil ■, Xavier Urbain,
CoRR 2015

⇣

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 2015, Beaune, France

⇣

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 2015, Beaune, France

⇣

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 2015, Beaune, France

⇣

De la Survie Énergétique des Réseaux de Capteurs,
Quentin Bramas ■, Wilfried Dron, Mariem Ben Fadhl, Khalil Hachicha, Patrick Garda, Sébastien Tixeuil ■,
ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2015, Beaune, France

⇣

On the Optimization of Request Routing for Content Delivery,
Walid Benchaita ■, Samir Ghamri Doudane ■, Sébastien Tixeuil ■,
SIGCOMM 2015

⇣

Asynchronous Pattern Formation without Chirality,
Quentin Bramas ■, Sébastien Tixeuil ■,
CoRR 2015

⇣

Self-Stabilizing Byzantine Broadcast,
Alexandre Maurer ■, Sébastien Tixeuil ■,
SRDS 2014, Nara, Japan

⇣

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 2014, Paderborn, Germany

⇣

Reliable Communication in a Dynamic Network in the Presence of Byzantine Faults,
Alexandre Maurer ■, Sébastien Tixeuil ■, Xavier Defago,
CoRR 2014

⇣

Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols,
Francois Bonnet, Xavier Defago, Franck Petit, Maria Potop-Butucaru, Sébastien Tixeuil ■,
SRDS Workshops 2014, Nara, Japan

⇣

On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering,
Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil ■,
SSS 2014, Paderborn, Germany

⇣

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 2014, Le Bois-Plage-en-Ré, France

⇣

Compact Deterministic Self-Stabilizing Leader Election: The Exponential Advantage of Being Talkative,
Lelia Blin, Sébastien Tixeuil ■,
CoRR 2014, Jerusalem, Israel

⇣

Dependable Information Broadcast in Sparsely Connected Networks,
Alexandre Maurer ■, Sébastien Tixeuil ■,
International Conference on Latin American Dependable Computing, LADC 2013 2013, Rio de Janeiro, Brazil

⇣

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) 2013, Jerusalem, Israel

⇣

Linearizing Peer-to-Peer Systems with Oracles,
Rizal Mohd Nor, Mikhail Nesterenko, Sébastien Tixeuil ■,
SSS 2013, Osaka, Japan

⇣

Certified Impossibility Results for Byzantine-Tolerant Mobile Robots,
Cedric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil ■, Xavier Urbain,
SSS 2013, Osaka, Japan

⇣

Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Model Checking,
Narges Fallahi, Borzoo Bonakdarpour, Sébastien Tixeuil ■,
SRDS 2013, Braga, Portugal

⇣

Consensus with Unknown Participants in Shared Memory,
Catia Khouri, Fabiola Greve, Sébastien Tixeuil ■,
SRDS 2013, Braga, Portugal

⇣

Brief announcement: deterministic self-stabilizing leader election with O(log log n)-bits,
Lelia Blin, Sébastien Tixeuil ■,
PODC 2013, Montreal, Canada

⇣

Gathering of Mobile Robots Tolerating Multiple Crash Faults,
Zohir Bouzid, Shantanu Das, Sébastien Tixeuil ■,
ICDCS 2013, Philadelphia, United States

⇣

Fast Leader (Full) Recovery Despite Dynamic Faults,
Ajoy Kumar Datta, Stephane Devismes, Lawrence Larmore, Sébastien Tixeuil ■,
ICDCN 2013, Mumbai, India

⇣

Parameterizable Byzantine Broadcast in Loosely Connected Networks,
Alexandre Maurer ■, Sébastien Tixeuil ■,
CoRR 2013

⇣

On Byzantine Broadcast in Planar Graphs,
Alexandre Maurer ■, Sébastien Tixeuil ■,
CoRR 2013

⇣

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) 2013, Pornic, France

⇣

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) 2013, Pornic, France

⇣

Contenu généré par les utilisateurs : une étude sur DailyMotion,
Yannick Carlinet, The Dang Huynh ■, Bruno Kauffmann, Fabien Mathieu, Ludovic Noirie ■, Sébastien Tixeuil ■,
15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel) 2013, Pornic, France

⇣

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) 2013, Pornic, France

⇣

A Scalable Byzantine Grid,
Alexandre Maurer ■, Sébastien Tixeuil ■,
ICDCN 2013, Mumbai, India

⇣

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) 2012, Ouro Preto, Brazil

⇣

Brief Announcement: Probabilistic Stabilization under Probabilistic Schedulers,
Yukiko Yamauchi, Sébastien Tixeuil ■, Shuji Kijima, Masafumi Yamashita,
DISC 2012, Salvador, Brazil

⇣

Brief Announcement: Wait-Free Gathering of Mobile Robots,
Zohir Bouzid, Shantanu Das, Sébastien Tixeuil ■,
DISC 2012, Salvador, Brazil

⇣

Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols,
Francois Bonnet, Xavier Defago, Franck Petit, Maria Gradinariu Potop Butucaru, Sébastien Tixeuil ■,
SSS 2012, Toronto, Canada

⇣

Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with Feedback,
Jordan Adamek, Mikhail Nesterenko, Sébastien Tixeuil ■,
SSS 2012, Toronto, Canada

⇣

Optimal Grid Exploration by Asynchronous Oblivious Robots,
Stephane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil ■,
SSS 2012, Toronto, Canada

⇣

Crash Resilient and Pseudo-Stabilizing Atomic Registers,
Shlomi Dolev, Swan Dubois, Maria Gradinariu Potop Butucaru, Sébastien Tixeuil ■,
OPODIS 2012, Rome, Italy

⇣

Gathering an Even Number of Robots in an Odd Ring without Global Multiplicity Detection,
Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil ■,
MFCS 2012, Bratislava, Slovakia

⇣

Limiting Byzantine Influence in Multihop Asynchronous Networks,
Alexandre Maurer ■, Sébastien Tixeuil ■,
ICDCS 2012, Macau, China

⇣

The Byzantine Brides Problem,
Swan Dubois, Sébastien Tixeuil ■, Nini Zhu,
FUN 2012, Venice, Italy

⇣

A Fast and Robust Optimistic Total Order Broadcast for Online Video Games,
Samuel Bernard, Xavier Defago, Sébastien Tixeuil ■,
AINA Workshops 2012, Fukuoka, Japan

⇣

On Byzantine Broadcast in Loosely Connected Networks,
Alexandre Maurer ■, Sébastien Tixeuil ■,
DISC 2012, Salvador, Brazil

⇣

Four months in daily motion: Dissecting user video requests,
Yannick Carlinet, The Dang Huynh ■, Bruno Kauffmann, Fabien Mathieu, Ludovic Noirie ■, Sébastien Tixeuil ■,
IWCMC 2012, Limassol, Cyprus

⇣

Mariages et Trahisons,
Swan Dubois, Sébastien Tixeuil ■, Nini Zhu,
CoRR 2012, La Grande Motte, France

⇣

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) 2012, La Grande Motte, France

⇣

Limiting Byzantien Influence in Multihop Asynchronous Networks,
Alexandre Maurer ■, Sébastien Tixeuil ■,
CoRR 2012

⇣

Wait-Free Gathering of Mobile Robots,
Zohir Bouzid, Shantanu Das, Sébastien Tixeuil ■,
CoRR 2012

⇣

Ideal Stabilization,
Mikhail Nesterenko, Sébastien Tixeuil ■,
AINA 2011, Biopolis, Singapore

⇣

Asynchronous Mobile Robot Gathering from Symmetric Configurations without Global Multiplicity Detection,
Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil ■,
SIROCCO 2011, Gdansk, Poland

⇣

Brief Announcement: The BG-Simulation for Byzantine Mobile Robots,
Taisuke Izumi, Zohir Bouzid, Sébastien Tixeuil ■, Koichi Wada,
DISC 2011, Roma, Italy

⇣

Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction,
Francois Bonnet, Alessia Milani, Maria Potop-Butucaru, Sébastien Tixeuil ■,
OPODIS 2011, Toulouse, France

⇣

Distributed Computing with Mobile Robots: An Introductory Survey,
Maria Potop-Butucaru, Michel Raynal, Sébastien Tixeuil ■,
NBiS 2011, Tirana, Albania

⇣

A Taxonomy of Daemons in Self-stabilization,
Swan Dubois, Sébastien Tixeuil ■,
CoRR 2011

⇣

Pragmatic Self-stabilization of Atomic Memory in Message-Passing Systems,
Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil ■,
SSS 2011, Grenoble, France

⇣

Auto-Stabilisation et Confinement de Fautes Malicieuses : Optimalité du Protocole min+1,
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil ■,
CoRR 2011, Cap Estérel, France

⇣

Communication Optimalement Stabilisante sur Canaux non Fiables et non FIFO,
Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil ■,
CoRR 2011, Cap Estérel, France

⇣

Self-Stabilization, Byzantine Containment, and Maximizable Metrics: Necessary Conditions,
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil ■,
CoRR 2011

⇣

The BG-simulation for Byzantine Mobile Robots,
Taisuke Izumi, Zohir Bouzid, Sébastien Tixeuil ■, Koichi Wada,
CoRR 2011

⇣

Optimal Deterministic Ring Exploration with Oblivious Asynchronous Robots,
Anissa Lamani, Maria Gradinariu Potop Butucaru, Sébastien Tixeuil,
SIROCCO 2010, Şirince, Türkiye

⇣

A Framework for Secure and Private P2P Publish/Subscribe,
Samuel Bernard, Maria Gradinariu Potop Butucaru, Sébastien Tixeuil,
SSS 2010, New York, NY, United States

⇣

Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility,
Taisuke Izumi, Maria Gradinariu Potop Butucaru, Sébastien Tixeuil,
SSS 2010, New York, NY, United States

⇣

Brief Announcement: Sharing Memory in a Self-stabilizing Manner,
Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Gradinariu, Sébastien Tixeuil,
DISC 2010, Cambridge, MA, United States

⇣

The Impact of Topology on Byzantine Containment in Stabilization,
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil,
DISC 2010, Cambridge, MA, United States

⇣

Probabilistic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks,
Samuel Bernard, Stephane Devismes, Katy Paroux, Maria Potop-Butucaru, Sébastien Tixeuil,
ICDCN 2010, Kolkata, India

⇣

Stabilizing Locally Maximizable Tasks in Unidirectional Networks Is Hard,
Toshimitsu Masuzawa, Sébastien Tixeuil,
ICDCS 2010, Gênes, Italy

⇣

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 2010, Montreal, Canada

⇣

Brief announcement: monotonic stabilization,
Yukiko Yamauchi, Sébastien Tixeuil,
PODC 2010, Zurich, Switzerland

⇣

On Byzantine Containment Properties of the min + 1 Protocol,
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil,
SSS 2010, New York, NY, United States

⇣

Advanced faults patterns for WSN dependability benchmarking,
Ali Asim, Sébastien Tixeuil,
MSWiM 2010, Bodrum, Türkiye

⇣

SAFE-OS: A secure and usable desktop operating system,
Francois Lesueur, Ala Rezmerita, Thomas Herault, Sylvain Peyronnet, Sébastien Tixeuil,
CRiSIS 2010, Montréal, Canada

⇣

RoboCast: Asynchronous Communication in Robot Networks,
Zohir Bouzid, Shlomi Dolev, Maria Potop-Butucaru, Sébastien Tixeuil,
OPODIS 2010, Tozeur, Tunisia

⇣

Monotonic Stabilization,
Yukiko Yamauchi, Sébastien Tixeuil,
OPODIS 2010, Tozeur, Tunisia

⇣

Exclusive Perpetual Ring Exploration without Chirality,
Lelia Blin, Alessia Milani, Maria Potop-Butucaru, Sébastien Tixeuil,
DISC 2010, Cambridge, MA, United States

⇣

Loop-Free Super-Stabilizing Spanning Tree Construction,
Lelia Blin, Maria Gradinariu Potop Butucaru, Stephane Rovedakis, Sébastien Tixeuil,
SSS 2010, New York, NY, United States

⇣

Universal Loop-Free Super-Stabilization,
Lelia Blin, Maria Potop-Butucaru, Stephane Rovedakis, Sébastien Tixeuil,
CoRR 2010

⇣

Communications Efﬁcaces et Auto-Stabilisation,
Stéphane Devismes, Toshimitsu Masuzawa, Sébastien Tixeuil,
12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel) 2010, Belle-Dune, France

⇣

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) 2010, Belle Dune, France

⇣

Conditions for the solvability of fault-tolerant consensus in asynchronous unknown networks: invited paper,
Fabiola Greve, Sébastien Tixeuil,
WRAS 2010

⇣

XS-WSNet: Extreme scale wireless sensor network simulation,
Ali Asim, Sébastien Tixeuil,
WOWMOM 2010

⇣

Construction auto-stabilisante d'arbre couvrant en dépit d'actions malicieuses,
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil,
CoRR 2010

⇣

Self-stabilization with Byzantine tolerance for global tasks,
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil,
CoRR 2010

⇣

Practically Stabilizing Atomic Memory,
Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Gradinariu, Sébastien Tixeuil,
CoRR 2010

⇣

Optimal deterministic self-stabilizing vertex coloring in unidirectional anonymous networks,
Samuel Bernard, Stephane Devismes, Maria Gradinariu Potop Butucaru, Sébastien Tixeuil,
IPDPS 2009, Rome, Italy

⇣

Byzantine-Resilient Convergence in Oblivious Robot Networks,
Zohir Bouzid, Maria Gradinariu Potop Butucaru, Sébastien Tixeuil,
ICDCN 2009, Hyderabad, India

⇣

Brief Announcement: Dynamic FTSS in Asynchronous Systems: The Case of Unison,
Swan Dubois, Maria Gradinariu Potop Butucaru, Sébastien Tixeuil,
DISC 2009, Elche, Spain

⇣

Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots,
Stephane Devismes, Franck Petit, Sébastien Tixeuil,
CoRR 2009, Piran, Slovenia

⇣

Communication Efficiency in Self-Stabilizing Silent Protocols,
Stephane Devismes, Toshimitsu Masuzawa, Sébastien Tixeuil,
ICDCS 2009, Montreal, Canada

⇣

Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks,
Zohir Bouzid, Maria Gradinariu Potop Butucaru, Sébastien Tixeuil,
CoRR 2009, Lyon, France

⇣

Byzantine Convergence in Robots Networks: The Price of Asynchrony,
Zohir Bouzid, Maria Potop-Butucaru, Sébastien Tixeuil,
CoRR 2009, Nimes, France

⇣

Optimal byzantine resilient convergence in oblivious robot networks,
Zohir Bouzid, Maria Potop-Butucaru, Sébastien Tixeuil,
CoRR 2009

⇣

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) 2009, Carry-Le-Rouet, France

⇣

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) 2009, Carry-Le-Rouet, France

⇣

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) 2009, Carry-Le-Rouet, France

⇣

Stabilizing Maximal Independent Set in Unidirectional Networks is Hard,
Toshimitsu Masuzawa, Sébastien Tixeuil,
CoRR 2009

⇣

Byzantine Convergence in Robot Networks: The Price of Asynchrony,
Zohir Bouzid, Maria Gradinariu Potop Butucaru, Sébastien Tixeuil,
OPODIS 2009

⇣

Optimal Byzantine Resilient Convergence in Asynchronous Robots Networks,
Zohir Bouzid, Maria Gradinariu Potop Butucaru, Sébastien Tixeuil,
SSS 2009

⇣

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) 2008, Pokfulam, Hong Kong

⇣

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) 2008, Toronto, Canada

⇣

Universe Detectors for Sybil Defense in Ad Hoc Wireles Networks,
Adnam Vora, Mikhail Nesterenko, Sébastien Tixeuil,
International Conference on Stabilization, Safety, and Security (SSS 2008) 2008, Detroit, MI, United States

⇣

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 2008

⇣

Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks,
Adnan Vora, Mikhail Nesterenko, Sébastien Tixeuil, Sylvie Delaet,
SSS 2008

⇣

Bounds for self-stabilization in unidirectional networks,
Samuel Bernard, Stephane Devismes, Maria Gradinariu Potop Butucaru, Sébastien Tixeuil,
CoRR 2008

⇣

A Self-stabilizing -Approximation Algorithm for the Maximum Matching Problem,
Fredrik Manne, Morten Mjelde, Laurence Pilard, Sébastien Tixeuil,
SSS 2008

⇣

Conflict Managers for Self-stabilization without Fairness Assumption,
Maria Gradinariu, Sébastien Tixeuil,
ICDCS 2007, Toronto, Canada

⇣

On the Self-stabilization of Mobile Robots in Graphs,
Lelia Blin, Maria Gradinariu Potop Butucaru, Sébastien Tixeuil,
OPODIS 2007, Guadeloupe, France

⇣

Knowledge Connectivity vs. Synchrony Requirements for Fault-Tolerant Agreement in Unknown Networks,
Fabiola Greve, Sébastien Tixeuil,
DSN 2007

⇣

Dependability Evaluation of The Ogsa-Dai Middleware,
William Hoarau, Sébastien Tixeuil, Nuno Rodrigues, Decio Sousa, Luis Moura Silva,
CoreGRID Integration Workshop 2006

⇣

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 2006, Trégastel, France

⇣

Fast Convergence in Self-Stabilizing Wireless Networks,
Nathalie Mitton, Eric Fleury, Isabelle Guerin Lassous, Bruno Sericola, Sébastien Tixeuil,
ICPADS 2006, Minneapolis, United States

⇣

The Reduced Automata Technique for Graph Exploration Space Lower Bounds,
Pierre Fraigniaud, David Ilcinkas, Sergio Rajsbaum, Sébastien Tixeuil,
Essays in Memory of Shimon Even 2006

⇣

Evaluating Complex MAC Protocols for Sensor Networks with APMC,
Michael Cadilhac, Thomas Herault, Richard Lassaigne, Sylvain Peyronnet, Sébastien Tixeuil,
AVoCS 2006, Nancy, France

⇣

FAIL-MPI: How Fault-Tolerant Is Fault-Tolerant MPI?,
William Hoarau, Pierre Lemarinier, Thomas Herault, Eric Rodriguez, Sébastien Tixeuil, Franck Cappello,
CLUSTER 2006

⇣

Fault injection in distributed Java applications,
William Hoarau, Sébastien Tixeuil, Fabien Vauchelles,
IPDPS 2006

⇣

Selfish Stabilization,
Anurag Dasgupta, Sukumar Ghosh, Sébastien Tixeuil,
SSS 2006

⇣

Self-Stabilization in Self-Organized Multihop Wireless Networks,
Nathalie Mitton, Eric Fleury, Isabelle Guerin Lassous, Sébastien Tixeuil,
Ad Hoc & Sensor Wireless Networks 2005

⇣

A language-driven tool for fault injection in distributed applications,
William Hoarau, Sébastien Tixeuil,
Proceedings of the IEEE/ACM Workshop GRID 2005 2005, Seattle, United States

⇣

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) 2005, Presqu'ile de giens, France

⇣

Space Lower Bounds for Graph Exploration via Reduced Automata,
Pierre Fraigniaud, David Ilcinkas, Sergio Rajsbaum, Sébastien Tixeuil,
SIROCCO 2005, Le Mont Saint-Michel, France

⇣

A language-driven tool for fault injection in distributed systems,
William Hoarau, Sébastien Tixeuil,
GRID 2005

⇣

A Self-stabilizing Link-Coloring Protocol Resilient to Unbounded Byzantine Faults in Arbitrary Networks,
Toshimitsu Masuzawa, Sébastien Tixeuil,
OPODIS 2005

⇣

Optimal Randomized Self-stabilizing Mutual Exclusion on Synchronous Rings,
Philippe Duchon, Nicolas Hanusse, Sébastien Tixeuil,
DISC 2004, Netherlands

⇣

Protocoles auto-stabilisants synchrones d'exclusion mutuelle pour les anneaux anonymes et uniformes,
Philippe Duchon, Nicolas Hanusse, Sébastien Tixeuil,
Actes d'AlgoTel 2004 2004, France

⇣

A Distributed TDMA Slot Assignment Algorithm for Wireless Sensor Networks,
Ted Herman, Sébastien Tixeuil,
ALGOSENSORS 2004

⇣

Stabilite Et Auto-Stabilisation Du Routage Inter-Domaine Dans Internet,
Sylvie Delaet, Duy So Nguyen, Sébastien Tixeuil,
RIVF 2003

⇣

Route Preserving Stabilization,
Colette Johnen, Sébastien Tixeuil,
Self-Stabilizing Systems 2003

⇣

Stabilizing Inter-domain Routing in the Internet (Research Note),
Yu Chen, Ajoy Kumar Datta, Sébastien Tixeuil,
Euro-Par 2002

⇣

A Lower Bound on Dynamic k-Stabilization in Asynchronous Systems,
Christophe Genolini, Sébastien Tixeuil,
SRDS 2002

⇣

Tight Space Self-Stabilizing Uniform l-Mutual Exclusion,
Maria Gradinariu, Sébastien Tixeuil,
ICDCS 2001

⇣

Self-stabilizing Vertex Coloring of Arbitrary Graphs,
Maria Gradinariu, Sébastien Tixeuil,
International conference on Principles of Distributed Systems (OPODIS 2000) 2000, Paris, France

⇣

Self-Stabilizing Mutual Exclusion Using Unfair Distributed Scheduler,
Ajoy Kumar Datta, Maria Gradinariu, Sébastien Tixeuil,
IPDPS 2000

⇣

Tolerating Transient and Intermittent Failure,
Sylvie Delaet, Sébastien Tixeuil,
OPODIS 2000

⇣

Self-stabilizing Vertex Coloration and Arbitrary Graphs,
Maria Gradinariu, Sébastien Tixeuil,
OPODIS 2000

⇣

Self-Stabilizing Neighborhood Synchronizer in Tree Networks,
Colette Johnen, Luc Onana Alima, Ajoy Kumar Datta, Sébastien Tixeuil,
ICDCS 1999

⇣

Self-stabilizing census with cut-through constraint,
Joffroy Beauquier, Ajoy Kumar Datta, Sébastien Tixeuil,
WSS 1999

⇣

Self-Stabilization with Global Rooted Synchronizers,
Luc Onana Alima, Joffroy Beauquier, Ajoy Kumar Datta, Sébastien Tixeuil,
ICDCS 1998, Amsterdam, Netherlands

⇣

SelfStabilizing Global Computations with rOperators,
Bertrand Ducourthial, Sébastien Tixeuil,
OPODIS 1998

Journal articles

⇣

On Dynamics of Basic Network Creation Games With Non‐Uniform Communication Interest,
Maxime Dresler, Sanaï Mansour, Safaâ Talhaoui, Yukiko Yamauchi, Sébastien Tixeuil ■,
Concurrency and Computation: Practice and Experience 2025

⇣

Gathering on Rings for Myopic Asynchronous Robots with Lights,
Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil ■, Koichi Wada,
Theory of Computing Systems 2025

⇣

On Dynamics of Basic Network Creation Games With Non-Uniform Communication Interest,
Maxime Dresler, Sanai Mansour, Safaâ Talhaoui, Yukiko Yamauchi, Sébastien Tixeuil ■,
Concurr. Comput. Pract. Exp. 2025

⇣

Reliable communication in dynamic networks with locally bounded byzantine faults,
Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil ■,
Journal of Parallel and Distributed Computing 2024

⇣

Resource efficient stabilization for local tasks despite unknown capacity links,
Lelia Blin, Anais Durand, Sébastien Tixeuil ■,
Theoretical Computer Science 2024

⇣

Stand-up indulgent gathering on lines,
Quentin Bramas, Sayaka Kamei, Anissa Lamani, Sébastien Tixeuil ■,
Theoretical Computer Science 2024

⇣

An Asynchronous Maximum Independent Set Algorithm By Myopic Luminous Robots On Grids,
Sayaka Kamei, Sébastien Tixeuil ■,
The Computer Journal 2024

⇣

Semi‐uniform deployment of mobile robots in perfect $\ell$‐ary trees,
Masahiro Shibata, Sébastien Tixeuil ■,
Concurrency and Computation: Practice and Experience 2023

⇣

The agreement power of disagreement,
Quentin Bramas, Anissa Lamani, Sébastien Tixeuil ■,
Theoretical Computer Science 2023

⇣

Using model checking to formally verify rendezvous algorithms for robots with lights in Euclidean space,
Xavier Defago, Adam Heriban, Sébastien Tixeuil ■, Koichi Wada,
Robotics and Autonomous Systems 2023

⇣

Stand up indulgent gathering,
Quentin Bramas, Anissa Lamani, Sébastien Tixeuil ■,
Theoretical Computer Science 2023

⇣

Optimal self-stabilizing mobile byzantine-tolerant regular register with bounded timestamps,
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
Theoretical Computer Science 2023

⇣

Semi-uniform deployment of mobile robots in perfect ℓ $$ \ell $$ -ary trees,
Masahiro Shibata, Sébastien Tixeuil ■,
Concurr. Comput. Pract. Exp. 2023

⇣

Swarms of Mobile Robots: Towards Versatility with Safety,
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil ■, Xavier Urbain,
Leibniz Transactions on Embedded Systems 2022

⇣

Ring exploration with myopic luminous robots,
Fukuhito Ooshita, Sébastien Tixeuil ■,
Information and Computation 2022

⇣

Uniform bipartition in the population protocol model with arbitrary graphs,
Hiroto Yasumi, Fukuhito Ooshita, Michiko Inoue, Sébastien Tixeuil ■,
Theoretical Computer Science 2021

⇣

Mobile Robots with Uncertain Visibility Sensors: Possibility Results and Lower Bounds,
Adam Heriban, Sébastien Tixeuil ■,
Parallel Processing Letters 2021

⇣

Terminating Exploration Of A Grid By An Optimal Number Of Asynchronous Oblivious Robots,
Stephane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil ■,
The Computer Journal 2021

⇣

Compact self-stabilizing leader election for general networks,
Lelia Blin, Sébastien Tixeuil ■,
Journal of Parallel and Distributed Computing 2020

⇣

Special issue on Structural Information and Communication Complexity,
Shantanu Das, Sébastien Tixeuil ■,
Theoretical Computer Science 2020

⇣

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

⇣

Synchronous Gathering without Multiplicity Detection: a Certified Algorithm,
Thibaut Balabonski, Amelie Delga, Lionel Rieg, Sébastien Tixeuil ■, Xavier Urbain,
Theory of Computing Systems 2019

⇣

Optimal torus exploration by oblivious robots,
Stephane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil ■,
Computing 2019

⇣

Multi-hop Byzantine reliable broadcast with honest dealer made practical,
Silvia Bonomi, Giovanni Farina ■, Sébastien Tixeuil ■,
Journal of the Brazilian Computer Society 2019

⇣

Packet Efficient Implementation of the Omega Failure Detector,
Quentin Bramas, Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil ■,
Theory of Computing Systems 2019

⇣

Approximate Agreement under Mobile Byzantine Faults,
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
Theoretical Computer Science 2019

⇣

On asynchronous rendezvous in general graphs,
Evangelos Bampas, Lelia Blin, Jurek Czyzowicz, David Ilcinkas, Arnaud Labourel, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
Theoretical Computer Science 2019

⇣

Automated Synthesis of Distributed Self-Stabilizing Protocols,
Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil ■, Sandeep Kulkarni,
Logical Methods in Computer Science 2018

⇣

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

⇣

Compact deterministic self-stabilizing leader election on a ring: the exponential advantage of being talkative,
Lelia Blin, Sébastien Tixeuil ■,
Distributed Computing 2018

⇣

Evaluating and optimizing stabilizing dining philosophers,
Jordan Adamek, Giovanni Farina ■, Mikhail Nesterenko, Sébastien Tixeuil ■,
Journal of Parallel and Distributed Computing 2017

⇣

The complexity of data aggregation in static and dynamic wireless sensor networks,
Quentin Bramas, Sébastien Tixeuil ■,
Information and Computation 2017

⇣

The Random Bit Complexity of Mobile Robot Scattering,
Quentin Bramas, Sébastien Tixeuil ■,
International Journal of Foundations of Computer Science 2017

⇣

The Random Bit Complexity of Mobile Robots Scattering,
Quentin Bramas, Sébastien Tixeuil ■,
Int. J. Found. Comput. Sci. 2017, Athènes, Greece

⇣

Formal verification of mobile robot protocols,
Beatrice Berard, Pascal Lafourcade, Laure Millet, Maria Potop-Butucaru ■, Yann Thierry Mieg, Sébastien Tixeuil ■,
Distributed Computing 2016

⇣

Tolerating Random Byzantine Failures in an Unbounded Network,
Alexandre Maurer, Sébastien Tixeuil ■,
Parallel Processing Letters 2016

⇣

A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-Free Property,
Lelia Blin, Maria Potop-Butucaru ■, Stephane Rovedakis, Sébastien Tixeuil ■,
The Computer Journal 2016

⇣

Weak vs. Self vs. Probabilistic Stabilization,
Stephane Devismes, Sébastien Tixeuil ■, Masafumi Yamashita,
Int. J. Found. Comput. Sci. 2015, Beijing, China

⇣

[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, Nathalie Sznajder, Sébastien Tixeuil ■, Xavier Urbain,
International Journal of Informatics Society 2015

⇣

Maximum Metric Spanning Tree Made Byzantine Tolerant,
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil ■,
Algorithmica 2015

⇣

Practically stabilizing SWMR atomic memory in message-passing systems,
Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil ■,
Journal of Computer and System Sciences 2015

⇣

On the self-stabilization of mobile oblivious robots in uniform rings,
Fukuhito Ooshita, Sébastien Tixeuil ■,
Theoretical Computer Science 2015

⇣

Containing Byzantine Failures with Control Zones,
Alexandre Maurer, Sébastien Tixeuil ■,
IEEE Transactions on Parallel and Distributed Systems 2015

⇣

Impossibility of gathering, a certification,
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil ■, Xavier Urbain,
Information Processing Letters 2015

⇣

Byzantine broadcast with fixed disjoint paths,
Alexandre Maurer ■, Sébastien Tixeuil ■,
Journal of Parallel and Distributed Computing 2014

⇣

Gathering fat mobile robots with slim omnidirectional cameras,
Anthony Honorat ■, Maria Potop-Butucaru, Sébastien Tixeuil ■,
Theoretical Computer Science 2014

⇣

A self-stabilizing 3-approximation for the maximum leaf spanning tree problem in arbitrary networks,
Sayaka Kamei, Hirotsugu Kakugawa, Stephane Devismes, Sébastien Tixeuil ■,
J. Comb. Optim. 2013, Na Thrang, Viet Nam

⇣

Optimal probabilistic ring exploration by semi-synchronous oblivious robots,
Stephane Devismes, Franck Petit, Sébastien Tixeuil ■,
Theoretical Computer Science 2013

⇣

Ideal stabilisation,
Mikhail Nesterenko, Sébastien Tixeuil ■,
Int. J. Grid Util. Comput. 2013

⇣

Bounding the Impact of Unbounded Attacks in Stabilization,
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil ■,
IEEE Transactions on Parallel and Distributed Systems 2012

⇣

Self-stabilizing byzantine asynchronous unison,
Swan Dubois, Maria Potop-Butucaru, Mikhail Nesterenko, Sébastien Tixeuil ■,
Journal of Parallel and Distributed Computing 2012

⇣

Deterministic secure positioning in wireless sensor networks,
Sylvie Delaet, Partha Sarathi Mandal, Mariusz Rokicki, Sébastien Tixeuil ■,
Theor. Comput. Sci. 2011, Santorini Island, Greece

⇣

A self-stabilizing 2/3-approximation algorithm for the maximum matching problem,
Fredrik Manne, Morten Mjelde, Laurence Pilard, Sébastien Tixeuil ■,
Theor. Comput. Sci. 2011, Detroit, MI, United States

⇣

Dynamic FTSS in asynchronous systems: The case of unison,
Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil ■,
Theoretical Computer Science 2011

⇣

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

⇣

Self-stabilization in Self-organized Wireless Multihop Networks?,
Nathalie Mitton, Bruno Sericola, Sébastien Tixeuil ■, Eric Fleury, Isabelle Guerin Lassous,
Ad Hoc Sens. Wirel. Networks 2011

⇣

Quiescence of self-stabilizing gossiping among mobile agents in graphs,
Toshimitsu Masuzawa, Sébastien Tixeuil,
Theor. Comput. Sci. 2010, Villars-sur-Ollon, Switzerland

⇣

Snap-stabilization in message-passing systems,
Sylvie Delaet, Stephane Devismes, Mikhail Nesterenko, Sébastien Tixeuil,
J. Parallel Distributed Comput. 2010, Hyderabad, India

⇣

Optimal Byzantine-resilient convergence in uni-dimensional robot networks,
Zohir Bouzid, Maria Gradinariu Potop Butucaru, Sébastien Tixeuil,
Theoretical Computer Science 2010

⇣

Discovering Network Topology in the Presence of Byzantine Nodes,
Mikhail Nesterenko, Sébastien Tixeuil,
IEEE Transactions on Parallel and Distributed Systems 2009

⇣

Self-stabilizing philosophers with generic conflicts,
Praveen Danturi, Mikhail Nesterenko, Sébastien Tixeuil,
ACM Transactions on Autonomous and Adaptive Systems 2009

⇣

A new self-stabilizing maximal matching algorithm,
Fredrik Manne, Morten Mjelde, Laurence Pilard, Sébastien Tixeuil,
Theoretical Computer Science 2009

⇣

On bootstrapping topology knowledge in anonymous networks,
Toshimitsu Masuzawa, Sébastien Tixeuil,
ACM Transactions on Autonomous and Adaptive Systems 2009

⇣

Discovering Network Topology in the Presence of Byzantine Faults,
Mikhail Nesterenko, Sébastien Tixeuil,
IEEE Trans. Parallel Distributed Syst. 2009

⇣

An Exercise in Selﬁsh Stabilization,
Johanne Cohen, Anurag Dasgupta, Sukumar Ghosh, Sébastien Tixeuil,
ACM Transactions on Autonomous and Adaptive Systems 2008

⇣

An exercise in selfish stabilization,
Johanne Cohen, Anurag Dasgupta, Sukumar Ghosh, Sébastien Tixeuil,
ACM Trans. Auton. Adapt. Syst. 2008

⇣

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

⇣

Transient fault detectors,
Joffroy Beauquier, Sylvie Delaet, Shlomi Dolev, Sébastien Tixeuil,
Distributed Comput. 2007

⇣

FAIL-FCI: Versatile fault injection,
William Hoarau, Sébastien Tixeuil, Fabien Vauchelles,
Future Gener. Comput. Syst. 2007

⇣

Self-Stabilization with r-Operators revisited,
Sylvie Delaet, Bertrand Ducourthial, Sébastien Tixeuil,
Journal of Aerospace Computing, Information, and Communication 2006

⇣

Stabilizing inter-domain routing in the Internet,
Yu Chen, Ajoy Kumar Datta, Sébastien Tixeuil,
J. High Speed Networks 2005

⇣

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

⇣

Self-Stabilizing Mutual Exclusion Under Arbitrary Scheduler,
Ajoy Kumar Datta, Maria Gradinariu, Sébastien Tixeuil,
Comput. J. 2004

⇣

Self-stabilization with path algebra,
Bertrand Ducourthial, Sébastien Tixeuil,
Theoretical Computer Science 2003

⇣

Self-Stabilizing Wormhole Routing on Ring Networks,
Ajoy Kumar Datta, Maria Gradinariu, Anthony Kenitzki, Sébastien Tixeuil,
J. Inf. Sci. Eng. 2003

⇣

Tolerating Transient and Intermittent Failures,
Sylvie Delaet, Sébastien Tixeuil,
J. Parallel Distributed Comput. 2002

⇣

Optimal Snap-Stabilizing Neighborhood Synchronizer in Tree Networks,
Colette Johnen, Luc Onana Alima, Ajoy Kumar Datta, Sébastien Tixeuil,
Parallel Process. Lett. 2002

⇣

Self-stabilization with r-operators,
Bertrand Ducourthial, Sébastien Tixeuil,
Distributed Computing 2001

⇣

Self-stabilizing distributed sorting in tree networks,
Ajoy Kumar Datta, Sébastien Tixeuil,
Parallel Algorithms Appl. 2001

⇣

Stabilizing Hierarchical Routing,
Ajoy Kumar Datta, Jerry Derby, James Lawrence, Sébastien Tixeuil,
J. Interconnect. Networks 2000

⇣

Self-Stabilizing Algorithms in DAG Structured Networks,
Sajal Das, Ajoy Kumar Datta, Sébastien Tixeuil,
Parallel Processing Letters 1999

Reports

⇣

Emergent Peer-to-Peer Multi-Hub Topology,
Mohamed Amine Legheraba ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■, Serge Fdida ■,
2024

⇣

ABD-HFL: Byzantine-resistant Decentralized Hierarchical Federated Learning,
Tengfei An, Maria Potop-Butucaru ■, Sébastien Tixeuil ■, Serge Fdida ■,
2024

⇣

On the encoding and solving partial information games,
Yackolley Amoussou-Guenou ■, Souheib Baarir, Maria Potop-Butucaru ■, Nathalie Sznajder, Leo Tible, Sébastien Tixeuil ■,
2018

⇣

Optimal Self-Stabilizing Mobile Byzantine-Tolerant Regular Register with bounded timestamp,
Silvia Bonomi, Antonella Del Pozzo ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
2016

⇣

Optimal Mobile Byzantine Fault Tolerant Distributed Storage,
Silvia Bonomi, Antonella Del Pozzo ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
2016

⇣

Probabilistic Asynchronous Arbitrary Pattern Formation,
Quentin Bramas ■, Sébastien Tixeuil ■,
2015

⇣

Easy fault injection and stress testing with FAIL-FCI,
William Hoarau, Sébastien Tixeuil, Fabien Vauchelles,
2006

Posters

⇣

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 2023, Neuvy-sur-Barangeon, France

⇣

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 2022, Chambon-sur-Lac, France

⇣

Brief announcement: Distributed Online Data Aggregation in Dynamic Graphs,
Quentin Bramas ■, Toshimitsu Masuzawa, Sébastien Tixeuil ■,
IEEE Conference on Distributed Computing Systems (ICDCS 2016) 2016, Nara, Japan

⇣

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) 2016, Nara, Japan

Hdr

⇣

Vers l'auto-stabilisation des systèmes à grande échelle Toward self-stabilizing large-scale systems,
Sébastien Tixeuil,
2006

Editorships

⇣

Stabilization, Safety, and Security of Distributed Systems - 21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019, Proceedings,
Mohsen Ghaffari, Mikhail Nesterenko, Sébastien Tixeuil ■, Sara Tucci, Yukiko Yamauchi,
['SSS', 'Lecture Notes in Computer Science'] 2019

⇣

Structural Information and Communication Complexity - 24th International Colloquium, SIROCCO 2017, Porquerolles, France, June 19-22, 2017, Revised Selected Papers,
Shantanu Das, Sébastien Tixeuil ■,
['SIROCCO', 'Lecture Notes in Computer Science'] 2017

⇣

Proceedings of the Third International Workshop on Reliability, Availability, and Security, WRAS 2010, conjunction with PODC 2010 Zurich, Switzerland, July 29, 2010,
Franck Petit, Sébastien Tixeuil,
WRAS 2010

⇣

Self-stabilizing Algorithms,
Sébastien Tixeuil,
2009

⇣

Principles of Distributed Systems, 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings,
Theodore Baker, Alain Bui, Sébastien Tixeuil,
['OPODIS', 'Lecture Notes in Computer Science'] 2008

⇣

Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings,
Toshimitsu Masuzawa, Sébastien Tixeuil,
['SSS', 'Lecture Notes in Computer Science'] 2007

⇣

Fault-tolerant Distributed Algorithms for Scalable Systems,
Sébastien Tixeuil,
2007

⇣

Self-Stabilizing Systems, 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005, Proceedings,
Ted Herman, Sébastien Tixeuil,
['Self-Stabilizing Systems', 'Lecture Notes in Computer Science'] 2005

Miscs

⇣

HEAL: Resilient and Self-* Hub-based Learning,
Mohamed Amine Legheraba ■, Stefan Galkiewicz, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
2024

⇣

The agreement power of disagreement: graph generation,
Quentin Bramas, Anissa Lamani, Sébastien Tixeuil ■,
Zenodo 2021

⇣

Stabilization, Safety, and Security of Distributed Systems. 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings,
Mohsen Ghaffari, Mikhail Nesterenko, Sébastien Tixeuil ■, Sara Tucci, Yukiko Yamauchi,
2019

⇣

18th International Conference on Distributed Computing and Networking (ICDCN 2017),
Paolo Bellavista, Koushik Kar, Sébastien Tixeuil ■,
18th International Conference on Distributed Computing and Networking (ICDCN 2017) 2017, Hyderabad, India

⇣

35th IEEE Symposium on Reliable Distributed Systems (SRDS 2016),
Matti Hiltunen, Sébastien Tixeuil ■,
35th IEEE Symposium on Reliable Distributed Systems (SRDS 2016) 2016, Budapest, Hungary

⇣

WRAS '10: Proceedings of the Third International Workshop on Reliability, Availability, and Security,
Franck Petit, Sébastien Tixeuil,
2010

⇣

Reliability, Availibility, and Security, 3rd International Workshop (WRAS 2010),
Franck Petit, Sébastien Tixeuil,
2010

⇣

Reliability, Availibility, and Security, 2nd International Workshop (WRAS 2009),
Hirotsugu Kakugawa, Sébastien Tixeuil,
2009

⇣

Algotel 2008,
David Simplot-Ryl, Sébastien Tixeuil,
ALGOTEL 2008 - Dixièmes rencontres francophones sur les aspects algorithmiques de télécommunications 2008

⇣

OPODIS 2008,
Theodore P. Baker, Alain Bui, Sébastien Tixeuil,
2008

⇣

Reliability, Availibility, and Security, 1st International Workshop, WRAS 2007, Paris, France, November 16, 2007, Proceedings,
Toshimitsu Masuzawa, Sébastien Tixeuil,
2007

Generated using minifold and minifold-lincs at 2025-03-31 17:01.