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