Sébastien Tixeuil

Thibaut Balabonski, Amélie Delga, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain. Synchronous Gathering without Multiplicity Detection: a Certified Algorithm. Theory of Computing Systems, Springer Verlag, 2019, 63 (2), pp.200-218. ⟨10.1007/s00224-017-9828-z⟩. ⟨hal-01894618⟩

Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sébastien Tixeuil. Parameterized verification of algorithms for oblivious robots on a ring. Formal Methods in System Design, Springer Verlag, 2019, ⟨10.1007/s10703-019-00335-y⟩. ⟨hal-02290400⟩

Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil. Multi-hop Byzantine reliable broadcast with honest dealer made practical. Journal of the Brazilian Computer Society, Springer Verlag, 2019, 25 (1), ⟨10.1186/s13173-019-0090-x⟩. ⟨hal-02281139⟩

Lélia Blin, Sébastien Tixeuil. Compact deterministic self-stabilizing leader election on a ring: the exponential advantage of being talkative. Distributed Computing, Springer Verlag, 2018, 31 (2), pp.139-166. ⟨10.1007/s00446-017-0294-2⟩. ⟨hal-01486763⟩

Jordan Adamek, Giovanni Farina, Mikhail Nesterenko, Sébastien Tixeuil. Evaluating and Optimizing Stabilizing Dining Philosophers. Journal of Parallel and Distributed Computing, Elsevier, 2017, 109, pp.63-74. ⟨10.1016/j.jpdc.2017.05.003⟩. ⟨hal-01520335⟩

Quentin Bramas, Sébastien Tixeuil. The complexity of data aggregation in static and dynamic wireless sensor networks. Information and Computation, Elsevier, 2017, 255 (3), pp.369-383. ⟨10.1016/j.ic.2016.12.004⟩. ⟨hal-01419900⟩

Lélia Blin, Maria Potop-Butucaru, Stephane Rovedakis, Sébastien Tixeuil. A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-Free Property. The Computer Journal, Oxford University Press (UK), 2016, 59 (2), pp.225-243. ⟨10.1093/comjnl/bxv110⟩. ⟨hal-01269828⟩

Alexandre Maurer, Sébastien Tixeuil. Tolerating Random Byzantine Failures in an Unbounded Network. Parallel Processing Letters, World Scientific Publishing, 2016, 26 (1), pp.1650003. ⟨10.1142/S0129626416500031⟩. ⟨hal-01294311⟩

Beatrice Bérard, Pascal Lafourcade, Laure Millet, Maria Potop-Butucaru, Yann Thierry-Mieg, et al.. Formal verification of mobile robot protocols. Distributed Computing, Springer Verlag, 2016, 29 (6), pp.459-487. ⟨10.1007/s00446-016-0271-1⟩. ⟨hal-01344903⟩

Fukuhito Ooshita, Sébastien Tixeuil. On the self-stabilization of mobile oblivious robots in uniform rings. Theoretical Computer Science, Elsevier, 2015, 568, pp.84-96. ⟨10.1016/j.tcs.2014.12.008⟩. ⟨hal-01123668⟩

Béatrice Bérard, Pierre Courtieu, Laure Millet, Maria Potop-Butucaru, Lionel Rieg, et al.. [Invited Paper] Formal Methods for Mobile Robots: Current Results and Open Problems. International Journal of Informatics Society, Japan Informatics Society, 2015, 7 (3), pp.101-114. ⟨hal-01238784⟩

Alexandre Maurer, Sébastien Tixeuil. Containing Byzantine Failures with Control Zones. IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2015, 26 (2), pp.362-370. ⟨10.1109/TPDS.2014.2308190⟩. ⟨hal-01123661⟩

Stéphane Devismes, Franck Petit, Sébastien Tixeuil. Optimal probabilistic ring exploration by semi-synchronous oblivious robots. Theoretical Computer Science, Elsevier, 2013, 498, pp.10-27. ⟨10.1016/j.tcs.2013.05.031⟩. ⟨hal-00930045⟩

Mikhail Nesterenko, Sébastien Tixeuil. Ideal Stabilization. International Journal of Grid and Utility Computing, Inderscience, 2013, 4 (4), pp.219-230. ⟨10.1504/IJGUC.2013.057116⟩. ⟨hal-00930022⟩

Sayaka Kamei, Hirostugu Kakugawa, Stéphane Devismes, Sébastien Tixeuil. A self-stabilizing 3-approximation for the maximum leaf spanning tree problem in arbitrary networks. Journal of Combinatorial Optimization, Springer Verlag, 2013, 25 (3), pp.430-459. ⟨10.1007/s10878-011-9383-5⟩. ⟨hal-00930035⟩

Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil. Bounding the Impact of Unbounded Attacks in Stabilization. IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2012, 23 (3), pp.460-466. ⟨10.1109/TPDS.2011.158⟩. ⟨hal-00934036⟩

Swan Dubois, Maria Potop-Butucaru, Mikhail Nesterenko, Sébastien Tixeuil. Self-stabilizing byzantine asynchronous unison. Journal of Parallel and Distributed Computing, Elsevier, 2012, 72 (7), pp.917-923. ⟨10.1016/j.jpdc.2012.04.001⟩. ⟨hal-00934022⟩

