default search action
Sébastien Tixeuil
Person information
- affiliation: University of Paris-Sud, Laboratory for Computer Science (LRI), France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j73]Sayaka Kamei, Sébastien Tixeuil:
An Asynchronous Maximum Independent Set Algorithm By Myopic Luminous Robots On Grids. Comput. J. 67(1): 57-77 (2024) - [j72]Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil:
Reliable communication in dynamic networks with locally bounded byzantine faults. J. Parallel Distributed Comput. 193: 104952 (2024) - [j71]Lélia Blin, Anaïs Durand, Sébastien Tixeuil:
Resource efficient stabilization for local tasks despite unknown capacity links. Theor. Comput. Sci. 1013: 114744 (2024) - [j70]Quentin Bramas, Sayaka Kamei, Anissa Lamani, Sébastien Tixeuil:
Stand-up indulgent gathering on lines. Theor. Comput. Sci. 1016: 114796 (2024) - [c194]Quentin Bramas, Hirotsugu Kakugawa, Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Masahiro Shibata, Sébastien Tixeuil:
Stand-Up Indulgent Gathering on Lines for Myopic Luminous Robots. AINA (2) 2024: 110-121 - [c193]Alexandre Pham, Maria Potop-Butucaru, Sébastien Tixeuil, Serge Fdida:
Data Poisoning Attacks in Gossip Learning. AINA (2) 2024: 213-224 - [c192]Solayman Ayoubi, Sébastien Tixeuil, Gregory Blanc, Houda Jmila:
Demo: Towards Reproducible Evaluations of ML-Based IDS Using Data-Driven Approaches. CCS 2024: 5081-5083 - [c191]Shurok Khozam, Gregory Blanc, Sébastien Tixeuil, Eric Totel:
DDoS Mitigation while Preserving QoS: A Deep Reinforcement Learning-Based Approach. NetSoft 2024: 369-374 - [c190]Boris Chan Yip Hon, Bilel Zaghdoudi, Maria Potop-Butucaru, Sébastien Tixeuil, Serge Fdida:
Challenger: Blockchain-based Massively Multiplayer Online Game Architecture. NETYS 2024: 50-66 - [c189]Quentin Bramas, Toshimitsu Masuzawa, Sébastien Tixeuil:
Crash-Tolerant Exploration of Trees by Energy-Sharing Mobile Agents. OPODIS 2024: 9:1-9:16 - [c188]Quentin Bramas, Jean-Romain Luttringer, Sébastien Tixeuil:
Online Space-Time Travel Planning in Dynamic Graphs. SAND 2024: 7:1-7:14 - [c187]Quentin Bramas, Toshimitsu Masuzawa, Sébastien Tixeuil:
Brief Announcement: Crash-Tolerant Exploration of Trees by Energy Sharing Mobile Agents. SAND 2024: 25:1-25:5 - [c186]Quentin Bramas, Sayaka Kamei, Anissa Lamani, Sébastien Tixeuil:
Stand-Up Indulgent Gathering on Rings. SIROCCO 2024: 119-137 - [c185]Mohamed Amine Legheraba, Maria Potop-Butucaru, Sébastien Tixeuil:
Brief Announcement: A Self-* and Persistent Hub Sampling Service. SSS 2024: 461-465 - [i95]Quentin Bramas, Sayaka Kamei, Anissa Lamani, Sébastien Tixeuil:
Stand-Up Indulgent Gathering on Rings. CoRR abs/2402.14233 (2024) - [i94]Alexandre Pham, Maria Potop-Butucaru, Sébastien Tixeuil, Serge Fdida:
Data Poisoning Attacks in Gossip Learning. CoRR abs/2403.06583 (2024) - [i93]Mohamed Amine Legheraba, Maria Potop-Butucaru, Sébastien Tixeuil:
Elevator: Self-* and Persistent Hub Sampling Service in Unstructured Peer-to-Peer Networks. CoRR abs/2406.07946 (2024) - [i92]Boris Chan Yip Hon, Bilel Zaghdoudi, Maria Potop-Butucaru, Sébastien Tixeuil, Serge Fdida:
Challenger: Blockchain-based Massively Multiplayer Online Game Architecture. IACR Cryptol. ePrint Arch. 2024: 726 (2024) - 2023
- [j69]Masahiro Shibata, Sébastien Tixeuil:
Semi-uniform deployment of mobile robots in perfect ℓ $$ \ell $$ -ary trees. Concurr. Comput. Pract. Exp. 35(19) (2023) - [j68]Xavier Défago, Adam Heriban, Sébastien Tixeuil, Koichi Wada:
Using model checking to formally verify rendezvous algorithms for robots with lights in Euclidean space. Robotics Auton. Syst. 163: 104378 (2023) - [j67]Quentin Bramas, Anissa Lamani, Sébastien Tixeuil:
Stand up indulgent gathering. Theor. Comput. Sci. 939: 63-77 (2023) - [j66]Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil:
Optimal self-stabilizing mobile byzantine-tolerant regular register with bounded timestamps. Theor. Comput. Sci. 942: 123-141 (2023) - [j65]Quentin Bramas, Anissa Lamani, Sébastien Tixeuil:
The agreement power of disagreement. Theor. Comput. Sci. 954: 113772 (2023) - [c184]Keisuke Okumura, Sébastien Tixeuil:
Fault-Tolerant Offline Multi-Agent Path Planning. AAAI 2023: 11647-11654 - [c183]Maxime Dresler, Sanaï Mansour, Safaâ Talhaoui, Yukiko Yamauchi, Sébastien Tixeuil:
On Dynamics of Basic Network Creation Games with Non-Uniform Communication Interest. CANDARW 2023: 86-92 - [c182]Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil:
Reliable Broadcast Despite Mobile Byzantine Faults. OPODIS 2023: 18:1-18:23 - [c181]Ryota Eguchi, Fukuhito Ooshita, Michiko Inoue, Sébastien Tixeuil:
Meeting Times of Non-atomic Random Walks. SSS 2023: 297-311 - [c180]Quentin Bramas, Toshimitsu Masuzawa, Sébastien Tixeuil:
Brief Announcement: Crash-Tolerant Exploration by Energy Sharing Mobile Agents. SSS 2023: 380-384 - [c179]Quentin Bramas, Sayaka Kamei, Anissa Lamani, Sébastien Tixeuil:
Stand-Up Indulgent Gathering on Lines. SSS 2023: 451-465 - [c178]Quentin Bramas, Jean-Romain Luttringer, Sébastien Tixeuil:
Offline Constrained Backward Time Travel Planning. SSS 2023: 466-480 - [i91]Quentin Bramas, Anissa Lamani, Sébastien Tixeuil:
Stand Up Indulgent Gathering. CoRR abs/2302.03466 (2023) - [i90]Quentin Bramas, Sayaka Kamei, Anissa Lamani, Sébastien Tixeuil:
Stand-Up Indulgent Gathering on Lines. CoRR abs/2304.05722 (2023) - [i89]Ryota Eguchi, Fukuhito Ooshita, Michiko Inoue, Sébastien Tixeuil:
Meeting Times of Non-atomic Random Walks. CoRR abs/2305.11590 (2023) - [i88]Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil:
Reliable Broadcast despite Mobile Byzantine Faults. CoRR abs/2311.05918 (2023) - [i87]Quentin Bramas, Hirotsugu Kakugawa, Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Masahiro Shibata, Sébastien Tixeuil:
Stand-Up Indulgent Gathering on Lines for Myopic Luminous Robots. CoRR abs/2312.12698 (2023) - 2022
- [j64]Fukuhito Ooshita, Sébastien Tixeuil:
Ring exploration with myopic luminous robots. Inf. Comput. 285(Part): 104702 (2022) - [j63]Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain:
Swarms of Mobile Robots: Towards Versatility with Safety. Leibniz Trans. Embed. Syst. 8(2): 02:1-02:36 (2022) - [c177]Solayman Ayoubi, Gregory Blanc, Houda Jmila, Thomas Silverston, Sébastien Tixeuil:
Data-Driven Evaluation of Intrusion Detectors: A Methodological Framework. FPS 2022: 142-157 - [c176]Fabien Mathieu, Sébastien Tixeuil:
Fun with FUN. FUN 2022: 21:1-21:13 - [c175]Sébastien Tixeuil:
Realistic Self-Stabilization (Invited Talk). OPODIS 2022: 3:1-3:1 - [c174]Joseph Oglio, Kendric Hood, Mikhail Nesterenko, Sébastien Tixeuil:
QUANTAS: Quantitative User-friendly Adaptable Networked Things Abstract Simulator. ApPLIED@PODC 2022: 40-46 - [i86]Quentin Bramas, Jean-Romain Luttringer, Sébastien Tixeuil:
Constrained Backward Time Travel Planning is in P. CoRR abs/2205.03372 (2022) - [i85]Joseph Oglio, Kendric Hood, Mikhail Nesterenko, Sébastien Tixeuil:
QUANTAS: Quantitative User-friendly Adaptable Networked Things Abstract Simulator. CoRR abs/2205.04930 (2022) - [i84]Keisuke Okumura, Sébastien Tixeuil:
Fault-Tolerant Offline Multi-Agent Path Planning. CoRR abs/2211.13908 (2022) - 2021
- [j62]Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil:
Terminating Exploration Of A Grid By An Optimal Number Of Asynchronous Oblivious Robots. Comput. J. 64(1): 132-154 (2021) - [j61]Adam Heriban, Sébastien Tixeuil:
Mobile Robots with Uncertain Visibility Sensors: Possibility Results and Lower Bounds. Parallel Process. Lett. 31(1): 2150002:1-2150002:21 (2021) - [j60]Hiroto Yasumi, Fukuhito Ooshita, Michiko Inoue, Sébastien Tixeuil:
Uniform bipartition in the population protocol model with arbitrary graphs. Theor. Comput. Sci. 892: 187-207 (2021) - [c173]Satoshi Tanaka, François Bonnet, Sébastien Tixeuil, Yasumasa Tamura:
Quixo is Solved. ACG 2021: 85-95 - [c172]Quentin Bramas, Anissa Lamani, Sébastien Tixeuil:
Stand up Indulgent Gathering. ALGOSENSORS 2021: 17-28 - [c171]Masahiro Shibata, Sébastien Tixeuil:
Semi-Uniform Deployment of Mobile Robots in Perfect $\ell$ -ary Trees. CANDAR 2021: 168-174 - [c170]Silvia Bonomi, Jérémie Decouchant, Giovanni Farina, Vincent Rahli, Sébastien Tixeuil:
Practical Byzantine Reliable Broadcast on Partially Connected Networks. ICDCS 2021: 506-516 - [c169]Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil, Koichi Wada:
Asynchronous Gathering in a Torus. OPODIS 2021: 9:1-9:17 - [c168]Quentin Bramas, Anissa Lamani, Sébastien Tixeuil:
The Agreement Power of Disagreement. SSS 2021: 273-288 - [c167]Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain:
Computer Aided Formal Design of Swarm Robotics Algorithms. SSS 2021: 469-473 - [d1]Quentin Bramas, Anissa Lamani, Sébastien Tixeuil:
The agreement power of disagreement: graph generation. Zenodo, 2021 - [i83]Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil, Koichi Wada:
Asynchronous Gathering in a Torus. CoRR abs/2101.05421 (2021) - [i82]Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain:
Computer Aided Formal Design of Swarm Robotics Algorithms. CoRR abs/2101.06966 (2021) - [i81]Silvia Bonomi, Jérémie Decouchant, Giovanni Farina, Vincent Rahli, Sébastien Tixeuil:
Practical Byzantine Reliable Broadcast on Partially Connected Networks. CoRR abs/2104.03673 (2021) - [i80]Adam Heriban, Sébastien Tixeuil:
Unreliable Sensors for Reliable Efficient Robots. CoRR abs/2105.09667 (2021) - 2020
- [j59]Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sébastien Tixeuil:
Parameterized verification of algorithms for oblivious robots on a ring. Formal Methods Syst. Des. 56(1): 55-89 (2020) - [j58]Lélia Blin, Sébastien Tixeuil:
Compact self-stabilizing leader election for general networks. J. Parallel Distributed Comput. 144: 278-294 (2020) - [j57]Shantanu Das, Sébastien Tixeuil:
Special issue on Structural Information and Communication Complexity. Theor. Comput. Sci. 811: 1-2 (2020) - [c166]Nesrine Ammar, Ludovic Noirie, Sébastien Tixeuil:
Autonomous Identification of IoT Device Types based on a Supervised Classification. ICC 2020: 1-6 - [c165]Yackolley Amoussou-Guenou, Souheib Baarir, Maria Potop-Butucaru, Nathalie Sznajder, Léo Tible, Sébastien Tixeuil:
On the Encoding and Solving of Partial Information Games. NETYS 2020: 60-76 - [c164]Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil:
Broadcasting Information in Multi-hop Networks Prone to Mobile Byzantine Faults. NETYS 2020: 112-128 - [c163]Hiroto Yasumi, Fukuhito Ooshita, Michiko Inoue, Sébastien Tixeuil:
Uniform Bipartition in the Population Protocol Model with Arbitrary Communication Graphs. OPODIS 2020: 33:1-33:16 - [c162]Xavier Défago, Adam Heriban, Sébastien Tixeuil, Koichi Wada:
Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space. SRDS 2020: 113-122 - [c161]Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil:
Boosting the Efficiency of Byzantine-Tolerant Reliable Communication. SSS 2020: 29-44 - [c160]Quentin Bramas, Anissa Lamani, Sébastien Tixeuil:
Stand Up Indulgent Rendezvous. SSS 2020: 45-59 - [c159]Masahiro Shibata, Sébastien Tixeuil:
Partial Gathering of Mobile Robots from Multiplicity-Allowed Configurations in Rings. SSS 2020: 264-279 - [i79]Lélia Blin, Anaïs Durand, Sébastien Tixeuil:
Ressource Efficient Stabilization for Local Tasks despite Unknown Capacity Links. CoRR abs/2002.05382 (2020) - [i78]Satoshi Tanaka, François Bonnet, Sébastien Tixeuil, Yasumasa Tamura:
Quixo Is Solved. CoRR abs/2007.15895 (2020) - [i77]Quentin Bramas, Anissa Lamani, Sébastien Tixeuil:
Stand Up Indulgent Rendezvous. CoRR abs/2010.04400 (2020) - [i76]Hiroto Yasumi, Fukuhito Ooshita, Michiko Inoue, Sébastien Tixeuil:
Uniform Bipartition in the Population Protocol Model with Arbitrary Communication Graphs. CoRR abs/2011.08366 (2020) - [i75]Sayaka Kamei, Sébastien Tixeuil:
An Asynchronous Maximum Independent Set Algorithm by Myopic Luminous Robots on Grids. CoRR abs/2012.03399 (2020)
2010 – 2019
- 2019
- [j56]Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil:
Optimal torus exploration by oblivious robots. Computing 101(9): 1241-1264 (2019) - [j55]Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil:
Multi-hop Byzantine reliable broadcast with honest dealer made practical. J. Braz. Comput. Soc. 25(1): 9:1-9:23 (2019) - [j54]Thibaut Balabonski, Amélie Delga, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain:
Synchronous Gathering without Multiplicity Detection: a Certified Algorithm. Theory Comput. Syst. 63(2): 200-218 (2019) - [j53]Quentin Bramas, Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil:
Packet Efficient Implementation of the Omega Failure Detector. Theory Comput. Syst. 63(2): 237-260 (2019) - [j52]Evangelos Bampas, Lélia Blin, Jurek Czyzowicz, David Ilcinkas, Arnaud Labourel, Maria Potop-Butucaru, Sébastien Tixeuil:
On asynchronous rendezvous in general graphs. Theor. Comput. Sci. 753: 80-90 (2019) - [j51]Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil:
Approximate Agreement under Mobile Byzantine Faults. Theor. Comput. Sci. 758: 17-29 (2019) - [c158]Nesrine Ammar, Ludovic Noirie, Sébastien Tixeuil:
Network-Protocol-Based IoT Device Identification. FMEC 2019: 204-209 - [c157]Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain:
Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots. NETYS 2019: 93-109 - [c156]Quentin Bramas, Toshimitsu Masuzawa, Sébastien Tixeuil:
Distributed Online Data Aggregation in Dynamic Graphs. NETYS 2019: 365-380 - [c155]Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil, Koichi Wada:
Gathering on Rings for Myopic Asynchronous Robots With Lights. OPODIS 2019: 27:1-27:17 - [c154]Adam Heriban, Sébastien Tixeuil:
Mobile Robots with Uncertain Visibility Sensors. SIROCCO 2019: 349-352 - [c153]Nesrine Ammar, Ludovic Noirie, Sébastien Tixeuil:
Autonomous IoT Device Identification Prototype. TMA 2019: 195-196 - [c152]Xavier Défago, Adam Heriban, Sébastien Tixeuil, Koichi Wada:
Brief Announcement: Model Checking Rendezvous Algorithms for Robots with Lights in Euclidean Space. DISC 2019: 41:1-41:3 - [p2]Xavier Défago, Maria Potop-Butucaru, Sébastien Tixeuil:
Fault-Tolerant Mobile Robots. Distributed Computing by Mobile Entities 2019: 234-251 - [p1]Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil, Xavier Urbain:
Formal Methods for Mobile Robots. Distributed Computing by Mobile Entities 2019: 278-313 - [e6]Mohsen Ghaffari, Mikhail Nesterenko, Sébastien Tixeuil, Sara Tucci, Yukiko Yamauchi:
Stabilization, Safety, and Security of Distributed Systems - 21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019, Proceedings. Lecture Notes in Computer Science 11914, Springer 2019, ISBN 978-3-030-34991-2 [contents] - [i74]Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil:
Multi-hop Byzantine Reliable Broadcast Made Practical. CoRR abs/1903.08988 (2019) - [i73]Ulysse Léchine, Sébastien Tixeuil:
Asynchronous Scattering. CoRR abs/1905.09177 (2019) - [i72]Xavier Défago, Adam Heriban, Sébastien Tixeuil, Koichi Wada:
Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space. CoRR abs/1907.09871 (2019) - [i71]Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil, Koichi Wada:
Gathering on Rings for Myopic Asynchronous Robots with Lights. CoRR abs/1911.04757 (2019) - 2018
- [j50]Lélia Blin, Sébastien Tixeuil:
Compact deterministic self-stabilizing leader election on a ring: the exponential advantage of being talkative. Distributed Comput. 31(2): 139-166 (2018) - [j49]Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni:
Automated Synthesis of Distributed Self-Stabilizing Protocols. Log. Methods Comput. Sci. 14(1) (2018) - [j48]Taisuke Izumi, Daichi Kaino, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil:
On time complexity for connectivity-preserving scattering of mobile robots. Theor. Comput. Sci. 738: 42-52 (2018) - [c151]Adam Heriban, Xavier Défago, Sébastien Tixeuil:
Optimally Gathering Two Robots. ICDCN 2018: 3:1-3:10 - [c150]Thibaut Balabonski, Robin Pelle, Lionel Rieg, Sébastien Tixeuil:
A Foundational Framework for Certified Impossibility Results with Mobile Robots on Graphs. ICDCN 2018: 5:1-5:10 - [c149]Jordan Adamek, Mikhail Nesterenko, James Scott Robinson, Sébastien Tixeuil:
Concurrent Geometric Multicasting. ICDCN 2018: 9:1-9:10 - [c148]Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil:
Multi-hop Byzantine Reliable Broadcast Made Practical. LADC 2018: 155-160 - [c147]Lélia Blin, Sébastien Tixeuil:
Compact Self-Stabilizing Leader Election for General Networks. LATIN 2018: 161-173 - [c146]Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil:
Churn Possibilities and Impossibilities. NETYS 2018: 303-317 - [c145]Michiko Inoue, Sébastien Tixeuil:
Short Paper: Tight Bounds for Universal and Cautious Self-stabilizing 1-Maximal Matching. NETYS 2018: 334-339 - [c144]Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil:
Reliable Broadcast in Dynamic Networks with Locally Bounded Byzantine Failures. SSS 2018: 170-185 - [c143]Fukuhito Ooshita, Sébastien Tixeuil:
Ring Exploration with Myopic Luminous Robots. SSS 2018: 301-316 - [c142]Quentin Bramas, Sébastien Tixeuil:
Arbitrary Pattern Formation with Four Robots. SSS 2018: 333-348 - [c141]Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil:
Brief Announcement: Optimal Self-stabilizing Mobile Byzantine-Tolerant Regular Register with Bounded Timestamps. SSS 2018: 398-403 - [c140]Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain:
Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots. SSS 2018: 404-408 - [i70]Fukuhito Ooshita, Sébastien Tixeuil:
Ring Exploration with Myopic Luminous Robots. CoRR abs/1805.03965 (2018) - [i69]Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil:
Reliable Broadcast in Dynamic Networks with Locally Bounded Byzantine Failures. CoRR abs/1811.01770 (2018) - 2017
- [j47]Quentin Bramas, Sébastien Tixeuil:
The complexity of data aggregation in static and dynamic wireless sensor networks. Inf. Comput. 255: 369-383 (2017) - [j46]Quentin Bramas, Sébastien Tixeuil:
The Random Bit Complexity of Mobile Robots Scattering. Int. J. Found. Comput. Sci. 28(2): 111-134 (2017) - [j45]Jordan Adamek, Giovanni Farina, Mikhail Nesterenko, Sébastien Tixeuil:
Evaluating and optimizing stabilizing dining philosophers. J. Parallel Distributed Comput. 109: 63-74 (2017) - [c139]Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sébastien Tixeuil:
Parameterized verification of algorithms for oblivious robots on a ring. FMCAD 2017: 212-219 - [c138]Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain:
Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open Problems. FMICS-AVoCS 2017: 165-181 - [c137]Michiko Inoue, Fukuhito Ooshita, Sébastien Tixeuil:
Brief Announcement: Efficient Self-Stabilizing 1-Maximal Matching Algorithm for Arbitrary Networks. PODC 2017: 411-413 - [c136]Jordan Adamek, Mikhail Nesterenko, James Scott Robinson, Sébastien Tixeuil:
Stateless Reliable Geocasting. SRDS 2017: 44-53 - [c135]Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil:
Optimal Storage under Unsynchronized Mobile Byzantine Faults. SRDS 2017: 154-163 - [c134]Michiko Inoue, Fukuhito Ooshita, Sébastien Tixeuil:
An Efficient Silent Self-stabilizing 1-Maximal Matching Algorithm Under Distributed Daemon for Arbitrary Networks. SSS 2017: 93-108 - [c133]Lélia Blin, Sébastien Tixeuil:
Brief Announcement: Compact Self-Stabilizing Leader Election in Arbitrary Graphs. DISC 2017: 43:1-43:3 - [e5]Shantanu Das, Sébastien Tixeuil:
Structural Information and Communication Complexity - 24th International Colloquium, SIROCCO 2017, Porquerolles, France, June 19-22, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10641, Springer 2017, ISBN 978-3-319-72049-4 [contents] - [i68]Lélia Blin, Sébastien Tixeuil:
Compact Self-Stabilizing Leader Election for Arbitrary Networks. CoRR abs/1702.07605 (2017) - [i67]Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sébastien Tixeuil:
Parameterized Verification of Algorithms for Oblivious Robots on a Ring. CoRR abs/1706.05193 (2017) - [i66]Jordan Adamek, Mikhail Nesterenko, James Scott Robinson, Sébastien Tixeuil:
Concurrent Geometric Multicasting. CoRR abs/1706.05263 (2017) - [i65]Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil:
Optimal Storage under Unsynchrononized Mobile Byzantine Faults. CoRR abs/1707.05063 (2017) - [i64]Adam Heriban, Xavier Défago, Sébastien Tixeuil:
Optimally Gathering Two Robots. CoRR abs/1708.06183 (2017) - 2016
- [j44]Lélia Blin, Maria Potop-Butucaru, Stephane Rovedakis, Sébastien Tixeuil:
A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-Free Property. Comput. J. 59(2): 225-243 (2016) - [j43]Béatrice Bérard, Pascal Lafourcade, Laure Millet, Maria Potop-Butucaru, Yann Thierry-Mieg, Sébastien Tixeuil:
Formal verification of mobile robot protocols. Distributed Comput. 29(6): 459-487 (2016) - [j42]Alexandre Maurer, Sébastien Tixeuil:
Tolerating Random Byzantine Failures in an Unbounded Network. Parallel Process. Lett. 26(1): 1650003:1-1650003:12 (2016) - [c132]François Bonnet, Maria Potop-Butucaru, Sébastien Tixeuil:
Asynchronous Gathering in Rings with 4 Robots. ADHOC-NOW 2016: 311-324 - [c131]Walid Benchaita, Gioacchino Tangari, Samir Ghamri-Doudane, Sébastien Tixeuil:
Enhancing Content Distribution through Information-Aware Mechanisms. CloudNet 2016: 58-63 - [c130]Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni:
Specification-Based Synthesis of Distributed Self-Stabilizing Protocols. FORTE 2016: 124-141 - [c129]Walid Benchaita, Samir Ghamri-Doudane, Sébastien Tixeuil:
Stability and optimization of DNS-based request redirection in CDNs. ICDCN 2016: 11:1-11:10 - [c128]Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil:
Approximate Agreement under Mobile Byzantine Faults. ICDCS 2016: 727-728 - [c127]Quentin Bramas, Toshimitsu Masuzawa, Sébastien Tixeuil:
Distributed Online Data Aggregation in Dynamic Graphs. ICDCS 2016: 747-748 - [c126]Quentin Bramas, Sébastien Tixeuil:
Benchmarking Energy-Centric Broadcast Protocols in Wireless Sensor Networks. NETYS 2016: 87-101 - [c125]Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil:
Optimal Mobile Byzantine Fault Tolerant Distributed Storage: Extended Abstract. PODC 2016: 269-278 - [c124]Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain:
Brief Announcement: Certified Universal Gathering in R2 for Oblivious Mobile Robots. PODC 2016: 439-441 - [c123]Quentin Bramas, Sébastien Tixeuil:
Brief Announcement: Probabilistic Asynchronous Arbitrary Pattern Formation. PODC 2016: 443-445 - [c122]Thibaut Balabonski, Amélie Delga, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain:
Synchronous Gathering Without Multiplicity Detection: A Certified Algorithm. SSS 2016: 7-19 - [c121]Quentin Bramas, Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil:
Packet Efficient Implementation of the Omega Failure Detector. SSS 2016: 70-87 - [c120]Quentin Bramas, Sébastien Tixeuil:
Probabilistic Asynchronous Arbitrary Pattern Formation (Short Paper). SSS 2016: 88-93 - [c119]Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil:
Infinite Unlimited Churn (Short Paper). SSS 2016: 148-153 - [c118]Michiko Inoue, Fukuhito Ooshita, Sébastien Tixeuil:
An Efficient Silent Self-stabilizing 1-Maximal Matching Algorithm Under Distributed Daemon Without Global Identifiers. SSS 2016: 195-212 - [c117]Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain:
Certified Universal Gathering in \mathbb R ^2 for Oblivious Mobile Robots. DISC 2016: 187-200 - [i63]Quentin Bramas, Toshimitsu Masuzawa, Sébastien Tixeuil:
Distributed Online Data Aggregation in Dynamic Graphs. CoRR abs/1602.01065 (2016) - [i62]Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain:
Certified Universal Gathering in $R^2$ for Oblivious Mobile Robots. CoRR abs/1602.08361 (2016) - [i61]Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil:
Approximate Agreement under Mobile Byzantine Faults. CoRR abs/1604.03871 (2016) - [i60]Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil:
Infinite Unlimited Churn. CoRR abs/1608.00726 (2016) - [i59]Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil:
Self-Stabilizing Mobile Byzantine-Tolerant Regular Register with bounded timestamp. CoRR abs/1609.02694 (2016) - 2015
- [j41]Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil:
Maximum Metric Spanning Tree Made Byzantine Tolerant. Algorithmica 73(1): 166-201 (2015) - [j40]Stéphane Devismes, Sébastien Tixeuil, Masafumi Yamashita:
Weak vs. Self vs. Probabilistic Stabilization. Int. J. Found. Comput. Sci. 26(3): 293-320 (2015) - [j39]Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain:
Impossibility of gathering, a certification. Inf. Process. Lett. 115(3): 447-452 (2015) - [j38]Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil:
Practically stabilizing SWMR atomic memory in message-passing systems. J. Comput. Syst. Sci. 81(4): 692-701 (2015) - [j37]Fukuhito Ooshita, Sébastien Tixeuil:
On the self-stabilization of mobile oblivious robots in uniform rings. Theor. Comput. Sci. 568: 84-96 (2015) - [j36]Alexandre Maurer, Sébastien Tixeuil:
Containing Byzantine Failures with Control Zones. IEEE Trans. Parallel Distributed Syst. 26(2): 362-370 (2015) - [c116]Quentin Bramas, Sébastien Tixeuil:
The Random Bit Complexity of Mobile Robots Scattering. ADHOC-NOW 2015: 210-224 - [c115]Jordan Adamek, Mikhail Nesterenko, Sébastien Tixeuil:
Evaluating and Optimizing Stabilizing Dining Philosophers. EDCC 2015: 233-244 - [c114]Quentin Bramas, Wilfried Dron, Mariem Ben Fadhl, Khalil Hachicha, Patrick Garda, Sébastien Tixeuil:
WiSeBat: accurate energy benchmarking of wireless sensor networks. FDL 2015: 40-47 - [c113]Silvia Bonomi, Maria Potop-Butucaru, Sébastien Tixeuil:
Stabilizing Byzantine-Fault Tolerant Storage. IPDPS 2015: 894-903 - [c112]Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil:
Optimal Torus Exploration by Oblivious Robots. NETYS 2015: 183-199 - [c111]Walid Benchaita, Samir Ghamri-Doudane, Sébastien Tixeuil:
On the Optimization of Request Routing for Content Delivery. SIGCOMM 2015: 347-348 - [c110]Quentin Bramas, Sébastien Tixeuil:
Wait-Free Gathering Without Chirality. SIROCCO 2015: 313-327 - [c109]Alexandre Maurer, Sébastien Tixeuil, Xavier Défago:
Communicating Reliably in Multihop Dynamic Networks Despite Byzantine Failures. SRDS 2015: 238-245 - [c108]Quentin Bramas, Sébastien Tixeuil:
The Complexity of Data Aggregation in Static and Dynamic Wireless Sensor Networks. SSS 2015: 36-50 - [c107]Saba Aflaki, Borzoo Bonakdarpour, Sébastien Tixeuil:
Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols. SSS 2015: 156-170 - [i58]Quentin Bramas, Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil:
Packet Efficient Implementation of the Omega Failure Detector. CoRR abs/1505.05025 (2015) - [i57]Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain:
A Certified Universal Gathering Algorithm for Oblivious Mobile Robots. CoRR abs/1506.01603 (2015) - [i56]Jordan Adamek, Mikhail Nesterenko, Sébastien Tixeuil:
Stateless Geocasting. CoRR abs/1506.07895 (2015) - [i55]Quentin Bramas, Sébastien Tixeuil:
Asynchronous Pattern Formation without Chirality. CoRR abs/1508.03714 (2015) - [i54]Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni:
Specification-based Synthesis of Distributed Self-Stabilizing Protocols. CoRR abs/1509.05664 (2015) - 2014
- [j35]Alexandre Maurer, Sébastien Tixeuil:
Byzantine broadcast with fixed disjoint paths. J. Parallel Distributed Comput. 74(11): 3153-3160 (2014) - [j34]Anthony Honorat, Maria Potop-Butucaru, Sébastien Tixeuil:
Gathering fat mobile robots with slim omnidirectional cameras. Theor. Comput. Sci. 557: 1-27 (2014) - [c106]François Bonnet, Xavier Défago, Franck Petit, Maria Potop-Butucaru, Sébastien Tixeuil:
Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols. SRDS Workshops 2014: 50-59 - [c105]Alexandre Maurer, Sébastien Tixeuil:
Self-Stabilizing Byzantine Broadcast. SRDS 2014: 152-160 - [c104]Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil:
On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering. SSS 2014: 237-251 - [i53]Lélia Blin, Sébastien Tixeuil:
Compact Deterministic Self-Stabilizing Leader Election: The Exponential Advantage of Being Talkative. CoRR abs/1401.4972 (2014) - [i52]Alexandre Maurer, Sébastien Tixeuil, Xavier Défago:
Reliable Communication in a Dynamic Network in the Presence of Byzantine Faults. CoRR abs/1402.0121 (2014) - [i51]Pierre Courtieu, Lionel Rieg, Xavier Urbain, Sébastien Tixeuil:
Impossibility of Gathering, a Certification. CoRR abs/1405.5902 (2014) - [i50]Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil:
On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering. CoRR abs/1407.0978 (2014) - 2013
- [j33]Mikhail Nesterenko, Sébastien Tixeuil:
Ideal stabilisation. Int. J. Grid Util. Comput. 4(4): 219-230 (2013) - [j32]Sayaka Kamei, Hirotsugu Kakugawa, Stéphane Devismes, Sébastien Tixeuil:
A self-stabilizing 3-approximation for the maximum leaf spanning tree problem in arbitrary networks. J. Comb. Optim. 25(3): 430-459 (2013) - [j31]Stéphane Devismes, Franck Petit, Sébastien Tixeuil:
Optimal probabilistic ring exploration by semi-synchronous oblivious robots. Theor. Comput. Sci. 498: 10-27 (2013) - [c103]Alexandre Maurer, Sébastien Tixeuil:
A Scalable Byzantine Grid. ICDCN 2013: 87-101 - [c102]Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore, Sébastien Tixeuil:
Fast Leader (Full) Recovery Despite Dynamic Faults. ICDCN 2013: 428-433 - [c101]Zohir Bouzid, Shantanu Das, Sébastien Tixeuil:
Gathering of Mobile Robots Tolerating Multiple Crash Faults. ICDCS 2013: 337-346 - [c100]Ajoy Kumar Datta, Lawrence L. Larmore, Stéphane Devismes, Sébastien Tixeuil:
Fast Leader (Full) Recovery Despite Dynamic Faults. IPDPS Workshops 2013: 716-725 - [c99]Lélia Blin, Sébastien Tixeuil:
Brief announcement: deterministic self-stabilizing leader election with O(log log n)-bits. PODC 2013: 125-127 - [c98]Catia Khouri, Fabíola Greve, Sébastien Tixeuil:
Consensus with Unknown Participants in Shared Memory. SRDS 2013: 51-60 - [c97]Narges Fallahi, Borzoo Bonakdarpour, Sébastien Tixeuil:
Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Model Checking. SRDS 2013: 153-162 - [c96]Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, Xavier Urbain:
Certified Impossibility Results for Byzantine-Tolerant Mobile Robots. SSS 2013: 178-190 - [c95]Rizal Mohd Nor, Mikhail Nesterenko, Sébastien Tixeuil:
Linearizing Peer-to-Peer Systems with Oracles. SSS 2013: 221-236 - [c94]Lélia Blin, Sébastien Tixeuil:
Compact Deterministic Self-stabilizing Leader Election - The Exponential Advantage of Being Talkative. DISC 2013: 76-90 - [i49]Alexandre Maurer, Sébastien Tixeuil:
On Byzantine Broadcast in Planar Graphs. CoRR abs/1301.2875 (2013) - [i48]Alexandre Maurer, Sébastien Tixeuil:
Parameterizable Byzantine Broadcast in Loosely Connected Networks. CoRR abs/1301.3996 (2013) - [i47]Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, Xavier Urbain:
Certified Impossibility Results for Byzantine-Tolerant Mobile Robots. CoRR abs/1306.4242 (2013) - [i46]Quentin Bramas, Sébastien Tixeuil:
The Random Bit Complexity of Mobile Robots Scattering. CoRR abs/1309.6603 (2013) - 2012
- [j30]Swan Dubois, Maria Potop-Butucaru, Mikhail Nesterenko, Sébastien Tixeuil:
Self-stabilizing byzantine asynchronous unison. J. Parallel Distributed Comput. 72(7): 917-923 (2012) - [j29]Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil:
Bounding the Impact of Unbounded Attacks in Stabilization. IEEE Trans. Parallel Distributed Syst. 23(3): 460-466 (2012) - [c93]Samuel Bernard, Xavier Défago, Sébastien Tixeuil:
A Fast and Robust Optimistic Total Order Broadcast for Online Video Games. AINA Workshops 2012: 189-196 - [c92]Swan Dubois, Sébastien Tixeuil, Nini Zhu:
The Byzantine Brides Problem. FUN 2012: 107-118 - [c91]Alexandre Maurer, Sébastien Tixeuil:
Limiting Byzantine Influence in Multihop Asynchronous Networks. ICDCS 2012: 183-192 - [c90]Yannick Carlinet, The Dang Huynh, Bruno Kauffmann, Fabien Mathieu, Ludovic Noirie, Sébastien Tixeuil:
Four months in daily motion: Dissecting user video requests. IWCMC 2012: 613-618 - [c89]Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil:
Gathering an Even Number of Robots in an Odd Ring without Global Multiplicity Detection. MFCS 2012: 542-553 - [c88]Shlomi Dolev, Swan Dubois, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil:
Crash Resilient and Pseudo-Stabilizing Atomic Registers. OPODIS 2012: 135-150 - [c87]Fukuhito Ooshita, Sébastien Tixeuil:
On the Self-stabilization of Mobile Oblivious Robots in Uniform Rings. SSS 2012: 49-63 - [c86]Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil:
Optimal Grid Exploration by Asynchronous Oblivious Robots. SSS 2012: 64-76 - [c85]Jordan Adamek, Mikhail Nesterenko, Sébastien Tixeuil:
Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with Feedback. SSS 2012: 126-132 - [c84]François Bonnet, Xavier Défago, Franck Petit, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil:
Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols. SSS 2012: 282-284 - [c83]Alexandre Maurer, Sébastien Tixeuil:
On Byzantine Broadcast in Loosely Connected Networks. DISC 2012: 253-266 - [c82]Zohir Bouzid, Shantanu Das, Sébastien Tixeuil:
Brief Announcement: Wait-Free Gathering of Mobile Robots. DISC 2012: 401-402 - [c81]Yukiko Yamauchi, Sébastien Tixeuil, Shuji Kijima, Masafumi Yamashita:
Brief Announcement: Probabilistic Stabilization under Probabilistic Schedulers. DISC 2012: 413-414 - [i45]Alexandre Maurer, Sébastien Tixeuil:
Limiting Byzantien Influence in Multihop Asynchronous Networks. CoRR abs/1201.5824 (2012) - [i44]Swan Dubois, Sébastien Tixeuil, Nini Zhu:
The Byzantine Brides Problem. CoRR abs/1203.3575 (2012) - [i43]Swan Dubois, Sébastien Tixeuil, Nini Zhu:
Mariages et Trahisons. CoRR abs/1204.4565 (2012) - [i42]Zohir Bouzid, Shantanu Das, Sébastien Tixeuil:
Wait-Free Gathering of Mobile Robots. CoRR abs/1207.0226 (2012) - [i41]Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil:
Gathering an even number of robots in an odd ring without global multiplicity detection. CoRR abs/1207.7241 (2012) - [i40]Alexandre Maurer, Sébastien Tixeuil:
On Byzantine Broadcast in Loosely Connected Networks. CoRR abs/1209.1358 (2012) - [i39]Alexandre Maurer, Sébastien Tixeuil:
A Scalable Byzantine Grid. CoRR abs/1210.4640 (2012) - 2011
- [j28]Nathalie Mitton, Bruno Sericola, Sébastien Tixeuil, Eric Fleury, Isabelle Guérin Lassous:
Self-stabilization in Self-organized Wireless Multihop Networks? Ad Hoc Sens. Wirel. Networks 11(1-2): 1-34 (2011) - [j27]Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil:
Stabilizing data-link over non-FIFO channels with optimal fault-resilience. Inf. Process. Lett. 111(18): 912-920 (2011) - [j26]Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil:
Dynamic FTSS in asynchronous systems: The case of unison. Theor. Comput. Sci. 412(29): 3418-3439 (2011) - [j25]Sylvie Delaët, Partha Sarathi Mandal, Mariusz A. Rokicki, Sébastien Tixeuil:
Deterministic secure positioning in wireless sensor networks. Theor. Comput. Sci. 412(35): 4471-4481 (2011) - [j24]Fredrik Manne, Morten Mjelde, Laurence Pilard, Sébastien Tixeuil:
A self-stabilizing 2/3-approximation algorithm for the maximum matching problem. Theor. Comput. Sci. 412(40): 5515-5526 (2011) - [j23]Sébastien Tixeuil:
Éditorial. Tech. Sci. Informatiques 30(7): 777-779 (2011) - [c80]Mikhail Nesterenko, Sébastien Tixeuil:
Ideal Stabilization. AINA 2011: 224-231 - [c79]Maria Potop-Butucaru, Michel Raynal, Sébastien Tixeuil:
Distributed Computing with Mobile Robots: An Introductory Survey. NBiS 2011: 318-324 - [c78]François Bonnet, Alessia Milani, Maria Potop-Butucaru, Sébastien Tixeuil:
Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction. OPODIS 2011: 251-265 - [c77]Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil:
Asynchronous Mobile Robot Gathering from Symmetric Configurations without Global Multiplicity Detection. SIROCCO 2011: 150-161 - [c76]Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil:
Pragmatic Self-stabilization of Atomic Memory in Message-Passing Systems. SSS 2011: 19-31 - [c75]Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil:
Maximum Metric Spanning Tree Made Byzantine Tolerant. DISC 2011: 150-164 - [c74]Taisuke Izumi, Zohir Bouzid, Sébastien Tixeuil, Koichi Wada:
Brief Announcement: The BG-Simulation for Byzantine Mobile Robots. DISC 2011: 330-331 - [i38]Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil:
Self-Stabilization, Byzantine Containment, and Maximizable Metrics: Necessary Conditions. CoRR abs/1103.3515 (2011) - [i37]Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil:
Communication Optimalement Stabilisante sur Canaux non Fiables et non FIFO. CoRR abs/1104.3947 (2011) - [i36]Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil:
Auto-Stabilisation et Confinement de Fautes Malicieuses : Optimalité du Protocole min+1. CoRR abs/1104.4022 (2011) - [i35]Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil:
Maximum Metric Spanning Tree made Byzantine Tolerant. CoRR abs/1104.5368 (2011) - [i34]Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil:
Asynchronous mobile robot gathering from symmetric configurations without global multiplicity detection. CoRR abs/1104.5660 (2011) - [i33]Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil:
Optimal grid exploration by asynchronous oblivious robots. CoRR abs/1105.2461 (2011) - [i32]Taisuke Izumi, Zohir Bouzid, Sébastien Tixeuil, Koichi Wada:
The BG-simulation for Byzantine Mobile Robots. CoRR abs/1106.0113 (2011) - [i31]Swan Dubois, Sébastien Tixeuil:
A Taxonomy of Daemons in Self-stabilization. CoRR abs/1110.0334 (2011) - 2010
- [j22]Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil:
Snap-stabilization in message-passing systems. J. Parallel Distributed Comput. 70(12): 1220-1230 (2010) - [j21]Toshimitsu Masuzawa, Sébastien Tixeuil:
Quiescence of self-stabilizing gossiping among mobile agents in graphs. Theor. Comput. Sci. 411(14-15): 1567-1582 (2010) - [j20]Zohir Bouzid, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil:
Optimal Byzantine-resilient convergence in uni-dimensional robot networks. Theor. Comput. Sci. 411(34-36): 3154-3168 (2010) - [c73]Sayaka Kamei, Hirotsugu Kakugawa, Stéphane Devismes, Sébastien Tixeuil:
A Self-stabilizing 3-Approximation for the Maximum Leaf Spanning Tree Problem in Arbitrary Networks. COCOON 2010: 80-89 - [c72]François Lesueur, Ala Rezmerita, Thomas Hérault, Sylvain Peyronnet, Sébastien Tixeuil:
SAFE-OS: A secure and usable desktop operating system. CRiSIS 2010: 1-7 - [c71]Samuel Bernard, Stéphane Devismes, Katy Paroux, Maria Potop-Butucaru, Sébastien Tixeuil:
Probabilistic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks. ICDCN 2010: 167-177 - [c70]Toshimitsu Masuzawa, Sébastien Tixeuil:
Stabilizing Locally Maximizable Tasks in Unidirectional Networks Is Hard. ICDCS 2010: 718-727 - [c69]Ali Asim, Sébastien Tixeuil:
Advanced faults patterns for WSN dependability benchmarking. MSWiM 2010: 39-48 - [c68]Zohir Bouzid, Shlomi Dolev, Maria Potop-Butucaru, Sébastien Tixeuil:
RoboCast: Asynchronous Communication in Robot Networks. OPODIS 2010: 16-31 - [c67]Swan Dubois, Maria Gradinariu Potop-Butucaru, Mikhail Nesterenko, Sébastien Tixeuil:
Self-stabilizing Byzantine Asynchronous Unison, . OPODIS 2010: 83-86 - [c66]Yukiko Yamauchi, Sébastien Tixeuil:
Monotonic Stabilization. OPODIS 2010: 475-490 - [c65]Fabíola Greve, Sébastien Tixeuil:
Conditions for the solvability of fault-tolerant consensus in asynchronous unknown networks: invited paper. WRAS 2010: 1 - [c64]Yukiko Yamauchi, Sébastien Tixeuil:
Brief announcement: monotonic stabilization. PODC 2010: 406-407 - [c63]Anissa Lamani, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil:
Optimal Deterministic Ring Exploration with Oblivious Asynchronous Robots. SIROCCO 2010: 183-196 - [c62]Lélia Blin, Maria Gradinariu Potop-Butucaru, Stephane Rovedakis, Sébastien Tixeuil:
Loop-Free Super-Stabilizing Spanning Tree Construction. SSS 2010: 50-64 - [c61]Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil:
On Byzantine Containment Properties of the min + 1 Protocol. SSS 2010: 96-110 - [c60]Taisuke Izumi, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil:
Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility. SSS 2010: 319-331 - [c59]Samuel Bernard, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil:
A Framework for Secure and Private P2P Publish/Subscribe. SSS 2010: 531-545 - [c58]Lélia Blin, Alessia Milani, Maria Potop-Butucaru, Sébastien Tixeuil:
Exclusive Perpetual Ring Exploration without Chirality. DISC 2010: 312-327 - [c57]Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil:
The Impact of Topology on Byzantine Containment in Stabilization. DISC 2010: 495-509 - [c56]Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Gradinariu, Sébastien Tixeuil:
Brief Announcement: Sharing Memory in a Self-stabilizing Manner. DISC 2010: 525-527 - [c55]Ali Asim, Sébastien Tixeuil:
XS-WSNet: Extreme scale wireless sensor network simulation. WOWMOM 2010: 1-9 - [e4]Franck Petit, Sébastien Tixeuil:
Proceedings of the Third International Workshop on Reliability, Availability, and Security, WRAS 2010, conjunction with PODC 2010 Zurich, Switzerland, July 29, 2010. ACM 2010, ISBN 978-1-4503-0642-3 [contents] - [i30]Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil:
Construction auto-stabilisante d'arbre couvrant en dépit d'actions malicieuses. CoRR abs/1004.5256 (2010) - [i29]Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil:
The Impact of Topology on Byzantine Containment in Stabilization. CoRR abs/1005.1195 (2010) - [i28]Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil:
Self-stabilization with Byzantine tolerance for global tasks. CoRR abs/1005.3367 (2010) - [i27]Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil:
On Byzantine Containment Properties of the $min+1$ Protocol. CoRR abs/1005.5223 (2010) - [i26]Lélia Blin, Maria Potop-Butucaru, Stephane Rovedakis, Sébastien Tixeuil:
Universal Loop-Free Super-Stabilization. CoRR abs/1006.3009 (2010) - [i25]Zohir Bouzid, Shlomi Dolev, Maria Potop-Butucaru, Sébastien Tixeuil:
RoboCast: Asynchronous Communication in Robot Networks. CoRR abs/1006.5877 (2010) - [i24]Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Gradinariu, Sébastien Tixeuil:
Practically Stabilizing Atomic Memory. CoRR abs/1007.1802 (2010) - [i23]Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil:
Stabilizing data-link over non-FIFO channels with optimal fault-resilience. CoRR abs/1011.3632 (2010)
2000 – 2009
- 2009
- [j19]Praveen Danturi, Mikhail Nesterenko, Sébastien Tixeuil:
Self-stabilizing philosophers with generic conflicts. ACM Trans. Auton. Adapt. Syst. 4(1): 7:1-7:20 (2009) - [j18]Toshimitsu Masuzawa, Sébastien Tixeuil:
On bootstrapping topology knowledge in anonymous networks. ACM Trans. Auton. Adapt. Syst. 4(1): 8:1-8:27 (2009) - [j17]Fredrik Manne, Morten Mjelde, Laurence Pilard, Sébastien Tixeuil:
A new self-stabilizing maximal matching algorithm. Theor. Comput. Sci. 410(14): 1336-1345 (2009) - [j16]Mikhail Nesterenko, Sébastien Tixeuil:
Discovering Network Topology in the Presence of Byzantine Faults. IEEE Trans. Parallel Distributed Syst. 20(12): 1777-1789 (2009) - [c54]Zohir Bouzid, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil:
Byzantine-Resilient Convergence in Oblivious Robot Networks. ICDCN 2009: 275-280 - [c53]Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil:
Snap-Stabilization in Message-Passing Systems. ICDCN 2009: 281-286 - [c52]Stéphane Devismes, Toshimitsu Masuzawa, Sébastien Tixeuil:
Communication Efficiency in Self-Stabilizing Silent Protocols. ICDCS 2009: 474-481 - [c51]Samuel Bernard, Stéphane Devismes, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil:
Optimal deterministic self-stabilizing vertex coloring in unidirectional anonymous networks. IPDPS 2009: 1-8 - [c50]Zohir Bouzid, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil:
Byzantine Convergence in Robot Networks: The Price of Asynchrony. OPODIS 2009: 54-70 - [c49]Stéphane Devismes, Franck Petit, Sébastien Tixeuil:
Optimal Probabilistic Ring Exploration by Semi-synchronous Oblivious Robots. SIROCCO 2009: 195-208 - [c48]Zohir Bouzid, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil:
Optimal Byzantine Resilient Convergence in Asynchronous Robots Networks. SSS 2009: 165-179 - [c47]Swan Dubois, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil:
Brief Announcement: Dynamic FTSS in Asynchronous Systems: The Case of Unison. DISC 2009: 291-293 - [c46]Lélia Blin, Maria Potop-Butucaru, Stephane Rovedakis, Sébastien Tixeuil:
A New Self-stabilizing Minimum Spanning Tree Construction with Loop-Free Property. DISC 2009: 407-422 - [i22]Stéphane Devismes, Franck Petit, Sébastien Tixeuil:
Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots. CoRR abs/0902.1834 (2009) - [i21]Toshimitsu Masuzawa, Sébastien Tixeuil:
Stabilizing Maximal Independent Set in Unidirectional Networks is Hard. CoRR abs/0903.3106 (2009) - [i20]Swan Dubois, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil:
Dynamic FTSS in Asynchronous Systems: the Case of Unison. CoRR abs/0904.4615 (2009) - [i19]Lélia Blin, Maria Gradinariu Potop-Butucaru, Stephane Rovedakis, Sébastien Tixeuil:
A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-free Property. CoRR abs/0905.2287 (2009) - [i18]Zohir Bouzid, Maria Potop-Butucaru, Sébastien Tixeuil:
Optimal byzantine resilient convergence in oblivious robot networks. CoRR abs/0905.3967 (2009) - [i17]Zohir Bouzid, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil:
Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks. CoRR abs/0906.0651 (2009) - [i16]Mikhail Nesterenko, Sébastien Tixeuil:
Ideal Stabilization. CoRR abs/0906.1947 (2009) - [i15]Zohir Bouzid, Maria Potop-Butucaru, Sébastien Tixeuil:
Byzantine Convergence in Robots Networks: The Price of Asynchrony. CoRR abs/0908.0390 (2009) - [i14]Anissa Lamani, Maria Potop-Butucaru, Sébastien Tixeuil:
Optimal deterministic ring exploration with oblivious asynchronous robots. CoRR abs/0910.0832 (2009) - [i13]Swan Dubois, Maria Gradinariu Potop-Butucaru, Mikhail Nesterenko, Sébastien Tixeuil:
Self-Stabilizing Byzantine Asynchronous Unison. CoRR abs/0912.0134 (2009) - 2008
- [j15]Johanne Cohen, Anurag Dasgupta, Sukumar Ghosh, Sébastien Tixeuil:
An exercise in selfish stabilization. ACM Trans. Auton. Adapt. Syst. 3(4): 15:1-15:12 (2008) - [c45]Sylvie Delaët, Partha Sarathi Mandal, Mariusz A. Rokicki, Sébastien Tixeuil:
Deterministic Secure Positioning in Wireless Sensor Networks. DCOSS 2008: 469-477 - [c44]Stéphane Devismes, Sébastien Tixeuil, Masafumi Yamashita:
Weak vs. Self vs. Probabilistic Stabilization. ICDCS 2008: 681-688 - [c43]Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil:
Snap-stabilization in message-passing systems. PODC 2008: 443 - [c42]Toshimitsu Masuzawa, Sébastien Tixeuil:
Quiescence of Self-stabilizing Gossiping among Mobile Agents in Graphs. SIROCCO 2008: 247-261 - [c41]Adnan Vora, Mikhail Nesterenko, Sébastien Tixeuil, Sylvie Delaët:
Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks. SSS 2008: 63-78 - [c40]Fredrik Manne, Morten Mjelde, Laurence Pilard, Sébastien Tixeuil:
A Self-stabilizing -Approximation Algorithm for the Maximum Matching Problem. SSS 2008: 94-108 - [e3]Theodore P. Baker, Alain Bui, Sébastien Tixeuil:
Principles of Distributed Systems, 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings. Lecture Notes in Computer Science 5401, Springer 2008, ISBN 978-3-540-92220-9 [contents] - [i12]Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil:
Snap-Stabilization in Message-Passing Systems. CoRR abs/0802.1123 (2008) - [i11]Nathalie Mitton, Katy Paroux, Bruno Sericola, Sébastien Tixeuil:
Ascending runs in dependent uniformly distributed random variables: Application to wireless networks. CoRR abs/0802.1387 (2008) - [i10]Toshimitsu Masuzawa, Sébastien Tixeuil:
Quiescence of Self-stabilizing Gossiping among Mobile Agents in Graphs. CoRR abs/0803.0189 (2008) - [i9]Adnan Vora, Mikhail Nesterenko, Sébastien Tixeuil, Sylvie Delaët:
Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks. CoRR abs/0805.0087 (2008) - [i8]Samuel Bernard, Stéphane Devismes, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil:
Bounds for self-stabilization in unidirectional networks. CoRR abs/0805.0851 (2008) - [i7]Stéphane Devismes, Toshimitsu Masuzawa, Sébastien Tixeuil:
Communication Efficiency in Self-stabilizing Silent Protocols. CoRR abs/0811.3760 (2008) - 2007
- [j14]Joffroy Beauquier, Sylvie Delaët, Shlomi Dolev, Sébastien Tixeuil:
Transient fault detectors. Distributed Comput. 20(1): 39-51 (2007) - [j13]William Hoarau, Sébastien Tixeuil, Fabien Vauchelles:
FAIL-FCI: Versatile fault injection. Future Gener. Comput. Syst. 23(7): 913-919 (2007) - [c39]Fabíola Greve, Sébastien Tixeuil:
Knowledge Connectivity vs. Synchrony Requirements for Fault-Tolerant Agreement in Unknown Networks. DSN 2007: 82-91 - [c38]Maria Gradinariu, Sébastien Tixeuil:
Conflict Managers for Self-stabilization without Fairness Assumption. ICDCS 2007: 46 - [c37]Lélia Blin, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil:
On the Self-stabilization of Mobile Robots in Graphs. OPODIS 2007: 301-314 - [c36]Fredrik Manne, Morten Mjelde, Laurence Pilard, Sébastien Tixeuil:
A New Self-stabilizing Maximal Matching Algorithm. SIROCCO 2007: 96-108 - [e2]Toshimitsu Masuzawa, Sébastien Tixeuil:
Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings. Lecture Notes in Computer Science 4838, Springer 2007, ISBN 978-3-540-76626-1 [contents] - [i6]Lélia Blin, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil:
On the Self-stabilization of Mobile Robots in Graphs. CoRR abs/0708.0909 (2007) - [i5]Sylvie Delaët, Partha Sarathi Mandal, Mariusz A. Rokicki, Sébastien Tixeuil:
Deterministic Secure Positioning in Wireless Sensor Networks. CoRR abs/0710.3824 (2007) - [i4]Stéphane Devismes, Sébastien Tixeuil, Masafumi Yamashita:
Weak vs. Self vs. Probabilistic Stabilization. CoRR abs/0711.3672 (2007) - [i3]Fredrik Manne, Morten Mjelde, Laurence Pilard, Sébastien Tixeuil:
A New Self-Stabilizing Maximal Matching Algorithm. CoRR abs/cs/0701189 (2007) - 2006
- [b2]Sébastien Tixeuil:
Vers l'auto-stabilisation des systèmes à grande échelle. (Toward self-stabilizing large-scale systems). University of Paris-Sud, Orsay, France, 2006 - [j12]Sylvie Delaët, Bertrand Ducourthial, Sébastien Tixeuil:
Self-Stabilization with r-Operators revisited. J. Aerosp. Comput. Inf. Commun. 3(10): 498-514 (2006) - [c35]Pierre Fraigniaud, David Ilcinkas, Sergio Rajsbaum, Sébastien Tixeuil:
The Reduced Automata Technique for Graph Exploration Space Lower Bounds. Essays in Memory of Shimon Even 2006: 1-26 - [c34]William Hoarau, Pierre Lemarinier, Thomas Hérault, Eric Rodriguez, Sébastien Tixeuil, Franck Cappello:
FAIL-MPI: How Fault-Tolerant Is Fault-Tolerant MPI? CLUSTER 2006 - [c33]William Hoarau, Sébastien Tixeuil, Nuno Rodrigues, Décio Sousa, Luís Moura Silva:
Dependability Evaluation of The Ogsa-Dai Middleware. CoreGRID Integration Workshop 2006: 223-236 - [c32]Nathalie Mitton, Eric Fleury, Isabelle Guérin Lassous, Bruno Sericola, Sébastien Tixeuil:
Fast Convergence in Self-Stabilizing Wireless Networks. ICPADS (1) 2006: 31-38 - [c31]William Hoarau, Sébastien Tixeuil, Fabien Vauchelles:
Fault injection in distributed Java applications. IPDPS 2006 - [c30]Mikhail Nesterenko, Sébastien Tixeuil:
Discovering Network Topology in the Presence of Byzantine Faults. SIROCCO 2006: 212-226 - [c29]Praveen Danturi, Mikhail Nesterenko, Sébastien Tixeuil:
Self-stabilizing Philosophers with Generic Conflicts. SSS 2006: 214-230 - [c28]Anurag Dasgupta, Sukumar Ghosh, Sébastien Tixeuil:
Selfish Stabilization. SSS 2006: 231-243 - [c27]Toshimitsu Masuzawa, Sébastien Tixeuil:
Bounding the Impact of Unbounded Attacks in Stabilization. SSS 2006: 440-453 - [c26]Toshimitsu Masuzawa, Sébastien Tixeuil:
On Bootstrapping Topology Knowledge in Anonymous Networks. SSS 2006: 454-468 - [c25]Michaël Cadilhac, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, Sébastien Tixeuil:
Evaluating Complex MAC Protocols for Sensor Networks with APMC. AVoCS 2006: 33-46 - [i2]Mikhail Nesterenko, Sébastien Tixeuil:
Discovering Network Topology in the Presence of Byzantine Faults. CoRR abs/cs/0611116 (2006) - 2005
- [j11]Yu Chen, Ajoy Kumar Datta, Sébastien Tixeuil:
Stabilizing inter-domain routing in the Internet. J. High Speed Networks 14(1): 21-37 (2005) - [c24]William Hoarau, Sébastien Tixeuil:
A language-driven tool for fault injection in distributed systems. GRID 2005: 194-201 - [c23]Nathalie Mitton, Eric Fleury, Isabelle Guérin Lassous, Sébastien Tixeuil:
Self-Stabilization in Self-Organized Multihop Wireless Networks. ICDCS Workshops 2005: 909-915 - [c22]Toshimitsu Masuzawa, Sébastien Tixeuil:
A Self-stabilizing Link-Coloring Protocol Resilient to Unbounded Byzantine Faults in Arbitrary Networks. OPODIS 2005: 118-129 - [c21]Pierre Fraigniaud, David Ilcinkas, Sergio Rajsbaum, Sébastien Tixeuil:
Space Lower Bounds for Graph Exploration via Reduced Automata. SIROCCO 2005: 140-154 - [c20]Sylvie Delaët, Bertrand Ducourthial, Sébastien Tixeuil:
Self-stabilization with r-Operators Revisited. Self-Stabilizing Systems 2005: 68-80 - [e1]Ted Herman, Sébastien Tixeuil:
Self-Stabilizing Systems, 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005, Proceedings. Lecture Notes in Computer Science 3764, Springer 2005, ISBN 3-540-29814-2 [contents] - 2004
- [j10]Ajoy Kumar Datta, Maria Gradinariu, Sébastien Tixeuil:
Self-Stabilizing Mutual Exclusion Under Arbitrary Scheduler. Comput. J. 47(3): 289-298 (2004) - [j9]Colette Johnen, Franck Petit, Sébastien Tixeuil:
Autostabilisation et protocoles réseau. Tech. Sci. Informatiques 23(8): 1027-1056 (2004) - [c19]Ted Herman, Sébastien Tixeuil:
A Distributed TDMA Slot Assignment Algorithm for Wireless Sensor Networks. ALGOSENSORS 2004: 45-58 - [c18]Philippe Duchon, Nicolas Hanusse, Sébastien Tixeuil:
Optimal Randomized Self-stabilizing Mutual Exclusion on Synchronous Rings. DISC 2004: 216-229 - [i1]Ted Herman, Sébastien Tixeuil:
A Distributed TDMA Slot Assignment Algorithm for Wireless Sensor Networks. CoRR cs.DC/0405042 (2004) - 2003
- [j8]Ajoy Kumar Datta, Maria Gradinariu, Anthony B. Kenitzki, Sébastien Tixeuil:
Self-Stabilizing Wormhole Routing on Ring Networks. J. Inf. Sci. Eng. 19(3): 401-414 (2003) - [j7]Bertrand Ducourthial, Sébastien Tixeuil:
Self-stabilization with path algebra. Theor. Comput. Sci. 293(1): 219-236 (2003) - [c17]Sylvie Delaët, Duy-So Nguyen, Sébastien Tixeuil:
Stabilite Et Auto-Stabilisation Du Routage Inter-Domaine Dans Internet. RIVF 2003: 139-144 - [c16]Colette Johnen, Sébastien Tixeuil:
Route Preserving Stabilization. Self-Stabilizing Systems 2003: 184-198 - 2002
- [j6]Sylvie Delaët, Sébastien Tixeuil:
Tolerating Transient and Intermittent Failures. J. Parallel Distributed Comput. 62(5): 961-981 (2002) - [j5]Colette Johnen, Luc Onana Alima, Ajoy Kumar Datta, Sébastien Tixeuil:
Optimal Snap-Stabilizing Neighborhood Synchronizer in Tree Networks. Parallel Process. Lett. 12(3-4): 327-340 (2002) - [c15]Yu Chen, Ajoy Kumar Datta, Sébastien Tixeuil:
Stabilizing Inter-domain Routing in the Internet (Research Note). Euro-Par 2002: 749-752 - [c14]Ajoy Kumar Datta, Maria Gradinariu, Anthony B. Kenitzki, Sébastien Tixeuil:
Self-Stabilizing Wormhole Routing on Ring Networks. ICPADS 2002: 425-430 - [c13]Christophe Genolini, Sébastien Tixeuil:
A Lower Bound on Dynamic k-Stabilization in Asynchronous Systems. SRDS 2002: 212- - 2001
- [j4]Bertrand Ducourthial, Sébastien Tixeuil:
Self-stabilization with r-operators. Distributed Comput. 14(3): 147-162 (2001) - [j3]Ajoy Kumar Datta, Sébastien Tixeuil:
Self-stabilizing distributed sorting in tree networks. Parallel Algorithms Appl. 16(1): 1-15 (2001) - [c12]Maria Gradinariu, Sébastien Tixeuil:
Tight Space Self-Stabilizing Uniform l-Mutual Exclusion. ICDCS 2001: 83-90 - [c11]Sébastien Tixeuil:
On a Space-Optimal Distributed Traversal Algorithm. WSS 2001: 216-228 - 2000
- [b1]Sébastien Tixeuil:
Auto-stabilisation Efficace. (Efficient Self-stabilization). University of Paris-Sud, Orsay, France, 2000 - [j2]Ajoy Kumar Datta, Jerry L. Derby, James E. Lawrence, Sébastien Tixeuil:
Stabilizing Hierarchical Routing. J. Interconnect. Networks 1(4): 283-302 (2000) - [c10]Ajoy Kumar Datta, Maria Gradinariu, Sébastien Tixeuil:
Self-Stabilizing Mutual Exclusion Using Unfair Distributed Scheduler. IPDPS 2000: 465-470 - [c9]Sylvie Delaët, Sébastien Tixeuil:
Tolerating Transient and Intermittent Failure. OPODIS 2000: 17-36 - [c8]Maria Gradinariu, Sébastien Tixeuil:
Self-stabilizing Vertex Coloration and Arbitrary Graphs. OPODIS 2000: 55-70 - [c7]Bertrand Ducourthial, Sébastien Tixeuil:
Self-stabilization with path algebra. SIROCCO 2000: 95-109
1990 – 1999
- 1999
- [j1]Sajal K. Das, Ajoy Kumar Datta, Sébastien Tixeuil:
Self-Stabilizing Algorithms in DAG Structured Networks. Parallel Process. Lett. 9(4): 563-574 (1999) - [c6]Colette Johnen, Luc Onana Alima, Ajoy Kumar Datta, Sébastien Tixeuil:
Self-Stabilizing Neighborhood Synchronizer in Tree Networks. ICDCS 1999: 487-494 - [c5]Sajal K. Das, Ajoy Kumar Datta, Sébastien Tixeuil:
Self-Stabilizing Algorithms in DAG Structured Networks. ISPAN 1999: 190-197 - [c4]Joffroy Beauquier, Ajoy Kumar Datta, Sébastien Tixeuil:
Self-stabilizing census with cut-through constraint. WSS 1999: 70-77 - 1998
- [c3]Luc Onana Alima, Joffroy Beauquier, Ajoy Kumar Datta, Sébastien Tixeuil:
Self-Stabilization with Global Rooted Synchronizers. ICDCS 1998: 102-109 - [c2]Bertrand Ducourthial, Sébastien Tixeuil:
SelfStabilizing Global Computations with rOperators. OPODIS 1998: 99-114 - [c1]Joffroy Beauquier, Sylvie Delaët, Shlomi Dolev, Sébastien Tixeuil:
Transient Fault Detectors. DISC 1998: 62-74
Coauthor Index
aka: Ajoy Kumar Datta
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 22:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint