Sébastien Tixeuil

395 papers A* 10A 35B 51C 54Misc 13Journal 178Unranked 48
YearRankTypeTitle / Venue / Authors
2026 J jnl
LIFT: Byzantine Resilient Hub-Sampling.
CoRR
Mohamed Amine Legheraba, Nour Rachdi, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
2026 C ed.
Stabilization, Safety, and Security of Distributed Systems - 27th International Symposium, SSS 2025, Kathmandu, Nepal, October 9-11, 2025, Proceedings
SSS
Silvia Bonomi, Partha Sarathi Mandal, Peter Robinson, Gokarna Sharma, Sébastien Tixeuil
2026 J jnl
The Price of Universal Temporal Reachability.
CoRR
Binh-Minh Bui-Xuan, Nhat-Minh Nguyen, Sébastien Tixeuil, Yukiko Yamauchi
2025 J jnl
A New Probabilistic Mobile Byzantine Failure Model for Self-Protecting Systems.
CoRR
Silvia Bonomi, Giovanni Farina, Roy Friedman, Eviatar B. Procaccia, Sébastien Tixeuil
2025 B conf
A Visibility vs. Memory Trade-Off for Stand-Up Indulgent Gathering on Lines.
SIROCCO
Quentin Bramas, Hirotsugu Kakugawa, Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Masahiro Shibata, Sébastien Tixeuil
2025 B conf
ABD-HFL: Byzantine-resistant Decentralized Hierarchical Federated Learning.
SPAA
Tengfei An, Serge Fdida, Maria Potop-Butucaru, Sébastien Tixeuil
2025 B conf
Deterministic Color-Optimal Self-stabilizing Semi-synchronous Gathering: A Certified Algorithm.
SIROCCO
François Bonnet, Quentin Bramas, Pierre Courtieu, Xavier Défago, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2025 J jnl
Deterministic Self-Stabilizing BFS Construction in Constant Space.
CoRR
Lélia Blin, Franck Petit, Sébastien Tixeuil
2025 A conf
Deterministic Synchronous Self-Stabilizing BFS Construction with Constant Space Complexity.
DISC
Lélia Blin, Franck Petit, Sébastien Tixeuil
2025 J jnl
Gathering on Rings for Myopic Asynchronous Robots with Lights.
Theory Comput. Syst.
Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil, Koichi Wada
2025 — conf
HEAL: Resilient and Self-* Hub-Based Learning.
AINA (2)
Mohamed Amine Legheraba, Stefan Galkiewicz, Maria Potop-Butucaru, Sébastien Tixeuil
2025 — conf
LIFT: Byzantine Resilient Hub-Sampling.
CANDAR
Mohamed Amine Legheraba, Nour Rachdi, Maria Potop-Butucaru, Sébastien Tixeuil
2025 J jnl
On Dynamics of Basic Network Creation Games With Non-Uniform Communication Interest.
Concurr. Comput. Pract. Exp.
Maxime Dresler, Sanaï Mansour, Safaâ Talhaoui, Yukiko Yamauchi, Sébastien Tixeuil
2025 — conf
On Restricting Separator Problems in the OBLOT Computational Landscape.
NETYS
Quentin Bramas, Sébastien Tixeuil
2025 J jnl
On the Solvability of Byzantine-tolerant Reliable Communication in Dynamic Networks.
CoRR
Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
2025 J jnl
On time-travel planning in dynamic graphs.
Theor. Comput. Sci.
Quentin Bramas, Jean-Romain Luttringer, Sébastien Tixeuil
2025 J jnl
Preface: Selected papers from SSS'2019, the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems.
Inf. Comput.
Mikhail Nesterenko, Sébastien Tixeuil, Sara Tucci, Yukiko Yamauchi
2025 — conf
Privacy Benchmarking of Intrusion Detection Sytems.
AINA (4)
Solayman Ayoubi, Gregory Blanc, Houda Jmila, Sébastien Tixeuil
2025 J jnl
QoSentry: A Reinforcement Learning Framework for QoS-Preserving DDoS Mitigation in Software-Defined Networks.
J. Netw. Syst. Manag.
Shurok Khozam, Gregory Blanc, Sébastien Tixeuil, Eric Totel
2025 B conf
Uniform Deployment of Mobile Robots in Complete Bipartite Graphs.
OPODIS
Masahiro Shibata, Naoki Kitamura, Ryota Eguchi, Yuichi Sudo, Junya Nakamura, Yonghwan Kim, Yoshiaki Katayama, Toshimitsu Masuzawa, Quentin Bramas, Sébastien Tixeuil
2024 J jnl
An Asynchronous Maximum Independent Set Algorithm By Myopic Luminous Robots On Grids.
Comput. J.
Sayaka Kamei, Sébastien Tixeuil
2024 C conf
Brief Announcement: A Self-* and Persistent Hub Sampling Service.
SSS
Mohamed Amine Legheraba, Maria Potop-Butucaru, Sébastien Tixeuil
2024 — conf
Brief Announcement: Crash-Tolerant Exploration of Trees by Energy Sharing Mobile Agents.
SAND
Quentin Bramas, Toshimitsu Masuzawa, Sébastien Tixeuil
2024 — conf
Challenger: Blockchain-based Massively Multiplayer Online Game Architecture.
NETYS
Boris Chan Yip Hon, Bilel Zaghdoudi, Maria Potop-Butucaru, Sébastien Tixeuil, Serge Fdida
2024 J jnl
Challenger: Blockchain-based Massively Multiplayer Online Game Architecture.
IACR Cryptol. ePrint Arch.
Boris Chan Yip Hon, Bilel Zaghdoudi, Maria Potop-Butucaru, Sébastien Tixeuil, Serge Fdida
2024 B conf
Crash-Tolerant Exploration of Trees by Energy-Sharing Mobile Agents.
OPODIS
Quentin Bramas, Toshimitsu Masuzawa, Sébastien Tixeuil
2024 B conf
DDoS Mitigation while Preserving QoS: A Deep Reinforcement Learning-Based Approach.
NetSoft
Shurok Khozam, Gregory Blanc, Sébastien Tixeuil, Eric Totel
2024 — conf
Data Poisoning Attacks in Gossip Learning.
AINA (2)
Alexandre Pham, Maria Potop-Butucaru, Sébastien Tixeuil, Serge Fdida
2024 J jnl
Data Poisoning Attacks in Gossip Learning.
CoRR
Alexandre Pham, Maria Potop-Butucaru, Sébastien Tixeuil, Serge Fdida
2024 A* conf
Demo: Towards Reproducible Evaluations of ML-Based IDS Using Data-Driven Approaches.
CCS
Solayman Ayoubi, Sébastien Tixeuil, Gregory Blanc, Houda Jmila
2024 J jnl
Elevator: Self-* and Persistent Hub Sampling Service in Unstructured Peer-to-Peer Networks.
CoRR
Mohamed Amine Legheraba, Maria Potop-Butucaru, Sébastien Tixeuil
2024 B conf
Emergent Peer-to-Peer Multi-Hub Topology.
NCA
Mohamed Amine Legheraba, Maria Potop-Butucaru, Sébastien Tixeuil, Serge Fdida
2024 C conf
FREIDA: A Concrete Tool for Reproducible Evaluation of IDS Using a Data-Driven Approach.
CRiSIS
Solayman Ayoubi, Gregory Blanc, Houda Jmila, Sébastien Tixeuil
2024 — conf
Online Space-Time Travel Planning in Dynamic Graphs.
SAND
Quentin Bramas, Jean-Romain Luttringer, Sébastien Tixeuil
2024 C conf
Preventing WebRTC IP Address Leaks.
CRiSIS
Guillaume Nibert, Sébastien Tixeuil, Baptiste Polvé, Nana J. Bakalafoua M'boussi, Xuan Son Nguyen
2024 J jnl
Reliable communication in dynamic networks with locally bounded byzantine faults.
J. Parallel Distributed Comput.
Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
2024 J jnl
Resource efficient stabilization for local tasks despite unknown capacity links.
Theor. Comput. Sci.
Lélia Blin, Anaïs Durand, Sébastien Tixeuil
2024 — conf
Stand-Up Indulgent Gathering on Lines for Myopic Luminous Robots.
AINA (2)
Quentin Bramas, Hirotsugu Kakugawa, Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Masahiro Shibata, Sébastien Tixeuil
2024 B conf
Stand-Up Indulgent Gathering on Rings.
SIROCCO
Quentin Bramas, Sayaka Kamei, Anissa Lamani, Sébastien Tixeuil
2024 J jnl
Stand-Up Indulgent Gathering on Rings.
CoRR
Quentin Bramas, Sayaka Kamei, Anissa Lamani, Sébastien Tixeuil
2024 J jnl
Stand-up indulgent gathering on lines.
Theor. Comput. Sci.
Quentin Bramas, Sayaka Kamei, Anissa Lamani, Sébastien Tixeuil
2023 C conf
Brief Announcement: Crash-Tolerant Exploration by Energy Sharing Mobile Agents.
SSS
Quentin Bramas, Toshimitsu Masuzawa, Sébastien Tixeuil
2023 A* conf
Fault-Tolerant Offline Multi-Agent Path Planning.
AAAI
Keisuke Okumura, Sébastien Tixeuil
2023 C conf
Meeting Times of Non-atomic Random Walks.
SSS
Ryota Eguchi, Fukuhito Ooshita, Michiko Inoue, Sébastien Tixeuil
2023 J jnl
Meeting Times of Non-atomic Random Walks.
CoRR
Ryota Eguchi, Fukuhito Ooshita, Michiko Inoue, Sébastien Tixeuil
2023 C conf
Offline Constrained Backward Time Travel Planning.
SSS
Quentin Bramas, Jean-Romain Luttringer, Sébastien Tixeuil
2023 — conf
On Dynamics of Basic Network Creation Games with Non-Uniform Communication Interest.
CANDARW
Maxime Dresler, Sanaï Mansour, Safaâ Talhaoui, Yukiko Yamauchi, Sébastien Tixeuil
2023 J jnl
Optimal self-stabilizing mobile byzantine-tolerant regular register with bounded timestamps.
Theor. Comput. Sci.
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil
2023 B conf
Reliable Broadcast Despite Mobile Byzantine Faults.
OPODIS
Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
2023 J jnl
Reliable Broadcast despite Mobile Byzantine Faults.
CoRR
Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
2023 J jnl
Semi-uniform deployment of mobile robots in perfect ℓ $$ \ell $$ -ary trees.
Concurr. Comput. Pract. Exp.
Masahiro Shibata, Sébastien Tixeuil
2023 J jnl
Stand Up Indulgent Gathering.
CoRR
Quentin Bramas, Anissa Lamani, Sébastien Tixeuil
2023 J jnl
Stand up indulgent gathering.
Theor. Comput. Sci.
Quentin Bramas, Anissa Lamani, Sébastien Tixeuil
2023 J jnl
Stand-Up Indulgent Gathering on Lines for Myopic Luminous Robots.
CoRR
Quentin Bramas, Hirotsugu Kakugawa, Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Masahiro Shibata, Sébastien Tixeuil
2023 C conf
Stand-Up Indulgent Gathering on Lines.
SSS
Quentin Bramas, Sayaka Kamei, Anissa Lamani, Sébastien Tixeuil
2023 J jnl
Stand-Up Indulgent Gathering on Lines.
CoRR
Quentin Bramas, Sayaka Kamei, Anissa Lamani, Sébastien Tixeuil
2023 J jnl
The agreement power of disagreement.
Theor. Comput. Sci.
Quentin Bramas, Anissa Lamani, Sébastien Tixeuil
2023 J jnl
Using model checking to formally verify rendezvous algorithms for robots with lights in Euclidean space.
Robotics Auton. Syst.
Xavier Défago, Adam Heriban, Sébastien Tixeuil, Koichi Wada
2022 J jnl
Constrained Backward Time Travel Planning is in P.
CoRR
Quentin Bramas, Jean-Romain Luttringer, Sébastien Tixeuil
2022 — conf
Data-Driven Evaluation of Intrusion Detectors: A Methodological Framework.
FPS
Solayman Ayoubi, Gregory Blanc, Houda Jmila, Thomas Silverston, Sébastien Tixeuil
2022 J jnl
Fault-Tolerant Offline Multi-Agent Path Planning.
CoRR
Keisuke Okumura, Sébastien Tixeuil
2022 Misc conf
Fun with FUN.
FUN
Fabien Mathieu, Sébastien Tixeuil
2022 — conf
QUANTAS: Quantitative User-friendly Adaptable Networked Things Abstract Simulator.
ApPLIED@PODC
Joseph Oglio, Kendric Hood, Mikhail Nesterenko, Sébastien Tixeuil
2022 J jnl
QUANTAS: Quantitative User-friendly Adaptable Networked Things Abstract Simulator.
CoRR
Joseph Oglio, Kendric Hood, Mikhail Nesterenko, Sébastien Tixeuil
2022 B conf
Realistic Self-Stabilization (Invited Talk).
OPODIS
Sébastien Tixeuil
2022 J jnl
Ring exploration with myopic luminous robots.
Inf. Comput.
Fukuhito Ooshita, Sébastien Tixeuil
2022 J jnl
Swarms of Mobile Robots: Towards Versatility with Safety.
Leibniz Trans. Embed. Syst.
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2021 B conf
Asynchronous Gathering in a Torus.
OPODIS
Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil, Koichi Wada
2021 J jnl
Asynchronous Gathering in a Torus.
CoRR
Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil, Koichi Wada
2021 C conf
Computer Aided Formal Design of Swarm Robotics Algorithms.
SSS
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2021 J jnl
Computer Aided Formal Design of Swarm Robotics Algorithms.
CoRR
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2021 J jnl
Mobile Robots with Uncertain Visibility Sensors: Possibility Results and Lower Bounds.
Parallel Process. Lett.
Adam Heriban, Sébastien Tixeuil
2021 A conf
Practical Byzantine Reliable Broadcast on Partially Connected Networks.
ICDCS
Silvia Bonomi, Jérémie Decouchant, Giovanni Farina, Vincent Rahli, Sébastien Tixeuil
2021 J jnl
Practical Byzantine Reliable Broadcast on Partially Connected Networks.
CoRR
Silvia Bonomi, Jérémie Decouchant, Giovanni Farina, Vincent Rahli, Sébastien Tixeuil
2021 — conf
Quixo is Solved.
ACG
Satoshi Tanaka, François Bonnet, Sébastien Tixeuil, Yasumasa Tamura
2021 — conf
Semi-Uniform Deployment of Mobile Robots in Perfect $\ell$ -ary Trees.
CANDAR
Masahiro Shibata, Sébastien Tixeuil
2021 C conf
Stand up Indulgent Gathering.
ALGOSENSORS
Quentin Bramas, Anissa Lamani, Sébastien Tixeuil
2021 J jnl
Terminating Exploration Of A Grid By An Optimal Number Of Asynchronous Oblivious Robots.
Comput. J.
Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil
2021 C conf
The Agreement Power of Disagreement.
SSS
Quentin Bramas, Anissa Lamani, Sébastien Tixeuil
2021 J jnl
Uniform bipartition in the population protocol model with arbitrary graphs.
Theor. Comput. Sci.
Hiroto Yasumi, Fukuhito Ooshita, Michiko Inoue, Sébastien Tixeuil
2021 J jnl
Unreliable Sensors for Reliable Efficient Robots.
CoRR
Adam Heriban, Sébastien Tixeuil
2020 J jnl
An Asynchronous Maximum Independent Set Algorithm by Myopic Luminous Robots on Grids.
CoRR
Sayaka Kamei, Sébastien Tixeuil
2020 — conf
Autonomous Identification of IoT Device Types based on a Supervised Classification.
ICC
Nesrine Ammar, Ludovic Noirie, Sébastien Tixeuil
2020 C conf
Boosting the Efficiency of Byzantine-Tolerant Reliable Communication.
SSS
Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
2020 — conf
Broadcasting Information in Multi-hop Networks Prone to Mobile Byzantine Faults.
NETYS
Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
2020 J jnl
Compact self-stabilizing leader election for general networks.
J. Parallel Distributed Comput.
Lélia Blin, Sébastien Tixeuil
2020 — conf
On the Encoding and Solving of Partial Information Games.
NETYS
Yackolley Amoussou-Guenou, Souheib Baarir, Maria Potop-Butucaru, Nathalie Sznajder, Léo Tible, Sébastien Tixeuil
2020 J jnl
Parameterized verification of algorithms for oblivious robots on a ring.
Formal Methods Syst. Des.
Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sébastien Tixeuil
2020 C conf
Partial Gathering of Mobile Robots from Multiplicity-Allowed Configurations in Rings.
SSS
Masahiro Shibata, Sébastien Tixeuil
2020 J jnl
Quixo Is Solved.
CoRR
Satoshi Tanaka, François Bonnet, Sébastien Tixeuil, Yasumasa Tamura
2020 J jnl
Ressource Efficient Stabilization for Local Tasks despite Unknown Capacity Links.
CoRR
Lélia Blin, Anaïs Durand, Sébastien Tixeuil
2020 J jnl
Special issue on Structural Information and Communication Complexity.
Theor. Comput. Sci.
Shantanu Das, Sébastien Tixeuil
2020 C conf
Stand Up Indulgent Rendezvous.
SSS
Quentin Bramas, Anissa Lamani, Sébastien Tixeuil
2020 J jnl
Stand Up Indulgent Rendezvous.
CoRR
Quentin Bramas, Anissa Lamani, Sébastien Tixeuil
2020 B conf
Uniform Bipartition in the Population Protocol Model with Arbitrary Communication Graphs.
OPODIS
Hiroto Yasumi, Fukuhito Ooshita, Michiko Inoue, Sébastien Tixeuil
2020 J jnl
Uniform Bipartition in the Population Protocol Model with Arbitrary Communication Graphs.
CoRR
Hiroto Yasumi, Fukuhito Ooshita, Michiko Inoue, Sébastien Tixeuil
2020 B conf
Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space.
SRDS
Xavier Défago, Adam Heriban, Sébastien Tixeuil, Koichi Wada
2019 J jnl
Approximate Agreement under Mobile Byzantine Faults.
Theor. Comput. Sci.
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil
2019 J jnl
Asynchronous Scattering.
CoRR
Ulysse Léchine, Sébastien Tixeuil
2019 — conf
Autonomous IoT Device Identification Prototype.
TMA
Nesrine Ammar, Ludovic Noirie, Sébastien Tixeuil
2019 A conf
Brief Announcement: Model Checking Rendezvous Algorithms for Robots with Lights in Euclidean Space.
DISC
Xavier Défago, Adam Heriban, Sébastien Tixeuil, Koichi Wada
2019 — conf
Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots.
NETYS
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2019 — conf
Distributed Online Data Aggregation in Dynamic Graphs.
NETYS
Quentin Bramas, Toshimitsu Masuzawa, Sébastien Tixeuil
2019 — ch.
Fault-Tolerant Mobile Robots.
Distributed Computing by Mobile Entities
Xavier Défago, Maria Potop-Butucaru, Sébastien Tixeuil
2019 — ch.
Formal Methods for Mobile Robots.
Distributed Computing by Mobile Entities
Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil, Xavier Urbain
2019 B conf
Gathering on Rings for Myopic Asynchronous Robots With Lights.
OPODIS
Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil, Koichi Wada
2019 J jnl
Gathering on Rings for Myopic Asynchronous Robots with Lights.
CoRR
Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil, Koichi Wada
2019 B conf
Mobile Robots with Uncertain Visibility Sensors.
SIROCCO
Adam Heriban, Sébastien Tixeuil
2019 J jnl
Multi-hop Byzantine Reliable Broadcast Made Practical.
CoRR
Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
2019 J jnl
Multi-hop Byzantine reliable broadcast with honest dealer made practical.
J. Braz. Comput. Soc.
Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
2019 — conf
Network-Protocol-Based IoT Device Identification.
FMEC
Nesrine Ammar, Ludovic Noirie, Sébastien Tixeuil
2019 J jnl
On asynchronous rendezvous in general graphs.
Theor. Comput. Sci.
Evangelos Bampas, Lélia Blin, Jurek Czyzowicz, David Ilcinkas, Arnaud Labourel, Maria Potop-Butucaru, Sébastien Tixeuil
2019 J jnl
Optimal torus exploration by oblivious robots.
Computing
Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil
2019 J jnl
Packet Efficient Implementation of the Omega Failure Detector.
Theory Comput. Syst.
Quentin Bramas, Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil
2019 C ed.
Stabilization, Safety, and Security of Distributed Systems - 21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019, Proceedings
SSS
Mohsen Ghaffari, Mikhail Nesterenko, Sébastien Tixeuil, Sara Tucci, Yukiko Yamauchi
2019 J jnl
Synchronous Gathering without Multiplicity Detection: a Certified Algorithm.
Theory Comput. Syst.
Thibaut Balabonski, Amélie Delga, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2019 J jnl
Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space.
CoRR
Xavier Défago, Adam Heriban, Sébastien Tixeuil, Koichi Wada
2018 Misc conf
A Foundational Framework for Certified Impossibility Results with Mobile Robots on Graphs.
ICDCN
Thibaut Balabonski, Robin Pelle, Lionel Rieg, Sébastien Tixeuil
2018 C conf
Arbitrary Pattern Formation with Four Robots.
SSS
Quentin Bramas, Sébastien Tixeuil
2018 J jnl
Automated Synthesis of Distributed Self-Stabilizing Protocols.
Log. Methods Comput. Sci.
Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni
2018 C conf
Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots.
SSS
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2018 C conf
Brief Announcement: Optimal Self-stabilizing Mobile Byzantine-Tolerant Regular Register with Bounded Timestamps.
SSS
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil
2018 — conf
Churn Possibilities and Impossibilities.
NETYS
Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil
2018 B conf
Compact Self-Stabilizing Leader Election for General Networks.
LATIN
Lélia Blin, Sébastien Tixeuil
2018 J jnl
Compact deterministic self-stabilizing leader election on a ring: the exponential advantage of being talkative.
Distributed Comput.
Lélia Blin, Sébastien Tixeuil
2018 Misc conf
Concurrent Geometric Multicasting.
ICDCN
Jordan Adamek, Mikhail Nesterenko, James Scott Robinson, Sébastien Tixeuil
2018 — conf
Multi-hop Byzantine Reliable Broadcast Made Practical.
LADC
Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
2018 J jnl
On time complexity for connectivity-preserving scattering of mobile robots.
Theor. Comput. Sci.
Taisuke Izumi, Daichi Kaino, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
2018 Misc conf
Optimally Gathering Two Robots.
ICDCN
Adam Heriban, Xavier Défago, Sébastien Tixeuil
2018 C conf
Reliable Broadcast in Dynamic Networks with Locally Bounded Byzantine Failures.
SSS
Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
2018 J jnl
Reliable Broadcast in Dynamic Networks with Locally Bounded Byzantine Failures.
CoRR
Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil
2018 C conf
Ring Exploration with Myopic Luminous Robots.
SSS
Fukuhito Ooshita, Sébastien Tixeuil
2018 J jnl
Ring Exploration with Myopic Luminous Robots.
CoRR
Fukuhito Ooshita, Sébastien Tixeuil
2018 — conf
Short Paper: Tight Bounds for Universal and Cautious Self-stabilizing 1-Maximal Matching.
NETYS
Michiko Inoue, Sébastien Tixeuil
2017 C conf
An Efficient Silent Self-stabilizing 1-Maximal Matching Algorithm Under Distributed Daemon for Arbitrary Networks.
SSS
Michiko Inoue, Fukuhito Ooshita, Sébastien Tixeuil
2017 A conf
Brief Announcement: Compact Self-Stabilizing Leader Election in Arbitrary Graphs.
DISC
Lélia Blin, Sébastien Tixeuil
2017 A* conf
Brief Announcement: Efficient Self-Stabilizing 1-Maximal Matching Algorithm for Arbitrary Networks.
PODC
Michiko Inoue, Fukuhito Ooshita, Sébastien Tixeuil
2017 — conf
Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open Problems.
FMICS-AVoCS
Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2017 J jnl
Compact Self-Stabilizing Leader Election for Arbitrary Networks.
CoRR
Lélia Blin, Sébastien Tixeuil
2017 J jnl
Concurrent Geometric Multicasting.
CoRR
Jordan Adamek, Mikhail Nesterenko, James Scott Robinson, Sébastien Tixeuil
2017 J jnl
Evaluating and optimizing stabilizing dining philosophers.
J. Parallel Distributed Comput.
Jordan Adamek, Giovanni Farina, Mikhail Nesterenko, Sébastien Tixeuil
2017 B conf
Optimal Storage under Unsynchronized Mobile Byzantine Faults.
SRDS
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil
2017 J jnl
Optimal Storage under Unsynchrononized Mobile Byzantine Faults.
CoRR
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil
2017 J jnl
Optimally Gathering Two Robots.
CoRR
Adam Heriban, Xavier Défago, Sébastien Tixeuil
2017 J jnl
Parameterized Verification of Algorithms for Oblivious Robots on a Ring.
CoRR
Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sébastien Tixeuil
2017 B conf
Parameterized verification of algorithms for oblivious robots on a ring.
FMCAD
Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sébastien Tixeuil
2017 B conf
Stateless Reliable Geocasting.
SRDS
Jordan Adamek, Mikhail Nesterenko, James Scott Robinson, Sébastien Tixeuil
2017 B ed.
Structural Information and Communication Complexity - 24th International Colloquium, SIROCCO 2017, Porquerolles, France, June 19-22, 2017, Revised Selected Papers
SIROCCO
Shantanu Das, Sébastien Tixeuil
2017 J jnl
The Random Bit Complexity of Mobile Robots Scattering.
Int. J. Found. Comput. Sci.
Quentin Bramas, Sébastien Tixeuil
2017 J jnl
The complexity of data aggregation in static and dynamic wireless sensor networks.
Inf. Comput.
Quentin Bramas, Sébastien Tixeuil
2016 J jnl
A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-Free Property.
Comput. J.
Lélia Blin, Maria Potop-Butucaru, Stephane Rovedakis, Sébastien Tixeuil
2016 C conf
An Efficient Silent Self-stabilizing 1-Maximal Matching Algorithm Under Distributed Daemon Without Global Identifiers.
SSS
Michiko Inoue, Fukuhito Ooshita, Sébastien Tixeuil
2016 A conf
Approximate Agreement under Mobile Byzantine Faults.
ICDCS
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil
2016 J jnl
Approximate Agreement under Mobile Byzantine Faults.
CoRR
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil
2016 — conf
Asynchronous Gathering in Rings with 4 Robots.
ADHOC-NOW
François Bonnet, Maria Potop-Butucaru, Sébastien Tixeuil
2016 — conf
Benchmarking Energy-Centric Broadcast Protocols in Wireless Sensor Networks.
NETYS
Quentin Bramas, Sébastien Tixeuil
2016 A* conf
Brief Announcement: Certified Universal Gathering in R
PODC
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2016 A* conf
Brief Announcement: Probabilistic Asynchronous Arbitrary Pattern Formation.
PODC
Quentin Bramas, Sébastien Tixeuil
2016 J jnl
Certified Universal Gathering in $R^2$ for Oblivious Mobile Robots.
CoRR
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2016 A conf
Certified Universal Gathering in \mathbb R ^2 for Oblivious Mobile Robots.
DISC
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2016 A conf
Distributed Online Data Aggregation in Dynamic Graphs.
ICDCS
Quentin Bramas, Toshimitsu Masuzawa, Sébastien Tixeuil
2016 J jnl
Distributed Online Data Aggregation in Dynamic Graphs.
CoRR
Quentin Bramas, Toshimitsu Masuzawa, Sébastien Tixeuil
2016 — conf
Enhancing Content Distribution through Information-Aware Mechanisms.
CloudNet
Walid Benchaita, Gioacchino Tangari, Samir Ghamri-Doudane, Sébastien Tixeuil
2016 J jnl
Formal verification of mobile robot protocols.
Distributed Comput.
Béatrice Bérard, Pascal Lafourcade, Laure Millet, Maria Potop-Butucaru, Yann Thierry-Mieg, Sébastien Tixeuil
2016 C conf
Infinite Unlimited Churn (Short Paper).
SSS
Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil
2016 J jnl
Infinite Unlimited Churn.
CoRR
Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil
2016 A* conf
Optimal Mobile Byzantine Fault Tolerant Distributed Storage: Extended Abstract.
PODC
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil
2016 C conf
Packet Efficient Implementation of the Omega Failure Detector.
SSS
Quentin Bramas, Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil
2016 C conf
Probabilistic Asynchronous Arbitrary Pattern Formation (Short Paper).
SSS
Quentin Bramas, Sébastien Tixeuil
2016 J jnl
Self-Stabilizing Mobile Byzantine-Tolerant Regular Register with bounded timestamp.
CoRR
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil
2016 C conf
Specification-Based Synthesis of Distributed Self-Stabilizing Protocols.
FORTE
Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni
2016 Misc conf
Stability and optimization of DNS-based request redirection in CDNs.
ICDCN
Walid Benchaita, Samir Ghamri-Doudane, Sébastien Tixeuil
2016 C conf
Synchronous Gathering Without Multiplicity Detection: A Certified Algorithm.
SSS
Thibaut Balabonski, Amélie Delga, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2016 J jnl
Tolerating Random Byzantine Failures in an Unbounded Network.
Parallel Process. Lett.
Alexandre Maurer, Sébastien Tixeuil
2015 J jnl
A Certified Universal Gathering Algorithm for Oblivious Mobile Robots.
CoRR
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2015 J jnl
Asynchronous Pattern Formation without Chirality.
CoRR
Quentin Bramas, Sébastien Tixeuil
2015 C conf
Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols.
SSS
Saba Aflaki, Borzoo Bonakdarpour, Sébastien Tixeuil
2015 B conf
Communicating Reliably in Multihop Dynamic Networks Despite Byzantine Failures.
SRDS
Alexandre Maurer, Sébastien Tixeuil, Xavier Défago
2015 J jnl
Containing Byzantine Failures with Control Zones.
IEEE Trans. Parallel Distributed Syst.
Alexandre Maurer, Sébastien Tixeuil
2015 Misc conf
Evaluating and Optimizing Stabilizing Dining Philosophers.
EDCC
Jordan Adamek, Mikhail Nesterenko, Sébastien Tixeuil
2015 J jnl
Impossibility of gathering, a certification.
Inf. Process. Lett.
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
2015 J jnl
Maximum Metric Spanning Tree Made Byzantine Tolerant.
Algorithmica
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil
2015 A* conf
On the Optimization of Request Routing for Content Delivery.
SIGCOMM
Walid Benchaita, Samir Ghamri-Doudane, Sébastien Tixeuil
2015 J jnl
On the self-stabilization of mobile oblivious robots in uniform rings.
Theor. Comput. Sci.
Fukuhito Ooshita, Sébastien Tixeuil
2015 — conf
Optimal Torus Exploration by Oblivious Robots.
NETYS
Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil
2015 J jnl
Packet Efficient Implementation of the Omega Failure Detector.
CoRR
Quentin Bramas, Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil
2015 J jnl
Practically stabilizing SWMR atomic memory in message-passing systems.
J. Comput. Syst. Sci.
Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil
2015 J jnl
Specification-based Synthesis of Distributed Self-Stabilizing Protocols.
CoRR
Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni
2015 A conf
Stabilizing Byzantine-Fault Tolerant Storage.
IPDPS
Silvia Bonomi, Maria Potop-Butucaru, Sébastien Tixeuil
2015 J jnl
Stateless Geocasting.
CoRR
Jordan Adamek, Mikhail Nesterenko, Sébastien Tixeuil
2015 C conf
The Complexity of Data Aggregation in Static and Dynamic Wireless Sensor Networks.
SSS
Quentin Bramas, Sébastien Tixeuil
2015 — conf
The Random Bit Complexity of Mobile Robots Scattering.
ADHOC-NOW
Quentin Bramas, Sébastien Tixeuil
2015 B conf
Wait-Free Gathering Without Chirality.
SIROCCO
Quentin Bramas, Sébastien Tixeuil
2015 J jnl
Weak
Int. J. Found. Comput. Sci.
Stéphane Devismes, Sébastien Tixeuil, Masafumi Yamashita
2015 C conf
WiSeBat: accurate energy benchmarking of wireless sensor networks.
FDL
Quentin Bramas, Wilfried Dron, Mariem Ben Fadhl, Khalil Hachicha, Patrick Garda, Sébastien Tixeuil
2014 J jnl
Byzantine broadcast with fixed disjoint paths.
J. Parallel Distributed Comput.
Alexandre Maurer, Sébastien Tixeuil
2014 J jnl
Compact Deterministic Self-Stabilizing Leader Election: The Exponential Advantage of Being Talkative.
CoRR
Lélia Blin, Sébastien Tixeuil
2014 — conf
Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols.
SRDS Workshops
François Bonnet, Xavier Défago, Franck Petit, Maria Potop-Butucaru, Sébastien Tixeuil
2014 J jnl
Gathering fat mobile robots with slim omnidirectional cameras.
Theor. Comput. Sci.
Anthony Honorat, Maria Potop-Butucaru, Sébastien Tixeuil
2014 J jnl
Impossibility of Gathering, a Certification.
CoRR
Pierre Courtieu, Lionel Rieg, Xavier Urbain, Sébastien Tixeuil
2014 C conf
On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering.
SSS
Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil
2014 J jnl
On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering.
CoRR
Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil
2014 J jnl
Reliable Communication in a Dynamic Network in the Presence of Byzantine Faults.
CoRR
Alexandre Maurer, Sébastien Tixeuil, Xavier Défago
2014 B conf
Self-Stabilizing Byzantine Broadcast.
SRDS
Alexandre Maurer, Sébastien Tixeuil
2013 Misc conf
A Scalable Byzantine Grid.
ICDCN
Alexandre Maurer, Sébastien Tixeuil
2013 J jnl
A self-stabilizing 3-approximation for the maximum leaf spanning tree problem in arbitrary networks.
J. Comb. Optim.
Sayaka Kamei, Hirotsugu Kakugawa, Stéphane Devismes, Sébastien Tixeuil
2013 A* conf
Brief announcement: deterministic self-stabilizing leader election with O(log log n)-bits.
PODC
Lélia Blin, Sébastien Tixeuil
2013 C conf
Certified Impossibility Results for Byzantine-Tolerant Mobile Robots.
SSS
Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, Xavier Urbain
2013 J jnl
Certified Impossibility Results for Byzantine-Tolerant Mobile Robots.
CoRR
Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, Xavier Urbain
2013 A conf
Compact Deterministic Self-stabilizing Leader Election - The Exponential Advantage of Being Talkative.
DISC
Lélia Blin, Sébastien Tixeuil
2013 B conf
Consensus with Unknown Participants in Shared Memory.
SRDS
Catia Khouri, Fabíola Greve, Sébastien Tixeuil
2013 Misc conf
Fast Leader (Full) Recovery Despite Dynamic Faults.
ICDCN
Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore, Sébastien Tixeuil
2013 — conf
Fast Leader (Full) Recovery Despite Dynamic Faults.
IPDPS Workshops
Ajoy Kumar Datta, Lawrence L. Larmore, Stéphane Devismes, Sébastien Tixeuil
2013 A conf
Gathering of Mobile Robots Tolerating Multiple Crash Faults.
ICDCS
Zohir Bouzid, Shantanu Das, Sébastien Tixeuil
2013 J jnl
Ideal stabilisation.
Int. J. Grid Util. Comput.
Mikhail Nesterenko, Sébastien Tixeuil
2013 C conf
Linearizing Peer-to-Peer Systems with Oracles.
SSS
Rizal Mohd Nor, Mikhail Nesterenko, Sébastien Tixeuil
2013 J jnl
On Byzantine Broadcast in Planar Graphs
CoRR
Alexandre Maurer, Sébastien Tixeuil
2013 J jnl
Optimal probabilistic ring exploration by semi-synchronous oblivious robots.
Theor. Comput. Sci.
Stéphane Devismes, Franck Petit, Sébastien Tixeuil
2013 J jnl
Parameterizable Byzantine Broadcast in Loosely Connected Networks
CoRR
Alexandre Maurer, Sébastien Tixeuil
2013 B conf
Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Model Checking.
SRDS
Narges Fallahi, Borzoo Bonakdarpour, Sébastien Tixeuil
2013 J jnl
The Random Bit Complexity of Mobile Robots Scattering.
CoRR
Quentin Bramas, Sébastien Tixeuil
2012 — conf
A Fast and Robust Optimistic Total Order Broadcast for Online Video Games.
AINA Workshops
Samuel Bernard, Xavier Défago, Sébastien Tixeuil
2012 J jnl
A Scalable Byzantine Grid
CoRR
Alexandre Maurer, Sébastien Tixeuil
2012 J jnl
Bounding the Impact of Unbounded Attacks in Stabilization.
IEEE Trans. Parallel Distributed Syst.
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil
2012 C conf
Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols.
SSS
François Bonnet, Xavier Défago, Franck Petit, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
2012 A conf
Brief Announcement: Probabilistic Stabilization under Probabilistic Schedulers.
DISC
Yukiko Yamauchi, Sébastien Tixeuil, Shuji Kijima, Masafumi Yamashita
2012 A conf
Brief Announcement: Wait-Free Gathering of Mobile Robots.
DISC
Zohir Bouzid, Shantanu Das, Sébastien Tixeuil
2012 B conf
Crash Resilient and Pseudo-Stabilizing Atomic Registers.
OPODIS
Shlomi Dolev, Swan Dubois, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
2012 C conf
Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with Feedback.
SSS
Jordan Adamek, Mikhail Nesterenko, Sébastien Tixeuil
2012 B conf
Four months in daily motion: Dissecting user video requests.
IWCMC
Yannick Carlinet, The Dang Huynh, Bruno Kauffmann, Fabien Mathieu, Ludovic Noirie, Sébastien Tixeuil
2012 B conf
Gathering an Even Number of Robots in an Odd Ring without Global Multiplicity Detection.
MFCS
Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil
2012 J jnl
Gathering an even number of robots in an odd ring without global multiplicity detection
CoRR
Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil
2012 J jnl
Limiting Byzantien Influence in Multihop Asynchronous Networks
CoRR
Alexandre Maurer, Sébastien Tixeuil
2012 A conf
Limiting Byzantine Influence in Multihop Asynchronous Networks.
ICDCS
Alexandre Maurer, Sébastien Tixeuil
2012 J jnl
Mariages et Trahisons
CoRR
Swan Dubois, Sébastien Tixeuil, Nini Zhu
2012 J jnl
On Byzantine Broadcast in Loosely Connected Networks
CoRR
Alexandre Maurer, Sébastien Tixeuil
2012 A conf
On Byzantine Broadcast in Loosely Connected Networks.
DISC
Alexandre Maurer, Sébastien Tixeuil
2012 C conf
On the Self-stabilization of Mobile Oblivious Robots in Uniform Rings.
SSS
Fukuhito Ooshita, Sébastien Tixeuil
2012 C conf
Optimal Grid Exploration by Asynchronous Oblivious Robots.
SSS
Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil
2012 J jnl
Self-stabilizing byzantine asynchronous unison.
J. Parallel Distributed Comput.
Swan Dubois, Maria Potop-Butucaru, Mikhail Nesterenko, Sébastien Tixeuil
2012 J jnl
The Byzantine Brides Problem
CoRR
Swan Dubois, Sébastien Tixeuil, Nini Zhu
2012 Misc conf
The Byzantine Brides Problem.
FUN
Swan Dubois, Sébastien Tixeuil, Nini Zhu
2012 J jnl
Wait-Free Gathering of Mobile Robots
CoRR
Zohir Bouzid, Shantanu Das, Sébastien Tixeuil
2011 J jnl
A Taxonomy of Daemons in Self-stabilization
CoRR
Swan Dubois, Sébastien Tixeuil
2011 J jnl
A self-stabilizing 2/3-approximation algorithm for the maximum matching problem.
Theor. Comput. Sci.
Fredrik Manne, Morten Mjelde, Laurence Pilard, Sébastien Tixeuil
2011 B conf
Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction.
OPODIS
François Bonnet, Alessia Milani, Maria Potop-Butucaru, Sébastien Tixeuil
2011 B conf
Asynchronous Mobile Robot Gathering from Symmetric Configurations without Global Multiplicity Detection.
SIROCCO
Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil
2011 J jnl
Asynchronous mobile robot gathering from symmetric configurations without global multiplicity detection
CoRR
Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil
2011 J jnl
Auto-Stabilisation et Confinement de Fautes Malicieuses : Optimalité du Protocole min+1
CoRR
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil
2011 A conf
Brief Announcement: The BG-Simulation for Byzantine Mobile Robots.
DISC
Taisuke Izumi, Zohir Bouzid, Sébastien Tixeuil, Koichi Wada
2011 J jnl
Communication Optimalement Stabilisante sur Canaux non Fiables et non FIFO
CoRR
Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil
2011 J jnl
Deterministic secure positioning in wireless sensor networks.
Theor. Comput. Sci.
Sylvie Delaët, Partha Sarathi Mandal, Mariusz A. Rokicki, Sébastien Tixeuil
2011 — conf
Distributed Computing with Mobile Robots: An Introductory Survey.
NBiS
Maria Potop-Butucaru, Michel Raynal, Sébastien Tixeuil
2011 J jnl
Dynamic FTSS in asynchronous systems: The case of unison.
Theor. Comput. Sci.
Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil
2011 B conf
Ideal Stabilization.
AINA
Mikhail Nesterenko, Sébastien Tixeuil
2011 A conf
Maximum Metric Spanning Tree Made Byzantine Tolerant.
DISC
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil
2011 J jnl
Maximum Metric Spanning Tree made Byzantine Tolerant
CoRR
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil
2011 J jnl
Optimal grid exploration by asynchronous oblivious robots
CoRR
Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil
2011 C conf
Pragmatic Self-stabilization of Atomic Memory in Message-Passing Systems.
SSS
Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil
2011 J jnl
Self-Stabilization, Byzantine Containment, and Maximizable Metrics: Necessary Conditions
CoRR
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil
2011 J jnl
Self-stabilization in Self-organized Wireless Multihop Networks?
Ad Hoc Sens. Wirel. Networks
Nathalie Mitton, Bruno Sericola, Sébastien Tixeuil, Eric Fleury, Isabelle Guérin Lassous
2011 J jnl
Stabilizing data-link over non-FIFO channels with optimal fault-resilience.
Inf. Process. Lett.
Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil
2011 J jnl
The BG-simulation for Byzantine Mobile Robots
CoRR
Taisuke Izumi, Zohir Bouzid, Sébastien Tixeuil, Koichi Wada
2011 J jnl
Éditorial.
Tech. Sci. Informatiques
Sébastien Tixeuil
2010 C conf
A Framework for Secure and Private P2P Publish/Subscribe.
SSS
Samuel Bernard, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
2010 Misc conf
A Self-stabilizing 3-Approximation for the Maximum Leaf Spanning Tree Problem in Arbitrary Networks.
COCOON
Sayaka Kamei, Hirotsugu Kakugawa, Stéphane Devismes, Sébastien Tixeuil
2010 A conf
Advanced faults patterns for WSN dependability benchmarking.
MSWiM
Ali Asim, Sébastien Tixeuil
2010 A conf
Brief Announcement: Sharing Memory in a Self-stabilizing Manner.
DISC
Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Gradinariu, Sébastien Tixeuil
2010 A* conf
Brief announcement: monotonic stabilization.
PODC
Yukiko Yamauchi, Sébastien Tixeuil
2010 — conf
Conditions for the solvability of fault-tolerant consensus in asynchronous unknown networks: invited paper.
WRAS
Fabíola Greve, Sébastien Tixeuil
2010 C conf
Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility.
SSS
Taisuke Izumi, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
2010 J jnl
Construction auto-stabilisante d'arbre couvrant en dépit d'actions malicieuses
CoRR
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil
2010 A conf
Exclusive Perpetual Ring Exploration without Chirality.
DISC
Lélia Blin, Alessia Milani, Maria Potop-Butucaru, Sébastien Tixeuil
2010 C conf
Loop-Free Super-Stabilizing Spanning Tree Construction.
SSS
Lélia Blin, Maria Gradinariu Potop-Butucaru, Stephane Rovedakis, Sébastien Tixeuil
2010 B conf
Monotonic Stabilization.
OPODIS
Yukiko Yamauchi, Sébastien Tixeuil
2010 C conf
On Byzantine Containment Properties of the
SSS
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil
2010 J jnl
On Byzantine Containment Properties of the $min+1$ Protocol
CoRR
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil
2010 J jnl
Optimal Byzantine-resilient convergence in uni-dimensional robot networks.
Theor. Comput. Sci.
Zohir Bouzid, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
2010 B conf
Optimal Deterministic Ring Exploration with Oblivious Asynchronous Robots.
SIROCCO
Anissa Lamani, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
2010 J jnl
Practically Stabilizing Atomic Memory
CoRR
Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Gradinariu, Sébastien Tixeuil
2010 Misc conf
Probabilistic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks.
ICDCN
Samuel Bernard, Stéphane Devismes, Katy Paroux, Maria Potop-Butucaru, Sébastien Tixeuil
2010 — ed.
Proceedings of the Third International Workshop on Reliability, Availability, and Security, WRAS 2010, conjunction with PODC 2010 Zurich, Switzerland, July 29, 2010
WRAS
Franck Petit, Sébastien Tixeuil
2010 J jnl
Quiescence of self-stabilizing gossiping among mobile agents in graphs.
Theor. Comput. Sci.
Toshimitsu Masuzawa, Sébastien Tixeuil
2010 J jnl
RoboCast: Asynchronous Communication in Robot Networks
CoRR
Zohir Bouzid, Shlomi Dolev, Maria Potop-Butucaru, Sébastien Tixeuil
2010 B conf
RoboCast: Asynchronous Communication in Robot Networks.
OPODIS
Zohir Bouzid, Shlomi Dolev, Maria Potop-Butucaru, Sébastien Tixeuil
2010 C conf
SAFE-OS: A secure and usable desktop operating system.
CRiSIS
François Lesueur, Ala Rezmerita, Thomas Hérault, Sylvain Peyronnet, Sébastien Tixeuil
2010 J jnl
Self-stabilization with Byzantine tolerance for global tasks
CoRR
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil
2010 B conf
Self-stabilizing Byzantine Asynchronous Unison
OPODIS
Swan Dubois, Maria Gradinariu Potop-Butucaru, Mikhail Nesterenko, Sébastien Tixeuil
2010 J jnl
Snap-stabilization in message-passing systems.
J. Parallel Distributed Comput.
Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil
2010 A conf
Stabilizing Locally Maximizable Tasks in Unidirectional Networks Is Hard.
ICDCS
Toshimitsu Masuzawa, Sébastien Tixeuil
2010 J jnl
Stabilizing data-link over non-FIFO channels with optimal fault-resilience
CoRR
Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil
2010 J jnl
The Impact of Topology on Byzantine Containment in Stabilization
CoRR
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil
2010 A conf
The Impact of Topology on Byzantine Containment in Stabilization.
DISC
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil
2010 J jnl
Universal Loop-Free Super-Stabilization
CoRR
Lélia Blin, Maria Potop-Butucaru, Stephane Rovedakis, Sébastien Tixeuil
2010 C conf
XS-WSNet: Extreme scale wireless sensor network simulation.
WOWMOM
Ali Asim, Sébastien Tixeuil
2009 J jnl
A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-free Property
CoRR
Lélia Blin, Maria Gradinariu Potop-Butucaru, Stephane Rovedakis, Sébastien Tixeuil
2009 A conf
A New Self-stabilizing Minimum Spanning Tree Construction with Loop-Free Property.
DISC
Lélia Blin, Maria Potop-Butucaru, Stephane Rovedakis, Sébastien Tixeuil
2009 J jnl
A new self-stabilizing maximal matching algorithm.
Theor. Comput. Sci.
Fredrik Manne, Morten Mjelde, Laurence Pilard, Sébastien Tixeuil
2009 A conf
Brief Announcement: Dynamic FTSS in Asynchronous Systems: The Case of Unison.
DISC
Swan Dubois, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
2009 B conf
Byzantine Convergence in Robot Networks: The Price of Asynchrony.
OPODIS
Zohir Bouzid, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
2009 J jnl
Byzantine Convergence in Robots Networks: The Price of Asynchrony
CoRR
Zohir Bouzid, Maria Potop-Butucaru, Sébastien Tixeuil
2009 Misc conf
Byzantine-Resilient Convergence in Oblivious Robot Networks.
ICDCN
Zohir Bouzid, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
2009 A conf
Communication Efficiency in Self-Stabilizing Silent Protocols.
ICDCS
Stéphane Devismes, Toshimitsu Masuzawa, Sébastien Tixeuil
2009 J jnl
Discovering Network Topology in the Presence of Byzantine Faults.
IEEE Trans. Parallel Distributed Syst.
Mikhail Nesterenko, Sébastien Tixeuil
2009 J jnl
Dynamic FTSS in Asynchronous Systems: the Case of Unison
CoRR
Swan Dubois, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
2009 J jnl
Ideal Stabilization
CoRR
Mikhail Nesterenko, Sébastien Tixeuil
2009 J jnl
On bootstrapping topology knowledge in anonymous networks.
ACM Trans. Auton. Adapt. Syst.
Toshimitsu Masuzawa, Sébastien Tixeuil
2009 J jnl
Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks
CoRR
Zohir Bouzid, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
2009 C conf
Optimal Byzantine Resilient Convergence in Asynchronous Robots Networks.
SSS
Zohir Bouzid, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
2009 J jnl
Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots
CoRR
Stéphane Devismes, Franck Petit, Sébastien Tixeuil
2009 B conf
Optimal Probabilistic Ring Exploration by Semi-synchronous Oblivious Robots.
SIROCCO
Stéphane Devismes, Franck Petit, Sébastien Tixeuil
2009 J jnl
Optimal byzantine resilient convergence in oblivious robot networks
CoRR
Zohir Bouzid, Maria Potop-Butucaru, Sébastien Tixeuil
2009 J jnl
Optimal deterministic ring exploration with oblivious asynchronous robots
CoRR
Anissa Lamani, Maria Potop-Butucaru, Sébastien Tixeuil
2009 A conf
Optimal deterministic self-stabilizing vertex coloring in unidirectional anonymous networks.
IPDPS
Samuel Bernard, Stéphane Devismes, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
2009 J jnl
Self-Stabilizing Byzantine Asynchronous Unison
CoRR
Swan Dubois, Maria Gradinariu Potop-Butucaru, Mikhail Nesterenko, Sébastien Tixeuil
2009 J jnl
Self-stabilizing philosophers with generic conflicts.
ACM Trans. Auton. Adapt. Syst.
Praveen Danturi, Mikhail Nesterenko, Sébastien Tixeuil
2009 Misc conf
Snap-Stabilization in Message-Passing Systems.
ICDCN
Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil
2009 J jnl
Stabilizing Maximal Independent Set in Unidirectional Networks is Hard
CoRR
Toshimitsu Masuzawa, Sébastien Tixeuil
2008 C conf
A Self-stabilizing -Approximation Algorithm for the Maximum Matching Problem.
SSS
Fredrik Manne, Morten Mjelde, Laurence Pilard, Sébastien Tixeuil
2008 J jnl
An exercise in selfish stabilization.
ACM Trans. Auton. Adapt. Syst.
Johanne Cohen, Anurag Dasgupta, Sukumar Ghosh, Sébastien Tixeuil
2008 J jnl
Ascending runs in dependent uniformly distributed random variables: Application to wireless networks
CoRR
Nathalie Mitton, Katy Paroux, Bruno Sericola, Sébastien Tixeuil
2008 J jnl
Bounds for self-stabilization in unidirectional networks
CoRR
Samuel Bernard, Stéphane Devismes, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
2008 J jnl
Communication Efficiency in Self-stabilizing Silent Protocols
CoRR
Stéphane Devismes, Toshimitsu Masuzawa, Sébastien Tixeuil
2008 B conf
Deterministic Secure Positioning in Wireless Sensor Networks.
DCOSS
Sylvie Delaët, Partha Sarathi Mandal, Mariusz A. Rokicki, Sébastien Tixeuil
2008 B ed.
Principles of Distributed Systems, 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings
OPODIS
Theodore P. Baker, Alain Bui, Sébastien Tixeuil
2008 J jnl
Quiescence of Self-stabilizing Gossiping among Mobile Agents in Graphs
CoRR
Toshimitsu Masuzawa, Sébastien Tixeuil
2008 B conf
Quiescence of Self-stabilizing Gossiping among Mobile Agents in Graphs.
SIROCCO
Toshimitsu Masuzawa, Sébastien Tixeuil
2008 J jnl
Snap-Stabilization in Message-Passing Systems
CoRR
Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil
2008 A* conf
Snap-stabilization in message-passing systems.
PODC
Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil
2008 J jnl
Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks
CoRR
Adnan Vora, Mikhail Nesterenko, Sébastien Tixeuil, Sylvie Delaët
2008 C conf
Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks.
SSS
Adnan Vora, Mikhail Nesterenko, Sébastien Tixeuil, Sylvie Delaët
2008 A conf
Weak vs. Self vs. Probabilistic Stabilization.
ICDCS
Stéphane Devismes, Sébastien Tixeuil, Masafumi Yamashita
2007 J jnl
A New Self-Stabilizing Maximal Matching Algorithm
CoRR
Fredrik Manne, Morten Mjelde, Laurence Pilard, Sébastien Tixeuil
2007 B conf
A New Self-stabilizing Maximal Matching Algorithm.
SIROCCO
Fredrik Manne, Morten Mjelde, Laurence Pilard, Sébastien Tixeuil
2007 A conf
Conflict Managers for Self-stabilization without Fairness Assumption.
ICDCS
Maria Gradinariu, Sébastien Tixeuil
2007 J jnl
Deterministic Secure Positioning in Wireless Sensor Networks
CoRR
Sylvie Delaët, Partha Sarathi Mandal, Mariusz A. Rokicki, Sébastien Tixeuil
2007 J jnl
FAIL-FCI: Versatile fault injection.
Future Gener. Comput. Syst.
William Hoarau, Sébastien Tixeuil, Fabien Vauchelles
2007 A conf
Knowledge Connectivity vs. Synchrony Requirements for Fault-Tolerant Agreement in Unknown Networks.
DSN
Fabíola Greve, Sébastien Tixeuil
2007 J jnl
On the Self-stabilization of Mobile Robots in Graphs
CoRR
Lélia Blin, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
2007 B conf
On the Self-stabilization of Mobile Robots in Graphs.
OPODIS
Lélia Blin, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
2007 C ed.
Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings
SSS
Toshimitsu Masuzawa, Sébastien Tixeuil
2007 J jnl
Transient fault detectors.
Distributed Comput.
Joffroy Beauquier, Sylvie Delaët, Shlomi Dolev, Sébastien Tixeuil
2007 J jnl
Weak vs. Self vs. Probabilistic Stabilization
CoRR
Stéphane Devismes, Sébastien Tixeuil, Masafumi Yamashita
2006 C conf
Bounding the Impact of Unbounded Attacks in Stabilization.
SSS
Toshimitsu Masuzawa, Sébastien Tixeuil
2006 — conf
Dependability Evaluation of The Ogsa-Dai Middleware.
CoreGRID Integration Workshop
William Hoarau, Sébastien Tixeuil, Nuno Rodrigues, Décio Sousa, Luís Moura Silva
2006 J jnl
Discovering Network Topology in the Presence of Byzantine Faults
CoRR
Mikhail Nesterenko, Sébastien Tixeuil
2006 B conf
Discovering Network Topology in the Presence of Byzantine Faults.
SIROCCO
Mikhail Nesterenko, Sébastien Tixeuil
2006 — conf
Evaluating Complex MAC Protocols for Sensor Networks with APMC.
AVoCS
Michaël Cadilhac, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, Sébastien Tixeuil
2006 C conf
FAIL-MPI: How Fault-Tolerant Is Fault-Tolerant MPI?
CLUSTER
William Hoarau, Pierre Lemarinier, Thomas Hérault, Eric Rodriguez, Sébastien Tixeuil, Franck Cappello
2006 — conf
Fast Convergence in Self-Stabilizing Wireless Networks.
ICPADS (1)
Nathalie Mitton, Eric Fleury, Isabelle Guérin Lassous, Bruno Sericola, Sébastien Tixeuil
2006 A conf
Fault injection in distributed Java applications.
IPDPS
William Hoarau, Sébastien Tixeuil, Fabien Vauchelles
2006 C conf
On Bootstrapping Topology Knowledge in Anonymous Networks.
SSS
Toshimitsu Masuzawa, Sébastien Tixeuil
2006 J jnl
Self-Stabilization with r-Operators revisited.
J. Aerosp. Comput. Inf. Commun.
Sylvie Delaët, Bertrand Ducourthial, Sébastien Tixeuil
2006 C conf
Self-stabilizing Philosophers with Generic Conflicts.
SSS
Praveen Danturi, Mikhail Nesterenko, Sébastien Tixeuil
2006 C conf
Selfish Stabilization.
SSS
Anurag Dasgupta, Sukumar Ghosh, Sébastien Tixeuil
2006 — conf
The Reduced Automata Technique for Graph Exploration Space Lower Bounds.
Essays in Memory of Shimon Even
Pierre Fraigniaud, David Ilcinkas, Sergio Rajsbaum, Sébastien Tixeuil
2006 — book
Vers l'auto-stabilisation des systèmes à grande échelle. (Toward self-stabilizing large-scale systems).
Sébastien Tixeuil
2005 B conf
A Self-stabilizing Link-Coloring Protocol Resilient to Unbounded Byzantine Faults in Arbitrary Networks.
OPODIS
Toshimitsu Masuzawa, Sébastien Tixeuil
2005 — conf
A language-driven tool for fault injection in distributed systems.
GRID
William Hoarau, Sébastien Tixeuil
2005 — conf
Self-Stabilization in Self-Organized Multihop Wireless Networks.
ICDCS Workshops
Nathalie Mitton, Eric Fleury, Isabelle Guérin Lassous, Sébastien Tixeuil
2005 — ed.
Self-Stabilizing Systems, 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005, Proceedings
Self-Stabilizing Systems
Ted Herman, Sébastien Tixeuil
2005 — conf
Self-stabilization with r-Operators Revisited.
Self-Stabilizing Systems
Sylvie Delaët, Bertrand Ducourthial, Sébastien Tixeuil
2005 B conf
Space Lower Bounds for Graph Exploration via Reduced Automata.
SIROCCO
Pierre Fraigniaud, David Ilcinkas, Sergio Rajsbaum, Sébastien Tixeuil
2005 J jnl
Stabilizing inter-domain routing in the Internet.
J. High Speed Networks
Yu Chen, Ajoy Kumar Datta, Sébastien Tixeuil
2004 J jnl
A Distributed TDMA Slot Assignment Algorithm for Wireless Sensor Networks
CoRR
Ted Herman, Sébastien Tixeuil
2004 C conf
A Distributed TDMA Slot Assignment Algorithm for Wireless Sensor Networks.
ALGOSENSORS
Ted Herman, Sébastien Tixeuil
2004 J jnl
Autostabilisation et protocoles réseau.
Tech. Sci. Informatiques
Colette Johnen, Franck Petit, Sébastien Tixeuil
2004 A conf
Optimal Randomized Self-stabilizing Mutual Exclusion on Synchronous Rings.
DISC
Philippe Duchon, Nicolas Hanusse, Sébastien Tixeuil
2004 J jnl
Self-Stabilizing Mutual Exclusion Under Arbitrary Scheduler.
Comput. J.
Ajoy Kumar Datta, Maria Gradinariu, Sébastien Tixeuil
2003 — conf
Route Preserving Stabilization.
Self-Stabilizing Systems
Colette Johnen, Sébastien Tixeuil
2003 J jnl
Self-Stabilizing Wormhole Routing on Ring Networks.
J. Inf. Sci. Eng.
Ajoy Kumar Datta, Maria Gradinariu, Anthony B. Kenitzki, Sébastien Tixeuil
2003 J jnl
Self-stabilization with path algebra.
Theor. Comput. Sci.
Bertrand Ducourthial, Sébastien Tixeuil
2003 — conf
Stabilite Et Auto-Stabilisation Du Routage Inter-Domaine Dans Internet.
RIVF
Sylvie Delaët, Duy-So Nguyen, Sébastien Tixeuil
2002 B conf
A Lower Bound on Dynamic k-Stabilization in Asynchronous Systems.
SRDS
Christophe Genolini, Sébastien Tixeuil
2002 J jnl
Optimal Snap-Stabilizing Neighborhood Synchronizer in Tree Networks.
Parallel Process. Lett.
Colette Johnen, Luc Onana Alima, Ajoy Kumar Datta, Sébastien Tixeuil
2002 B conf
Self-Stabilizing Wormhole Routing on Ring Networks.
ICPADS
Ajoy Kumar Datta, Maria Gradinariu, Anthony B. Kenitzki, Sébastien Tixeuil
2002 — conf
Stabilizing Inter-domain Routing in the Internet (Research Note).
Euro-Par
Yu Chen, Ajoy Kumar Datta, Sébastien Tixeuil
2002 J jnl
Tolerating Transient and Intermittent Failures.
J. Parallel Distributed Comput.
Sylvie Delaët, Sébastien Tixeuil
2001 — conf
On a Space-Optimal Distributed Traversal Algorithm.
WSS
Sébastien Tixeuil
2001 J jnl
Self-stabilization with r-operators.
Distributed Comput.
Bertrand Ducourthial, Sébastien Tixeuil
2001 J jnl
Self-stabilizing distributed sorting in tree networks.
Parallel Algorithms Appl.
Ajoy Kumar Datta, Sébastien Tixeuil
2001 A conf
Tight Space Self-Stabilizing Uniform l-Mutual Exclusion.
ICDCS
Maria Gradinariu, Sébastien Tixeuil
2000 — —
Auto-stabilisation Efficace. (Efficient Self-stabilization).
Sébastien Tixeuil
2000 A conf
Self-Stabilizing Mutual Exclusion Using Unfair Distributed Scheduler.
IPDPS
Ajoy Kumar Datta, Maria Gradinariu, Sébastien Tixeuil
2000 B conf
Self-stabilization with path algebra.
SIROCCO
Bertrand Ducourthial, Sébastien Tixeuil
2000 B conf
Self-stabilizing Vertex Coloration and Arbitrary Graphs.
OPODIS
Maria Gradinariu, Sébastien Tixeuil
2000 J jnl
Stabilizing Hierarchical Routing.
J. Interconnect. Networks
Ajoy Kumar Datta, Jerry L. Derby, James E. Lawrence, Sébastien Tixeuil
2000 B conf
Tolerating Transient and Intermittent Failure.
OPODIS
Sylvie Delaët, Sébastien Tixeuil
1999 — conf
Self-Stabilizing Algorithms in DAG Structured Networks.
ISPAN
Sajal K. Das, Ajoy Kumar Datta, Sébastien Tixeuil
1999 J jnl
Self-Stabilizing Algorithms in DAG Structured Networks.
Parallel Process. Lett.
Sajal K. Das, Ajoy Kumar Datta, Sébastien Tixeuil
1999 A conf
Self-Stabilizing Neighborhood Synchronizer in Tree Networks.
ICDCS
Colette Johnen, Luc Onana Alima, Ajoy Kumar Datta, Sébastien Tixeuil
1999 — conf
Self-stabilizing census with cut-through constraint.
WSS
Joffroy Beauquier, Ajoy Kumar Datta, Sébastien Tixeuil
1998 A conf
Self-Stabilization with Global Rooted Synchronizers.
ICDCS
Luc Onana Alima, Joffroy Beauquier, Ajoy Kumar Datta, Sébastien Tixeuil
1998 B conf
SelfStabilizing Global Computations with rOperators.
OPODIS
Bertrand Ducourthial, Sébastien Tixeuil
1998 A conf
Transient Fault Detectors.
DISC
Joffroy Beauquier, Sylvie Delaët, Shlomi Dolev, Sébastien Tixeuil