People


Sébastien Tixeuil

Sébastien Tixeuil
IndexInstitutionofficehomepagegroup
0 ■ UPMC Sorbonne Université4B44🏠Permanent members of the LINCS

⇣ ⇣ Fault-Tolerant Mobile Robots,
Xavier Defago, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
Distributed Computing by Mobile Entities 2019
⇣ ⇣ Formal Methods for Mobile Robots,
Maria Potop-Butucaru ■, Nathalie Sznajder, Sébastien Tixeuil ■, Xavier Urbain,
Distributed Computing by Mobile Entities 2019
⇣ Self-stabilizing Systems,
Ted Herman, Sébastien Tixeuil,
2005
⇣ Auto-stabilisation Efficace Efficient Self-stabilization,
Sébastien Tixeuil,
2000

s

⇣ ⇣ 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
⇣ 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 External, 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 External, 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
⇣ ⇣ Asynchronous Gathering in a Torus,
Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil ■, Koichi Wada,
OPODIS 2021, Strasbourg, France
⇣ ⇣ Quixo is Solved,
Satoshi Tanaka, Francois Bonnet, Sébastien Tixeuil ■, Yasumasa Tamura,
ACG 2021, Maastricht, Netherlands
⇣ ⇣ 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
⇣ 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 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
⇣ ⇣ Stand Up Indulgent Rendezvous,
Quentin Bramas, Anissa Lamani, 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
⇣ ⇣ 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
⇣ ⇣ 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
⇣ Gathering on Rings for Myopic Asynchronous Robots With Lights Sébastien Tixeuil,
Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil ■, Koichi Wada,
23rd International Conference on Principles of Distributed Systems (OPODIS 2019) 2019, Neuchatel, Netherlands
⇣ ⇣ 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
⇣ ⇣ 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
⇣ Gathering on Rings for Myopic Asynchronous Robots With Lights,
Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil ■, Koichi Wada,
OPODIS 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
⇣ 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
⇣ ⇣ 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
⇣ ⇣ 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
⇣ ⇣ 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
⇣ ⇣ 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
⇣ 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
⇣ ⇣ 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
⇣ ⇣ 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
⇣ 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
⇣ 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
⇣ 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
⇣ ⇣ 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
⇣ ⇣ 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
⇣ ⇣ 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
⇣ 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) 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
⇣ ⇣ 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
⇣ ⇣ Communication Efficiency in Self-Stabilizing Silent Protocols,
Stephane Devismes, Toshimitsu Masuzawa, Sébastien Tixeuil,
ICDCS 2009, Montreal, Canada
⇣ 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
⇣ 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
⇣ ⇣ Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks,
Adnan Vora, Mikhail Nesterenko, Sébastien Tixeuil, Sylvie Delaet,
SSS 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, Mineapolis, 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

⇣ 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 ■,
Theor. Comput. Sci. 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
⇣ ⇣ 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
⇣ ⇣ Synchronous Gathering without Multiplicity Detection: a Certified Algorithm,
Thibaut Balabonski, Amelie Delga, Lionel Rieg, Sébastien Tixeuil ■, Xavier Urbain,
Theory of Computing Systems 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 Selfish 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

s

⇣ 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

s

⇣ 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

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

Editorship

⇣ 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

Misc

