Sébastien Tixeuil - : Research - Publications browse

Printable View

List of Publications (On DBLP, On Google Scholar)

2020

Stand Up Indulgent Rendez-vous. Quentin Bramas, Anissa Lamani, and Sébastien Tixeuil. In Proceedings of the 22nd International Symposium on Stabiliation, Safety, and Security of Distributed Systems (SSS 2020), Austin, Texas, November 2020. (BIB)
Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space. Xavier Défago, Adam Heriban, Sébastien Tixeuil, and Koichi Wada. In Proceedings of the 39th International Conference on Reliable Distributed Systems (SRDS 2020), Shanghai, China, September 2020. (BIB)
Partial Gathering of Mobile Robots from Multiplicity-Allowed Configurations in Rings. Masahiro Shibata, and Sébastien Tixeuil. In Proceedings of the 22nd International Symposium on Stabiliation, Safety, and Security of Distributed Systems (SSS 2020), Austin, Texas, November 2020. (BIB)
Boosting the Efficiency of Byzantine-tolerant Reliable Communication. Silvia Bonomi, Giovanni Farina, and Sébastien Tixeuil. In Proceedings of the 22nd International Symposium on Stabiliation, Safety, and Security of Distributed Systems (SSS 2020), Austin, Texas, November 2020. (BIB)
Broadcasting Information in Multi-hop Networks prone to Mobile Byzantine Failures. Silvia Bonomi, Giovanni Farina, and Sébastien Tixeuil. In Proceedings of the 8th Edition of the International Conference on NETworked sYStems (NETYS 2020), Marakech, Morocco, June 2020. (BIB)
Compact self-stabilizing leader election for general networks. L{é}lia Blin, and S{é}bastien Tixeuil. J. Parallel Distributed Comput., 144:278-294, 2020. (URL) (BIB)
Special issue on Structural Information and Communication Complexity. Shantanu Das, and S{é}bastien Tixeuil. Theor. Comput. Sci., 811:1-2, 2020. (URL) (BIB)
Stand Up Indulgent Rendezvous. Quentin Bramas, Anissa Lamani, and S{é}bastien Tixeuil. CoRR, abs/2010.04400, 2020. (URL) (BIB)
Quixo Is Solved. Satoshi Tanaka, Fran{ç}ois Bonnet, S{é}bastien Tixeuil, and Yasumasa Tamura. CoRR, abs/2007.15895, 2020. (URL) (BIB)
Ressource Efficient Stabilization for Local Tasks despite Unknown Capacity Links. L{é}lia Blin, Ana{\ï}s Durand, and S{é}bastien Tixeuil. CoRR, abs/2002.05382, 2020. (URL) (BIB)
Autonomous Identification of IoT Device Types based on a Supervised Classification. Nesrine Ammar, Ludovic Noirie, and S{é}bastien Tixeuil. In 2020 {IEEE} International Conference on Communications, {ICC} 2020, Dublin, Ireland, June 7-11, 2020, pages 1-6, 2020. (URL) (BIB)
On the Encoding and Solving of Partial Information Games. Yackolley Amoussou-Guenou, Souheib Baarir, Maria Potop-Butucaru, Nathalie Sznajder, Léo Tible, and Sébastien Tixeuil. In Proceedings of the 8th Edition of the International Conference on NETworked sYStems (NETYS 2020), Marakech, Morocco, June 2020. (BIB)

2019

On asynchronous rendezvous in general graphs. Evangelos Bampas, L{é}lia Blin, Jurek Czyzowicz, David Ilcinkas, Arnaud Labourel, Maria Potop-Butucaru, and S{é}bastien Tixeuil. Theor. Comput. Sci., 753:80-90, 2019. (URL) (BIB)
Network-Protocol-Based IoT Device Identification. Nesrine Ammar, Ludovic Noirie, and S{é}bastien Tixeuil. In Fourth International Conference on Fog and Mobile Edge Computing, {FMEC} 2019, Rome, Italy, June 10-13, 2019, pages 204-209, 2019. (URL) (BIB)
Multi-hop Byzantine reliable broadcast with honest dealer made practical. Silvia Bonomi, Giovanni Farina, and S{é}bastien Tixeuil. J. Braz. Comp. Soc., 25(1):9:1-9:23, 2019. (URL) (BIB)
Optimal torus exploration by oblivious robots. St{é}phane Devismes, Anissa Lamani, Franck Petit, and S{é}bastien Tixeuil. Computing, 101(9):1241-1264, 2019. (URL) (BIB)
Packet Efficient Implementation of the Omega Failure Detector. Quentin Bramas, Dianne Foreback, Mikhail Nesterenko, and S{é}bastien Tixeuil. Theory Comput. Syst., 63(2):237-260, 2019. (URL) (BIB)
Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space. Xavier D{é}fago, Adam Heriban, S{é}bastien Tixeuil, and Koichi Wada. CoRR, abs/1907.09871, 2019. (URL) (BIB)
Synchronous Gathering without Multiplicity Detection: a Certified Algorithm. Thibaut Balabonski, Am{é}lie Delga, Lionel Rieg, S{é}bastien Tixeuil, and Xavier Urbain. Theory Comput. Syst., 63(2):200-218, 2019. (URL) (BIB)
Multi-hop Byzantine Reliable Broadcast Made Practical. Silvia Bonomi, Giovanni Farina, and S{é}bastien Tixeuil. CoRR, abs/1903.08988, 2019. (URL) (BIB)
Mobile Robots with Uncertain Visibility Sensors. Adam Heriban, and S{é}bastien Tixeuil. In Structural Information and Communication Complexity - 26th International Colloquium, {SIROCCO} 2019, L'Aquila, Italy, July 1-4, 2019, Proceedings, pages 349-352, 2019. (URL) (BIB)
Brief Announcement: Model Checking Rendezvous Algorithms for Robots with Lights in Euclidean Space. Xavier D{é}fago, Adam Heriban, S{é}bastien Tixeuil, and Koichi Wada. In 33rd International Symposium on Distributed Computing, {DISC} 2019, October 14-18, 2019, Budapest, Hungary, pages 41:1-41:3, 2019. (URL) (BIB)
Autonomous IoT Device Identification Prototype. Nesrine Ammar, Ludovic Noirie, and S{é}bastien Tixeuil. In Network Traffic Measurement and Analysis Conference, {TMA} 2019, Paris, France, June 19-21, 2019, pages 195-196, 2019. (URL) (BIB)
Asynchronous Scattering. Ulysse L{é}chine, and S{é}bastien Tixeuil. CoRR, abs/1905.09177, 2019. (URL) (BIB)
Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots. Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, S{é}bastien Tixeuil, and Xavier Urbain. In Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech, Morocco, June 19-21, 2019, Revised Selected Papers, pages 93-109, 2019. (URL) (BIB)
Distributed Online Data Aggregation in Dynamic Graphs. Quentin Bramas, Toshimitsu Masuzawa, and S{é}bastien Tixeuil. In Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech, Morocco, June 19-21, 2019, Revised Selected Papers, pages 365-380, 2019. (URL) (BIB)
Formal Methods for Mobile Robots. Maria Potop-Butucaru, Nathalie Sznajder, S{é}bastien Tixeuil, and Xavier Urbain. In Distributed Computing by Mobile Entities, Current Research in Moving and Computing., pages 278-313.Springer, , 2019. (URL) (BIB)
Fault-Tolerant Mobile Robots. Xavier D{é}fago, Maria Potop-Butucaru, and S{é}bastien Tixeuil. In Distributed Computing by Mobile Entities, Current Research in Moving and Computing., pages 234-251.Springer, , 2019. (URL) (BIB)
Approximate Agreement under Mobile Byzantine Faults. Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, and S{é}bastien Tixeuil. Theor. Comput. Sci., 758:17-29, 2019. (URL) (BIB)

2018

Reliable Broadcast in Dynamic Networks with Locally Bounded Byzantine Failures. Silvia Bonomi, Giovanni Farina, and S{é}bastien Tixeuil. In Stabilization, Safety, and Security of Distributed Systems - 20th International Symposium, {SSS} 2018, Tokyo, Japan, November 4-7, 2018, Proceedings, pages 170-185, 2018. (URL) (BIB)
Optimally Gathering Two Robots. Adam Heriban, Xavier D{é}fago, and S{é}bastien Tixeuil. In Proceedings of the 19th International Conference on Distributed Computing and Networking, {ICDCN} 2018, Varanasi, India, January 4-7, 2018, pages 3:1-3:10, 2018. (URL) (BIB)
On time complexity for connectivity-preserving scattering of mobile robots. Taisuke Izumi, Daichi Kaino, Maria Gradinariu Potop-Butucaru, and S{é}bastien Tixeuil. Theor. Comput. Sci., 738:42-52, 2018. (URL) (BIB)
Reliable Broadcast in Dynamic Networks with Locally Bounded Byzantine Failures. Silvia Bonomi, Giovanni Farina, and S{é}bastien Tixeuil. Technical report, 2018. (URL) (BIB)
Ring Exploration with Myopic Luminous Robots. Fukuhito Ooshita, and S{é}bastien Tixeuil. In Stabilization, Safety, and Security of Distributed Systems - 20th International Symposium, {SSS} 2018, Tokyo, Japan, November 4-7, 2018, Proceedings, pages 301-316, 2018. (URL) (BIB)
Short Paper: Tight Bounds for Universal and Cautious Self-stabilizing 1-Maximal Matching. Michiko Inoue, and S{é}bastien Tixeuil. In Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers, pages 334-339, 2018. (URL) (BIB)
Ring Exploration with Myopic Luminous Robots. Fukuhito Ooshita, and S{é}bastien Tixeuil. Technical report, 2018. (URL) (BIB)
Multi-hop Byzantine Reliable Broadcast Made Practical. Silvia Bonomi, Giovanni Farina, and S{é}bastien Tixeuil. In 8th Latin-American Symposium on Dependable Computing, {LADC} 2018, Foz do Igua{ç}u, Brazil, October 8-10, 2018, pages 155-160, 2018. (URL) (BIB)
Concurrent Geometric Multicasting. Jordan Adamek, Mikhail Nesterenko, James Scott Robinson, and S{é}bastien Tixeuil. In Proceedings of the 19th International Conference on Distributed Computing and Networking, {ICDCN} 2018, Varanasi, India, January 4-7, 2018, pages 9:1-9:10, 2018. (URL) (BIB)
Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots. Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, S{é}bastien Tixeuil, and Xavier Urbain. In Stabilization, Safety, and Security of Distributed Systems - 20th International Symposium, {SSS} 2018, Tokyo, Japan, November 4-7, 2018, Proceedings, pages 404-408, 2018. (URL) (BIB)
Automated Synthesis of Distributed Self-Stabilizing Protocols. Fathiyeh Faghih, Borzoo Bonakdarpour, S{é}bastien Tixeuil, and Sandeep S. Kulkarni. Logical Methods in Computer Science, 14(1), 2018. (URL) (BIB)
Arbitrary Pattern Formation with Four Robots. Quentin Bramas, and S{é}bastien Tixeuil. In Stabilization, Safety, and Security of Distributed Systems - 20th International Symposium, {SSS} 2018, Tokyo, Japan, November 4-7, 2018, Proceedings, pages 333-348, 2018. (URL) (BIB)
Brief Announcement: Optimal Self-stabilizing Mobile Byzantine-Tolerant Regular Register with Bounded Timestamps. Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, and S{é}bastien Tixeuil. In Stabilization, Safety, and Security of Distributed Systems - 20th International Symposium, {SSS} 2018, Tokyo, Japan, November 4-7, 2018, Proceedings, pages 398-403, 2018. (URL) (BIB)
Churn Possibilities and Impossibilities. Dianne Foreback, Mikhail Nesterenko, and S{é}bastien Tixeuil. In Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers, pages 303-317, 2018. (URL) (BIB)
Compact Self-Stabilizing Leader Election for General Networks. L{é}lia Blin, and S{é}bastien Tixeuil. In {LATIN} 2018: Theoretical Informatics - 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings, pages 161-173, 2018. (URL) (BIB)
Compact deterministic self-stabilizing leader election on a ring: the exponential advantage of being talkative. Lélia Blin, and Sébastien Tixeuil. Distributed Computing, 31(2):139-166, 2018. (URL) (BIB)
A Foundational Framework for Certified Impossibility Results with Mobile Robots on Graphs. Thibaut Balabonski, Robin Pelle, Lionel Rieg, and S{é}bastien Tixeuil. In Proceedings of the 19th International Conference on Distributed Computing and Networking, {ICDCN} 2018, Varanasi, India, January 4-7, 2018, pages 5:1-5:10, 2018. (URL) (BIB)

2017

Stateless Reliable Geocasting. Jordan Adamek, Mikhail Nesterenko, James Scott Robinson, and S{é}bastien Tixeuil. In 36th {IEEE} Symposium on Reliable Distributed Systems, {SRDS} 2017, Hong Kong, Hong Kong, September 26-29, 2017, pages 44-53, 2017. (URL) (BIB)
Structural Information and Communication Complexity - 24th International Colloquium, SIROCCO 2017, Porquerolles, France, June 19-22, 2017, Revised Selected Papers. Shantanu Das and S{é}bastien Tixeuil, editor. volume 10641 of Lecture Notes in Computer Science, Springer, 2017. (URL) (BIB)
The complexity of data aggregation in static and dynamic wireless sensor networks. Quentin Bramas, and S{é}bastien Tixeuil. Inf. Comput., 255:369-383, 2017. (URL) (BIB)
The Random Bit Complexity of Mobile Robots Scattering. Quentin Bramas, and S{é}bastien Tixeuil. Int. J. Found. Comput. Sci., 28(2):111-134, 2017. (URL) (BIB)
Parameterized verification of algorithms for oblivious robots on a ring. Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, and S{é}bastien Tixeuil. In 2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna, Austria, October 2-6, 2017, pages 212-219, 2017. (URL) (BIB)
Optimal Storage under Unsynchronized Mobile Byzantine Faults. Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, and S{é}bastien Tixeuil. In 36th {IEEE} Symposium on Reliable Distributed Systems, {SRDS} 2017, Hong Kong, Hong Kong, September 26-29, 2017, pages 154-163, 2017. (URL) (BIB)
Brief Announcement: Compact Self-Stabilizing Leader Election in Arbitrary Graphs. L{é}lia Blin, and S{é}bastien Tixeuil. In 31st International Symposium on Distributed Computing, {DISC} 2017, October 16-20, 2017, Vienna, Austria, pages 43:1-43:3, 2017. (URL) (BIB)
Brief Announcement: Efficient Self-Stabilizing 1-Maximal Matching Algorithm for Arbitrary Networks. Michiko Inoue, Fukuhito Ooshita, and S{é}bastien Tixeuil. In Proceedings of the {ACM} Symposium on Principles of Distributed Computing, {PODC} 2017, Washington, DC, USA, July 25-27, 2017, pages 411-413, 2017. (URL) (BIB)
Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open Problems. Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, S{é}bastien Tixeuil, and Xavier Urbain. In Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and - 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings, pages 165-181, 2017. (URL) (BIB)
Evaluating and optimizing stabilizing dining philosophers. Jordan Adamek, Giovanni Farina, Mikhail Nesterenko, and S{é}bastien Tixeuil. J. Parallel Distrib. Comput., 109:63-74, 2017. (URL) (BIB)
An Efficient Silent Self-stabilizing 1-Maximal Matching Algorithm Under Distributed Daemon for Arbitrary Networks. Michiko Inoue, Fukuhito Ooshita, and S{é}bastien Tixeuil. In Stabilization, Safety, and Security of Distributed Systems - 19th International Symposium, {SSS} 2017, Boston, MA, USA, November 5-8, 2017, Proceedings, pages 93-108, 2017. (URL) (BIB)

2016

Benchmarking Energy-Efficient Broadcast Protocols in Wireless Sensor Networks. Quentin Bramas, and Sébastien Tixeuil. In Networked Systems (NETYS), pages 87-101, Marakech, Morocco, May 2016. (BIB)
Formation de Motifs Géométriques Arbitraires par des Robots Désorientés. Quentin Bramas, and Sébastien Tixeuil. In Proceedings of Algotel 2016, Bayonne, May 2016. (BIB)
Specification-based Synthesis of Distributed Self-Stabilizing Protocols. Fathiyeh Faghih, Borzoo Bonakdarpour, Sandeep S. Kulkarni, and Sébastien Tixeuil. In Formal Techniques for Distributed Objects, Components, and Systems International Conference (FORTE), pages 124-141, Heraklion, Grece, June 2016. (BIB)
Distributed Online Data Aggregation in Dynamic Graphs. Quentin Bramas, Toshimitsu Masuzawa, and Sébastien Tixeuil. In IEEE International Conference on Distributed Computing Systems (ICDCS), Nara, Japan, June 2016. (BIB)
Benchmarking Self-stabilization. Sébastien Tixeuil. In Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2016), Salvador, Brazil, June 2016. (BIB)
Benchmarking Self-stabilization with Probabilistic Model Checking and Simulation. Sébastien Tixeuil. In IEICE Workshop on the Theory of Computation, Nara, Japan, April 2016. (BIB)
Tolerating random Byzantine failures in an Unbounded Network. Alexandre Maurer, and Sébastien Tixeuil. Parallel Processing Letters (PPL), 26(1):12, March 2016. (BIB)
The Random Bit Complexity of Mobile Robot Scattering. Quentin Bramas, and Sébastien Tixeuil. International Journal of Foundations of Computer Science (IJFCS), 2016. (BIB)
The Complexity of Data Aggregation in Static and Dynamic Wireless Sensor Networks. Quentin Bramas, and Sébastien Tixeuil. {I}nformation and {C}omputation, 2016. (BIB)
Stability and Optimization of DNS-based Request Redirection in CDNs. Walid Bencha\ïta, Samir Ghamri-Doudane, and Sébastien Tixeuil. In Proceedings of the International Conference on Distributed Computing and Networking (ICDCN 2016), Singapore, January 2016. (BIB)
A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-free Property. Lélia Blin, Maria Potop-Butucaru, Stéphane Rovedakis, and Sébastien Tixeuil. The Computer Journal (CJ), 59(2):225-243, 2016. (BIB)
Approximate Agreement under Mobile Byzantine Faults Model. Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, and Sébastien Tixeuil. In IEEE International Conference on Distributed Computing Systems (ICDCS), Nara, Japan, June 2016. (BIB)
Optimal Mobile Byzantine Fault Tolerant Distributed Storage: Extended Abstract. Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, and Sébastien Tixeuil. In ACM Conference on Principles of Distributed Computing (PODC), pages 269-278, Chicago, USA, July 2016. (BIB)
Packet Efficient Implementation of the Omega Failure Detector. Quentin Bramas, Dianne Foreback, Mikhail Nesterenko, and Sébastien Tixeuil. In Proceedings of SSS 2016, pages 70-87, Lyon, France, November 2016. (BIB)
Probabilistic Asynchronous Arbitrary Pattern Formation (Short Paper). Quentin Bramas, and Sébastien Tixeuil. In Proceedings of the International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), pages 88-93, Lyon, France, November 2016. (BIB)
Infinite Unlimited Churn (Short Paper). Dianne Foreback, Mikhail Nesterenko, and Sébastien Tixeuil. In Proceedings of International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), pages 148-153, Lyon, France, November 2016. (BIB)
Formal Verification of Mobile Robot Protocols. Béatrice Bérard, Pascal Lafourcade, Laure Millet, Maria Potop-Butucaru, Yann Thierry-Mieg, and Sébastien Tixeuil. Distributed Computing (DC), 29(6):459-487, November 2016. (BIB)
Demonstration of Performance Gains Using Information-Aware Content Delivery Mechanisms. Walid Bencha\ïta, Gioacchino Tangari, Samir Ghamri-Doudane, and Sébastien Tixeuil. In Proceedings of the 41th Annual IEEE Conference on Local Computer Networks (LCN 2016), Dubai, November 2016. (BIB)
Synchronous Gathering without Multiplicity Detection: A Certified Algorithm. Thibaut Balabonski, Amélie Delga, Lionel Rieg, Sébastien Tixeuil, and Xavier Urbain. In Proceedings of SSS 2016, pages 7-19, Lyon, France, November 2016. (BIB)
Enhancing Content Distribution through Information-Aware Mechanisms. Walid Bencha\ïta, Gioacchino Tangari, Samir Ghamri-Doudane, and Sébastien Tixeuil. In IEEE International Conference on Cloud Networking (CloudNet), Pisa, Italy, October 2016. (BIB)
Brief Announcement: Probabilistic Asynchronous Arbitrary Pattern Formation. Quentin Bramas, and Sébastien Tixeuil. In ACM Conference on Principles of Distributed Computing (PODC), pages 443-445, Chicago, USA, July 2016. (BIB)
Brief Announcement: Certified Universal Gathering in R$^2$ for Oblivious Mobile Robots. Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, and Xavier Urbain. In ACM Conference on Principles of Distributed Computing (PODC), pages 439-441, Chicago, USA, July 2016. (BIB)
Asynchronous gathering in rings with four robots. François Bonnet, Maria Potop-Butucaru, and Sébastien Tixeuil. In Ad-hoc, Mobile, and Wireless Networks International Conference (ADHOC-NOW), pages 311-324, Lille, France, July 2016. (BIB)
Certified Universal Gathering in R2 for Oblivious Mobile Robots. Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, and Xavier Urbain. In Proceedings of International Symposium on Distributed Computing (DISC), pages 187-200, Paris, France, September 2016. (BIB)
An efficient silent self-stabilizing 1-maximal matching algorithm under distributed daemon without global identifiers. Michiko Inoue, Fukuhito Ooshita, and Sébastien Tixeuil. In Proceedings of International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), pages 195-212, Lyon, France, November 2016. (BIB)

2015