Nathalie Mitton, Bruno Séricola, Sébastien Tixeuil, Eric Fleury, Isabelle Guérin-Lassous. Self-stabilization in Self-organized Multihop Wireless Networks. Ad Hoc & Sensor Wireless Networks, PKP Publishing ServicesNetwork 2011, 11 (1-2), pp.1-34. ⟨hal-00795173⟩

Nathalie Mitton, Katy Paroux, Bruno Sericola, Sébastien Tixeuil. Ascending runs in dependent uniformly distributed random variables: Application to wireless networks. Methodology and Computing in Applied Probability, Springer Verlag, 2010, 12 (1), pp.51-62. ⟨10.1007/s11009-008-9088-0⟩. ⟨hal-00384027⟩

Johanne Cohen, Anurag Dasgupta, Sukumar Ghosh, Sébastien Tixeuil. An Exercise in Selfish Stabilization. ACM Transactions on Autonomous and Adaptive Systems, Association for Computing Machinery (ACM), 2008, 3 (4), pp.Article 15. ⟨10.1145/1452001.1452005⟩. ⟨inria-00335919⟩

Sajal K. Das, Ajoy Datta, Sébastien Tixeuil. Self-Stabilizing Algorithms in DAG Structured Networks. Parallel Processing Letters, World Scientific Publishing, 1999, 9 (4), pp.563-574. ⟨10.1142/S0129626499000529⟩. ⟨hal-00930899⟩

Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, et al.. Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots. 7th International Conference on NETworked sYStems (NETYS 2019), Jun 2019, Marrakech, Morocco. pp.1-15. ⟨hal-02115599⟩

Nesrine Ammar, Ludovic Noirie, Sébastien Tixeuil. Autonomous IoT Device Identification Prototype. Network Traffic Measurement and Analysis Conference 2019, Jun 2019, Paris, France. https://tma.roc.cnam.fr/Proceedings/TMA_Demo_2.pdf, ⟨10.23919/TMA.2019.8784517⟩. ⟨hal-02168149⟩

Quentin Bramas, Sébastien Tixeuil. Les 4 Robots Fantastiques. ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France. ⟨hal-02123870⟩

Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, et al.. Manuel de savoir-prouver à l’usage des roboteux et des distributeux. ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France. pp.1-4. ⟨hal-02115611⟩

Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil, Koichi Wada. Gathering on Rings for Myopic Asynchronous Robots With Lights Sébastien Tixeuil. 23rd International Conference on Principles of Distributed Systems (OPODIS 2019), Dec 2019, Neuchatel, Netherlands. pp.27:1--27:17, ⟨10.4230/LIPIcs.OPODIS.2019.27⟩. ⟨hal-02475374⟩

Nesrine Ammar, Ludovic Noirie, Sébastien Tixeuil. Amélioration de l’identification du type des objets connectés par classification supervisée. CORES2019 - Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, Jun 2019, Jardins de Saint Benoît, France. ⟨hal-02126555⟩

Adam Heriban, Sébastien Tixeuil. Mobile Robots with Uncertain Visibility Sensors. SIROCCO 2019 - 26th International Colloquium on Structural Information and Communication Complexity, Jul 2019, L'Aquila, Italy. pp.349-352, ⟨10.1007/978-3-030-24922-9_27⟩. ⟨hal-02286008⟩

Nesrine Ammar, Ludovic Noirie, Sébastien Tixeuil. Network-Protocol-Based IoT Device Identification. 2019 Fourth International Conference on Fog and Mobile Edge Computing (FMEC), Jun 2019, Rome, Italy. pp.204-209, ⟨10.1109/FMEC.2019.8795318⟩. ⟨hal-02286011⟩

Xavier Défago, Adam Heriban, Sébastien Tixeuil, Koichi Wada. Brief Announcement: Model Checking Rendezvous Algorithms for Robots with Lights in Euclidean Space. 33rd International Symposium on Distributed Computing (DISC 2019), Oct 2019, Budapest, Hungary. pp.41:1--41:3, ⟨10.4230/LIPIcs.DISC.2019.41⟩. ⟨hal-02394992⟩

Silvia Bonomi, Antonella del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil. Brief Announcement: Optimal Self-stabilizing Mobile Byzantine-Tolerant Regular Register with Bounded Timestamps. 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2018), Nov 2018, Tokyo, Japan. pp.398-403, ⟨10.1007/978-3-030-03232-6_28⟩. ⟨hal-02443130⟩

Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil. Multi-hop Byzantine Reliable Broadcast Made Practical. LADC 2018 - 8th Latin-American Symposium on Dependable Computing, Oct 2018, Foz do Iguau, Brazil. pp.155-160, ⟨10.1109/LADC.2018.00026⟩. ⟨hal-02076443⟩

Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, et al.. Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots. Stabilization, Safety, and Security of Distributed Systems. SSS 2018., Xavier Defago, Toshimitsu Masuzawa, Koichi Wada, Nov 2018, Tokyo, Japan. pp.404-408, ⟨10.1007/978-3-030-03232-6_29⟩. ⟨hal-01937420⟩

