People


Sébastien Tixeuil

Sébastien Tixeuil
Institution office homepage group
 UPMC Sorbonne Université 37 🏠 Permanent members of the LINCS

Nones

Packet Efficient Implementation of the Omega Failure Detector,
Quentin Bramas, Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil ,
Theory of Computing Systems 2019
Multi-hop Byzantine Reliable Broadcast Made Practical,
Silvia Bonomi, Giovanni Farina , Sébastien Tixeuil ,
CoRR 2019, Foz do Iguau, Brazil
Fault-Tolerant Mobile Robots,
Xavier Défago, Maria Potop-Butucaru , Sébastien Tixeuil ,
Distributed Computing by Mobile Entities 2019
Approximate Agreement under Mobile Byzantine Faults,
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru , Sébastien Tixeuil ,
Theoretical Computer Science 2019
Formal Methods for Mobile Robots,
Maria Potop-Butucaru , Nathalie Sznajder, Sébastien Tixeuil , Xavier Urbain,
Distributed Computing by Mobile Entities 2019
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
Synchronous Gathering without Multiplicity Detection - a Certified Algorithm,
Thibaut Balabonski, Amélie Delga, Lionel Rieg, Sébastien Tixeuil , Xavier Urbain,
Theory of Computing Systems 2019
Arbitrary Pattern Formation with Four Robots,
Quentin Bramas, Sébastien Tixeuil ,
SSS 2018, Tokyo, Japan
Ring Exploration with Myopic Luminous Robots,
Fukuhito Ooshita, 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
Compact Self-Stabilizing Leader Election for General Networks,
Lélia Blin, Sébastien Tixeuil ,
LATIN 2018, Buenos Aires, Argentina
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
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
On the encoding and solving partial information games,
Yackolley Amoussou-Guenou , Souhein Baarir, Maria Potop-Butucaru , Nathalie Sznajder, Leo Tible, Sébastien Tixeuil ,
2018
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
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
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 Défago, Sébastien Tixeuil ,
ICDCN 2018, Varanasi, India
Compact deterministic self-stabilizing leader election on a ring - the exponential advantage of being talkative,
Lélia Blin, Sébastien Tixeuil ,
Distributed Computing 2018
Automated Synthesis of Distributed Self-Stabilizing Protocols,
Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil , Sandeep S. Kulkarni,
Logical Methods in Computer Science 2018
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
Parameterized verification of algorithms for oblivious robots on a ring,
Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru , Sébastien Tixeuil ,
FMCAD 2017, Vienna, Austria
Optimal Storage under Unsynchrononized Mobile Byzantine Faults,
Silvia Bonomi, Antonella Del Pozzo , Maria Potop-Butucaru , Sébastien Tixeuil ,
CoRR 2017
Brief announcement: Compact Self-Stabilizing Leader Election for General Networks,
Lélia Blin, Sébastien Tixeuil ,
31st International Symposium on Distributed Computing (DISC 2017) 2017, Vienna, Austria
Certified Gathering of Oblivious Mobile Robots - Survey of Recent Results and Open Problems,
Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil , Xavier Urbain,
FMICS-AVoCS 2017, Turin, Italy
Optimal Storage under Unsynchronized Mobile Byzantine Faults,
Silvia Bonomi, Antonella Del Pozzo , Maria Potop-Butucaru , Sébastien Tixeuil ,
SRDS 2017, Hong Kong, China
Stateless Reliable Geocasting,
Jordan Adamek, Mikhail Nesterenko, James Scott Robinson, Sébastien Tixeuil ,
SRDS 2017, Hong Kong, China
Brief Announcement - Efficient Self-Stabilizing 1-Maximal Matching Algorithm for Arbitrary Networks,
Michiko Inoue, Fukuhito Ooshita, Sébastien Tixeuil ,
PODC 2017, Washington, United States
Evaluating and optimizing stabilizing dining philosophers,
Jordan Adamek, Giovanni Farina , Mikhail Nesterenko, Sébastien Tixeuil ,
Journal of Parallel and Distributed Computing 2017
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
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
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,
Lélia Blin, Sébastien Tixeuil ,
DISC 2017
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
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
Formal verification of mobile robot protocols,
Béatrice Bérard, Pascal Lafourcade, Laure Millet, Maria Potop-Butucaru , Yann Thierry-Mieg, Sébastien Tixeuil ,
Distributed Computing 2016
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 ,
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
Optimal Mobile Byzantine Fault Tolerant Distributed Storage,
Silvia Bonomi, Antonella Del Pozzo , Maria Potop-Butucaru , Sébastien Tixeuil ,
2016
Specification-Based Synthesis of Distributed Self-Stabilizing Protocols,
Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil , Sandeep S. Kulkarni,
FORTE 2016, Heraklion, Greece
Distributed Online Data Aggregation in Dynamic Graphs,
Quentin Bramas , Toshimitsu Masuzawa, Sébastien Tixeuil ,
ICDCS 2016
Infinite Unlimited Churn,
Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil ,
CoRR 2016
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
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,
François 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
Tolerating Random Byzantine Failures in an Unbounded Network,
Alexandre Maurer, Sébastien Tixeuil ,
Parallel Processing Letters 2016
Certified Universal Gathering in $R2$ for Oblivious Mobile Robots,
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil , Xavier Urbain,
CoRR 2016
Stability and optimization of DNS-based request redirection in CDNs,
Walid Benchaita , Samir Ghamri Doudane, Sébastien Tixeuil ,
ICDCN 2016, Singapore, Singapore
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
Benchmarking Energy-Centric Broadcast Protocols in Wireless Sensor Networks,
Quentin Bramas , Sébastien Tixeuil ,
NETYS 2016
Optimal Mobile Byzantine Fault Tolerant Distributed Storage - Extended Abstract,
Silvia Bonomi, Antonella Del Pozzo , Maria Potop-Butucaru , Sébastien Tixeuil ,
PODC 2016
Certified Universal Gathering in \mathbb R 2 for Oblivious Mobile Robots,
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil , Xavier Urbain,
DISC 2016
Self-Stabilizing Mobile Byzantine-Tolerant Regular Register with bounded timestamp,
Silvia Bonomi, Antonella Del Pozzo , Maria Potop-Butucaru , Sébastien Tixeuil ,
CoRR 2016
Probabilistic Asynchronous Arbitrary Pattern Formation,
Quentin Bramas , Sébastien Tixeuil ,
2015
A Certified Universal Gathering Algorithm for Oblivious Mobile Robots,
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil , Xavier Urbain,
CoRR 2015, Paris, France
Weak vs. Self vs. Probabilistic Stabilization,
Stéphane 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
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 Défago,
SRDS 2015, Montreal, Canada
Wait-Free Gathering Without Chirality,
Quentin Bramas , Sébastien Tixeuil ,
SIROCCO 2015, Montserrat, Spain
Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols,
Saba Aflaki, Borzoo Bonakdarpour, Sébastien Tixeuil ,
SSS 2015, Edmonton, Canada
Stabilizing Byzantine-Fault Tolerant Storage,
Silvia Bonomi, Maria Potop-Butucaru, Sébastien Tixeuil ,
IPDPS 2015, Hyderabad, India
Stateless Geocasting,
Jordan Adamek, Mikhail Nesterenko, Sébastien Tixeuil ,
CoRR 2015
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
Maximum Metric Spanning Tree Made Byzantine Tolerant,
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil ,
Algorithmica 2015
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
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
Optimal Torus Exploration by Oblivious Robots,
Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil ,
NETYS 2015, Agadir, Morocco
On the Optimization of Request Routing for Content Delivery,
Walid Benchaita , Samir Ghamri Doudane, Sébastien Tixeuil ,
Computer Communication Review 2015
Asynchronous Pattern Formation without Chirality,
Quentin Bramas , Sébastien Tixeuil ,
CoRR 2015
Self-Stabilizing Byzantine Broadcast,
Alexandre Maurer , Sébastien Tixeuil ,
SRDS 2014, Nara, Japan
Brief Announcement: Designing a Fault Tolerance Algorithm to Optimize Experimental Performance: the Case of Stabilizing Dining Philosophers,
Jordan Adamek, Mikhail Nesterenko, Sébastien Tixeuil ,
16th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2014 2014, Paderborn, Germany
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
Reliable Communication in a Dynamic Network in the Presence of Byzantine Faults,
Alexandre Maurer , Sébastien Tixeuil , Xavier Défago,
CoRR 2014
Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols,
François Bonnet, Xavier Défago, Franck Petit, Maria Potop-Butucaru, Sébastien Tixeuil ,
SRDS Workshops 2014, Nara, Japan
On the Synthesis of Mobile Robots Algorithms - The Case of Ring Gathering,
Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil ,
SSS 2014, Paderborn, Germany
Le pouvoir séparateur d'une pièce de monnaie,
Quentin Bramas , Sébastien Tixeuil ,
ALGOTEL 2014 -- 16èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications 2014, Le Bois-Plage-en-Ré, France
Compact Deterministic Self-Stabilizing Leader Election - The Exponential Advantage of Being Talkative,
Lélia Blin, Sébastien Tixeuil ,
CoRR 2014, Jerusalem, Israel
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 ,
J. Comb. Optim. 2013, Na Thrang, Viet Nam
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,
Cédric 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, Fabíola Greve, Sébastien Tixeuil ,
SRDS 2013, Braga, Portugal
Brief announcement - deterministic self-stabilizing leader election with O(log log n)-bits,
Lélia 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, Stéphane Devismes, Lawrence L. Larmore, Sébastien Tixeuil ,
ICDCN 2013, Mumbai, India
Optimal probabilistic ring exploration by semi-synchronous oblivious robots,
Stéphane Devismes, Franck Petit, Sébastien Tixeuil ,
Theoretical Computer Science 2013
Parameterizable Byzantine Broadcast in Loosely Connected Networks,
Alexandre Maurer , Sébastien Tixeuil ,
CoRR 2013
On Byzantine Broadcast in Planar Graphs,
Alexandre Maurer , Sébastien Tixeuil ,
CoRR 2013
Tolérer les fautes Byzantines dans les graphes planaires,
Alexandre Maurer , Sébastien Tixeuil ,
15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel) 2013, Pornic, France
Vérification formelle et robots mobiles,
Béatrice Bérard, Laure Millet, Maria Gradinariu Potop-Butucaru, Yann Thierry-Mieg, Sébastien Tixeuil ,
15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel) 2013, Pornic, France
Contenu généré par les utilisateurs : une étude sur DailyMotion,
Yannick Carlinet, The Dang Huynh , Bruno Kauffmann, Fabien Mathieu , Ludovic Noirie , Sébastien Tixeuil ,
15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel) 2013, Pornic, France
Explorer une grille avec un minimum de robots amnésiques,
Franck Petit, Anissa Lamani, Stéphane Devismes, Sébastien Tixeuil , Pascal Raymond,
15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel) 2013, Pornic, France
A Scalable Byzantine Grid,
Alexandre Maurer , Sébastien Tixeuil ,
ICDCN 2013, Mumbai, India
Ideal stabilisation,
Mikhail Nesterenko, Sébastien Tixeuil ,
IJGUC 2013
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,
François Bonnet, Xavier Défago, 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,
Stéphane 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 Défago, Sébastien Tixeuil ,
AINA Workshops 2012, Fukuoka, Japan
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
On Byzantine Broadcast in Loosely Connected Networks,
Alexandre Maurer , Sébastien Tixeuil ,
DISC 2012, Salvador, Brazil
Four months in daily motion - Dissecting user video requests,
Yannick Carlinet, The Dang Huynh , Bruno Kauffmann, Fabien Mathieu , Ludovic Noirie , Sébastien Tixeuil ,
IWCMC 2012, Limassol, Cyprus
Mariages et Trahisons,
Swan Dubois, Sébastien Tixeuil , Nini Zhu,
CoRR 2012, La Grande Motte, France
Confinement de fautes Byzantines dans les réseaux multi-sauts asynchrones,
Alexandre Maurer , Sébastien Tixeuil ,
14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel) 2012, La Grande Motte, France
Limiting Byzantien Influence in Multihop Asynchronous Networks,
Alexandre Maurer , Sébastien Tixeuil ,
CoRR 2012
Wait-Free Gathering of Mobile Robots,
Zohir Bouzid, Shantanu Das, Sébastien Tixeuil ,
CoRR 2012
Deterministic secure positioning in wireless sensor networks,
Sylvie Delaët, Partha Sarathi Mandal, Mariusz A. 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
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,
François Bonnet, Alessia Milani, Maria Potop-Butucaru, Sébastien Tixeuil ,
OPODIS 2011, Toulouse, France
Distributed Computing with Mobile Robots - An Introductory Survey,
Maria Potop-Butucaru, Michel Raynal, Sébastien Tixeuil ,
NBiS 2011, Tirana, Albania
A Taxonomy of Daemons in Self-stabilization,
Swan Dubois, Sébastien Tixeuil ,
CoRR 2011
Pragmatic Self-stabilization of Atomic Memory in Message-Passing Systems,
Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil ,
SSS 2011, Grenoble, France
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
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
Self-stabilization in Self-organized Wireless Multihop Networks?,
Nathalie Mitton, Bruno Sericola, Sébastien Tixeuil , Eric Fleury, Isabelle Guérin Lassous,
Ad Hoc & Sensor Wireless Networks 2011
Éditorial,
Sébastien Tixeuil ,
Technique et Science Informatiques 2011
The BG-simulation for Byzantine Mobile Robots,
Taisuke Izumi, Zohir Bouzid, Sébastien Tixeuil , Koichi Wada,
CoRR 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 Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil,
J. Parallel Distrib. Comput. 2010, Hyderabad, India
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,
SIROCCO 2010, Şirince, Turkey
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, Stéphane 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
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,
SSS 2010, New York, NY, United States
Advanced faults patterns for WSN dependability benchmarking,
Ali Asim, Sébastien Tixeuil,
MSWiM 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, 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
Optimal Byzantine-resilient convergence in uni-dimensional robot networks,
Zohir Bouzid, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil,
Theoretical Computer Science 2010
Exclusive Perpetual Ring Exploration without Chirality,
Lélia Blin, Alessia Milani, Maria Potop-Butucaru, Sébastien Tixeuil,
DISC 2010, Cambridge, MA, United States
Loop-Free Super-Stabilizing Spanning Tree Construction,
Lélia Blin, Maria Gradinariu Potop-Butucaru, Stephane Rovedakis, Sébastien Tixeuil,
SSS 2010, New York, NY, United States
Universal Loop-Free Super-Stabilization,
Lélia Blin, Maria Potop-Butucaru, Stephane Rovedakis, Sébastien Tixeuil,
CoRR 2010
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,
Fabíola Greve, Sébastien Tixeuil,
WRAS 2010
XS-WSNet - Extreme scale wireless sensor network simulation,
Ali Asim, Sébastien Tixeuil,
WOWMOM 2010
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
Construction auto-stabilisante d'arbre couvrant en dépit d'actions malicieuses,
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil,
CoRR 2010
Self-stabilization with Byzantine tolerance for global tasks,
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil,
CoRR 2010
Practically Stabilizing Atomic Memory,
Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Gradinariu, Sébastien Tixeuil,
CoRR 2010
Optimal deterministic self-stabilizing vertex coloring in unidirectional anonymous networks,
Samuel Bernard, 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,
DISC 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,
CoRR 2009, Piran, Slovenia
Communication Efficiency in Self-Stabilizing Silent Protocols,
Stéphane Devismes, Toshimitsu Masuzawa, Sébastien Tixeuil,
ICDCS 2009, Montreal, Canada
Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks,
Zohir Bouzid, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil,
CoRR 2009, Lyon, France
Byzantine Convergence in Robots Networks - The Price of Asynchrony,
Zohir Bouzid, Maria Potop-Butucaru, Sébastien Tixeuil,
CoRR 2009, Nimes, France
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
Self-stabilizing Algorithms,
Sébastien Tixeuil,
2009
Optimal byzantine resilient convergence in oblivious robot networks,
Zohir Bouzid, Maria Potop-Butucaru, Sébastien Tixeuil,
CoRR 2009
Sur le Coloriage Auto-stabilisant dans les Réseaux Unidirectionnels Anonymes,
Samuel Bernard, Stéphane Devismes, Katy Paroux, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil,
11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009) 2009, Carry-Le-Rouet, France
Exploration Optimale Probabiliste d'un Anneau par des Robots Semi-Synchrones et Amnésiques,
Stéphane Devismes, Franck Petit, Sébastien Tixeuil,
11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009) 2009, Carry-Le-Rouet, France
Stabilisation instantanée dans les systèmes à passage de messages,
Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil,
11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009) 2009, Carry-Le-Rouet, France
Stabilizing Maximal Independent Set in Unidirectional Networks is Hard,
Toshimitsu Masuzawa, Sébastien Tixeuil,
CoRR 2009
Discovering Network Topology in the Presence of Byzantine Faults,
Mikhail Nesterenko, Sébastien Tixeuil,
IEEE Trans. Parallel Distrib. Syst. 2009
Byzantine Convergence in Robot Networks - The Price of Asynchrony,
Zohir Bouzid, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil,
OPODIS 2009
Optimal Byzantine Resilient Convergence in Asynchronous Robots Networks,
Zohir Bouzid, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil,
SSS 2009
Strong Stabilization: Bounding Times Affected by Byzantine Processes in Stabilization,
Toshimitsu Masuzawa, Sébastien Tixeuil,
Asian Association for Algorithms and Computation annual meeting (AAAC 2008) 2008, Pokfulam, Hong Kong
Brief Announcement: Snap-Stabilization in Message-Passing Systems,
Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil,
Principles of Distributed Computing (PODC 2008) 2008, Toronto, Canada
Universe Detectors for Sybil Defense in Ad Hoc Wireles Networks,
Adnam Vora, Mikhail Nesterenko, Sébastien Tixeuil,
International Conference on Stabilization, Safety, and Security (SSS 2008) 2008, Detroit, MI, United States
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
An Exercise in Selfish Stabilization,
Johanne Cohen, Anurag Dasgupta, Sukumar Ghosh, Sébastien Tixeuil,
ACM Transactions on Autonomous and Adaptive Systems 2008
Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks,
Adnan Vora, Mikhail Nesterenko, Sébastien Tixeuil, Sylvie Delaët,
SSS 2008
Bounds for self-stabilization in unidirectional networks,
Samuel Bernard, Stéphane Devismes, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil,
CoRR 2008
An exercise in selfish stabilization,
Johanne Cohen, Anurag Dasgupta, Sukumar Ghosh, Sébastien Tixeuil,
TAAS 2008
A Self-stabilizing -Approximation Algorithm for the Maximum Matching Problem,
Fredrik Manne, Morten Mjelde, Laurence Pilard, Sébastien Tixeuil,
SSS 2008
Principles of Distributed Systems, 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings,
Theodore P. Baker, Alain Bui, Sébastien Tixeuil,
['OPODIS', 'Lecture Notes in Computer Science'] 2008
Conflict Managers for Self-stabilization without Fairness Assumption,
Maria Gradinariu, Sébastien Tixeuil,
ICDCS 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,
['SSS', 'Lecture Notes in Computer Science'] 2007
Reliability, Availibility, and Security, 1st International Workshop, WRAS 2007, Paris, France, November 16, 2007, Proceedings,
Toshimitsu Masuzawa, Sébastien Tixeuil,
2007
Fault-tolerant Distributed Algorithms for Scalable Systems,
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, Guadeloupe, France
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
Knowledge Connectivity vs. Synchrony Requirements for Fault-Tolerant Agreement in Unknown Networks,
Fabíola Greve, Sébastien Tixeuil,
DSN 2007
Evaluating Complex MAC Protocols for Sensor Networks with APMC,
Michaël Cadilhac, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, Sébastien Tixeuil,
Electr. Notes Theor. Comput. Sci. 2007, Nancy/France
Transient fault detectors,
Joffroy Beauquier, Sylvie Delaët, Shlomi Dolev, Sébastien Tixeuil,
Distributed Computing 2007
FAIL-FCI - Versatile fault injection,
William Hoarau, Sébastien Tixeuil, Fabien Vauchelles,
Future Generation Comp. Syst. 2007
Dependability Evaluation of The Ogsa-Dai Middleware,
William Hoarau, Sébastien Tixeuil, Nuno Rodrigues, Décio Sousa, Luís Moura Silva,
CoreGRID Integration Workshop 2006
Easy fault injection and stress testing with FAIL-FCI,
William Hoarau, Sébastien Tixeuil, Fabien Vauchelles,
2006
Self-Stabilization with r-Operators revisited,
Sylvie Delaët, Bertrand Ducourthial, Sébastien Tixeuil,
Journal of Aerospace Computing, Information, and Communication 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 Guérin 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
Vers l'auto-stabilisation des systèmes à grande échelle Toward self-stabilizing large-scale systems,
Sébastien Tixeuil,
2006
FAIL-MPI - How Fault-Tolerant Is Fault-Tolerant MPI?,
William Hoarau, Pierre Lemarinier, Thomas Hérault, Eric Rodriguez, Sébastien Tixeuil, Franck Cappello,
CLUSTER 2006
Vers l'auto-stabilisation des systèmes à grande échelle. (Toward self-stabilizing large-scale systems),
Sébastien Tixeuil,
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 Guérin 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, Éric 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
Self-stabilizing Systems,
Ted Herman, Sébastien Tixeuil,
2005
Stabilizing inter-domain routing in the Internet,
Yu Chen, Ajoy Kumar Datta, Sébastien Tixeuil,
J. High Speed Networks 2005
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
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
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
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
Self-Stabilizing Mutual Exclusion Under Arbitrary Scheduler,
Ajoy Kumar Datta, Maria Gradinariu, Sébastien Tixeuil,
Comput. J. 2004
A Distributed TDMA Slot Assignment Algorithm for Wireless Sensor Networks,
Ted Herman, Sébastien Tixeuil,
ALGOSENSORS 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 B. Kenitzki, Sébastien Tixeuil,
J. Inf. Sci. Eng. 2003
Stabilite Et Auto-Stabilisation Du Routage Inter-Domaine Dans Internet,
Sylvie Delaët, Duy-So Nguyen, Sébastien Tixeuil,
RIVF 2003
Route Preserving Stabilization,
Colette Johnen, Sébastien Tixeuil,
Self-Stabilizing Systems 2003
Tolerating Transient and Intermittent Failures,
Sylvie Delaët, Sébastien Tixeuil,
J. Parallel Distrib. Comput. 2002
Optimal Snap-Stabilizing Neighborhood Synchronizer in Tree Networks,
Colette Johnen, Luc Onana Alima, Ajoy Kumar Datta, Sébastien Tixeuil,
Parallel Processing Letters 2002
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
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
Tight Space Self-Stabilizing Uniform l-Mutual Exclusion,
Maria Gradinariu, Sébastien Tixeuil,
ICDCS 2001
On a Space-Optimal Distributed Traversal Algorithm,
Sébastien Tixeuil,
WSS 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
Auto-stabilisation Efficace. (Efficient Self-stabilization),
Sébastien Tixeuil,
2000
Stabilizing Hierarchical Routing,
Ajoy Kumar Datta, Jerry L. Derby, James E. Lawrence, Sébastien Tixeuil,
Journal of Interconnection Networks 2000
Self-Stabilizing Mutual Exclusion Using Unfair Distributed Scheduler,
Ajoy Kumar Datta, Maria Gradinariu, Sébastien Tixeuil,
IPDPS 2000
Tolerating Transient and Intermittent Failure,
Sylvie Delaët, Sébastien Tixeuil,
OPODIS 2000
Self-stabilizing Vertex Coloration and Arbitrary Graphs,
Maria Gradinariu, Sébastien Tixeuil,
OPODIS 2000
Self-Stabilizing Algorithms in DAG Structured Networks,
Sajal K. Das, Ajoy Kumar Datta, Sébastien Tixeuil,
Parallel Processing Letters 1999
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