Impossibility of Gathering, a Certification. Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, and Xavier Urbain. Information Processing Letters (IPL), 115(3):447-452, January 2015. (BIB)
Containing Byzantine Failures with Control Zones. Alexandre Maurer, and Sébastien Tixeuil. IEEE Trans. Parallel Distrib. Syst. (TPDS), 26(2):362-370, January 2015. (BIB)
Stabilizing Byzantine-Fault Tolerant Storage. Silvia Bonomi, Maria Potop-Butucaru, and Sébastien Tixeuil. In Proceedings of the IEEE International Parallel and Distributed Processing Symposium (IPDPS 2015), Hyderabad, India, May 2015. (BIB)
Optimal Torus Exploration by Oblivious Robots. Stéphane Devismes, Anissa Lamani, Franck Petit, and Sébastien Tixeuil. In Proceedings of Networked Systems - Third International Conference (NETYS 2015), Agadir, Morocco, May 2015. (BIB)
Invited Paper: Formal Methods for Mobile Robots: Current Results and Open problems. Béatrice Bérard, Pierre Courtieu, Laure Millet, Maria Potop-Butucaru, Lionel Rieg, Nathalie Sznajder, Sébastien Tixeuil, and Xavier Urbain. International Journal of Informatics Society (IJIS), 7(3):101-114, 2015. (BIB)
Maximum Metric Spanning Tree Made Byzantine Tolerant. Swan Dubois, Toshimitsu Masuzawa, and Sébastien Tixeuil. {A}lgorithmica, 73(1):166-201, 2015. (BIB)
Weak vs. Self vs. Probabilistic Stabilization. Stéphane Devismes, Masafumi Yamashita, and Sébastien Tixeuil. International Journal of Foundations of Computer Science (IJFCS), 26(3):293-320, 2015. (BIB)
Practically stabilizing SWMR atomic memory in message-passing systems. Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, and S{é}bastien Tixeuil. J. Comput. Syst. Sci., 81(4):692-701, 2015. (URL) (BIB)
On the self-stabilization of mobile oblivious robots in uniform rings. Fukuhito Ooshita, and S{é}bastien Tixeuil. Theor. Comput. Sci., 568:84-96, 2015. (URL) (BIB)
On the Optimization of Request Routing for Content Delivery. Walid Bencha\ïta, Samir Ghamri-Doudane, and Sébastien Tixeuil. Computer Communication Review (CCR), 45(5):347-348, 2015. (BIB)
The Random Bit Complexity of Mobile Robots Scattering. Quentin Bramas, and Sébastien Tixeuil. In Proceedings of Ad-hoc, Mobile, and Wireless Networks - 14th International Conference (ADHOC-NOW 2015), Athens, Greece, June 2015. (BIB)
Synthèse d'algorithmes pour robots mobiles: le cas du regroupement sur un anneau. Laure Millet, Maria Gradinariu Potop-Butucaru, Nathalie Sznajder, and Sébastien Tixeuil. In Proceedings of Algotel 2015, Beaune, France, June 2015. (BIB)
On the Optimization of Request Routing for Content Delivery. Walid Bencha\ïta, Samir Ghamri-Doudane, and Sébastien Tixeuil. In Proceedings of the 2015 ACM Conference on Special Interest Group on Data Communication (SIGCOMM 2015), London, UK, August 2015. (BIB)
Automated Analysis of Impact of Scheduling on Performance of Self-Stabilizing Protocols. Saba Aflaki, Borzoo Bonakdarpour, and Sébastien Tixeuil. In Proceedings of the International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2015), Edmonton, Canada, August 2015. (BIB)
WiSeBat: Accurate Energy Benchmarking of Wireless Sensor Networks. Quentin Bramas, Wilfried Dron, Mariem Ben Fadhl, Khalil Hachicha, Patrick Garda, and Sébastien Tixeuil. In Proceedings of Forum on specification \& Design Languages (FDL 2015), Barcelona, Spain, September 2015. (BIB)
Reliable Communication in a Dynamic Network in the Presence of Byzantine Faults. Alexandre Maurer, Xavier Défago, and Sébastien Tixeuil. In Proceedings of the IEEE International Symposium on Reliable Distributed Systems (SRDS 2015), Montréal, Canada, September 2015. (BIB)
The Complexity of Data Aggregation in Static and Dynamic Wireless Sensor Networks. Quentin Bramas, and Sébastien Tixeuil. In Proceedings of the International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2015), Edmonton, Canada, August 2015. (BIB)
Wait-free Gathering without Chirality. Quentin Bramas, and Sébastien Tixeuil. In Proceedings of SIROCCO 2015, Montserrat, Spain, July 2015. (BIB)
De la Survie \'Energétique des Réseaux de Capteurs. Quentin Bramas, Wilfried Dron, Mariem Ben Fadhl, Khalil Hachicha, Patrick Garda, and Sébastien Tixeuil. In Proceedings of Algotel 2015, Beaune, France, June 2015. (BIB)
Communication fiable dans un réseau dynamique en présence de fautes Byzantines. Alexandre Maurer, Xavier Défago, and Sébastien Tixeuil. In Proceedings of Algotel 2015, Beaune, France, June 2015. (BIB)
Agréger Rapidement des Données est Difficile. Quentin Bramas, and Sébastien Tixeuil. In Proceedings of Algotel 2015, Beaune, France, June 2015. (BIB)
Evaluating and Optimizing Stabilizing Dining Philosophers. Jordan Adamek, Mikhail Nesterenko, and Sébastien Tixeuil. In Proceedings of the European Dependable Computing Conference (EDCC 2015), Paris, France, September 2015. (BIB)

2014

Gathering fat mobile robots with slim omnidirectional cameras. Anthony Honorat, Maria Potop-Butucaru, and S{é}bastien Tixeuil. Theor. Comput. Sci. (TCS), 557:1-27, 2014. (URL) (BIB)
Optimal Torus Exploration by Oblivious Mobile Robots. Devismes, Stéphane, Lamani, Anissa, Petit, Franck, and Tixeuil, Sébastien, Jan 2014. (http://hal.inria.fr/hal-00926573). (PDF) (BIB)
Compact Deterministic Self-Stabilizing Leader Election: The Exponential Advantage of Being Talkative. Lélia Blin, and Sébastien Tixeuil. Technical report, LIP6, 2014. (BIB)
Byzantine broadcast with fixed disjoint paths. Alexandre Maurer, and S{é}bastien Tixeuil. J. Parallel Distrib. Comput. (JPDC), 74(11):3153-3160, 2014. (URL) (BIB)
Brief Announcement: Designing a Fault Tolerance Algorithm to Optimize Experimental Performance: the Case of Stabilizing Dining Philosophers. Jordan Adamek, Mikhail Nesterenko, and Sébastien Tixeuil. In Stabilization, Safety, and Security of Distributed Systems - 16th International Symposium, {SSS} 2014, Paderborn, Germany, September 28 - October 1, 2014. Proceedings, pages 349-351, September 2014. (BIB)
On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering. Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, and S{é}bastien Tixeuil. In Stabilization, Safety, and Security of Distributed Systems - 16th International Symposium, {SSS} 2014, Paderborn, Germany, September 28 - October 1, 2014. Proceedings, pages 237-251, September 2014. (URL) (BIB)
Self-stabilizing Byzantine Broadcast. Alexandre Maurer, and Sébastien Tixeuil. In Proceedings of the 33rd IEEE Symposium on Reliable Distributed Systems (SRDS 2014), Nara, Japan, October 2014. (BIB)

2013

A self-stabilizing 3-approximation for the maximum leaf spanning tree problem in arbitrary networks. Sayaka Kamei, Hirotsugu Kakugawa, Stéphane Devismes, and Sébastien Tixeuil. J. Comb. Optim., 25(3):430-459, 2013. (BIB)
A scalable Byzantine grid. Alexandre Maurer, and Sébastien Tixeuil. In Proceedings of the International Conference on Distributed Computing and Networking (ICDCN 2013), pages 87-101, Mumbai, India, January 2013. (BIB)
Invited Paper: Dependable Information Broadcast in Sparsely Connected Networks. Alexandre Maurer, and Sébastien Tixeuil. In International Conference on Latin American Dependable Computing (LADC 2013), Rio de Janeiro, Brasil, April 2013. (BIB)
Vérification formelle et robots mobiles. Béatrice Bérard, Laure Millet, Maria Potop-Butucaru, Sébastien Tixeuil, and Yann Thierry-Mieg. In Proceedings of Algotel 2013, Pornic, France, May 2013. (BIB)
Fast Leader (Full) Recovery despite Dynamic Faults. Ajoy Kumar Datta, Stéphane Devismes, Lawrence Larmore, and Sébastien Tixeuil. In Proceedings of the International Conference on Distributed Computing and Networking (ICDCN 2013), pages 428-433, Mumbai, India, January 2013. (BIB)
Ideal stabilisation. Mikhail Nesterenko, and Sébastien Tixeuil. IJGUC, 4(4):219-230, 2013. (BIB)
Parameterizable Byzantine Broadcast in Loosely Connected Networks. Alexandre Maurer, and Sébastien Tixeuil. Technical report, LIP6, January 2013. (BIB)
Optimal Probabilistic Ring Exploration by Semi-synchronous Oblivious Robots. Stéphane Devismes, Franck Petit, and Sébastien Tixeuil. Theoretical Computer Science (TCS), 498:10-27, 2013. (BIB)
On Byzantine Broadcast in Planar Graphs. Alexandre Maurer, and Sébastien Tixeuil. Technical report, UPMC Sorbonne Universités, January 2013. (URL) (BIB)
Linearizing Peer-to-Peer Systems with Oracles. Rizal Mohd Nor, Mikhail Nesterenko, and Sébastien Tixeuil. In SSS, pages 221-236, 2013. (BIB)
Tolérer les fautes Byzantines dans les graphes planaires. Alexandre Maurer, and Sébastien Tixeuil. In Proceedings of Algotel 2013, Pornic, France, May 2013. (BIB)
Explorer une grille avec un minimum de robots amnésiques. Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, and Sébastien Tixeuil. In Proceedings of Algotel 2013, Pornic, France, May 2013. (BIB)
Rigorous Performance Evaluation of Self-stabilization Using Probabilistic Model Checking. Narges Fallahi, Borzoo Bonakdarpour, and Sébastien Tixeuil. In Proceedings of the International Conference on Reliable Distributed Systems (SRDS 2013), pages 153-162, Braga, Portugal. IEEE, September 2013. (BIB)
Consensus with Unknown Participants in Shared Memory. Catia Khouri, Fabíola Greve, and Sébastien Tixeuil. In Proceedings of the International Conference on Reliable Distributed Systems (SRDS 2013), pages 51-60, Braga, Portugal. IEEE, September 2013. (BIB)
Compact Deterministic Self-stabilizing Leader Election - The Exponential Advantage of Being Talkative. Lélia Blin, and Sébastien Tixeuil. In International Symposium on Distributed Computing (DISC), pages 76-90, Jerusalem, Israel, October 2013. (BIB)
Brief Announcement: Certified Impossibility Results for Byzantine-Tolerant Mobile Robots. Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, and Xavier Urbain. In International Symposium on Distributed Computing (DISC), pages 577-578, Jerusalem, Israel, October 2013. (BIB)
The Random Bit Complexity of Mobile Robots Scattering. Quentin Bramas, and Sébastien Tixeuil. Technical report, September 2013. (BIB)
Brief Announcement: Deterministic Self-stabilizing Leader Election in $O(\log \log n)$ space. Lélia Blin, and Sébastien Tixeuil. In Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC 2013), pages 125-127, Montréal, Canada. ACM, July 2013. (BIB)
Contenu généré par les utilisateurs : une étude sur DailyMotion. Yannick Carlinet, The Dang Huynh, Bruno Kauffmann, Fabien Mathieu, Ludovic Noirie, and Sébastien Tixeuil. In Proceedings of Algotel 2013, Pornic, France, May 2013. (BIB)
Certified Impossibility Results for Byzantine-Tolerant Mobile Robots. Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, and Xavier Urbain. Technical report, LIP6, June 2013. (BIB)
Gathering of Mobile Robots Tolerating Multiple Crash Faults. Zohir Bouzid, Shantanu Das, and Sébastien Tixeuil. In Proceedings of the IEEE International Conference on Distributed Computing Systems (ICDCS 2013), pages 337-346, Philadelphia, PA, USA, July 2013. (BIB)
Certified Impossibility Results for Byzantine-Tolerant Mobile Robots. Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, and Xavier Urbain. In SSS, pages 178-190, Osaka, Japan, November 2013. (BIB)