Michiko Inoue, Fukuhito Ooshita, Sébastien Tixeuil. Brief Announcement: Efficient Self-Stabilizing 1-Maximal Matching Algorithm for Arbitrary Networks. ACM Conference on Principles of Distributed Computing (PODC 2017) , Jul 2017, Washington, United States. ⟨hal-01520336⟩

Lélia Blin, Sébastien Tixeuil. Brief announcement: Compact Self-Stabilizing Leader Election for General Networks. 31st International Symposium on Distributed Computing (DISC 2017), Oct 2017, Vienna, Austria. ⟨hal-01553088⟩

Lélia Blin, Sébastien Tixeuil. Algorithme Auto-Stabilisant Compact d'Election pour les Graphes Arbitraires. ALGOTEL 2017 - 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2017, Quiberon, France. ⟨hal-01512950⟩

Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sébastien Tixeuil. Parameterized verification of algorithms for oblivious robots on a ring. Formal Methods in Computer Aided Design, Oct 2017, Vienna, Austria. pp.212-219, ⟨10.23919/FMCAD.2017.8102262⟩. ⟨hal-01664894⟩

Quentin Bramas, Toshimitsu Masuzawa, Sébastien Tixeuil. Agrégation Distribuée de Données dans les Réseaux Dynamiques. ALGOTEL 2017 - 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2017, Quiberon, France. ⟨hal-01518548⟩

Quentin Bramas, Sébastien Tixeuil. Les Vertus Énergétiques de l'Inondation à Pleine Puissance. Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, May 2017, Quiberon, France. ⟨hal-01518553⟩

Jordan Adamek, Mikhail Nesterenko, James Scott Robinson, Sébastien Tixeuil. Stateless Reliable Geocasting. 36th IEEE Symposium on Reliable Distributed Systems (SRDS 2017), Sep 2017, Hong Kong, China. ⟨hal-01549915⟩

Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain. Certified Gathering of Oblivious Mobile Robots: survey of recent results and open problems. Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS/AVOCS), Sep 2017, Turin, Italy. pp.165-181, ⟨10.1007/978-3-319-67113-0_11⟩. ⟨hal-01549942⟩

Silvia Bonomi, Antonella del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil. Optimal Storage under Unsynchronized Mobile Byzantine Faults. 36th IEEE Symposium on Reliable Distributed Systems (SRDS 2017), Sep 2017, Hong Kong, China. ⟨hal-01549931⟩

Quentin Bramas, Sébastien Tixeuil. Formation de Motifs Géométriques Arbitraires par des Robots Désorientés. ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications , May 2016, Bayonne, France. ⟨hal-01302912⟩

Walid Benchaïta, Samir Ghamri-Doudane, Sébastien Tixeuil. Stability and optimization of DNS-based request redirection in CDNs. International Conference on Distributed Computing and Networking , Jan 2016, Singapore, Singapore. pp.11, ⟨10.1145/2833312.2833455⟩. ⟨hal-01272045⟩

Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep Kulkarni. Specification-Based Synthesis of Distributed Self-Stabilizing Protocols. 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.124-141, ⟨10.1007/978-3-319-39570-8_9⟩. ⟨hal-01432932⟩

Thibaut Balabonski, Amélie Delga, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain. Synchronous Gathering Without Multiplicity Detection: A Certified Algorithm. International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016), Nov 2016, Lyon, France. pp.7-19, ⟨10.1007/978-3-319-49259-9_2⟩. ⟨hal-01491813⟩

Michiko Inoue, Fukuhito Ooshita, Sébastien Tixeuil. An Efficient Silent Self-stabilizing 1-Maximal Matching Algorithm Under Distributed Daemon Without Global Identifiers. International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016), Nov 2016, Lyon, France. pp.195-212, ⟨10.1007/978-3-319-49259-9_17⟩. ⟨hal-01491823⟩

Quentin Bramas, Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil. Packet Efficient Implementation of the Omega Failure Detector. International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016), Nov 2016, Lyon, France. pp.70-87, ⟨10.1007/978-3-319-49259-9_6⟩. ⟨hal-01491817⟩

Quentin Bramas, Sébastien Tixeuil. Probabilistic Asynchronous Arbitrary Pattern Formation (Short Paper). International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016), Nov 2016, Lyon, France. pp.88-93, ⟨10.1007/978-3-319-49259-9_7⟩. ⟨hal-01491832⟩

Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil. Infinite Unlimited Churn (Short Paper). International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016), Nov 2016, Lyon, France. pp.148-153, ⟨10.1007/978-3-319-49259-9_12⟩. ⟨hal-01491828⟩

Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil. Synthèse d'algorithmes pour robots mobiles : le cas du regroupement sur un anneau. ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France. ⟨hal-01154517⟩

Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil. Optimal Torus Exploration by Oblivious Robots. NETYS 2015 - Third International Conference on Networked Systems, May 2015, Agadir, Morocco. pp.183-199, ⟨10.1007/978-3-319-26850-7_13⟩. ⟨hal-00926573v3⟩

Quentin Bramas, Wilfried Dron, Mariem Ben Fadhl, Khalil Hachicha, Patrick Garda, et al.. De la Survie Énergétique des Réseaux de Capteurs. ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France. ⟨hal-01144309⟩

Quentin Bramas, Sébastien Tixeuil. Agréger Rapidement des Données est Difficile. ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France. ⟨hal-01144458⟩