⇣ ⇣ Stand-Up Indulgent Gathering on Lines,
Quentin Bramas, Sayaka Kamei, Anissa Lamani, Sébastien Tixeuil ■,
CoRR 2023
⇣ Meeting Times of Non-atomic Random Walks,
Ryota Eguchi, Fukuhito Ooshita, Michiko Inoue, Sébastien Tixeuil ■,
CoRR 2023
⇣ ⇣ Constrained Backward Time Travel Planning is in P,
Quentin Bramas, Jean Romain Luttringer, Sébastien Tixeuil ■,
CoRR 2022
⇣ ⇣ Unreliable Sensors for Reliable Efficient Robots,
Adam Heriban, Sébastien Tixeuil ■,
CoRR 2021
⇣ ⇣ An Asynchronous Maximum Independent Set Algorithm by Myopic Luminous Robots on Grids,
Sayaka Kamei, Sébastien Tixeuil ■,
The Computer Journal 2020
⇣ Resource Efficient Stabilization for Local Tasks despite Unknown Capacity Links,
Lélia Blin, Anaïs Durand, Sébastien Tixeuil ■,
2020
⇣ Ressource Efficient Stabilization for Local Tasks despite Unknown Capacity Links,
Lelia Blin, Anais Durand, Sébastien Tixeuil ■,
CoRR 2020
⇣ 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
⇣ ⇣ 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
⇣ ⇣ Optimal Storage under Unsynchrononized Mobile Byzantine Faults,
Silvia Bonomi, Antonella Del Pozzo ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
CoRR 2017
⇣ 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
⇣ Compact Self-Stabilizing Leader Election for Arbitrary Networks,
Lelia Blin, Sébastien Tixeuil ■,
CoRR 2017
⇣ 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
⇣ ⇣ Infinite Unlimited Churn,
Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil ■,
CoRR 2016
⇣ ⇣ Certified Universal Gathering in $R2$ for Oblivious Mobile Robots,
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil ■, Xavier Urbain,
CoRR 2016
⇣ Self-Stabilizing Mobile Byzantine-Tolerant Regular Register with bounded timestamp,
Silvia Bonomi, Antonella Del Pozzo ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
CoRR 2016
⇣ ⇣ A Certified Universal Gathering Algorithm for Oblivious Mobile Robots,
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil ■, Xavier Urbain,
CoRR 2015, Paris, France
⇣ ⇣ Stateless Geocasting,
Jordan Adamek, Mikhail Nesterenko, Sébastien Tixeuil ■,
CoRR 2015
⇣ Asynchronous Pattern Formation without Chirality,
Quentin Bramas ■, Sébastien Tixeuil ■,
CoRR 2015
⇣ ⇣ Reliable Communication in a Dynamic Network in the Presence of Byzantine Faults,
Alexandre Maurer ■, Sébastien Tixeuil ■, Xavier Defago,
CoRR 2014
⇣ ⇣ Compact Deterministic Self-Stabilizing Leader Election: The Exponential Advantage of Being Talkative,
Lelia Blin, Sébastien Tixeuil ■,
CoRR 2014, Jerusalem, Israel
⇣ ⇣ 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
⇣ ⇣ Mariages et Trahisons,
Swan Dubois, Sébastien Tixeuil ■, Nini Zhu,
CoRR 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
⇣ ⇣ A Taxonomy of Daemons in Self-stabilization,
Swan Dubois, Sébastien Tixeuil ■,
CoRR 2011
⇣ ⇣ 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
⇣ 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
⇣ ⇣ Universal Loop-Free Super-Stabilization,
Lelia Blin, Maria Potop-Butucaru, Stephane Rovedakis, Sébastien Tixeuil,
CoRR 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
⇣ Reliability, Availibility, and Security, 2nd International Workshop (WRAS 2009),
Hirotsugu Kakugawa, Sébastien Tixeuil,
2009
⇣ ⇣ Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots,
Stephane Devismes, Franck Petit, Sébastien Tixeuil,
CoRR 2009, Piran, Slovenia
⇣ ⇣ 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
⇣ ⇣ Stabilizing Maximal Independent Set in Unidirectional Networks is Hard,
Toshimitsu Masuzawa, Sébastien Tixeuil,
CoRR 2009
⇣ Algotel 2008,
David Simplot-Ryl, Sébastien Tixeuil,
2008
⇣ OPODIS 2008,
Theodore P. Baker, Alain Bui, Sébastien Tixeuil,
2008
⇣ ⇣ 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
⇣ ⇣ Bounds for self-stabilization in unidirectional networks,
Samuel Bernard, Stephane Devismes, Maria Gradinariu Potop Butucaru, Sébastien Tixeuil,
CoRR 2008
⇣ Reliability, Availibility, and Security, 1st International Workshop, WRAS 2007, Paris, France, November 16, 2007, Proceedings,
Toshimitsu Masuzawa, Sébastien Tixeuil,
2007