2012

The Byzantine Brides Problem. Swan Dubois, Sébastien Tixeuil, and Nini Zhu. In Proceedings of the Sixth International Conference on Fun with Algorithms (FUN 2012), Venice, June 2012. (URL) (PDF) (BIB)
Limiting Byzantine Influence in Multihop Asynchronous Networks. Alexandre Maurer, and Sébastien Tixeuil. In Proceedings of IEEE International Conference on Distributed Computing Systems (ICDCS 2012), Macau, China, June 2012. (URL) (PDF) (BIB)
Self-Stabilizing Byzantine Asynchronous Unison. Swan Dubois, Maria Potop-Butucaru, Mikhail Nesterenko, and Sébastien Tixeuil. Journal of Parallel and Distributed Computing (JPDC), 72(7):917-923, July 2012. (URL) (PDF) (BIB)
Confinement de fautes Byzantines dans les réseaux multi-sauts asynchrones. Alexandre Maurer, and Sébastien Tixeuil. In Proceedings of Algotel 2012, La Grande Motte, France, May 2012. (URL) (PDF) (BIB)
Mariages et Trahisons. Swan Dubois, Sébastien Tixeuil, and Nini Zhu. In Proceedings of Algotel 2012, La Grande Motte, France, May 2012. (URL) (PDF) (BIB)
Bounding the Impact of Unbounded Attacks in Stabilization. Swan Dubois, Toshimitsu Masuzawa, and Sébastien Tixeuil. IEEE Transactions on Parallel and Distributed Systems (TPDS), 23(3):460-466, March 2012. (URL) (BIB)
A Fast and Robust Optimistic Total Order Broadcast for Online Video Games. Samuel Bernard, Xavier Défago, and Sébastien Tixeuil. In Proceedings of FAINA 2012, Fukuoka, Japan, March 2012. (URL) (BIB)
Consenso com Participantes Desconhecidos em Memória Compartilhada. Cátia Khouri, Fabíola Greve, and Sébastien Tixeuil. In Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2012), April 2012. (BIB)
Gathering an even number of robots in a symmetric ring without global multiplicity detection. Anissa Lamani, Sayaka Kamei, Fukuhito Ooshita, and Sébastien Tixeuil. In Proceedings of the International Conference on Mathematical Foundations of Computer Science (MFCS 2012), Bratislava, Slovakia, August 2012. (BIB)
Four Months in DailyMotion: Dissecting User Video Requests. Yannick Carlinet, The Dang Huynh, Bruno Kauffmann, Fabien Mathieu, Ludovic Noirie, and Sébastien Tixeuil. In Proceedings of the Third International Workshop on Traffic Analysis and Classification (TRAC 2012), Limassol, Cyprus, August 2012. (URL) (PDF) (BIB)
Brief Announcement: Wait-free Gathering of Mobile Robots. Zohir Bouzid, Shantanu Das, and Sébastien Tixeuil. In Proceedings of the International Conference on Distributed Computing (DISC 2012), pages 405-406, Salvador, Brazil, October 2012. (BIB)
Brief Announcement: Discovering and Assessing Fine-grained Metrics in Robot Networks Protocols. François Bonnet, Xavier Défago, Franck Petit, Maria Potop-Butucaru, and Sébastien Tixeuil. In Proceedings of the International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2012), Toronto, Canada, October 2012. (BIB)
Parameterizable Byzantine Broadcast in Loosely Connected Networks. Alexandre Maurer, and Sébastien Tixeuil. Technical report, UPMC Sorbonne Universités, November 2012. (URL) (BIB)
On Byzantine Broadcast in Loosely Connected Networks. Alexandre Maurer, and Sébastien Tixeuil. In Proceedings of the International Conference on Distributed Computing (DISC 2012), pages 257-270, Salvador, Brazil, October 2012. (BIB)
On the self-stabilization of mobile oblivious robots in uniform rings. Fukuhito Ooshita, and Sébastien Tixeuil. In Proceedings of the International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2012), Toronto, Canada, October 2012. (BIB)
Using Abstract Simulation for Performance Evaluation of Stabilizing Algorithms: The Case of Propagation of Information with Feedback. Jordan Adamek, Mikhail Nesterenko, and Sébastien Tixeuil. In Proceedings of the International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2012), Toronto, Canada, October 2012. (BIB)
Optimal Grid Exploration by Asynchronous Oblivious Robots. Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, and Sébastien Tixeuil. In Proceedings of the International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2012), pages 64-76, Toronto, Canada, October 2012. (BIB)
Crash Resilient and Pseudo-Stabilizing Atomic Registers. Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, and Sébastien Tixeuil. In Proceedings of the International Conference on Principles of Distributed Systems (OPODIS 2012), Rome, Italy, December 2012. (BIB)

2011

Maximum Metric Spanning Tree made Byzantine Tolerant. Swan Dubois, Toshimitsu Masuzawa, and Sébastien Tixeuil. Technical report, CoRR, April 2011. (URL) (BIB)
Communication Optimalement Stabilisante sur Canaux non Fiables et non FIFO. Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, and Sébastien Tixeuil. In Proceedings of Algotel 2011, April 2011. (URL) (BIB)
Auto-Stabilisation et Confinement de Fautes Malicieuses : Optimalité du Protocole min+1. Swan Dubois, Toshimitsu Masuzawa, and Sébastien Tixeuil. In Proceedings of Algotel 2011, April 2011. (URL) (BIB)
Asynchronous mobile robot gathering from symmetric configurations without global multiplicity detection. Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, and Sébastien Tixeuil. Technical report, CoRR, April 2011. (URL) (BIB)
Ideal Stabilization. Mikhail Nesterenko, and Sébastien Tixeuil. In Proceedings of IEEE AINA 2011, pages 224-231, Biopolis, Singapore, March 2011. (URL) (BIB)
Self-Stabilization, Byzantine Containment, and Maximizable Metrics: Necessary Conditions. Swan Dubois, Toshimitsu Masuzawa, and Sébastien Tixeuil. Technical report, CoRR, March 2011. (URL) (BIB)
Stabilizing data-link over non-FIFO channels with optimal fault-resilience. Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, and Sébastien Tixeuil. Inf. Process. Lett., 111(18):912-920, 2011. (BIB)
Self-stabilization in Self-organized Multihop Wireless Networks. Nathalie Mitton, Bruno Séricola, Sébastien Tixeuil, Eric Fleury, and Isabelle Guérin-Lassous. Ad Hoc and Sensor Wireless Networks, 11(1-2):1-34, January 2011. (URL) (PDF) (BIB)
Editorial. Sébastien Tixeuil. Technique et Science Informatiques, 30(7):777-779, 2011. (BIB)
Optimal grid exploration by asynchronous oblivious robots. Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, and Sébastien Tixeuil. Technical report, CoRR, May 2011. (URL) (BIB)
The BG-simulation for Byzantine Mobile Robots. Taisuke Izumi, Zohir Bouzid, Sébastien Tixeuil, and Koichi Wada. Technical report, CoRR, June 2011. (URL) (BIB)
Brief Announcement: The BG-simulation for Byzantine Mobile Robots. Taisuke Izumi, Zohir Bouzid, Sébastien Tixeuil, and Koichi Wada. In Proceedings of the International Conference on Distributed Computing (DISC 2011), Roma, Italy, September 2011. (URL) (BIB)
A self-stabilizing 2/3-approximation algorithm for the maximum matching problem. Fredrik Manne, Morten Mjelde, Laurence Pilard, and Sébastien Tixeuil. Theoretical Computer Science (TCS), 412(40):5515-5526, September 2011. (URL) (PDF) (BIB)
Pragmatic Self-Stabilization of Atomic Memory in Message-Passing Systems. Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, and Sébastien Tixeuil. In Proceedings of the International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2011), Grenoble, France, October 2011. (BIB)
A Taxonomy of Daemons in Self-stabilization. Swan Dubois, and Sébastien Tixeuil. Technical report 1110.0334, ArXiv eprint, October 2011. (URL) (PDF) (BIB)
Distributed Computing with Mobile Robots: an Introductory Survey. Maria Potop-Butucaru, Michel Raynal, and Sébastien Tixeuil. In Proceedings of the International Conference on Network-Based Information Systems (NBIS), Tirana, Albania, September 2011. (BIB)
Maximum Metric Spanning Tree made Byzantine Tolerant. Swan Dubois, Toshimitsu Masuzawa, and Sébastien Tixeuil. In Proceedings of the International Conference on Distributed Computing (DISC 2011), Rome, Italy, September 2011. (URL) (BIB)
Asynchronous mobile robot gathering from symmetric configurations without global multiplicity detection. Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, and Sébastien Tixeuil. In Proceedings of the International Colloquium on Structural Information and Communication Complexity (SIROCCO 2011), Gdansk, Poland, June 2011. (URL) (BIB)
Dynamic FTSS in Asynchronous Systems: the Case of Unison. Swan Dubois, Maria Potop-Butucaru, and Sébastien Tixeuil. Theoretical Computer Science (TCS), 412(29):3418-3439, July 2011. (URL) (BIB)
Deterministic Secure Positioning in Wireless Sensor Networks. Sylvie Delaët, Partha Sarathi Mandal, Mariusz Rokicki, and Sébastien Tixeuil. Theoretical Computer Science (TCS), 412(35):4471-4481, August 2011. (URL) (PDF) (BIB)
Asynchronous exclusive perpetual grid exploration without sense of direction. François Bonnet, Alessia Milani, Maria Potop-Butucaru, and Sébastien Tixeuil. In Proceedings of International Conference on Principles of Distributed Systems (OPODIS 2011), pages 251-265, Toulouse, France, December 2011. (URL) (PDF) (BIB)

2010