Alexandre Maurer, Xavier Defago, Sébastien Tixeuil. Communication fiable dans un réseau dynamique en présence de fautes Byzantines. ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France. ⟨hal-01146737⟩

Alexandre Maurer, Sébastien Tixeuil. Tolérer les fautes Byzantines dans les graphes planaires. 15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4. ⟨hal-00812914v4⟩

Yannick Carlinet, The Dang Huynh, Bruno Kauffmann, Fabien Mathieu, Ludovic Noirie, et al.. Contenu généré par les utilisateurs : une étude sur DailyMotion. 15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4. ⟨hal-00818606⟩

Ajoy Datta, Stéphane Devismes, Lawrence Larmore, Sébastien Tixeuil. Fast Leader (Full) Recovery Despite Dynamic Faults. International Conference on Distributed Computing and Networking, Jan 2013, Mumbai, India. pp.428-433, ⟨10.1007/978-3-642-35668-1_30⟩. ⟨hal-00930061⟩

Lélia Blin, Sébastien Tixeuil. Compact Deterministic Self-stabilizing Leader Election - The Exponential Advantage of Being Talkative. DISC 2013 - 27th International Symposium on Distributed Computing, Oct 2013, Jerusalem, Israel. pp.76-90, ⟨10.1007/978-3-642-41527-2_6⟩. ⟨hal-00930095⟩

Catia Khouri, Fabiola Greve, Sébastien Tixeuil. Consensus with Unknown Participants in Shared Memory. International Symposium on Reliable Distributed Systems, Sep 2013, Braga, Portugal. pp.51-60, ⟨10.1109/SRDS.2013.14⟩. ⟨hal-00930100⟩

Narges Fallahi, Borzoo Bonakdarpour, Sébastien Tixeuil. Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Model Checking. International Symposium on Reliable Distributed Systems, Sep 2013, Braga, Portugal. pp.153-162, ⟨10.1109/SRDS.2013.24⟩. ⟨hal-00930109⟩

Zohir Bouzid, Shantanu Das, Sébastien Tixeuil. Gathering of Mobile Robots Tolerating Multiple Crash Faults. International Conference on Distributed Computing Systems, Jul 2013, Philadelphia, United States. pp.337-346, ⟨10.1109/ICDCS.2013.27⟩. ⟨hal-00930074⟩

Lélia Blin, Sébastien Tixeuil. Brief announcement: deterministic self-stabilizing leader election with O(log log n)-bits. ACM Symposium on Principles of Distributed Computing, Jul 2013, Montreal, Canada. pp.125-127, ⟨10.1145/2484239.2484289⟩. ⟨hal-00930090⟩

Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, Xavier Urbain. Certified Impossibility Results for Byzantine-Tolerant Mobile Robots. International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2013, Osaka, Japan. pp.178-190, ⟨10.1007/978-3-319-03089-0_13⟩. ⟨hal-00930267⟩

Rizal Mohd Nor, Mikhail Nesterenko, Sébastien Tixeuil. Linearizing Peer-to-Peer Systems with Oracles. International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2013, Osaka, Japan. pp.221-236, ⟨10.1007/978-3-319-03089-0_16⟩. ⟨hal-00930281⟩

Alexandre Maurer, Sébastien Tixeuil. A Scalable Byzantine Grid. International Conference on Distributed Computing and Networking, Jan 2013, Mumbai, India. pp.87-101, ⟨10.1007/978-3-642-35668-1_7⟩. ⟨hal-00742655⟩

Alexandre Maurer, Sébastien Tixeuil. On Byzantine Broadcast in Loosely Connected Networks. 26th International Symposium on Distributed Computing, DISC 2012, Oct 2012, Salvador, Brazil. pp.253-266, ⟨10.1007/978-3-642-33651-5_18⟩. ⟨hal-00728337⟩

Swan Dubois, Sébastien Tixeuil, Nini Zhu. The Byzantine Brides Problem. FUN 2012 - 6th International Conference Fun with Algorithms, Jun 2012, Venice, Italy. pp.107-118, ⟨10.1007/978-3-642-30347-0_13⟩. ⟨hal-00934055⟩

Alexandre Maurer, Sébastien Tixeuil. Limiting Byzantine Influence in Multihop Asynchronous Networks. International Conference on Distributed Computing Systems, Jun 2012, Macau, China. pp.183-192, ⟨10.1109/ICDCS.2012.15⟩. ⟨hal-00934073⟩

Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil. Gathering an Even Number of Robots in an Odd Ring without Global Multiplicity Detection. Mathematical Foundations of Computer Science, Aug 2012, Bratislava, Slovakia. pp.542-553, ⟨10.1007/978-3-642-32589-2_48⟩. ⟨hal-00934132⟩

François Bonnet, Xavier Défago, Franck Petit, Maria Potop-Butucaru, Sébastien Tixeuil. Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols. International Symposium on Stabilization, Safety, and Security of Distributed Systems, Oct 2012, Toronto, Canada. pp.282-284, ⟨10.1007/978-3-642-33536-5_28⟩. ⟨hal-00934186⟩

Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil. Crash Resilient and Pseudo-Stabilizing Atomic Registers. OPODIS 2012 - 16th International Conference on Principles of Distributed Systems, Dec 2012, Rome, Italy. pp.135-150, ⟨10.1007/978-3-642-35476-2_10⟩. ⟨hal-00934144⟩

