People


Sébastien Tixeuil

Sébastien Tixeuil
Institution UPMC Sorbonne Universités
Office37
Homepage🏠
GroupPermanent members of the LINCS

Books And Theses

Auto-stabilisation Efficace Efficient Self-stabilization,
Sébastien Tixeuil,
2000

Articles

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, 404-408
Reliable Broadcast in Dynamic Networks with Locally Bounded Byzantine Failures,
Silvia Bonomi, Giovanni Farina , Sébastien Tixeuil ,
SSS 2018, 170-185
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, 9:1-9:10
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, 5:1-5:10
Optimally Gathering Two Robots,
Adam Heriban, Xavier Défago, Sébastien Tixeuil ,
ICDCN 2018, Varanasi, India, 3:1-3:10
Compact Self-Stabilizing Leader Election for General Networks,
Lélia Blin, Sébastien Tixeuil ,
LATIN 2018, 161-173
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, 398-403
Arbitrary Pattern Formation with Four Robots,
Quentin Bramas, Sébastien Tixeuil ,
SSS 2018, 333-348
Ring Exploration with Myopic Luminous Robots,
Fukuhito Ooshita, Sébastien Tixeuil ,
SSS 2018, 301-316
Parameterized verification of algorithms for oblivious robots on a ring,
Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru , Sébastien Tixeuil ,
FMCAD 2017, Vienna, Austria, 212-219
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, 165-181
Optimal Storage under Unsynchronized Mobile Byzantine Faults,
Silvia Bonomi, Antonella Del Pozzo , Maria Potop-Butucaru , Sébastien Tixeuil ,
SRDS 2017, Hong Kong, China, 154-163
Stateless Reliable Geocasting,
Jordan Adamek, Mikhail Nesterenko, James Scott Robinson, Sébastien Tixeuil ,
SRDS 2017, Hong Kong, China, 44-53
Brief Announcement - Efficient Self-Stabilizing 1-Maximal Matching Algorithm for Arbitrary Networks,
Michiko Inoue, Fukuhito Ooshita, Sébastien Tixeuil ,
PODC 2017, Washington, United States, 411-413
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
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
An Efficient Silent Self-stabilizing 1-Maximal Matching Algorithm Under Distributed Daemon for Arbitrary Networks,
Michiko Inoue, Fukuhito Ooshita, Sébastien Tixeuil ,
SSS 2017, 93-108
Brief Announcement - Compact Self-Stabilizing Leader Election in Arbitrary Graphs,
Lélia Blin, Sébastien Tixeuil ,
DISC 2017, 43:1-43:3
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
Probabilistic Asynchronous Arbitrary Pattern Formation (Short Paper),
Quentin Bramas , Sébastien Tixeuil ,
International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016) 2016, Lyon, France
Infinite Unlimited Churn (Short Paper),
Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil ,
International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016) 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 ,
International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016) 2016, Lyon, France
Packet Efficient Implementation of the Omega Failure Detector,
Quentin Bramas , Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil ,
International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016) 2016, Lyon, France
Specification-Based Synthesis of Distributed Self-Stabilizing Protocols,
Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil , Sandeep Kulkarni,
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE) 2016, Heraklion, Greece
Brief announcement: Probabilistic Asynchronous Arbitrary Pattern Formation,
Quentin Bramas , Sébastien Tixeuil ,
ACM Conference on Principles of Distributed Computing (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,
ACM Conference on Principles of Distributed Computing (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
A Certified Universal Gathering Algorithm for Oblivious Mobile Robots,
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil , Xavier Urbain,
Distributed Computing (DISC) 2016, Paris, France
Enhancing Content Distribution through Information-Aware Mechanisms,
Walid Benchaita , Gioacchino Tangari, Samir Ghamri Doudane, Sébastien Tixeuil ,
CloudNet 2016, Pisa, Italy
Asynchronous Gathering in Rings with 4 Robots,
Francois Bonnet, Maria Potop-Butucaru , Sébastien Tixeuil ,
Ad Hoc Now 2016 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 ,
International Conference on Distributed Computing and Networking 2016, Singapore, Singapore
WiSeBat: Accurate Energy Benchmarking of Wireless Sensor Networks,
Quentin Bramas , Wilfried Dron, Mariem Ben Fadhl, Khalil Hachicha, Patrick Garda, Sébastien Tixeuil ,
The Forum on specification and Design Languages (FDL 2015) 2015, Barcelona, Spain
Communicating Reliably in Multihop Dynamic Networks despite Byzantine Failures,
Alexandre Maurer, Xavier Défago, Sébastien Tixeuil ,
The International Symposium on Reliable Distributed Systems (SRDS2015) 2015, Montreal, Canada
Wait-free Gathering without Chirality,
Quentin Bramas , Sébastien Tixeuil ,
SIROCCO 2015 2015, Montserrat, Spain
Automated Analysis of Impact of Scheduling on Performance of Self-Stabilizing Protocols,
Saba Aflaki, Borzoo Bonakdarpour, Sébastien Tixeuil ,
The International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2015) 2015, Edmonton, Canada
Stabilizing Byzantine-Fault Tolerant Storage,
Silvia Bonomi, Maria Potop-Butucaru, Sébastien Tixeuil ,
IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2015 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
Optimal Torus Exploration by Oblivious Robots,
Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil ,
NETYS 2015 - Third International Conference on Networked Systems 2015, Agadir, Morocco
Self-stabilizing Byzantine Broadcast,
Alexandre Maurer , Sébastien Tixeuil ,
The 33rd IEEE Symposium on Reliable Distributed Systems (SRDS 2014) 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,
François Bonnet, Xavier Défago, Franck Petit, Maria Potop-Butucaru, Sébastien Tixeuil ,
Workshop on Self-organization in Swarm of Robots: from Molecular Robots to Mobile Agents (WSSR 2014) 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 - 16th International Symposium on Stabilization, Safety and Security of Distributed Systems 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 ,
International Symposium on Stabilization, Safety, and Security of Distributed Systems 2013, Osaka, Japan
Certified Impossibility Results for Byzantine-Tolerant Mobile Robots,
Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil , Xavier Urbain,
International Symposium on Stabilization, Safety, and Security of Distributed Systems 2013, Osaka, Japan
Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Model Checking,
Narges Fallahi, Borzoo Bonakdarpour, Sébastien Tixeuil ,
International Symposium on Reliable Distributed Systems 2013, Braga, Portugal
Consensus with Unknown Participants in Shared Memory,
Catia Khouri, Fabiola Greve, Sébastien Tixeuil ,
International Symposium on Reliable Distributed Systems 2013, Braga, Portugal
Compact Deterministic Self-stabilizing Leader Election - The Exponential Advantage of Being Talkative,
Lélia Blin, Sébastien Tixeuil ,
DISC 2013 - 27th International Symposium on Distributed Computing 2013, Jerusalem, Israel
Brief announcement: deterministic self-stabilizing leader election with O(log log n)-bits,
Lélia Blin, Sébastien Tixeuil ,
ACM Symposium on Principles of Distributed Computing 2013, Montreal, Canada
Gathering of Mobile Robots Tolerating Multiple Crash Faults,
Zohir Bouzid, Shantanu Das, Sébastien Tixeuil ,
International Conference on Distributed Computing Systems 2013, Philadelphia, United States
Fast Leader (Full) Recovery Despite Dynamic Faults,
Ajoy Datta, Stéphane Devismes, Lawrence Larmore, Sébastien Tixeuil ,
International Conference on Distributed Computing and Networking 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 ,
International Conference on Distributed Computing and Networking 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,
International Symposium on Distributed COmputing 2012, Salvador, Brazil
Brief Announcement: Wait-Free Gathering of Mobile Robots,
Zohir Bouzid, Shantanu Das, Sébastien Tixeuil ,
International Symposium on Distributed Computing 2012, Salvador, Brazil
Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols,
François Bonnet, Xavier Défago, Franck Petit, Maria Potop-Butucaru, Sébastien Tixeuil ,
International Symposium on Stabilization, Safety, and Security of Distributed Systems 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 ,
International Symposium on Stabilization, Safety, and Security of Distributed Systems 2012, Toronto, Canada
Optimal Grid Exploration by Asynchronous Oblivious Robots,
Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil ,
International Symposium on Stabilization, Safety, and Security of Distributed Systems 2012, Toronto, Canada
Crash Resilient and Pseudo-Stabilizing Atomic Registers,
Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil ,
OPODIS 2012 - 16th International Conference on Principles of Distributed Systems 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 ,
Mathematical Foundations of Computer Science 2012, Bratislava, Slovakia
Limiting Byzantine Influence in Multihop Asynchronous Networks,
Alexandre Maurer , Sébastien Tixeuil ,
International Conference on Distributed Computing Systems 2012, Macau, China
The Byzantine Brides Problem,
Swan Dubois, Sébastien Tixeuil , Nini Zhu,
FUN 2012 - 6th International Conference Fun with Algorithms 2012, Venice, Italy
A Fast and Robust Optimistic Total Order Broadcast for Online Video Games,
Samuel Bernard, Xavier Défago, Sébastien Tixeuil ,
International Conference on Advanced Information Networking and Applications Workshops 2012, Fukuoka, Japan
On Byzantine Broadcast in Loosely Connected Networks,
Alexandre Maurer , Sébastien Tixeuil ,
26th International Symposium on Distributed Computing, DISC 2012 2012, Salvador, Brazil
Four Months in DailyMotion: Dissecting User Video Requests,
Yannick Carlinet, The Dang Huynh , Bruno Kauffmann, Fabien Mathieu , Ludovic Noirie , Sébastien Tixeuil ,
TRAC 2012 - 3rd International Workshop on TRaffic Analysis and Classification 2012, Limassol, Cyprus
Mariages et Trahisons,
Swan Dubois, Sébastien Tixeuil , Nini Zhu,
AlgoTel'12 - 14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2012, La Grande Motte, France
Confinement de fautes Byzantines dans les réseaux multi-sauts asynchrones,
Alexandre Maurer , Sébastien Tixeuil ,
14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel) 2012, La Grande Motte, France
Ideal Stabilization,
Mikhail Nesterenko, Sébastien Tixeuil ,
IEEE AINA 2011 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 2011, Gdansk, Poland
Brief Announcement: The BG-simulation for Byzantine Mobile Robots,
Taisuke Izumi, Zohir Bouzid, Sébastien Tixeuil , Koichi Wada,
DISC 2011 2011, Roma, Italy
Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction,
François Bonnet, Alessia Milani, Maria Potop-Butucaru, Sébastien Tixeuil ,
OPODIS 2011 - 15th International Conference on Principles of Distributed Systems 2011, Toulouse, France
Distributed Computing with Mobile Robots: an Introductory Survey,
Maria Gradinariu Potop-Butucaru, Michel Raynal, Sébastien Tixeuil ,
NBiS 2011 - 14th International Conference on Network-Based Information Systems 2011, Tirana, Albania
Pragmatic Self-Stabilization of Atomic Memory in Message-Passing Systems,
Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil ,
SSS 2011 - 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems 2011, Grenoble, France
Auto-Stabilisation et Confinement de Fautes Malicieuses : Optimalité du Protocole min+1,
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil ,
13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel) 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 ,
13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel) 2011, Cap Estérel, France
WRAS '10: Proceedings of the Third International Workshop on Reliability, Availability, and Security,
Franck Petit, Sébastien Tixeuil,
2010
Optimal Deterministic Ring Exploration with Oblivious Asynchronous Robots,
Anissa Lamani, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil,
17th International Colloquium Structural Information and Communication Complexity, SIROCCO 2010, Şirince, Turkey
A Framework for Secure and Private P2P Publish/Subscribe,
Samuel Bernard, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil,
12th International Symposium Stabilization, Safety, and Security of Distributed Systems, SSS 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,
24th International Symposium Distributed Computing DISC 2010, Cambridge, MA, United States
The Impact of Topology on Byzantine Containment in Stabilization,
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil,
24th International Symposium Distributed Computing DISC 2010, Cambridge, MA, United States
Probabilistic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks,
Samuel Bernard, Stéphane Devismes, Katy Paroux, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil,
11th International Conference on Distributed Computing and Networking, ICDCN 2010 2010, Kolkata, India
A Self-Stabilizing 3-Approximation for the Maximum Leaf Spanning Tree Problem in Arbitrary Networks,
Sayaka Kamei, Hirotsugu Kakugawa, Stéphane Devismes, Sébastien Tixeuil,
COCOON 2010 2010, Na Thrang, Viet Nam
Stabilizing Locally Maximizable Tasks in Unidirectional Networks is Hard,
Toshimitsu Masuzawa, Sébastien Tixeuil,
IEEE 30th International Conference on Distributed Computing Systems, ICDCS 2010 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,
The 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing, PODC'10 2010, Zurich, Switzerland
Reliability, Availibility, and Security, 3rd International Workshop (WRAS 2010),
Franck Petit, Sébastien Tixeuil,
2010
On Byzantine Containment Properties of the min+1 Protocol,
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil,
12th International Symposium Stabilization, Safety, and Security of Distributed Systems, SSS 2010, New York, NY, United States
Advanced Faults Patterns for WSN Dependability Benchmarking,
Ali Asim, Sébastien Tixeuil,
The 13th ACM international conference on Modeling, analysis, and simulation of wireless and mobile systems, MSWiM 2010 2010, Bodrum, Turkey
SAFE-OS: a Secure and Usable Desktop Operating System,
François Lesueur, Ala Rezmerita, Thomas Hérault, Sylvain Peyronnet, Sébastien Tixeuil,
CRiSIS 2010 2010, Montréal, Canada
Robocast: Asynchronous Communication in Robot Networks,
Zohir Bouzid, Shlomi Dolev, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil,
OPODIS 2010 2010, Tozeur, Tunisia
Monotonic Stabilization,
Yukiko Yamauchi, Sébastien Tixeuil,
OPODIS 2010 2010, Tozeur, Tunisia
Exclusive Perpetual Ring Exploration without Chirality,
Lélia Blin, Alessia Milani, Maria Potop-Butucaru, Sébastien Tixeuil,
DISC 2010 - 24th International Symposium Distributed Computing 2010, Cambridge, MA, United States
Loop-Free Super-Stabilizing Spanning Tree Construction,
Lélia Blin, Maria Gradinariu Potop-Butucaru, Stephane Rovedakis, Sébastien Tixeuil,
12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2010) 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
Optimal deterministic self-stabilizing vertex coloring in unidirectional anonymous networks,
Samuel Bernard, Stéphane 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,
23rd International Symposium on Distributed Computing, DISC 2009 2009, Elche, Spain
Reliability, Availibility, and Security, 2nd International Workshop (WRAS 2009),
Hirotsugu Kakugawa, Sébastien Tixeuil,
2009
Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots,
Stéphane Devismes, Franck Petit, Sébastien Tixeuil,
Sirocco 2009 2009, Piran, Slovenia
Communication Efficiency in Self-Stabilizing Silent Protocols,
Stéphane Devismes, Toshimitsu Masuzawa, Sébastien Tixeuil,
The IEEE International Conference on Distributed Computing Systems (ICDCS 2009) 2009, Montreal, Canada
Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks,
Zohir Bouzid, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil,
SSS 2009. 2009, Lyon, France
Byzantine Convergence in Robots Networks: The Price of Asynchrony,
Zohir Bouzid, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil,
OPODIS 2009 2009, Nimes, France
Snap-Stabilization in Message-Passing Systems,
Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil,
International Conference on Distributed Computing and Networking (ICDCN 2009) 2009, Hyderabad, India
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
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
Deterministic Secure Positioning in Wireless Sensor Networks,
Sylvie Delaët, Partha Sarathi Mandal, Mariusz Rokicki, Sébastien Tixeuil,
ACM/IEEE International Conference on Distributed Computing in Sensor Networks (DCOSS 2008) 2008, Santorini Island, Greece
Weak vs. Self vs. Probabilistic Stabilization,
Stéphane Devismes, Sébastien Tixeuil, Masafumi Yamashita,
IEEE International Conference on Distributed Computing Systems (ICDCS 2008) 2008, Beijing, China
Quiescence of Self-stabilizing Gossiping among Mobile Agents in Graphs,
Toshimitsu Masuzawa, Sébastien Tixeuil,
15th International Colloquium on Structural Information and Communication Complexity (Sirocco 2008) 2008, Villars-sur-Ollon, Switzerland
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
A self-stabilizing 2/3-approximation algorithm for the maximum matching problem,
Fredrik Manne, Morten Mjelde, Laurence Pilard, Sébastien Tixeuil,
International Conference on Stabilization, Safety, and Security (SSS 2008) 2008, Detroit, MI, United States
Algotel 2008,
David Simplot-Ryl, Sébastien Tixeuil,
2008
OPODIS 2008,
Theodore P. Baker, Alain Bui, Sébastien Tixeuil,
2008
Conflict Managers for Self-stabilization without Fairness Assumption,
Maria Gradinariu, Sébastien Tixeuil,
27th International Conference on Distributed Computing Systems (ICDCS'07) 2007, Toronto, Canada
Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings,
Toshimitsu Masuzawa, Sébastien Tixeuil,
2007
Reliability, Availibility, and Security, 1st International Workshop, WRAS 2007, Paris, France, November 16, 2007, Proceedings,
Toshimitsu Masuzawa, Sébastien Tixeuil,
2007
On the Self-stabilization of Mobile Robots in Graphs,
Lélia Blin, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil,
OPODIS 2007 - 11th International Conference on Principles of Distributed Systems 2007, Guadeloupe, France
Connaissance vs. Synchronie pour l'Accord Tolérant aux Pannes dans les Réseaux Inconnus,
Fabiola Greve, Sébastien Tixeuil,
9ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2007, Ile d'Oléron, France
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 Guérin-Lassous, Bruno Sericola, Sébastien Tixeuil,
12th International Conference on Parallel and Distributed Systems (ICPADS 2006), 12-15 July 2006, Minneapolis, Minnesota, USA 2006, Mineapolis, United States
Evaluating complex MAC protocols for sensor networks with APMC,
Michaël Cadilhac, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, Sébastien Tixeuil,
Automatic Verification of Critical Systems 2006, Nancy/France
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 2005, Le Mont Saint-Michel, France
Self-stabilizing Systems,
Ted Herman, Sébastien Tixeuil,
2005
Optimal Randomized Self-stabilizing Mutual Exclusion on Synchronous Rings,
Philippe Duchon, Nicolas Hanusse, Sébastien Tixeuil,
Proceedings of DISC'2004 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
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-stabilization with Global Rooted Synchronizers,
Luc Onana Alima, Joffroy Beauquier, Ajoy Datta, Sébastien Tixeuil,
IEEE International Conference on Distributed Computing Systems (ICDCS 98) 1998, Amsterdam, Netherlands

Journal articles

On asynchronous rendezvous in general graphs,
Evangelos Bampas, Lélia Blin, Jurek Czyzowicz, David Ilcinkas, Arnaud Labourel, Maria Potop-Butucaru , Sébastien Tixeuil ,
Theoretical Computer Science 2019, 80-90
Synchronous Gathering without Multiplicity Detection: a Certified Algorithm,
Thibaut Balabonski, Amélie Delga, Lionel Rieg, Sébastien Tixeuil , Xavier Urbain,
Theory of Computing Systems 2018
Compact deterministic self-stabilizing leader election on a ring - the exponential advantage of being talkative,
Lélia Blin, Sébastien Tixeuil ,
Distributed Computing 2018, 139-166
Automated Synthesis of Distributed Self-Stabilizing Protocols,
Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil , Sandeep S. 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 ,
Theor. Comput. Sci. 2018, 42-52
Evaluating and optimizing stabilizing dining philosophers,
Jordan Adamek, Giovanni Farina , Mikhail Nesterenko, Sébastien Tixeuil ,
Journal of Parallel and Distributed Computing 2017, 63-74
The complexity of data aggregation in static and dynamic wireless sensor networks,
Quentin Bramas, Sébastien Tixeuil ,
Information and Computation 2017, 369-383
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, 111-134
Formal verification of mobile robot protocols,
Beatrice Bérard, 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,
Lélia Blin, Maria Potop-Butucaru , Stephane Rovedakis, Sébastien Tixeuil ,
The Computer Journal 2016
[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
Optimal probabilistic ring exploration by semi-synchronous oblivious robots,
Stéphane Devismes, Franck Petit, Sébastien Tixeuil ,
Theoretical Computer Science 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
Self-stabilization in Self-organized Multihop Wireless Networks,
Nathalie Mitton, Bruno Séricola, Sébastien Tixeuil , Eric Fleury, Isabelle Guerin Lassous,
Ad Hoc & Sensor Wireless Networks 2011
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
Optimal Byzantine-resilient Convergence in Unidimensional Robot Networks,
Zohir Bouzid, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil,
Theoretical Computer Science 2010
Ascending runs in dependent uniformly distributed random variables: Application to wireless networks,
Nathalie Mitton, Katy Paroux, Bruno Sericola, Sébastien Tixeuil,
Methodology and Computing in Applied Probability 2010
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, 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
An Exercise in Selfish Stabilization,
Johanne Cohen, Anurag Dasgupta, Sukumar Ghosh, Sébastien Tixeuil,
ACM Transactions on Autonomous and Adaptive Systems 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
Self-stabilization with r-operators revisited,
Sylvie Delaët, Bertrand Ducourthial, Sébastien Tixeuil,
Journal of Aerospace Computing, Information, and Communication 2006
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-stabilization with Path Algebra,
Bertrand Ducourthial, Sébastien Tixeuil,
Theoretical Computer Science 2003
Self-stabilization with r-operators,
Bertrand Ducourthial, Sébastien Tixeuil,
Distributed Computing 2001
Self-Stabilizing Algorithms in DAG Structured Networks,
Sajal K. Das, Ajoy Datta, Sébastien Tixeuil,
Parallel Processing Letters 1999

Reports

Multi-hop Byzantine Reliable Broadcast Made Practical,
Silvia Bonomi, Giovanni Farina , Sébastien Tixeuil ,
2018
On the encoding and solving partial information games,
Yackolley Amoussou-Guenou , Souhein Baarir, Maria Potop-Butucaru , Nathalie Sznajder, Leo Tible, Sébastien Tixeuil ,
2018
Continuous vs. Discrete Asynchronous Moves: a Certified Approach for Mobile Robots,
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil , Xavier Urbain,
2018
Churn Possibilities and Impossibilities,
Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil ,
2018
Optimal Storage under Unsynchrononized Mobile Byzantine Faults,
Silvia Bonomi, Antonella Del Pozzo , Maria Potop-Butucaru , Sébastien Tixeuil ,
CoRR 2017
Compact Self-Stabilizing Leader Election for Arbitrary Networks,
Lélia Blin, Sébastien Tixeuil ,
CoRR 2017
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
Distributed Online Data Aggregation in Dynamic Graphs,
Quentin Bramas , Toshimitsu Masuzawa, Sébastien Tixeuil ,
2016
Infinite Unlimited Churn,
Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil ,
2016
Certified Universal Gathering in $R^2$ for Oblivious Mobile Robots,
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil , Xavier Urbain,
2016
Probabilistic Asynchronous Arbitrary Pattern Formation,
Quentin Bramas , Sébastien Tixeuil ,
2015
Stateless Geocasting,
Jordan Adamek, Mikhail Nesterenko, Sébastien Tixeuil ,
2015
Reliable Communication in a Dynamic Network in the Presence of Byzantine Faults,
Alexandre Maurer , Sébastien Tixeuil , Xavier Défago,
2014
On Byzantine Broadcast in Planar Graphs,
Alexandre Maurer , Sébastien Tixeuil ,
2013
Parameterizable Byzantine Broadcast in Loosely Connected Networks,
Alexandre Maurer , Sébastien Tixeuil ,
2012
A Taxonomy of Daemons in Self-stabilization,
Swan Dubois, Sébastien Tixeuil ,
2011
Self-Stabilization, Byzantine Containment, and Maximizable Metrics: Necessary Conditions,
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil ,
2011
Optimal byzantine resilient convergence in oblivious robot networks,
Zohir Bouzid, Maria Potop-Butucaru, Sébastien Tixeuil,
2009
Stabilizing Maximal Independent Set in Unidirectional Networks is Hard,
Toshimitsu Masuzawa, Sébastien Tixeuil,
2009
Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks,
Adnan Vora, Mikhail Nesterenko, Sébastien Tixeuil, Sylvie Delaët,
2008
Bounds for self-stabilization in unidirectional networks,
Samuel Bernard, Stéphane Devismes, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil,
2008
Easy fault injection and stress testing with FAIL-FCI,
William Hoarau, Sébastien Tixeuil, Fabien Vauchelles,
2006
Knowledge Connectivity vs. Synchrony Requirements for Fault-Tolerant Agreement in Unknown Networks,
Fabiola Greve, Sébastien Tixeuil,
2006
FAIL-MPI: How fault-tolerant is fault-tolerant MPI ?,
Thomas Hérault, William Hoarau, Pierre Lemarinier, Eric Rodriguez, Sébastien Tixeuil,
2006

Posters

Brief announcement: Distributed Online Data Aggregation in Dynamic Graphs,
Quentin Bramas , Toshimitsu Masuzawa, Sébastien Tixeuil ,
IEEE Conference on Distributed Computing Systems (ICDCS 2016) 2016, Nara, Japan
Brief announcement: Approximate Agreement under Mobile Byzantine Faults Model,
Silvia Bonomi, Antonella Del Pozzo , Maria Potop-Butucaru , Sébastien Tixeuil ,
IEEE Conference on Distributed Computing Systems (ICDCS 2016) 2016, Nara, Japan

Hdr

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

Editorship

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
Self-stabilizing Algorithms,
Sébastien Tixeuil,
2009
Dependability Evaluation of The Ogsa-Dai Middleware,
William Hoarau, Sébastien Tixeuil, Nuno Rodrigues, Décio Sousa, Luis Silva,
2008
Fault-tolerant Distributed Algorithms for Scalable Systems,
Sébastien Tixeuil,
2007
The Reduced Automata Technique for Graph Exploration Space Lower Bounds,
Pierre Fraigniaud, David Ilcinkas, Sergio Rajsbaum, Sébastien Tixeuil,
2006

Misc

Approximate Agreement under Mobile Byzantine Faults,
Silvia Bonomi, Antonella Del Pozzo , Maria Potop-Butucaru, Sébastien Tixeuil ,
2015
Universal Loop-Free Super-Stabilization,
Lélia Blin, Stephane Rovedakis, Maria Potop-Butucaru, Sébastien Tixeuil,
2010