Communications Efficaces et Auto-Stabilisation. Stéphane Devismes, Toshimitsu Masuzawa, and Sébastien Tixeuil. In Proceedings of Algotel 2010, Belle-Dune, France, May 2010. (BIB)
Construction auto-stabilisante d'arbre couvrant en dépit d'actions malicieuses. Swan Dubois, Toshimitsu Masuzawa, and Sébastien Tixeuil. In Proceedings of Algotel 2010, Belle-Dune, France, May 2010. (BIB)
XS-WSNet : Extreme-scale Wireless Sensor Simulation. Asim Ali, and Sébastien Tixeuil. In Proceedings of WOWMOM 2010, Montreal, Canada, June 2010. (BIB)
Stabilizing Locally Maximizable Tasks in Unidirectional Networks is Hard. Toshimitsu Masuzawa, and Sébastien Tixeuil. In Proceedings of IEEE International Conference on Distributed Computing Systems (ICDCS 2010), pages 718-727, June 2010. (BIB)
Reliability, Availibility, and Security, 3rd International Workshop (WRAS 2010). Franck Petit and Sébastien Tixeuil, editor. , Zurich, Switzerland, July 2010. (BIB)
Optimal deterministic ring exploration with oblivious asynchronous robots. Anissa Lamani, Maria Potop-Butucaru, and Sébastien Tixeuil. In Proceedings of the International Colloquium on Structural Information and Communication Complexity (SIROCCO 2010), pages 183-196, June 2010. (BIB)
On Byzantine Containment Properties of the min+1 Protocol. Dubois, Swan, Masuzawa, Toshimitsu, and Tixeuil, Sébastien. Research Report inria-00487091, INRIA, 05 2010. (URL) (PDF) (BIB)
Self-stabilization with Byzantine tolerance for global tasks. Dubois, Swan, Masuzawa, Toshimitsu, and Tixeuil, Sébastien. Research Report inria-00484645, INRIA, 05 2010. (URL) (PDF) (BIB)
Ascending runs in dependent uniformly distributed random variables: Application to wireless networks. Nathalie Mitton, Katy Paroux, Bruno Sericola, and Sébastien Tixeuil. Methodology and Computing in Applied Probability, 12(1):51-62, January 2010. (URL) (BIB)
Probabilistic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks. Samuel Bernard, Stéphane Devismes, Katy Paroux, Maria Potop-Butucaru, and Sébastien Tixeuil. In Proceedings of ICDCN 2010, pages 167-177, Kolkata, India, January 2010. (URL) (BIB)
Quiescence of Self-stabilizing Gossiping among Mobile Agents in Graphs. Toshimitsu Masuzawa, and Sébastien Tixeuil. Theoretical Computer Science (TCS), 411(14-15):1567-1582, March 2010. (URL) (BIB)
Exclusive perpetual ring exploration without chirality. Lélia Blin, Alessia Milani, Maria Potop-Butucaru, and Sébastien Tixeuil. Technical report, Univ. Pierre \& Marie Curie - Paris 6, March 2010. (BIB)
The Impact of Topology on Byzantine Containment in Stabilization. Dubois, Swan, Masuzawa, Toshimitsu, and Tixeuil, Sébastien. Research Report inria-00481836, INRIA, 05 2010. (URL) (PDF) (BIB)
Optimal Byzantine-resilient Convergence in Unidimensional Robot Networks. Zohir Bouzid, Maria Gradinariu Potop-Butucaru, and Sébastien Tixeuil. Theoretical Computer Science (TCS), 411(34-36):3154-3168, July 2010. (URL) (BIB)
Brief Announcement: Monotonic Stabilization. Yukiko Yamauchi, and Sébastien Tixeuil. In Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC 2010), Zurich, Switzerland, July 2010. (BIB)
SAFE-OS: a Secure and Usable Desktop Operating System. François Lesueur, Ala Rezmerita, Thomas Hérault, Sylvain Peyronnet, and Sébastien Tixeuil. In Proceedings of CRiSIS 2010, Montréal, Canada, October 2010. (BIB)
A framework for Secure and Private P2P Publish/Subscribe. Samuel Bernard, Maria Potop-Butucaru, and Sébastien Tixeuil. In Proceedings of the International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2010), pages 531-545, New York, NY, USA, September 2010. (URL) (BIB)
Advanced Faults Patterns for WSN Dependability Benchmarking. Asim Ali, and Sébastien Tixeuil. In Proceedings of ACM MSWiM 2010, Bodrum, Turkey. ACM, October 2010. (BIB)
Snap-Stabilization in Message-Passing Systems. Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, and Sébastien Tixeuil. Journal of Parallel and Distributed Computing (JPDC), 70(12):1220-1230, December 2010. (URL) (BIB)
Robocast: Asynchronous Communication in Robot Networks. Zohir Bouzid, Shlomi Dolev, Maria Potop-Butucaru, and Sébastien Tixeuil. In Proceedings of International Conference on Principles of Distributed Systems (OPODIS 2010), Tozeur, Tunisia, December 2010. (BIB)
Self-Stabilizing Byzantine Asynchronous Unison. Swan Dubois, Maria Potop-Butucaru, Mikhail Nesterenko, and Sébastien Tixeuil. In Proceedings of International Conference on Principles of Distributed Systems (OPODIS 2010), Tozeur, Tunisia, December 2010. (URL) (BIB)
Brief Announcement: Sharing Memory in a Self-Stabilizing Manner. Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, and Sébastien Tixeuil. In Proceedings of the International Conference on Distributed Computing (DISC 2010), Boston, Massachusetts, USA, September 2010. (BIB)
Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility. Taisuke Izumi, Maria Potop-Butucaru, and Sébastien Tixeuil. In Proceedings of the International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2010), New York, NY, USA, September 2010. (BIB)
Universal Loop-Free Super-Stabilization. Lélia Blin, Maria Potop-Butucaru, Stéphane Rovedakis, and Sébastien Tixeuil. In Proceedings of the International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2010), New York, NY, USA, September 2010. (BIB)
A Self-Stabilizing 3-Approximation for the Maximum Leaf Spanning Tree Problem in Arbitrary Networks. Sayaka Kamei, Hirotsugu Kakugawa, Stéphane Devismes, and Sébastien Tixeuil. In Proceedings of COCOON 2010, Na Thrang, Vietnam, July 2010. (BIB)
The Impact of Topology on Byzantine Containment in Stabilization. Swan Dubois, Toshimitsu Masuzawa, and Sébastien Tixeuil. In Proceedings of the International Conference on Distributed Computing (DISC 2010), Boston, Massachusetts, USA, September 2010. (URL) (PDF) (BIB)
On Byzantine Containment Properties of the min+1 Protocol. Swan Dubois, Toshimitsu Masuzawa, and Sébastien Tixeuil. In Proceedings of the International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2010), New York, NY, USA, September 2010. (URL) (BIB)
Exclusive perpetual ring exploration without chirality. Lélia Blin, Alessia Milani, Maria Potop-Butucaru, and Sébastien Tixeuil. In Proceedings of the International Conference on Distributed Computing (DISC 2010), Boston, Massachusetts, USA, September 2010. (BIB)
Monotonic Stabilization. Yukiko Yamauchi, and Sébastien Tixeuil. In Proceedings of International Conference on Principles of Distributed Systems (OPODIS 2011), Tozeur, Tunisia, December 2010. (BIB)

2009

A New Self-Stabilizing Maximal Matching Algorithm. Fredrik Manne, Morten Mjelde, Laurence Pilard, and Sébastien Tixeuil. Theoretical Computer Science (TCS), 410(14):1336-1345, March 2009. (URL) (BIB)
Stabilizing Maximal Independent Set in Unidirectional Networks is Hard. Toshimitsu Masuzawa, and Sébastien Tixeuil. Technical report, March 2009. (URL) (BIB)
Dynamic FTSS in Asynchronous Systems: the Case of Unison. Swan Dubois, Maria Potop-Butucaru, and Sébastien Tixeuil. Research Report arXiv:0904.4615, INRIA, April 2009. (URL) (BIB)
Sur le Coloriage Auto-stabilisant dans les Réseaux Unidirectionnels Anonymes. Samuel Bernard, Stéphane Devismes, Katy Paroux, Maria Gradinariu Potop-Butucaru, and Sébastien Tixeuil. In Proceedings of Algotel 2009, May 2009. (URL) (BIB)
Optimal Probabilistic Ring Exploration by Semi-synchronous Oblivious Robots. Stéphane Devismes, Franck Petit, and Sébastien Tixeuil. In Proceedings of the International Colloquium on Structural Information and Communication Complexity (SIROCCO 2009), pages 195-208, Piran, Slovenia, May 2009. (URL) (BIB)
Stabilisation Instantanée dans les Systèmes à Passage de Messages. Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, and Sébastien Tixeuil. In Proceedings of Algotel 2009, May 2009. (URL) (BIB)
Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots. Stéphane Devismes, Franck Petit, and Sébastien Tixeuil. Technical report inria-00360305, INRIA, February 2009. (URL) (BIB)
Byzantine-resilient Convergence in Oblivious Robot Networks. Zohir Bouzid, Maria Gradinariu Potop-Butucaru, and Sébastien Tixeuil. In International Conference on Distributed Systems and Networks (ICDCN 2009), pages 275-280, January 2009. (URL) (BIB)
Self-stabilizing Philosophers with Generic Conflicts. Praveen Danturi, Mikhail Nesterenko, and Sébastien Tixeuil. ACM Transactions of Adaptive and Autonomous Systems (TAAS), 4(1), January 2009. (URL) (BIB)
Snap-Stabilization in Message-Passing Systems. Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, and Sébastien Tixeuil. In International Conference on Distributed Systems and Networks (ICDCN 2009), pages 281-286, January 2009. (URL) (BIB)
Self-Stabilizing Byzantine Asynchronous Unison. Swan Dubois, Maria Gradinariu Potop-Butucaru, Mikhail Nesterenko, and Sébastien Tixeuil. Technical report, 2009. (BIB)
Optimal deterministic ring exploration with oblivious asynchronous robots. Anissa Lamani, Maria Potop-Butucaru, and Sébastien Tixeuil. Technical report, 2009. (BIB)
On Bootstrapping Topology Knowledge in Anonymous Networks. Toshimitsu Masuzawa, and Sébastien Tixeuil. ACM Transactions on Adaptive and Autonomous Systems (TAAS), 4(1), January 2009. (URL) (BIB)
Optimal Deterministic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks. Samuel Bernard, Stéphane Devismes, Maria Gradinariu Potop-Butucaru, and Sébastien Tixeuil. In Proceedings of the {IEEE} International Conference on Parallel and Distributed Processing Systems (IPDPS 2009), pages 1-8, Rome, Italy, May 2009. (URL) (BIB)
Optimal byzantine resilient convergence in oblivious robot networks. Zohir Bouzid, Maria Potop-Butucaru, and Sébastien Tixeuil. Technical report, May 2009. (URL) (BIB)
Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks. Zohir Bouzid, Maria Gradinariu Potop-Butucaru, and Sébastien Tixeuil. In Proceedings of the International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2009), pages 165-179, Lyon, France, November 2009. (URL) (BIB)
A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-free Property. Lélia Blin, Maria Gradinariu Potop-Butucaru, Stéphane Rovedakis, and Sébastien Tixeuil. In Proceedings of the International Conference on Distributed Computing (DISC 2009), Elche, Spain, September 2009. (URL) (BIB)
Self-stabilizing Algorithms. Sébastien Tixeuil, in Algorithms and Theory of Computation Handbook, Second Edition. CRC Press, Taylor \& Francis Group, November 2009. (URL) (BIB)
Reliability, Availibility, and Security, 2nd International Workshop (WRAS 2009). Hirostugu Kakugawa and Sébastien Tixeuil, editor. , Hiroshima, Japan, December 2009. (BIB)
Discovering Network Topology in the Presence of Byzantine Nodes. Mikhail Nesterenko, and Sébastien Tixeuil. IEEE Transactions on Parallel and Distributed Systems (TPDS), 20(12):1777-1789, December 2009. (URL) (PDF) (BIB)
Brief Announcement: Dynamic FTSS in Asynchronous Systems: the Case of Unison. Swan Dubois, Maria Potop-Butucaru, and Sébastien Tixeuil. In Proceedings of the International Conference on Distributed Computing (DISC 2009), Elche, Spain, September 2009. (URL) (BIB)
Byzantine Convergence in Robots Networks: The Price of Asynchrony. Zohir Bouzid, Maria Potop-Butucaru, and Sébastien Tixeuil. Technical report, UPMC, August 2009. (URL) (BIB)
A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-free Property. Lélia Blin, Maria Gradinariu Potop-Butucaru, Stéphane Rovedakis, and Sébastien Tixeuil. Technical report, May 2009. (URL) (BIB)
Exploration Optimale Probabiliste d'un Anneau par des Robots Semi-Synchrones et Amnésiques. Stéphane Devismes, Franck Petit, and Sébastien Tixeuil. In Proceedings of Algotel 2009, May 2009. (URL) (BIB)
Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks. Zohir Bouzid, Maria Gradinariu Potop-Butucaru, and Sébastien Tixeuil. Technical report, June 2009. (URL) (BIB)
Ideal Stabilization. Mikhail Nesterenko, and Sébastien Tixeuil. Research Report, June 2009. (URL) (BIB)
Communication Efficiency in Self-Stabilizing Silent Protocols. Stéphane Devismes, Toshimitsu Masuzawa, and Sébastien Tixeuil. In Proceedings of the IEEE International Conference on Distributed Computing Systems (ICDCS 2009), pages 474-481, Montreal, Canada, June 2009. (URL) (BIB)
Byzantine Convergence in Robots Networks: The Price of Asynchrony. Zohir Bouzid, Maria Potop-Butucaru, and Sébastien Tixeuil. In Proceedings of International Conference on Principles of Distributed Systems (OPODIS 2009), pages 54-70, N\^{\i}mes, France, December 2009. (URL) (BIB)