Yukiko Yamauchi, Sébastien Tixeuil, Shuji Kijima, Masafumi Yamashita. Brief Announcement: Probabilistic Stabilization under Probabilistic Schedulers. International Symposium on Distributed COmputing, Oct 2012, Salvador, Brazil. pp.413-414, ⟨10.1007/978-3-642-33651-5_34⟩. ⟨hal-00934232⟩

Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil. Optimal Grid Exploration by Asynchronous Oblivious Robots. International Symposium on Stabilization, Safety, and Security of Distributed Systems, Oct 2012, Toronto, Canada. pp.64-76, ⟨10.1007/978-3-642-33536-5_7⟩. ⟨hal-00934161⟩

Jordan Adamek, Mikhail Nesterenko, Sébastien Tixeuil. Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with Feedback. International Symposium on Stabilization, Safety, and Security of Distributed Systems, Oct 2012, Toronto, Canada. pp.126-132, ⟨10.1007/978-3-642-33536-5_13⟩. ⟨hal-00934179⟩

Zohir Bouzid, Shantanu Das, Sébastien Tixeuil. Brief Announcement: Wait-Free Gathering of Mobile Robots. International Symposium on Distributed Computing, Oct 2012, Salvador, Brazil. pp.401-402, ⟨10.1007/978-3-642-33651-5_28⟩. ⟨hal-00934220⟩

Fukuhito Ooshita, Sébastien Tixeuil. On the Self-stabilization of Mobile Oblivious Robots in Uniform Rings. International Symposium on Stabilization, Safety, and Security of Distributed Systems, Oct 2012, Toronto, Canada. pp.49-63, ⟨10.1007/978-3-642-33536-5_6⟩. ⟨hal-00934149⟩

Alexandre Maurer, Sébastien Tixeuil. Confinement de fautes Byzantines dans les réseaux multi-sauts asynchrones. 14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2012, La Grande Motte, France. ⟨hal-00686663⟩

Swan Dubois, Sébastien Tixeuil, Nini Zhu. Mariages et Trahisons. AlgoTel'12 - 14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2012, La Grande Motte, France. pp.1-4. ⟨hal-00689348⟩

Yannick Carlinet, The Dang Huynh, Bruno Kauffmann, Fabien Mathieu, Ludovic Noirie, et al.. Four Months in DailyMotion: Dissecting User Video Requests. TRAC 2012 - 3rd International Workshop on TRaffic Analysis and Classification, Aug 2012, Limassol, Cyprus. pp.613-618, ⟨10.1109/IWCMC.2012.6314274⟩. ⟨hal-00692095⟩

Samuel Bernard, Xavier Défago, Sébastien Tixeuil. A Fast and Robust Optimistic Total Order Broadcast for Online Video Games. International Conference on Advanced Information Networking and Applications Workshops, Mar 2012, Fukuoka, Japan. pp.189-196, ⟨10.1109/WAINA.2012.105⟩. ⟨hal-00934047⟩

Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil. Asynchronous Mobile Robot Gathering from Symmetric Configurations without Global Multiplicity Detection. SIROCCO 2011, 2011, Gdansk, Poland, Poland. pp.150-161. ⟨hal-01009454⟩

Maria Gradinariu Potop-Butucaru, Michel Raynal, Sébastien Tixeuil. Distributed Computing with Mobile Robots: an Introductory Survey. NBiS 2011 - 14th International Conference on Network-Based Information Systems, Sep 2011, Tirana, Albania. pp.318-324, ⟨10.1109/NBiS.2011.55⟩. ⟨hal-00649294⟩

François Bonnet, Alessia Milani, Maria Potop-Butucaru, Sébastien Tixeuil. Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction. OPODIS 2011 - 15th International Conference on Principles of Distributed Systems, Dec 2011, Toulouse, France. pp.251-265, ⟨10.1007/978-3-642-25873-2_18⟩. ⟨hal-00992679⟩

Stéphane Devismes, Toshimitsu Masuzawa, Sébastien Tixeuil. Communications Efficaces et Auto-Stabilisation. 12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2010, Belle-Dune, France. pp.id 19. ⟨hal-00479860⟩

Lélia Blin, Maria Gradinariu Potop-Butucaru, Stephane Rovedakis, Sébastien Tixeuil. Loop-Free Super-Stabilizing Spanning Tree Construction. 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2010), Sep 2010, New York, NY, United States. pp.50--64, ⟨10.1007/978-3-642-16023-3_7⟩. ⟨hal-00668381⟩

Lélia Blin, Alessia Milani, Maria Potop-Butucaru, Sébastien Tixeuil. Exclusive Perpetual Ring Exploration without Chirality. DISC 2010 - 24th International Symposium Distributed Computing, Sep 2010, Cambridge, MA, United States. pp.312-327, ⟨10.1007/978-3-642-15763-9_29⟩. ⟨hal-00992700⟩

Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil. Construction auto-stabilisante d'arbre couvrant en dépit d'actions malicieuses. 12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2010, Belle Dune, France. ⟨inria-00477480⟩

Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil. Stabilisation instantanée dans les systèmes à passage de messages. 11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France. ⟨inria-00383350⟩