2008

Strong Stabilization: Bounding Times Affected by Byzantine Processes in Stabilization. Toshimitsu Masuzawa, and Sébastien Tixeuil. In Asian Association for Algorithms and Computation annual meeting (AAAC 2008), Hong Kong, April 2008. (BIB)
Universe Detectors for Sybil Defense in Ad Hoc Wireles Networks. Adnam Vora, Mikhail Nesterenko, Sébastien Tixeuil, and Sylvie Delaët. Technical report, INRIA, May 2008. (BIB)
Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel'2008). David Simplot-Ryl and Sébastien Tixeuil, editor. , St-Malo, France, May 2008. (URL) (BIB)
Ascending runs in dependent uniformly distributed random variables: Application to wireless networks. Nathalie Mitton, Katy Paroux, Bruno Sericola, and Sébastien Tixeuil. Research Report 6443, INRIA, February 2008. (URL) (BIB)
Snap-Stabilization in Message-Passing Systems. Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, and Sébastien Tixeuil. Research Report 6446, INRIA, February 2008. (URL) (BIB)
Principles of Distributed Systems, 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings. Theodore P. Baker and Alain Bui and Sébastien Tixeuil, editor. volume 5401 of Lecture Notes in Computer Science, Springer, 2008. (BIB)
Dependability Evaluation of The Ogsa-Dai Middleware. William Hoarau, Sébastien Tixeuil, Nuno Rodrigues, Décio Sousa, and Luis Silva, in Achievements in European Research on Grid Systems. {S}pringer {B}erlin / {H}eidelberg, 2008. (URL) (BIB)
Bounds for Self-stabilization in Unidirectional Networks. Samuel Bernard, Stéphane Devismes, Maria Gradinariu Potop-Butucaru, and Sébastien Tixeuil. Technical report, INRIA, May 2008. (BIB)
Weak vs. Self vs. Probabilistic Stabilization. Stéphane Devismes, Sébastien Tixeuil, and Masafumi Yamashita. In Proceedings of the IEEE International Conference on Distributed Computing Systems (ICDCS 2008), pages 681-688, Beijin, China, June 2008. (URL) (BIB)
Communication Efficiency in Self-Stabilizing Silent Protocols. Stéphane Devismes, Toshimitsu Masuzawa, and Sébastien Tixeuil. Technical report RR-6731, INRIA, November 2008. (URL) (BIB)
An Exercise in Selfish Stabilization. Johanne Cohen, Anurag Dasgupta, Sukumar Ghosh, and Sébastien Tixeuil. ACM Transactions of Adaptive Autonomous Systems (TAAS), 3(4), November 2008. (URL) (BIB)
Universe Detectors for Sybil Defense in Ad Hoc Wireles Networks. Adnam Vora, Mikhail Nesterenko, Sébastien Tixeuil, and Sylvie Delaët. In Proceedings of the International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2008), November 2008. (URL) (BIB)
Brief Announcement: Snap-Stabilization in Message-Passing Systems. Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, and Sébastien Tixeuil. In Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC 2008), August 2008. (URL) (BIB)
Quiescence of Self-stabilizing Gossiping among Mobile Agents in Graphs. Toshimitsu Masuzawa, and Sébastien Tixeuil. In Proceedings of the International Colloquium on Structural Information and Communication Complexity (SIROCCO 2008), Villars-sur-Ollon, Switzerland, June 2008. (BIB)
Deterministic Secure Positioning in Wireless Sensor Networks. Sylvie Delaët, Partha Sarathi Mandal, Mariusz Rokicki, and Sébastien Tixeuil. In Proceedings of the ACM/IEEE International Conference on Distributed Computing in Sensor Networks (DCOSS 2008), Santorini, Greece, June 2008. (URL) (BIB)
A self-stabilizing 2/3-approximation algorithm for the maximum matching problem. Fredrik Manne, Morten Mjelde, Laurence Pilard, and Sébastien Tixeuil. In Proceedings of the International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2008), Detroit, November 2008. (URL) (BIB)

2007

A New Self-Stabilizing Maximal Matching Algorithm. Fredrik Manne, Morten Mjelde, Laurence Pilard, and Sébastien Tixeuil. Research Report 6111, INRIA, January 2007. (URL) (BIB)
Connaissance vs. Synchronie pour l'Accord Tolérant aux Pannes dans les Réseaux Inconnus. Fabíola Greve, and Sébastien Tixeuil. In Proceedings of Algotel 2007, Oléron, May 2007. (URL) (BIB)
Condições de Conectividade para Realização de Acordo Tolerante a Falhas em Sistemas Auto-Organizàveis. Fabíola Gonçalves Pereira Greve, and Sébastien Tixeuil. In Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2007), May 2007. (BIB)
Transient Fault Detectors. Joffroy Beauquier, Sylvie Delaët, Shlomi Dolev, and Sébastien Tixeuil. Distributed Computing, 20(1):39-51, June 2007. (URL) (BIB)
Fault-injection and Dependability Benchmarking for GRID Computing Middleware. William Hoarau, Sébastien Tixeuil, and Luis Silva, in Integrated Research in Grid Computing. {S}pringer {B}erlin / {H}eidelberg, 2007. (URL) (BIB)
Knowledge Connectivity vs. Synchrony Requirements for Fault-Tolerant Agreement in Unknown Networks. Fabiola Greve, and Sébastien Tixeuil. Research Report 6099, INRIA, January 2007. (URL) (BIB)
Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings. Toshimitsu Masuzawa and Sébastien Tixeuil, editor. volume 4838 of Lecture Notes in Computer Science, Springer, 2007. (BIB)
Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings. Toshimitsu Masuzawa and Sébastien Tixeuil, editor. volume 4838 of Lecture Notes in Computer Science, Springer, 2007. (BIB)
Reliability, Availibility, and Security, 1st International Workshop, WRAS 2007, Paris, France, November 16, 2007, Proceedings. Toshimitsu Masuzawa and Sébastien Tixeuil, editor. , Univ. Paris 6, 2007. (BIB)
Knowledge Connectivity vs. Synchrony Requirements for Fault-Tolerant Agreement in Unknown Networks. Fabíola Greve, and Sébastien Tixeuil. In Proceedings of IEEE International Conference on Dependable Systems and networks (DSN 2007), pages 82-91, June 2007. (URL) (BIB)
Conflict Managers for Self-stabilization without Fairness Assumption. Maria Gradinariu, and Sébastien Tixeuil. In Proceedings of the International Conference on Distributed Computing Systems (ICDCS 2007), page 46, June 2007. (URL) (BIB)
Deterministic Secure Positioning in Wireless Sensor Networks. Sylvie Delaët, Partha Sarathi Mandal, Mariusz Rokicki, and Sébastien Tixeuil. Research Report 6326, INRIA, October 2007. (URL) (BIB)
Weak vs. Self vs. Probabilistic Stabilization. Stéphane Devismes, Sébastien Tixeuil, and Masafumi Yamashita. Technical report 6366, INRIA, November 2007. (URL) (BIB)
Stabilizing Link-Coloration of Arbitrary Networks with Unbounded Byzantine Faults. Toshimitsu Masuzawa, and Sébastien Tixeuil. International Journal of Principles and Applications of Information Science and Technology (PAIST), 1(1):1-13, December 2007. (URL) (BIB)
Fault-tolerant distributed algorithms for scalable systems. Sébastien Tixeuil, in Wireless Ad Hoc and Sensor Networks. ISTE, October 2007. (URL) (BIB)
On the Self-stabilization of Mobile Robots in Graphs. Lélia Blin, Maria Gradinariu Potop-Butucaru, and Sébastien Tixeuil. Technical report 6266, INRIA, September 2007. (URL) (BIB)
A New Self-Stabilizing Maximal Matching Algorithm. Fredrik Manne, Morten Mjelde, Laurence Pilard, and Sébastien Tixeuil. In Proceedings of the International Colloquium on Structural Information and Communication Complexity (SIROCCO 2007), pages 96-108, June 2007. (URL) (BIB)
Evaluating complex MAC protocols for sensor networks with APMC. Michaël Cadilhac, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, and Sébastien Tixeuil. Electronic Notes in Theoretical Computer Science, 185:33-46, July 2007. (URL) (BIB)
FAIL-FCI: Versatile Fault-Injection. William Hoarau, Sébastien Tixeuil, and Fabien Vauchelles. Future Generation Computer Systems, 23(7):913-919, August 2007. (URL) (BIB)
On the self-stabilization of mobile robots in graphs. Lélia Blin, Maria Gradinariu Potop-Butucaru, and Sébastien Tixeuil. In Proceedings of International Conference on Principles of Distributed Systems (OPODIS 2007), pages 301-314, December 2007. (URL) (BIB)

2006

Easy fault injection and stress testing with FAIL-FCI. William Hoarau, and Sébastien Tixeuil. In Second CoreGRID Workshop on Grid and Peer to Peer Systems Architecture, Paris, France, January 2006. (BIB)
Bounds on Topology Discovery in the Presence of Byzantine Faults. Mikhail Nesterenko, and Sébastien Tixeuil. Technical report TR-KSU-CS-2006-01, Dept. of Computer Science, Kent State University, 2006. (http://www.cs.kent.edu/techreps/TR-KSU-CS-2006-01.pdf). (BIB)
Bounding the Impact of Unbounded Attacks in Stabilization. Toshimitsu Masuzawa, and Sébastien Tixeuil. In Proceedings of the International Symposium on Self-stabilizing Systems (SSS 2006), pages 440-453, 2006. (BIB)
An Overview of Existing Tools for Fault-Injection and Dependability Benchmarking in Grids. Sébastien Tixeuil, William Hoarau, and Luis Silva. In Second CoreGRID Workshop on Grid and Peer to Peer Systems Architecture, Paris, France, January 2006. (BIB)
On Bootstrapping Topology Knowledge in Anonymous Networks. Toshimitsu Masuzawa, and Sébastien Tixeuil. In Proceedings of the International Symposium on Self-stabilizing Systems (SSS 2006), pages 454-468, 2006. (BIB)
Selfish Stabilization. Anurag Dasgupta, Sukumar Ghosh, and Sébastien Tixeuil. In Proceedings of the International Symposium on Self-stabilizing Systems (SSS 2006), pages 231-243, 2006. (BIB)
The reduced automata technique for graph exploration space lower bounds. Pierre Fraigniaud, David Ilcinkas, Sergio Rajsbaum, and Sébastien Tixeuil, in Shimon Even Festschrift. Springer-Verlag Berlin Heidelberg, 2006. (URL) (BIB)
Self-stabilizing Philosophers with Generic Conflicts. Praveen Danturi, Mikhail Nesterenko, and Sébastien Tixeuil. In Proceedings of the International Symposium on Self-stabilizing Systems (SSS 2006), pages 214-230, 2006. (BIB)
Self-stabilization with r-operators revisited. Sylvie Delaët, Bertrand Ducourthial, and Sébastien Tixeuil. Journal of Aerospace Computing, Information, and Communication (JACIC), 3(10):498-514, 2006. (URL) (PDF) (BIB)
Algorithmique répartie tolérante aux pannes dans les systèmes à grande échelle. Sébastien Tixeuil, in Réseaux mobiles ad hoc et réseaux de capteurs sans fils. Lavoisier, March 2006. (BIB)
Fault Injection in Distributed Java Applications. William Hoarau, Sébastien Tixeuil, and Fabien Vauchelles. In International Workshop on Java for Parallel and Distributed Computing (joint with IPDPS 2006), Greece, April 2006. (BIB)
FAIL-MPI: How fault-tolerant is fault-tolerant MPI?. William Hoarau, Pierre Lemarinier, Thomas Herault, Eric Rodriguez, Sébastien Tixeuil, and Franck Cappello. In Proceedings of Cluster 2006, Barcelona, Spain, September 2006. (URL) (BIB)
Conflict Managers for Self-stabilization without Fairness Assumption. Maria Gradinariu, and Sébastien Tixeuil. Technical report 1459, LRI, Université Paris Sud, September 2006. (URL) (BIB)
Benchmarking the OGSA-DAI Middleware. William Hoarau, Sébastien Tixeuil, Nuno Moreno, Décio Sousa, and Luis Silva. In Second Coregrid Integration Workshop, Krakow, Poland, October 2006. (BIB)
Benchmarking the OGSA-DAI Middleware. William Hoarau, Sébastien Tixeuil, Nuno Rodrigues, Décio Sousa, and Luis Silva. Technical report 0060, CoreGRID, October 2006. (URL) (BIB)
Discovering Network Topology in the Presence of Byzantine Nodes. Mikhail Nesterenko, and Sébastien Tixeuil. In Proceedings of the International Colloquium on Structural Information and Communication Complexity (SIROCCO 2006), pages 212-226, Chester, UK, July 2006. (BIB)
On Fast Randomized Colorings in Sensor Networks. Nathalie Mitton, Eric Fleury, Isabelle Guérin-Lassous, Bruno Séricola, and Sébastien Tixeuil. In Proceedings of ICPADS 2006, pages 31-38, July 2006. (BIB)
Vers l'Auto-stabilisation des Systèmes à Grande Echelle. Sébastien Tixeuil. Habilitation à Diriger les Recherches, Université Paris-Sud XI, May 2006. (URL) (BIB)
Convergence dans les réseaux sans fil. Nathalie Mitton, Eric Fleury, Isabelle Guérin-Lassous, Bruno Séricola, and Sébastien Tixeuil. In Proceedings of Algotel 2006, May 2006. (BIB)
FAIL-MPI: How fault-tolerant is fault-tolerant MPI?. Thomas Herault, William Hoarau, Pierre Lemarinier, Eric Rodriguez, and Sébastien Tixeuil. Technical report 1450, Université Paris-Sud XI, June 2006. (BIB)
An Overview of Existing Tools for Fault-Injection and Dependability Benchmarking in Grids. William Hoarau, Luis Silva, and Sébastien Tixeuil. Technical report 0041, CoreGRID, October 2006. (URL) (BIB)

2005

A language-driven tool for fault injection in distributed systems. William Hoarau, and Sébastien Tixeuil. Technical report 1399, Laboratoire de Recherche en Informatique, February 2005. (BIB)
Space lower bounds for graph exploration via reduced automata. Pierre Fraigniaud, David Ilcinkas, Sergio Rajsbaum, and Sébastien Tixeuil. In Proceedings of the International Colloquium on Structural Information and Communication Complexity (SIROCCO 2005), pages 140-154, Mont Saint-Michel, France, May 2005. (BIB)
Discovering Network Topology in the Presence of Byzantine Nodes. Mikhail Nesterenko, and Sébastien Tixeuil. Technical report TR-KSU-CS-2005-1, Kent State University, May 2005. (BIB)
A Self-Stabilizing Link-Coloring Protocol Resilient to Unbounded Byzantine Faults in Arbitrary Networks. Toshimitsu Masuzawa, and Sébastien Tixeuil. Technical report 1396, Laboratoire de Recherche en Informatique, January 2005. (BIB)
Self-stabilization with r-Operators Revisited. Sylvie Delaët, Bertrand Ducourthial, and Sébastien Tixeuil. In Proceedings of the International Symposium on Self-stabilizing Systems (SSS 2005), pages 68-80, 2005. (PDF) (BIB)
Stabilizing Inter-domain Routing in the Internet. Yu Chen, Ajoy Kumar Datta, and Sébastien Tixeuil. Journal of High Speed Networks, 14(1):21-37, 2005. (URL) (BIB)
Self-Stabilizing Systems, 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005, Proceedings. Ted Herman and Sébastien Tixeuil, editor. volume 3764 of Lecture Notes in Computer Science, Springer, 2005. (BIB)
Auto-stabilisation dans les réseaux ad hoc. Nathalie Mitton, Eric Fleury, Isabelle Guérin-Lassous, and Sébastien Tixeuil. In Proceedings of Algotel 2005, pages 45-48, May 2005. (BIB)
Self-stabilization in Self-organized Wireless Multihop Networks. Nathalie Mitton, Eric Fleury, Isabelle Guérin-Lassous, and Sébastien Tixeuil. In Proceedings of the 25th IEEE International Conference on Distributed Computing Systems Workshops (WWAN'05), pages 909-915, Columbus, Ohio, USA, June 2005. (BIB)
Fault-Injection and Dependability Benchmarking for Grid Computing Middleware. Sébastien Tixeuil, Luis Moura Silva, William Hoarau, Gon{ç}alo Jesus, João Bento, and Frederico Telles. In Proceedings of CoreGrid Integration Workshop, November 2005. (BIB)
A language-driven tool for fault injection in distributed applications. William Hoarau, and Sébastien Tixeuil. In Proceedings of the IEEE/ACM Workshop GRID 2005, Seattle, USA, November 2005. (BIB)
Easy Fault Injection and Stress Testing with FAIL-FCI. William Hoarau, Sébastien Tixeuil, and Fabien Vauchelles. Technical report 1421, Laboratoire de Recherche en Informatique, October 2005. (BIB)
Fault Injection in Distributed Java Applications. William Hoarau, Sébastien Tixeuil, and Fabien Vauchelles. Technical report 1420, Laboratoire de Recherche en Informatique, October 2005. (BIB)
On Fast Randomized Colorings in Sensor Networks. Nathalie Mitton, Eric Fleury, Isabelle Guérin-Lassous, Bruno Séricola, and Sébastien Tixeuil. Technical report 1416, Laboratoire de Recherche en Informatique, June 2005. (BIB)
Self-stabilizing Philosophers with Generic Conflicts. Praveen Danturi, Mikhail Nesterenko, and Sébastien Tixeuil. Technical report TR-KSU-CS-2005-05, Kent State University, August 2005. (BIB)
A Self-stabilizing Link Coloring Algorithm Resilient to Unbounded Byzantine Faults in Arbitrary Networks. Toshimitsu Masuzawa, and Sébastien Tixeuil. In Proceedings of International Conference on Principles of Distributed Systems (OPODIS 2005), pages 118-129, Pisa, Italy, December 2005. (BIB)

2004

Auto-stabilisation et Protocoles Réseaux. Colette Johnen, Franck Petit, and Sébastien Tixeuil. Technique et Science Informatiques, 23(8):1027-1056, 2004. (URL) (BIB)
Protocoles auto-stabilisants synchrones d'exclusion mutuelle pour les anneaux anonymes. Philippe Duchon, Nicolas Hanusse, and Sébastien Tixeuil. In Proceedings of Rencontres Francophones sur l'Algorithmique des Communications (Algotel'2004), Batz sur Mer, France. ENST Bretagne, 2004. (BIB)
Un Algorithme TDMA Réparti pour les réseaux de capteurs. Ted Herman, and Sébastien Tixeuil. In Proceedings of Rencontres Francophones sur l'Algorithmique des Communications (Algotel'2004), Batz sur Mer, France. ENST Bretagne, 2004. (BIB)
Optimal self-stabilizing mutual exclusion on synchronous rings. Philippe Duchon, Nicolas Hanusse, and Sébastien Tixeuil. Technical report 1389, University of Paris Sud XI, June 2004. (BIB)
A Distributed TDMA Slot Assignment Algorithm for Wireless Sensor Networks. Ted Herman, and Sébastien Tixeuil. In Proceedings of the First Workshop on Algorithmic Aspects of Wireless Sensor Networks (AlgoSensors'2004), pages 45-58, Turku, Finland, July 2004. (BIB)
Optimal Randomized Self-stabilizing Mutual Exclusion in Synchronous Rings. Philippe Duchon, Nicolas Hanusse, and Sébastien Tixeuil. In Proceedings of the International Conference on Distributed Computing (DISC 2004), pages 216-229, Amsterdam, The Nederlands, October 2004. (BIB)
Self-stabilizing Mutual Exclusion with Arbitrary Scheduler. Ajoy Kumar Datta, Maria Gradinariu, and Sébastien Tixeuil. The Computer Journal, 47(3):289-298, October 2004. (URL) (BIB)
Self-stabilization in Self-organized Wireless Multihop Networks. Nathalie Mitton, Eric Fleury, Isabelle Guérin-Lassous, and Sébastien Tixeuil. Technical report 5426, INRIA, December 2004. (URL) (BIB)

2003

Route Preserving Stabilization. Colette Johnen, and Sébastien Tixeuil. Technical report 1353, Laboratoire de Recherche en Informatique, 2003. (BIB)
Self-stabilization with r-operators in Unreliable Directed Networks. Sylvie Delaët, Bertrand Ducourthial, and Sébastien Tixeuil. Technical report 1361, Laboratoire de Recherche en Informatique, 2003. (BIB)
Self-stabilizing Wormhole Routing on Ring Networks. Ajoy Kumar Datta, Maria Gradinariu, Anthony B. Kenitzky, and Sébastien Tixeuil. Journal of Information Science and Engineering (JISE), 19:401-414, 2003. (URL) (BIB)
Route Preserving Stabilization. Colette Johnen, and Sébastien Tixeuil. In Proceedings of the International Symposium on Self-stabilizing Systems (SSS 2003), pages 184-198, 2003. (BIB)
Auto-stabilisation et Protocoles Réseau. Colette Johnen, Franck Petit, and Sébastien Tixeuil. Technical report 1357, Laboratoire de Recherche en Informatique, 2003. (BIB)
Self-stabilization with Path Algebra. Bertrand Ducourthial, and Sébastien Tixeuil. Theoretical Computer Science (TCS), 293(1):219-236, February 2003. (URL) (PDF) (BIB)
Stabilité et Auto-stabilisation du Routage Inter-domaine dans Internet. Sylvie Delaët, Duy-So Nguyen, and Sébastien Tixeuil. In Proceedings of RIVF 2003, pages 139-144, Hano\ï, Vietnam, February 2003. (BIB)
A Distributed TDMA Slot Assignment Algorithm for Wireless Sensor Networks. Ted Herman, and Sébastien Tixeuil. Technical report 1370, Laboratoire de Recherche en Informatique, 2003. (URL) (BIB)
Stabilité et Auto-stabilisation de BGP. Sylvie Delaët, Duy-So Nguyen, and Sébastien Tixeuil. In Proceedings of Algotel 2003, Banyuls, France, May 2003. (BIB)

2002

Optimal Snap-stabilizing Neighborhood Synchronizer in Tree Networks. Colette Johnen, Luc Alima, Ajoy Kumar Datta, and Sébastien Tixeuil. Parallel Processing Letters (PPL), 12(3-4):327-340, 2002. (URL) (BIB)
Self-stabilizing Wormhole Routing on Ring Networks. Ajoy Kumar Datta, Maria Gradinariu, Anthony B. Kenitzki, and Sébastien Tixeuil. Technical report 1324, Laboratoire de Recherche en Informatique, 2002. (URL) (BIB)
Stabilizing Inter-domain Routing in the Internet. Yu Chen, Ajoy Kumar Datta, and Sébastien Tixeuil. Technical report 1302, Laboratoire de Recherche en Informatique, 2002. (BIB)
Tolerating Transient and Intermittent Failures. Sylvie Delaët, and Sébastien Tixeuil. Journal of Parallel and Distributed Computing (JPDC), 62(5):961-981, May 2002. (URL) (BIB)
Actes de la première journée Réseaux et Algorithmes répartis. Sylvie Delaët and Thomas Herault and Colette Johnen and Sébastien Tixeuil, editor. volume 1325, Orsay, France, LRI, Université Paris Sud, June 2002. (BIB)
A Lower Bound on k-stabilization in Asynchronous Systems. Christophe Genolini, and Sébastien Tixeuil. In Proceedings of IEEE 21st Symposium on Reliable Distributed Systems (SRDS'2002), Osaka, Japan, October 2002. (BIB)
Self-stabilizing Inter-domain Routing in the Internet. Yu Chen, Ajoy Kumar Datta, and Sébastien Tixeuil. In Euro-Par'2002, pages 749-752, Paderborn, Germany, August 2002. (BIB)
Self-stabilizing Wormhole Routing in Ring Networks. Ajoy Kumar Datta, Maria Gradinariu, Anthony B Kenitzki, and Sébastien Tixeuil. In Proceedings of the {IEEE} International Conference on Parallel and Distributed Systems ({ICPADS}'2002), Taiwan, ROC, December 2002. (Best paper award). (URL) (BIB)

2001

Self-stabilization with r-operators. Bertrand Ducourthial, and Sébastien Tixeuil. Technical report 2001/358, Université de Technologie de Compiègne, 2001. (BIB)
Self-stabilizing Sorting on Tree Networks. Ajoy Kumar Datta, and Sébastien Tixeuil. Parallel Algorithms and Applications (PAA), 16(1):1-15, January 2001. (URL) (BIB)
Reactive k-stabilization and time adaptivity: possibility and impossibility results. Christophe Genolini, and Sébastien Tixeuil. Technical report 1276, Laboratoire de Recherche en Informatique, 2001. (BIB)
On a Space-Optimal Distributed Traversal Algorithm. Sébastien Tixeuil. In WSS, pages 216-228, 2001. (BIB)
Adaptive Multi-sourced Multicast. Bertrand Ducourthial, and Sébastien Tixeuil. In Rencontres Francophones sur les aspects Algorithmiques des Télécommunications ({AlgoTel}'2001), pages 135-142, St-Jean de Luz, France, May 2001. (in French). (BIB)
Tight Space Uniform Self-stabilizing l-Mutual Exclusion. Maria Gradinariu, and Sébastien Tixeuil. In Proceedings of IEEE International Conference on Distributed Computing Systems (ICDCS 2001), pages 83-90, Phoenix, Arizona, May 2001. (BIB)
Self-stabilization with r-operators. Bertrand Ducourthial, and Sébastien Tixeuil. Distributed Computing (DC), 14(3):147-162, July 2001. (URL) (PDF) (BIB)

2000

Tolerating Transient and Intermittent Failures. Sylvie Delaët, and Sébastien Tixeuil. Technical report 1246, University of Paris Sud XI, March 2000. (BIB)
Tight Space Uniform Self-stabilizing l-Mutual Exclusion. Maria Gradinariu, and Sébastien Tixeuil. Technical report 1249, University of Paris Sud XI, March 2000. (BIB)
Self-stabilizing Mutual Exclusion Using Unfair Distributed Scheduler. Ajoy Kumar Datta, Maria Gradinariu, and Sébastien Tixeuil. Technical report 1227, University of Paris Sud XI, February 2000. (BIB)
Stabilizing Hierarchical Routing. Ajoy Kumar Datta, Jerry Derby, James Lawrence, and Sébastien Tixeuil. Technical report 1244, University of Paris Sud XI, February 2000. (BIB)
Auto-stabilisation Efficace. Sébastien Tixeuil. PhD thesis, University of Paris Sud XI, January 2000. (URL) (BIB)
Self-stabilizing Mutual Exclusion Using Unfair Distributed Scheduler. Ajoy Kumar Datta, Maria Gradinariu, and Sébastien Tixeuil. In {IEEE} International Parallel and Distributed Processing SYmposium ({IPDPS}'2000), pages 465-470, Cancun, Mexico, May 2000. (BIB)
Self-stabilizing Construction of Optimal Broadcast Forests. Bertrand Ducourthial, and Sébastien Tixeuil. In Rencontres Francophones sur les aspects Algorithmiques des Télécommunications (AlgoTel'2000), pages 149-154, La Rochelle, France, May 2000. (in French). (BIB)
Tolerating Transient and Intermittent Failures. Sylvie Delaët, and Sébastien Tixeuil. In Proceedings of International Conference on Principles of Distributed Systems (OPODIS 2000), pages 17-36, Paris, France, December 2000. (BIB)
Stabilizing Hierarchical Routing. Ajoy Kumar Datta, Jerry Derby, James Lawrence, and Sébastien Tixeuil. Journal of Interconnexion Networks (JOIN), 1(4):283-302, November 2000. (URL) (BIB)
Self-stabilizing Vertex Coloring of Arbitrary Graphs. Maria Gradinariu, and Sébastien Tixeuil. Technical report 1260, Laboratoire de Recherche en Informatique, September 2000. (BIB)
Self-stabilization with Path Algebra. Bertrand Ducourthial, and Sébastien Tixeuil. In Proceedings of the International Colloquium on Structural Information and Communication Complexity (SIROCCO 2000), pages 95-110, L'Aquila, Italy, June 2000. (PDF) (BIB)
Self-stabilizing Vertex Coloring of Arbitrary Graphs. Maria Gradinariu, and Sébastien Tixeuil. In Proceedings of International Conference on Principles of Distributed Systems (OPODIS 2000), pages 55-70, Paris, France, December 2000. (URL) (PDF) (BIB)

1999

Self-stabilization in Eulerian Networks with Cut-through Constraints. Joffroy Beauquier, Shay Kutten, and Sébastien Tixeuil. Technical report 1200, University of Paris Sud XI, January 1999. (BIB)
Self-stabilizing census with cut-through constraint. Joffroy Beauquier, Ajoy Kumar Datta, and Sébastien Tixeuil. In WSS, pages 70-77, 1999. (BIB)
Self-stabilization with Path Algebra. Bertrand Ducourthial, and Sébastien Tixeuil. Technical report 1202, University of Paris Sud XI, February 1999. (BIB)
Self-stabilizing Neighborhood Synchronizer in Tree Networks. Colette Johnen, Luc Onana Alima, Ajoy Kumar Datta, and Sébastien Tixeuil. In Proceedings of the 19th International Conference on Distributed Computing Systems, pages 487-494, Austin, TX, USA, May 1999. (BIB)
Self-Stabilizing Algorithms in DAG Structured Networks. Sajal Das, Ajoy Kumar Datta, and Sébastien Tixeuil. In 1999 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '99), pages 190-197, Fremantle, Australia, June 1999. (BIB)
Self-stabilizing Algorithms in DAG Structured Networks. Sajal Das, Ajoy Kumar Datta, and Sébastien Tixeuil. Parallel Processing Letters (PPL), 9(4):563-574, December 1999. (URL) (BIB)

1998

Un Algorithme Auto-stabilisant en Dépit de Communications non Fiables. Sylvie Delaët, and Sébastien Tixeuil. Technique et Science Informatiques (TSI), 5(17), May 1998. (URL) (BIB)
A Fault-tolerant Distributed Sorting Algorithm on Tree Networks. Gianluigi Alari, Joffroy Beauquier, Joseph Chacko, Ajoy Kumar Datta, and Sébastien Tixeuil. In Proceedings of the Seventeenth IEEE International Performance, Computing, and Communications Conference (IPCCC'98), 1998. (BIB)
Self-stabilization with Causally Synchronized Wave on Tree Networks. Colette Johnen, Sébastien Tixeuil, Ajoy Kumar Datta, and Luc Alima. Technical report 1144, Laboratoire de Recherche en Informatique, January 1998. (BIB)
Self-stabilizing Sorting on Unidirectional Rings. Joffroy Beauquier, Ajoy Kumar Datta, and Sébastien Tixeuil. Technical report 1174, Laboratoire de Recherche en Informatique, May 1998. (BIB)
Self-Stabilization with Global Rooted Synchronizers. Luc Onana Alima, Joffroy Beauquier, Ajoy Kumar Datta, and Sébastien Tixeuil. In Proceedings of the 18th International Conference on Distributed Computing Systems, pages 102-109, Amsterdam, The Netherlands, May 1998. (URL) (PDF) (BIB)
Self-stabilizing Neighborhood Synchronizer in Tree Networks. Colette Johnen, Luc Alima, Ajoy Kumar Datta, and Sébastien Tixeuil. INFO RR 98-12, Université Catholique de Louvain, November 1998. (BIB)
Transient Fault Detectors. Joffroy Beauquier, Sylvie Delaët, Shlomi Dolev, and Sébastien Tixeuil. In Proceedings of the International Conference on Distributed Computing (DISC 1998), pages 62-74, Andros, Greece, September 1998. (BIB)
Self-stabilizing Global Computations with r-Operators. Bertrand Ducourthial, and Sébastien Tixeuil. Technical report 1182, Laboratoire de Recherche en Informatique, July 1998. (PDF) (BIB)
SelfStabilizing Global Computations with r-operators. Bertrand Ducourthial, and Sébastien Tixeuil. In Proceedings of International Conference on Principles of Distributed Systems (OPODIS 1998), pages 99-114, Amiens, France, December 1998. (PDF) (BIB)

1997

Auto-stabilisation en Dépit de Communications non Fiables. Sylvie Delaët, and Sébastien Tixeuil. In Renpar'9, Lausanne, Swizerland, June 1997. (BIB)

1996

Self-stabilizing Token Ring. Sébastien Tixeuil, and Joffroy Beauquier. In Proceedings of the Eleventh International Conference on System Engineering (ICSE'96), 1996. (BIB)
Self-stabilizing Token Ring. Sébastien Tixeuil, and Joffroy Beauquier. Technical report 1033, Laboratoire de Recherche en Informatique, February 1996. (BIB)

1995

Auto-stabilisation par Propagation de Compteur. Sébastien Tixeuil. Master's thesis, Université de Paris Sud, June 1995. (BIB)