Stéphane Devismes, Franck Petit, Sébastien Tixeuil. Exploration Optimale Probabiliste d'un Anneau par des Robots Semi-Synchrones et Amnésiques. 11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France. ⟨inria-00383351⟩

Samuel Bernard, Stéphane Devismes, Katy Paroux, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil. Sur le Coloriage Auto-stabilisant dans les Réseaux Unidirectionnels Anonymes. 11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France. ⟨inria-00384649v2⟩

Lélia Blin, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil. On the Self-stabilization of Mobile Robots in Graphs. OPODIS 2007 - 11th International Conference on Principles of Distributed Systems, Dec 2007, Guadeloupe, France. pp.301-314, ⟨10.1007/978-3-540-77096-1_22⟩. ⟨hal-01311362⟩

Fabiola Greve, Sebastien Tixeuil. Connaissance vs. Synchronie pour l'Accord Tolérant aux Pannes dans les Réseaux Inconnus. 9ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2007, Ile d'Oléron, France. pp.67-70. ⟨inria-00176959⟩

Maria Gradinariu, Sébastien Tixeuil. Conflict Managers for Self-stabilization without Fairness Assumption. 27th International Conference on Distributed Computing Systems (ICDCS'07), Jun 2007, Toronto, Canada. pp.46, ⟨10.1109/ICDCS.2007.95⟩. ⟨hal-01336216⟩

Nathalie Mitton, Eric Fleury, Isabelle Guérin-Lassous, Bruno Sericola, Sébastien Tixeuil. Etude de convergence dans les réseaux sans fil. 8emes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2006, Trégastel, France. ⟨inria-00600298⟩

Nathalie Mitton, Eric Fleury, Isabelle Guérin-Lassous, Bruno Sericola, Sébastien Tixeuil. Fast Convergence in Self-stabilizing Wireless Networks.. 12th International Conference on Parallel and Distributed Systems (ICPADS 2006), 12-15 July 2006, Minneapolis, Minnesota, USA, Jul 2006, Mineapolis, United States. pp.31-38. ⟨hal-00383834⟩

Michaël Cadilhac, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, Sébastien Tixeuil. Evaluating complex MAC protocols for sensor networks with APMC. Automatic Verification of Critical Systems, Sep 2006, Nancy/France, pp.35-47. ⟨inria-00089494⟩

Nathalie Mitton, Eric Fleury, Isabelle Guérin-Lassous, Sébastien Tixeuil. Auto-stabilisation dans les réseaux ad hoc.. 7e Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (Algotel), May 2005, Presqu'ile de giens, France. ⟨inria-00600336⟩

Nathalie Mitton, Eric Fleury, Isabelle Guérin-Lassous, Sebastien Tixeuil. Self-stabilization in self-organized multihop wireless networks. Workshop on Wireless ad hoc Networking (WWAN'05),, Jun 2005, Columbus, United States. pp.909-915. ⟨hal-00383720⟩

Pierre Fraigniaud, David Ilcinkas, Sergio Rajsbaum, Sébastien Tixeuil. Space Lower Bounds for Graph Exploration via Reduced Automata. SIROCCO 2005, May 2005, Le Mont Saint-Michel, France. pp.140-154, ⟨10.1007/11429647_13⟩. ⟨hal-00339766⟩

William Hoarau, Sébastien Tixeuil. A language-driven tool for fault injection in distributed applications. Proceedings of the IEEE/ACM Workshop GRID 2005, Nov 2005, Seattle, United States. ⟨10.1109/GRID.2005.1542742⟩. ⟨hal-00684889⟩

Philippe Duchon, Nicolas Hanusse, Sébastien Tixeuil. Protocoles auto-stabilisants synchrones d'exclusion mutuelle pour les anneaux anonymes et uniformes. Actes d'AlgoTel 2004, May 2004, France. pp.135--140. ⟨hal-00307529⟩

Philippe Duchon, Nicolas Hanusse, Sébastien Tixeuil. Optimal Randomized Self-stabilizing Mutual Exclusion on Synchronous Rings. Proceedings of DISC'2004, Oct 2004, Netherlands. pp.216--229. ⟨hal-00307527⟩

Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil, Xavier Urbain. Formal Methods for Mobile Robots. Paola Flocchini; Giuseppe Prencipe; Nicola Santoro. Distributed Computing by Mobile Entities, Current Research in Moving and Computing, Springer International Publishing, pp.278-313, 2019, Theoretical Computer Science and General Issues, 978-3-030-11071-0. ⟨10.1007/978-3-030-11072-7_12⟩. ⟨hal-01981634⟩

Pierre Fraigniaud, David Ilcinkas, Sergio Rajsbaum, Sébastien Tixeuil. The Reduced Automata Technique for Graph Exploration Space Lower Bounds. Oded Goldreich, Arnold L. Rosenberg, Alan L. Selman. Essays in Memory of Shimon Even, Springer Berlin / Heidelberg, Volume LNCS 3895, p. 1-26, 2006, Lecture Notes in Computer Science, ⟨10.1007/11685654_1⟩. ⟨hal-00341655⟩

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.. 11914, Springer, 2019, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-34992-9⟩. ⟨hal-02394974⟩

Paolo Bellavista, Koushik Kar, Sébastien Tixeuil. 18th International Conference on Distributed Computing and Networking (ICDCN 2017). 18th International Conference on Distributed Computing and Networking (ICDCN 2017), Jan 2017, Hyderabad, India. ACM New York, NY, USA, pp.367, 2017, 978-1-4503-4839-3. ⟨hal-01494871⟩

Matti Hiltunen, Sébastien Tixeuil. 35th IEEE Symposium on Reliable Distributed Systems (SRDS 2016). 35th IEEE Symposium on Reliable Distributed Systems (SRDS 2016), Sep 2016, Budapest, Hungary. IEEE Computer Society, 2016, 978-1-5090-3513-7. ⟨hal-01494860⟩

Ted Herman, Sébastien Tixeuil. Self-stabilizing Systems. Ted Herman and Sébastien Tixeuil. Springer, 2005. ⟨inria-00078184⟩

Silvia Bonomi, Antonella del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil. Approximate Agreement under Mobile Byzantine Faults. 2015. ⟨hal-01301597⟩

Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil. Multi-hop Byzantine Reliable Broadcast with Honest Dealer Made Practical. [Technical Report] Sorbonne Université, CNRS, Laboratoire d'Informatique de Paris 6, LIP6, F-75005 Paris, France; Dipartimento di Ingegneria Informatica Automatica e Gestionale "Antonio Ruberti'', Sapienza Università di Roma, Rome, Italy. 2019. ⟨hal-01826865v3⟩

Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil. Reliable Broadcast in Dynamic Networks with Locally Bounded Byzantine Failures. [Technical Report] Sorbonne Université, CNRS, Laboratoire d’Informatique de Paris 6, LIP6, F-75005 Paris, France; Dipartimento di Ingegneria Informatica Automatica e Gestionale "Antonio Ruberti", Università degli Studi di Roma La Sapienza, Rome, Italy. 2018. ⟨hal-01712277v3⟩

Yackolley Amoussou-Guenou, Souheib Baarir, Maria Potop-Butucaru, Nathalie Sznajder, Leo Tible, et al.. On the encoding and solving partial information games. [Research Report] LIP6, Sorbonne Université, CNRS, UMR 7606; LINCS; CEA Paris Saclay; Sorbonne Université. 2018. ⟨hal-01790508⟩

Adam Heriban, Xavier Défago, Sébastien Tixeuil. Optimally Gathering Two Robots. [Research Report] UPMC Sorbonne Universités. 2017. ⟨hal-01575451⟩

Silvia Bonomi, Antonella del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil. Optimal Storage under Unsynchrononized Mobile Byzantine Faults. [Research Report] UPMC - Université Paris 6 Pierre et Marie Curie; Sapienza Università di Roma (Italie). 2017. ⟨hal-01561776⟩

Jordan Adamek, Mikhail Nesterenko, James Scott Robinson, Sébastien Tixeuil. Concurrent Geometric Multicasting. [Research Report] UPMC Sorbonne Universités. 2017. ⟨hal-01540744⟩

Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sébastien Tixeuil. Parameterized Verification of Algorithms for Oblivious Robots on a Ring. [Research Report] UPMC Sorbonne Universités. 2017. ⟨hal-01540339⟩

Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil. Infinite Unlimited Churn. [Research Report] LIP6 - Laboratoire d'Informatique de Paris 6; Kent State University. 2016. ⟨hal-01350804⟩

Silvia Bonomi, Antonella del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil. Optimal Mobile Byzantine Fault Tolerant Distributed Storage. [Research Report] UPMC - Université Paris 6 Pierre et Marie Curie. 2016. ⟨hal-01348830v2⟩

Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain. Certified Universal Gathering in $R^2$ for Oblivious Mobile Robots. [Research Report] UPMC; CNAM. 2016. ⟨hal-01274295⟩

Quentin Bramas, Toshimitsu Masuzawa, Sébastien Tixeuil. Distributed Online Data Aggregation in Dynamic Graphs. [Research Report] Sorbonne Universités, UPMC Univ Paris 06, CNRS, LIP6 UMR 7606, 4 place Jussieu 75005 Paris.; Osaka University, Japan. 2016. ⟨hal-01264285v2⟩

Silvia Bonomi, Antonella del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil. Optimal Self-Stabilizing Mobile Byzantine-Tolerant Regular Register with bounded timestamp. [Research Report] UPMC - Université Paris 6 Pierre et Marie Curie; Sapienza Università di Roma (Italie). 2016. ⟨hal-01362193v2⟩

Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain. A Certified Universal Gathering Algorithm for Oblivious Mobile Robots. [Research Report] UPMC, Sorbonne Universites CNRS; CNAM, Paris; College de France; Université Paris Sud. 2015. ⟨hal-01159890⟩

Jordan Adamek, Mikhail Nesterenko, Sébastien Tixeuil. Stateless Geocasting. [Research Report] UPMC. 2015. ⟨hal-01168488⟩

Quentin Bramas, Sébastien Tixeuil. The Random Bit Complexity of Mobile Robots Scattering. [Research Report] Université Pierre et Marie Curie. 2015. ⟨hal-00866048v2⟩

Quentin Bramas, Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil. Packet Efficient Implementation of the Omega Failure Detector. [Research Report] UPMC Université Paris VI; Kent State University. 2015. ⟨hal-01153111v2⟩

Quentin Bramas, Sébastien Tixeuil. Probabilistic Asynchronous Arbitrary Pattern Formation. [Research Report] Université Pierre et Marie Curie. 2015. ⟨hal-01184532v4⟩

Alexandre Maurer, Sébastien Tixeuil, Xavier Défago. Reliable Communication in a Dynamic Network in the Presence of Byzantine Faults. [Research Report] _. 2014. ⟨hal-00940569v4⟩

Alexandre Maurer, Sébastien Tixeuil. On Byzantine Broadcast in Planar Graphs. [Research Report] _. 2013. ⟨hal-00773343v4⟩

Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, Xavier Urbain. Certified Impossibility Results for Byzantine-Tolerant Mobile Robots. [Research Report] 1560, LRI - CNRS, University Paris-Sud. 2013. ⟨hal-00834633⟩

Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil. Gathering an even number of robots in an odd ring without global multiplicity detection. [Research Report] 2012. ⟨hal-00709074⟩

Swan Dubois, Sébastien Tixeuil, Nini Zhu. The Byzantine Brides Problem. [Research Report] 2012. ⟨hal-00679520⟩

Alexandre Maurer, Sébastien Tixeuil. Limiting Byzantine Influence in Multihop Asynchronous Networks. [Research Report] _. 2011. ⟨hal-00663688⟩

Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil. Optimal grid exploration by asynchronous oblivious robots. 2011. ⟨hal-00591963v3⟩

Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil. Stabilizing data-link over non-FIFO channels with optimal fault-resilience. [Research Report] 2010. ⟨inria-00536048v2⟩

Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil. Bounding the Impact of Unbounded Attacks in Stabilization. [Research Report] 2010, pp.20. ⟨inria-00484645v2⟩

Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil. Dynamic FTSS in Asynchronous Systems: the Case of Unison. [Research Report] 2009, pp.34. ⟨inria-00379904v2⟩

Nathalie Mitton, Katy Paroux, Bruno Sericola, Sébastien Tixeuil. Ascending runs in dependent uniformly distributed random variables : Application to wireless networks. [Research Report] PI 1883, 2008, pp.12. ⟨inria-00241842⟩

Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil. Snap-Stabilization in Message-Passing Systems. [Research Report] RR-6446, INRIA. 2008, pp.29. ⟨inria-00248465v2⟩

Nathalie Mitton, Katy Paroux, Bruno Sericola, Sébastien Tixeuil. Ascending runs in dependent uniformly distributed random variables: Application to wireless networks. [Research Report] RR-6443, INRIA. 2008, pp.12. ⟨inria-00239348v5⟩

Samuel Bernard, Stéphane Devismes, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil. Bounds for self-stabilization in unidirectional networks. [Research Report] RR-6524, INRIA. 2008, pp.24. ⟨inria-00277661v2⟩

Stéphane Devismes, Toshimitsu Masuzawa, Sébastien Tixeuil. Communication Efficiency in Self-stabilizing Silent Protocols. [Research Report] RR-6731, INRIA. 2008, pp.33. ⟨inria-00340805⟩

Lélia Blin, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil. On the Self-stabilization of Mobile Robots in Graphs. [Research Report] RR-6266, INRIA. 2007, pp.23. ⟨inria-00166547v2⟩

Fredrik Manne, Morten Mjelde, Laurence Pilard, Sébastien Tixeuil. A New Self-Stabilizing Maximal Matching Algorithm. [Research Report] RR-6111, INRIA. 2007, pp.17. ⟨inria-00127899v2⟩

Stéphane Devismes, Sébastien Tixeuil, Masafumi Yamashita. Weak vs. Self vs. Probabilistic Stabilization. [Research Report] RR-6366, INRIA. 2007. ⟨inria-00189952v2⟩

Fabiola Greve, Sébastien Tixeuil. Knowledge Connectivity vs. Synchrony Requirements for Fault-Tolerant Agreement in Unknown Networks. [Research Report] RR-6099, INRIA. 2006, pp.32. ⟨inria-00123020v4⟩

William Hoarau, Sébastien Tixeuil, Fabien Vauchelles. Easy fault injection and stress testing with FAIL-FCI. [Research Report] RR1421, 2006, pp.20. ⟨hal-00699867⟩

Thomas Hérault, William Hoarau, Pierre Lemarinier, Eric Rodriguez, Sébastien Tixeuil. FAIL-MPI: How fault-tolerant is fault-tolerant MPI ?. [Research Report] 1450, 2006, pp.26. ⟨inria-00078183⟩

Sébastien Tixeuil. Auto-stabilisation Efficace. Réseaux et télécommunications [cs.NI]. Université Paris Sud - Paris XI, 2000. Français. ⟨tel-00124843⟩

Sébastien Tixeuil. Vers l'auto-stabilisation des systèmes à grande échelle. Réseaux et télécommunications [cs.NI]. Université Paris Sud - Paris XI, 2006. ⟨tel-00124848⟩