Sébastien Tixeuil

Publications

Article dans une revue (57)

Stand-up indulgent gathering on lines for myopic luminous robots Quentin Bramas,Hirotsugu Kakugawa,Sayaka Kamei,Anissa Lamani,Fukuhito Ooshitaet al. The Computer Journal, 2026, ⟨10.1093/comjnl/bxag015⟩ Article dans une revue hal-05524331v1
QoSentry: a reinforcement learning framework for QoS-preserving DDoS mitigation in software-defined networks Shurok Khozam,Gregory Blanc,Sébastien Tixeuil,Eric Totel Journal of Network and Systems Management, 2025, 33 (4), pp.97. ⟨10.1007/s10922-025-09971-8⟩ Article dans une revue hal-05244654v1
Swarms of Mobile Robots: Towards Versatility with Safety Pierre Courtieu,Lionel Rieg,Sébastien Tixeuil,Xavier Urbain Leibniz Transactions on Embedded Systems, 2022, Distributed Hybrid Systems, 8 (2), pp.02:1-02:36. ⟨10.4230/LITES.8.2.2⟩ Article dans une revue hal-03901898v1
Terminating Exploration Of A Grid By An Optimal Number Of Asynchronous Oblivious Robots Stéphane Devismes,Anissa Lamani,Franck Petit,Pascal Raymond,Sébastien Tixeuil The Computer Journal, 2021, The Computer Journal, 64 (1), pp.132-154. ⟨10.1093/comjnl/bxz166⟩ Article dans une revue hal-02363013v1
Mobile Robots with Uncertain Visibility Sensors: Possibility Results and Lower Bounds Adam Heriban,Sébastien Tixeuil Parallel Processing Letters, 2021, 31 (01), pp.2150002. ⟨10.1142/S012962642150002X⟩ Article dans une revue hal-03154617v1
Parameterized verification of algorithms for oblivious robots on a ring Arnaud Sangnier,Nathalie Sznajder,Maria Potop-Butucaru,Sébastien Tixeuil Formal Methods in System Design, 2020, 56, pp.55-89. ⟨10.1007/s10703-019-00335-y⟩ Article dans une revue hal-02290400v1
Special issue on Structural Information and Communication Complexity Shantanu Das,Sébastien Tixeuil Theoretical Computer Science, 2020, 811, pp.1-2. ⟨10.1016/j.tcs.2020.02.003⟩ Article dans une revue hal-02873078v1
Compact self-stabilizing leader election for general networks Lélia Blin,Sébastien Tixeuil Journal of Parallel and Distributed Computing, 2020, ⟨10.1016/j.jpdc.2020.05.019⟩ Article dans une revue hal-02873070v1
Synchronous Gathering without Multiplicity Detection: a Certified Algorithm Thibaut Balabonski,Amélie Delga,Lionel Rieg,Sébastien Tixeuil,Xavier Urbain Theory of Computing Systems, 2019, 63 (2), pp.200-218. ⟨10.1007/s00224-017-9828-z⟩ Article dans une revue hal-01894618v1
On asynchronous rendezvous in general graphs Evangelos Bampas,Lélia Blin,Jurek Czyzowicz,David Ilcinkas,Arnaud Labourelet al. Theoretical Computer Science, 2019, 753, pp.80-90. ⟨10.1016/j.tcs.2018.06.045⟩ Article dans une revue hal-01900843v1
Approximate Agreement under Mobile Byzantine Faults Silvia Bonomi,Antonella del Pozzo,Maria Potop-Butucaru,Sébastien Tixeuil Theoretical Computer Science, 2019, 758, pp.17-29. ⟨10.1016/j.tcs.2018.08.001⟩ Article dans une revue hal-02076370v1
Optimal torus exploration by oblivious robots Stéphane Devismes,Anissa Lamani,Franck Petit,Sébastien Tixeuil Computing, 2019, 101 (9), pp.1241-1264. ⟨10.1007/s00607-018-0595-8⟩ Article dans une revue hal-02420598v1
Packet Efficient Implementation of the Omega Failure Detector Quentin Bramas,Dianne Foreback,Mikhail Nesterenko,Sébastien Tixeuil Theory of Computing Systems, 2019, 63 (2), pp.237-260. ⟨10.1007/s00224-018-9856-3⟩ Article dans une revue hal-02084539v1
Multi-hop Byzantine reliable broadcast with honest dealer made practical Silvia Bonomi,Giovanni Farina,Sébastien Tixeuil Journal of the Brazilian Computer Society, 2019, 25 (1), ⟨10.1186/s13173-019-0090-x⟩ Article dans une revue hal-02281139v1
AUTOMATED SYNTHESIS OF DISTRIBUTED SELF-STABILIZING PROTOCOLS Fathiyeh Faghih,Borzoo Bonakdarpour,Sébastien Tixeuil,Sandeep S. Kulkarni Logical Methods in Computer Science, 2018, 14, pp.1 - 25. ⟨10.23638/LMCS-14(1:12)2018⟩ Article dans une revue hal-02076452v1
Compact deterministic self-stabilizing leader election on a ring: the exponential advantage of being talkative Lélia Blin,Sébastien Tixeuil Distributed Computing, 2018, 31 (2), pp.139-166. ⟨10.1007/s00446-017-0294-2⟩ Article dans une revue hal-01486763v1
On time complexity for connectivity-preserving scattering of mobile robots Taisuke Izumi,Daichi Kaino,Maria Gradinariu Potop-Butucaru,Sébastien Tixeuil Theoretical Computer Science, 2018, 738, pp.42-52. ⟨10.1016/j.tcs.2018.04.047⟩ Article dans une revue hal-02076455v1
Evaluating and Optimizing Stabilizing Dining Philosophers Jordan Adamek,Giovanni Farina,Mikhail Nesterenko,Sébastien Tixeuil Journal of Parallel and Distributed Computing, 2017, 109, pp.63-74. ⟨10.1016/j.jpdc.2017.05.003⟩ Article dans une revue hal-01520335v1
The Random Bit Complexity of Mobile Robot Scattering Quentin Bramas,Sébastien Tixeuil International Journal of Foundations of Computer Science, 2017, 28 (2), pp.111-133. ⟨10.1142/S0129054117500083⟩ Article dans une revue hal-01349017v1
The complexity of data aggregation in static and dynamic wireless sensor networks Quentin Bramas,Sébastien Tixeuil Information and Computation, 2017, 255 (3), pp.369-383. ⟨10.1016/j.ic.2016.12.004⟩ Article dans une revue hal-01419900v1
Formal verification of mobile robot protocols Beatrice Bérard,Pascal Lafourcade,Laure Millet,Maria Potop-Butucaru,Yann Thierry-Mieget al. Distributed Computing, 2016, 29 (6), pp.459-487. ⟨10.1007/s00446-016-0271-1⟩ Article dans une revue hal-01344903v1
Tolerating Random Byzantine Failures in an Unbounded Network Alexandre Maurer Maurer,Sébastien Tixeuil Parallel Processing Letters, 2016, 26 (1), pp.1650003. ⟨10.1142/S0129626416500031⟩ Article dans une revue hal-01294311v1
A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-Free Property Lélia Blin,Maria Potop-Butucaru,Stephane Rovedakis,Sébastien Tixeuil The Computer Journal, 2016, 59 (2), pp.225-243. ⟨10.1093/comjnl/bxv110⟩ Article dans une revue hal-01269828v1
Maximum Metric Spanning Tree Made Byzantine Tolerant Swan Dubois,Toshimitsu Masuzawa,Sébastien Tixeuil Algorithmica, 2015, 73 (1), pp.166-201. ⟨10.1007/s00453-014-9913-5⟩ Article dans une revue hal-01151748v1
[Invited Paper] Formal Methods for Mobile Robots: Current Results and Open Problems Béatrice Bérard,Pierre Courtieu,Laure Millet,Maria Potop-Butucaru,Lionel Rieget al. International Journal of Informatics Society, 2015, 7 (3), pp.101-114 Article dans une revue hal-01238784v1
Containing Byzantine Failures with Control Zones Alexandre Maurer,Sébastien Tixeuil IEEE Transactions on Parallel and Distributed Systems, 2015, 26 (2), pp.362-370. ⟨10.1109/TPDS.2014.2308190⟩ Article dans une revue hal-01123661v1
Weak vs. Self vs. Probabilistic Stabilization Stéphane Devismes,Sébastien Tixeuil,Masafumi Yamashita International Journal of Foundations of Computer Science, 2015, 26 (3), pp.293-319. ⟨10.1142/S0129054115500173⟩ Article dans une revue hal-01198945v1
Impossibility of gathering, a certification Pierre Courtieu,Lionel Rieg,Sébastien Tixeuil,Xavier Urbain Information Processing Letters, 2015, 115 (3), pp.447-452. ⟨10.1016/j.ipl.2014.11.001⟩ Article dans une revue hal-01122869v1
On the self-stabilization of mobile oblivious robots in uniform rings Fukuhito Ooshita,Sébastien Tixeuil Theoretical Computer Science, 2015, 568, pp.84-96. ⟨10.1016/j.tcs.2014.12.008⟩ Article dans une revue istex hal-01123668v1
Practically stabilizing SWMR atomic memory in message passing systems Noga Alon,Hagit Attiya,Shlomi Dolev,Swan Dubois,Maria Potop-Butucaruet al. Journal of Computer and System Sciences, 2015, 81 (4), pp.692-701. ⟨10.1016/j.jcss.2014.11.014⟩ Article dans une revue istex hal-01123697v1
Byzantine broadcast with fixed disjoint paths Alexandre Maurer,Sébastien Tixeuil Journal of Parallel and Distributed Computing, 2014, 74 (11), pp.3153--3160. ⟨10.1016/j.jpdc.2014.07.010⟩ Article dans une revue hal-01151757v1
Gathering fat mobile robots with slim omnidirectional cameras Anthony Honorat,Maria Potop-Butucaru,Sébastien Tixeuil Theoretical Computer Science, 2014, 557, pp.1-27. ⟨10.1016/j.tcs.2014.08.004⟩ Article dans une revue hal-01151754v1
Optimal probabilistic ring exploration by semi-synchronous oblivious robots Stéphane Devismes,Franck Petit,Sébastien Tixeuil Theoretical Computer Science, 2013, 498, pp.10-27. ⟨10.1016/j.tcs.2013.05.031⟩ Article dans une revue istex hal-00930045v1
Ideal Stabilization Mikhail Nesterenko,Sébastien Tixeuil International Journal of Grid and Utility Computing, 2013, 4 (4), pp.219-230. ⟨10.1504/IJGUC.2013.057116⟩ Article dans une revue hal-00930022v1
A self-stabilizing 3-approximation for the maximum leaf spanning tree problem in arbitrary networks Sayaka Kamei,Hirostugu Kakugawa,Stéphane Devismes,Sébastien Tixeuil Journal of Combinatorial Optimization, 2013, 25 (3), pp.430-459. ⟨10.1007/s10878-011-9383-5⟩ Article dans une revue hal-00930035v1
Bounding the Impact of Unbounded Attacks in Stabilization Swan Dubois,Toshimitsu Masuzawa,Sébastien Tixeuil IEEE Transactions on Parallel and Distributed Systems, 2012, 23 (3), pp.460-466. ⟨10.1109/TPDS.2011.158⟩ Article dans une revue hal-00934036v1
Self-stabilizing byzantine asynchronous unison Swan Dubois,Maria Potop-Butucaru,Mikhail Nesterenko,Sébastien Tixeuil Journal of Parallel and Distributed Computing, 2012, 72 (7), pp.917-923. ⟨10.1016/j.jpdc.2012.04.001⟩ Article dans une revue hal-00934022v1
Self-stabilization in Self-organized Multihop Wireless Networks Nathalie Mitton,Bruno Séricola,Sébastien Tixeuil,Eric Fleury,Isabelle Guérin-Lassous Ad Hoc & Sensor Wireless Networks, 2011, 11 (1-2), pp.1-34 Article dans une revue hal-00795173v1
A self-stabilizing 2/3-approximation algorithm for the maximum matching problem Fredrik Manne,Morten Mjelde,Laurence Pilard,Sébastien Tixeuil Theoretical Computer Science, 2011, 412 (40), pp.5515-5526. ⟨10.1016/j.tcs.2011.05.019⟩ Article dans une revue hal-01154122v1
Stabilizing data-link over non-FIFO channels with optimal fault-resilience Shlomi Dolev,Swan Dubois,Maria Potop-Butucaru,Sébastien Tixeuil Information Processing Letters, 2011, 111 (18), pp.912-920. ⟨10.1016/j.ipl.2011.06.010⟩ Article dans une revue inria-00627760v1
Dynamic FTSS in asynchronous systems: The case of unison Swan Dubois,Maria Potop-Butucaru,Sébastien Tixeuil Theoretical Computer Science, 2011, 412 (29), pp.3418-3439. ⟨10.1016/j.tcs.2011.02.012⟩ Article dans une revue inria-00627763v1
Deterministic Secure Positioning in Wireless Sensor Networks Sylvie Delaët,Partha Sarathi Mandal,Mariusz Rokicki,Sébastien Tixeuil Theoretical Computer Science, 2011, 412 (35), pp.4471-4481. ⟨10.1016/j.tcs.2011.04.010⟩ Article dans une revue hal-01154134v1
Ascending runs in dependent uniformly distributed random variables: Application to wireless networks Nathalie Mitton,Katy Paroux,Bruno Sericola,Sébastien Tixeuil Methodology and Computing in Applied Probability, 2010, 12 (1), pp.51-62. ⟨10.1007/s11009-008-9088-0⟩ Article dans une revue hal-00384027v1
Quiescence of Self-stabilizing Gossiping among Mobile Agents in Graphs Toshimitsu Masuzawa,Sébastien Tixeuil Theoretical Computer Science, 2010, 411 (14-15), pp.1567-1582. ⟨10.1016/j.tcs.2010.01.006⟩ Article dans une revue hal-01154467v1
Snap-Stabilization in Message-Passing Systems Sylvie Delaët,Stéphane Devismes,Mikhail Nesterenko,Sébastien Tixeuil Journal of Parallel and Distributed Computing, 2010, 70 (12), pp.1220-1230. ⟨10.1016/j.jpdc.2010.04.002⟩ Article dans une revue hal-01154466v1
Optimal Byzantine-resilient Convergence in Unidimensional Robot Networks Zohir Bouzid,Maria Gradinariu Potop-Butucaru,Sébastien Tixeuil Theoretical Computer Science, 2010, 411 (34-36), pp.3154-3168. ⟨10.1016/j.tcs.2010.05.006⟩ Article dans une revue hal-01151863v1
On Bootstrapping Topology Knowledge in Anonymous Networks Toshimitsu Masuzawa,Sébastien Tixeuil ACM Transactions on Autonomous and Adaptive Systems, 2009, 4 (1), pp.8. ⟨10.1145/1462187.1462195⟩ Article dans une revue hal-01151766v1
Discovering Network Topology in the Presence of Byzantine Nodes Mikhail Nesterenko,Sébastien Tixeuil IEEE Transactions on Parallel and Distributed Systems, 2009, 20 (12), pp.1777-1789. ⟨10.1109/TPDS.2009.25⟩ Article dans une revue hal-01152552v1
Self-stabilizing Philosophers with Generic Conflicts Praveen Danturi,Sébastien Tixeuil ACM Transactions on Autonomous and Adaptive Systems, 2009, 4 (1), pp.7. ⟨10.1145/1462187.1462194⟩ Article dans une revue hal-01151770v1
A New Self-Stabilizing Maximal Matching Algorithm Fredrik Manne,Morten Mjelde,Laurence Pilard,Sébastien Tixeuil Theoretical Computer Science, 2009, 410 (14), pp.1336-1345. ⟨10.1016/j.tcs.2008.12.022⟩ Article dans une revue hal-01151767v1
An Exercise in Selﬁsh Stabilization Johanne Cohen,Anurag Dasgupta,Sukumar Ghosh,Sébastien Tixeuil ACM Transactions on Autonomous and Adaptive Systems, 2008, 3 (4), pp.Article 15. ⟨10.1145/1452001.1452005⟩ Article dans une revue inria-00335919v1
Stabilizing Link-Coloration of Arbitrary Networks with Unbounded Byzantine Faults Toshimitsu Masuzawa,Sébastien Tixeuil International Journal of Principles and Applications of Information Science and Technology, 2007, 1 (1), pp.1-13 Article dans une revue hal-01152556v1
Self-stabilization with r-operators revisited Sylvie Delaët,Bertrand Ducourthial,Sébastien Tixeuil Journal of Aerospace Computing, Information, and Communication, 2006, 3 (10), pp.498-514. ⟨10.2514/1.19848⟩ Article dans une revue hal-00632413v1
Autostabilisation et protocoles réseau Colette Johnen,Franck Petit,Sébastien Tixeuil Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2004, 23 (4), pp.1027-1056. ⟨10.3166/tsi.23.1027-1056⟩ Article dans une revue istex hal-00337547v1
Self-stabilization with Path Algebra Bertrand Ducourthial,Sébastien Tixeuil Theoretical Computer Science, 2003, 293 (1), pp.219-236. ⟨10.1016/S0304-3975(02)00238-4⟩ Article dans une revue hal-00632374v1
Self-stabilization with r-operators Bertrand Ducourthial,Sébastien Tixeuil Distributed Computing, 2001, 14 (3), pp.147-162. ⟨10.1007/PL00008934⟩ Article dans une revue hal-00632303v1
Self-Stabilizing Algorithms in DAG Structured Networks Sajal K. Das,Ajoy Datta,Sébastien Tixeuil Parallel Processing Letters, 1999, 9 (4), pp.563-574. ⟨10.1142/S0129626499000529⟩ Article dans une revue hal-00930899v1

Communication dans un congrès (189)

Crash-Tolerant Exploration of Trees by Energy-Sharing Mobile Agents Quentin Bramas,Toshimitsu Masuzawa,Sébastien Tixeuil 28th International Conference on Principles of Distributed Systems (OPODIS 2024), Dec 2024, Lucca, Italy. pp.9:1--9:16, ⟨10.4230/LIPIcs.OPODIS.2024.9⟩ Communication dans un congrès hal-04883165v1
Deterministic Color-optimal Self-stabilizing Semi-synchronous Gathering: a Certified Algorithm François Bonnet,Quentin Bramas,Pierre Courtieu,Xavier Défago,Lionel Rieget al. SIROCCO 2025, Jun 2025, Delphi, Greece. pp.127-143, ⟨10.1007/978-3-031-91736-3_8⟩ Communication dans un congrès hal-04988128v1
FREIDA: a concrete tool for reproducible evaluation of IDS using a data-driven approach Solayman Ayoubi,Sébastien Tixeuil,Gregory Blanc,Houda Jmila Risks and Security of Internet and Systems: 19th International Conference (CRISIS), Nov 2024, Aix-en-Provence, France. pp.40-55, ⟨10.1007/978-3-031-89350-6_3⟩ Communication dans un congrès hal-05048479v1
Comment se rassembler (avec certitude) quand on est confus et désorienté François Bonnet,Quentin Bramas,Pierre Courtieu,Xavier Défago,Lionel Rieget al. ALGOTEL 2025 – 27èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2025, Saint Valery-sur-Somme, France Communication dans un congrès hal-05002153v1
A Visibility vs. Memory Trade-Off for Stand-Up Indulgent Gathering on Lines Quentin Bramas,Hirotsugu Kakugawa,Sayaka Kamei,Anissa Lamani,Fukuhito Ooshitaet al. Structural Information and Communication Complexity. SIROCCO 2025., Schmid, U., Kuznets, R., Jun 2025, Delphi, Greece. pp.159-175, ⟨10.1007/978-3-031-91736-3_10⟩ Communication dans un congrès hal-05107196v1
Preventing WebRTC IP Address Leaks Guillaume Nibert,Sébastien Tixeuil,Baptiste Polvé,Nana J. Bakalafoua M'Boussi,Xuan Son Nguyen 19th International Conference on Risks and Security of Internet and Systems, Nov 2024, Aix-en-Provence, France. pp.365-381, ⟨10.1007/978-3-031-89350-6_22⟩ Communication dans un congrès hal-05048077v1
DAMS: double deep Q-network approach for DDoS attack mitigation in SDN Shurok Khozam,Gregory Blanc,Sebastien Tixeuil,Eric Totel The 8th International Conference on Future Networks & Distributed Systems (ICFNDS '24), Dec 2024, Marrakesh, Morocco. pp.1049-1056, ⟨10.1145/3726122.3726282⟩ Communication dans un congrès hal-05141570v1
On time-travel planning in dynamic graphs Quentin Bramas,Jean-Romain Luttringer,Sébastien Tixeuil SAND 2024, Jun 2024, Patras, Greece. pp.115501, ⟨10.1016/j.tcs.2025.115501⟩ Communication dans un congrès hal-05280684v1
HEAL: Resilient and Self-* Hub-Based Learning Mohamed Amine Legheraba,Stefan Galkiewicz,Maria Potop-Butucaru,Sébastien Tixeuil Advanced Information Networking and Applications. AINA 2025, Barolli, L., Apr 2025, Barcelona (ES), Spain. pp.200-211, ⟨10.1007/978-3-031-87766-7_18⟩ Communication dans un congrès hal-05107181v1
Le guide du routard temporel Quentin Bramas,Jean-Romain Luttringer,Sébastien Tixeuil AlgoTel 2024 – 26èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2024, Saint-Briac-sur-Mer, France Communication dans un congrès hal-04565997v1
Empêcher les fuites d'adresses IP liées à WebRTC Guillaume Nibert,Sébastien Tixeuil,Baptiste Polvé,Nana J. Bakalafoua M'Boussi,Xuan Son Nguyen RESSI 2024 - Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2024, Eppe-Sauvage, France Communication dans un congrès hal-05077608v1
Stand-Up Indulgent Gathering on Lines Quentin Bramas,Sayaka Kamei,Anissa Lamani,Sébastien Tixeuil SSS 2023: Stabilization, Safety, and Security of Distributed Systems, Oct 2023, Jersey City, NJ, United States. pp.451-465, ⟨10.1007/978-3-031-44274-2_34⟩ Communication dans un congrès hal-04232951v1
Data-driven evaluation of intrusion detectors: a methodological framework Solayman Ayoubi,Gregory Blanc,Houda Jmila,Thomas Silverston,Sébastien Tixeuil FPS 2022 - 15th International Symposium on Foundations & Practice of Security, Dec 2022, Ottawa, ON, Canada. pp.142-157, ⟨10.1007/978-3-031-30122-3_9⟩ Communication dans un congrès hal-04055085v1
Comment extraire un discours cohérent de la confusion générale Silvia Bonomi,Giovanni Farina,Sébastien Tixeuil AlgoTel 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2023, Cargese, France Communication dans un congrès hal-04086366v1
Realistic Self-stabilization Sébastien Tixeuil 26th International Conference on Principles of Distributed Systems (OPODIS 2022), Dec 2022, Bruxelles, Belgium Communication dans un congrès hal-03971242v1
Asynchronous Gathering in a Torus Sayaka Kamei,Anissa Lamani,Fukuhito Ooshita,Sébastien Tixeuil,Koichi Wada OPODIS 2021 - 25th International Conference on Principles of Distributed Systems, Dec 2021, Strasbourg, France. pp.9:1--9:17, ⟨10.4230/LIPIcs.OPODIS.2021.9⟩ Communication dans un congrès hal-03592615v1
Comment réduire efficacement l'entropie des sources malveillantes d'information Silvia Bonomi,Jérémie Decouchant,Giovanni Farina,Vincent Rahli,Sébastien Tixeuil AlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2022, Saint-Rémy-Lès-Chevreuse, France Communication dans un congrès hal-03657365v1
Il était une fois Algotel Fabien Mathieu,Sébastien Tixeuil AlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2022, Saint-Rémy-Lès-Chevreuse, France Communication dans un congrès hal-03656129v1
On the Encoding and Solving of Partial Information Games Yackolley Amoussou-Guenou,Souheib Baarir,Maria Potop-Butucaru,Nathalie Sznajder,Léo Tibleet al. 8th International Conference on Networked Systems - NETYS 2020, Jun 2020, Marrakech, Morocco. pp.60-76, ⟨10.1007/978-3-030-67087-0_5⟩ Communication dans un congrès hal-02979574v1
Broadcasting Information in Multi-hop Networks Prone to Mobile Byzantine Faults Silvia Bonomi,Giovanni Farina,Sébastien Tixeuil Networked Systems, 8th International Conference, NETYS 2020, Jun 2020, Marrakech, Morocco. pp.112-128, ⟨10.1007/978-3-030-67087-0_8⟩ Communication dans un congrès hal-03109954v1
Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space Xavier Defago,Adam Heriban,Sébastien Tixeuil,Koichi Wada 2020 International Symposium on Reliable Distributed Systems (SRDS), Sep 2020, Shanghai, China. pp.113-122, ⟨10.1109/SRDS51746.2020.00019⟩ Communication dans un congrès hal-03017408v1
Boosting the Efficiency of Byzantine-Tolerant Reliable Communication Silvia Bonomi,Giovanni Farina,Sébastien Tixeuil Stabilization, Safety, and Security of Distributed Systems, Nov 2020, Austin, United States. pp.29-44, ⟨10.1007/978-3-030-64348-5_3⟩ Communication dans un congrès hal-03026501v1
Stand Up Indulgent Rendezvous Quentin Bramas,Anissa Lamani,Sébastien Tixeuil 22nd International Symposium Stabilization, Safety, and Security of Distributed Systems (SSS 2020), Nov 2020, Austin, TX, United States. pp.45-59, ⟨10.1007/978-3-030-64348-5_4⟩ Communication dans un congrès hal-02961247v1
Partial Gathering of Mobile Robots from Multiplicity-Allowed Configurations in Rings Masahiro Shibata,Sébastien Tixeuil Stabilization, Safety, and Security of Distributed Systems, Nov 2020, Austin, United States. pp.264-279, ⟨10.1007/978-3-030-64348-5_21⟩ Communication dans un congrès hal-03026522v1
Gathering on Rings for Myopic Asynchronous Robots With Lights Sayaka Kamei,Anissa Lamani,Fukuhito Ooshita,Sébastien Tixeuil,Koichi Wada 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⟩ Communication dans un congrès hal-02475374v1
Du discrètement continu au continûment discret Thibaut Balabonski,Pierre Courtieu,Robin Pelle,Lionel Rieg,Sébastien Tixeuilet al. ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France Communication dans un congrès hal-02871295v1
Autonomous Identification of IoT Device Types based on a Supervised Classification Nesrine Ammar,Ludovic Noirie,Sébastien Tixeuil ICC 2020 - 2020 IEEE International Conference on Communications (ICC), Jun 2020, Virtual conference, Ireland. ⟨10.1109/ICC40277.2020.9148821⟩ Communication dans un congrès hal-02913093v1
Une méthode efficace pour éviter la propagation des fake news Silvia Bonomi,Giovanni Farina,Sébastien Tixeuil ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France Communication dans un congrès hal-02875967v1
On peut tromper mille personnes mille fois, mais pas plus Lélia Blin,Anaïs Durand,Sébastien Tixeuil ALGOTEL 2020 - 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France. pp.156-165 Communication dans un congrès hal-03746708v1
Uniform Bipartition in the Population Protocol Model with Arbitrary Communication Graphs Hiroto Yasumi,Fukuhito Ooshita,Michiko Inoue,Sébastien Tixeuil 24th International Conference on Principles of Distributed Systems (OPODIS 2020), Dec 2020, Strasbourg, France. pp.33:1--33:16, ⟨10.4230/LIPIcs.OPODIS.2020.33⟩ Communication dans un congrès hal-03126591v1
Mobile Robots with Uncertain Visibility Sensors Adam Heriban,Sébastien Tixeuil 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⟩ Communication dans un congrès hal-02286008v1
Amélioration de l’identification du type des objets connectés par classification supervisée Nesrine Ammar,Ludovic Noirie,Sébastien Tixeuil 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 Communication dans un congrès hal-02126555v1
Churn Possibilities and Impossibilities Dianne Foreback,Mikhail Nesterenko,Sébastien Tixeuil NETYS 2018 - 6th International Conference on Networked Systems, May 2018, Essaouira, Morocco. pp.303-317, ⟨10.1007/978-3-030-05529-5_20⟩ Communication dans un congrès hal-02076478v1
Brief Announcement: Model Checking Rendezvous Algorithms for Robots with Lights in Euclidean Space Xavier Défago,Adam Heriban,Sébastien Tixeuil,Koichi Wada 33rd International Symposium on Distributed Computing (DISC 2019), Oct 2019, Budapest, Hungary. pp.41:1--41:3, ⟨10.4230/LIPIcs.DISC.2019.41⟩ Communication dans un congrès hal-02394992v1
Network-Protocol-Based IoT Device Identification Nesrine Ammar,Ludovic Noirie,Sébastien Tixeuil 2019 Fourth International Conference on Fog and Mobile Edge Computing (FMEC), Jun 2019, Rome, Italy. pp.204-209, ⟨10.1109/FMEC.2019.8795318⟩ Communication dans un congrès hal-02286011v1
Les 4 Robots Fantastiques Quentin Bramas,Sébastien Tixeuil ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France Communication dans un congrès hal-02123870v1
Manuel de savoir-prouver à l’usage des roboteux et des distributeux Thibaut Balabonski,Pierre Courtieu,Robin Pelle,Lionel Rieg,Sébastien Tixeuilet al. 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 Communication dans un congrès hal-02115611v1
Distributed Online Data Aggregation in Dynamic Graphs Quentin Bramas,Toshimitsu Masuzawa,Sébastien Tixeuil NETYS 2019 - 7th International Conference on Networked Systems, Jun 2019, Marrakech, Morocco. pp.365-380, ⟨10.1007/978-3-030-31277-0_24⟩ Communication dans un congrès hal-02394962v1
Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots Thibaut Balabonski,Pierre Courtieu,Robin Pelle,Lionel Rieg,Sébastien Tixeuilet al. 7th International Conference on NETworked sYStems (NETYS 2019), Jun 2019, Marrakech, Morocco. pp.93-09, ⟨10.1007/978-3-030-31277-0_7⟩ Communication dans un congrès hal-02115599v1
Autonomous IoT Device Identification Prototype Nesrine Ammar,Ludovic Noirie,Sébastien Tixeuil 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⟩ Communication dans un congrès hal-02168149v1
Ring Exploration with Myopic Luminous Robots Fukuhito Ooshita,Sébastien Tixeuil SSS 2018 - 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2018, Tokyo, Japan. pp.301-316, ⟨10.1007/978-3-030-03232-6_20⟩ Communication dans un congrès hal-02076489v1
Reliable Broadcast in Dynamic Networks with Locally Bounded Byzantine Failures Silvia Bonomi,Giovanni Farina,Sébastien Tixeuil SSS 2018 - 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2018, Tokyo, Japan. pp.170-185, ⟨10.1007/978-3-030-03232-6_12⟩ Communication dans un congrès hal-02076398v1
Concurrent Geometric Multicasting Jordan Adamek,Mikhail Nesterenko,James Scott Robinson,Sébastien Tixeuil The 19th International Conference on Distributed Computing and Networking, Jan 2018, Varanasi, India. ⟨10.1145/3154273.3154314⟩ Communication dans un congrès hal-01753444v1
Short Paper: Tight Bounds for Universal and Cautious Self-stabilizing 1-Maximal Matching Michiko Inoue,Sébastien Tixeuil NETYS 2018 - 6th International Conference on Networked Systems, May 2018, Essaouira, Morocco. pp.334-339, ⟨10.1007/978-3-030-05529-5_22⟩ Communication dans un congrès hal-02076484v1
Brief Announcement: Optimal Self-stabilizing Mobile Byzantine-Tolerant Regular Register with Bounded Timestamps Silvia Bonomi,Antonella del Pozzo,Maria Potop-Butucaru,Sébastien Tixeuil 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⟩ Communication dans un congrès hal-02443130v1
A Foundational Framework for Certified Impossibility Results with Mobile Robots on Graphs Thibaut Balabonski,Robin Pelle,Lionel Rieg,Sébastien Tixeuil ICDCN 2018 - 19th International Conference on Distributed Computing and Networking, Jan 2018, Varanasi, India. pp.1-10, ⟨10.1145/3154273.3154321⟩ Communication dans un congrès hal-01753439v1
Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots Thibaut Balabonski,Pierre Courtieu,Robin Pelle,Lionel Rieg,Sébastien Tixeuilet al. 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⟩ Communication dans un congrès hal-01937420v1
Compact Self-Stabilizing Leader Election for General Networks Lélia Blin,Sébastien Tixeuil LATIN 2018 - 13th Latin American Symposium on Theoretical Informatics, Apr 2018, Buenos Aires, Argentina. pp.161-173, ⟨10.1007/978-3-319-77404-6_13⟩ Communication dans un congrès hal-02076468v1
Multi-hop Byzantine Reliable Broadcast Made Practical Silvia Bonomi,Giovanni Farina,Sébastien Tixeuil LADC 2018 - 8th Latin-American Symposium on Dependable Computing, Oct 2018, Foz do Iguau, Brazil. pp.155-160, ⟨10.1109/LADC.2018.00026⟩ Communication dans un congrès hal-02076443v1
Optimally Gathering Two Robots Adam Heriban,Xavier Défago,Sébastien Tixeuil The 19th International Conference on Distributed Computing and Networking, Jan 2018, Varanasi, India. pp.3, ⟨10.1145/3154273.3154323⟩ Communication dans un congrès hal-01753431v1
Identification du type des objets connectés par les informations des protocoles réseaux Nesrine Ammar,Ludovic Noirie,Sébastien Tixeuil Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, May 2018, Roscoff, France Communication dans un congrès hal-01785952v1
Arbitrary Pattern Formation with Four Robots Quentin Bramas,Sébastien Tixeuil SSS 2018 - 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2018, Tokyo, Japan. pp.333-348, ⟨10.1007/978-3-030-03232-6_22⟩ Communication dans un congrès hal-02076496v1
Parameterized verification of algorithms for oblivious robots on a ring Arnaud Sangnier,Nathalie Sznajder,Maria Potop-Butucaru,Sébastien Tixeuil Formal Methods in Computer Aided Design, Oct 2017, Vienna, Austria. pp.212-219, ⟨10.23919/FMCAD.2017.8102262⟩ Communication dans un congrès hal-01664894v1
Stateless Reliable Geocasting Jordan Adamek,Mikhail Nesterenko,James Scott Robinson,Sébastien Tixeuil 36th IEEE Symposium on Reliable Distributed Systems (SRDS 2017), Sep 2017, Hong Kong, China Communication dans un congrès hal-01549915v1
Agrégation Distribuée de Données dans les Réseaux Dynamiques Quentin Bramas,Toshimitsu Masuzawa,Sébastien Tixeuil ALGOTEL 2017 - 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2017, Quiberon, France Communication dans un congrès hal-01518548v1
Brief announcement: Compact Self-Stabilizing Leader Election for General Networks Lélia Blin,Sébastien Tixeuil 31st International Symposium on Distributed Computing (DISC 2017), Oct 2017, Vienna, Austria Communication dans un congrès hal-01553088v1
Certified Gathering of Oblivious Mobile Robots: survey of recent results and open problems Thibaut Balabonski,Pierre Courtieu,Lionel Rieg,Sébastien Tixeuil,Xavier Urbain 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⟩ Communication dans un congrès hal-01549942v1
Brief Announcement: Efficient Self-Stabilizing 1-Maximal Matching Algorithm for Arbitrary Networks Michiko Inoue,Fukuhito Ooshita,Sébastien Tixeuil ACM Conference on Principles of Distributed Computing (PODC 2017) , Jul 2017, Washington, United States Communication dans un congrès hal-01520336v1
Les Vertus Énergétiques de l'Inondation à Pleine Puissance Quentin Bramas,Sébastien Tixeuil Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, May 2017, Quiberon, France Communication dans un congrès hal-01518553v1
Algorithme Auto-Stabilisant Compact d'Election pour les Graphes Arbitraires Lélia Blin,Sébastien Tixeuil ALGOTEL 2017 - 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2017, Quiberon, France Communication dans un congrès hal-01512950v1
Optimal Storage under Unsynchronized Mobile Byzantine Faults Silvia Bonomi,Antonella del Pozzo,Maria Potop-Butucaru,Sébastien Tixeuil 36th IEEE Symposium on Reliable Distributed Systems (SRDS 2017), Sep 2017, Hong Kong, China Communication dans un congrès hal-01549931v1
An Efficient Silent Self-stabilizing 1-Maximal Matching Algorithm Under Distributed Daemon Without Global Identifiers Michiko Inoue,Fukuhito Ooshita,Sébastien Tixeuil 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⟩ Communication dans un congrès hal-01491823v1
Specification-based Synthesis of Distributed Self-Stabilizing Protocols Fathiyeh Faghih,Borzoo Bonakdarpour,Sandeep Kulkarni,Sébastien Tixeuil Formal Techniques for Distributed Objects, Components, and Systems International Conference (FORTE 2016), May 2016, Heraklion, Greece Communication dans un congrès hal-01349070v1
Infinite Unlimited Churn (Short Paper) Dianne Foreback,Mikhail Nesterenko,Sébastien Tixeuil 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⟩ Communication dans un congrès hal-01491828v1
Brief announcement: Certified Universal Gathering in R2 for Oblivious Mobile Robots Pierre Courtieu,Lionel Rieg,Sébastien Tixeuil,Xavier Urbain ACM Conference on Principles of Distributed Computing (PODC), ACM, Jul 2016, Chicago, United States. pp.439-441, ⟨10.1145/2933057.2933070⟩ Communication dans un congrès hal-01349084v1
Certified Universal Gathering in $R^2$ for Oblivious Mobile Robots Pierre Courtieu,Lionel Rieg,Sébastien Tixeuil,Xavier Urbain Distributed Computing (DISC), Sep 2016, Paris, France. pp.187-200, ⟨10.1007/978-3-662-53426-7_14⟩ Communication dans un congrès hal-01349061v1
Packet Efficient Implementation of the Omega Failure Detector Quentin Bramas,Dianne Foreback,Mikhail Nesterenko,Sébastien Tixeuil 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⟩ Communication dans un congrès hal-01491817v1
Benchmarking Energy-Efficient Broadcast Protocols in Wireless Sensor Networks Quentin Bramas,Sébastien Tixeuil Networked Systems - Fourth International Conference (NETYS 2016), May 2016, Marakech, Morocco Communication dans un congrès hal-01349075v1
Probabilistic Asynchronous Arbitrary Pattern Formation (Short Paper) Quentin Bramas,Sébastien Tixeuil 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⟩ Communication dans un congrès hal-01491832v1
Enhancing Content Distribution through Information-Aware Mechanisms Walid Benchaïta,Gioacchino Tangari,Samir Ghamri-Doudane,Sébastien Tixeuil CloudNet, Oct 2016, Pisa, Italy Communication dans un congrès hal-01349026v1
Brief announcement: Probabilistic Asynchronous Arbitrary Pattern Formation Quentin Bramas,Sébastien Tixeuil ACM Conference on Principles of Distributed Computing (PODC), Jul 2016, Chicago, United States Communication dans un congrès hal-01349087v1
Formation de Motifs Géométriques Arbitraires par des Robots Désorientés Quentin Bramas,Sébastien Tixeuil ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications , May 2016, Bayonne, France Communication dans un congrès hal-01302912v1
Asynchronous Gathering in Rings with 4 Robots Francois Bonnet,Maria Potop-Butucaru,Sébastien Tixeuil Ad Hoc Now 2016, Jul 2016, Lille, France Communication dans un congrès hal-01340243v1
Synchronous Gathering Without Multiplicity Detection: A Certified Algorithm Thibaut Balabonski,Amélie Delga,Lionel Rieg,Sébastien Tixeuil,Xavier Urbain 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⟩ Communication dans un congrès hal-01491813v1
Specification-Based Synthesis of Distributed Self-Stabilizing Protocols Fathiyeh Faghih,Borzoo Bonakdarpour,Sébastien Tixeuil,Sandeep Kulkarni 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⟩ Communication dans un congrès hal-01432932v1
Stability and optimization of DNS-based request redirection in CDNs Walid Benchaïta,Samir Ghamri-Doudane,Sébastien Tixeuil International Conference on Distributed Computing and Networking , Jan 2016, Singapore, Singapore. pp.11, ⟨10.1145/2833312.2833455⟩ Communication dans un congrès hal-01272045v1
Optimal Mobile Byzantine Fault Tolerant Distributed Storage Silvia Bonomi,Antonella del Pozzo,Maria Potop-Butucaru,Sébastien Tixeuil ACM Conference on Principles of Distributed Computing (PODC), ACM, Jul 2016, Chicago, United States Communication dans un congrès hal-01349064v1
WiSeBat: Accurate Energy Benchmarking of Wireless Sensor Networks Quentin Bramas,Wilfried Dron,Mariem Ben Fadhl,Khalil Hachicha,Patrick Gardaet al. The Forum on specification and Design Languages (FDL 2015), Sep 2015, Barcelona, Spain. pp.1--8, ⟨10.1109/FDL.2015.7306084⟩ Communication dans un congrès hal-01213325v1
Wait-free Gathering without Chirality Quentin Bramas,Sébastien Tixeuil SIROCCO 2015, Jul 2015, Montserrat, Spain Communication dans un congrès hal-01213285v1
Optimal Torus Exploration by Oblivious Robots Stéphane Devismes,Anissa Lamani,Franck Petit,Sébastien Tixeuil NETYS 2015 - Third International Conference on Networked Systems, May 2015, Agadir, Morocco. pp.183-199, ⟨10.1007/978-3-319-26850-7_13⟩ Communication dans un congrès hal-00926573v3
Stabilizing Byzantine-Fault Tolerant Storage Silvia Bonomi,Maria Potop-Butucaru,Sébastien Tixeuil IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2015, May 2015, Hyderabad, India. pp.894-903, ⟨10.1109/IPDPS.2015.89⟩ Communication dans un congrès hal-01206290v1
The Complexity of Data Aggregation in Static and Dynamic Wireless Sensor Networks Quentin Bramas,Sébastien Tixeuil The International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2015), Aug 2015, Edmonton, Canada. pp.36-50, ⟨10.1007/978-3-319-21741-3_3⟩ Communication dans un congrès hal-01213269v1
Agréger Rapidement des Données est Difficile Quentin Bramas,Sébastien Tixeuil ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France Communication dans un congrès hal-01144458v1
The Random Bit Complexity of Mobile Robots Scattering Quentin Bramas,Sébastien Tixeuil Ad-hoc, Mobile, and Wireless Networks - 14th International Conference, ADHOC-NOW 2015, Jun 2015, Athènes, Greece. pp.210-224, ⟨10.1007/978-3-319-19662-6_15⟩ Communication dans un congrès hal-01135398v1
Automated Analysis of Impact of Scheduling on Performance of Self-Stabilizing Protocols Saba Aflaki,Borzoo Bonakdarpour,Sébastien Tixeuil The International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2015), Aug 2015, Edmonton, Canada. pp.156-170, ⟨10.1007/978-3-319-21741-3_11⟩ Communication dans un congrès hal-01213273v1
Evaluating and Optimizing Stabilizing Dining Philosophers Jordan Adamek,Mikhail Nesterenko,Sébastien Tixeuil The European Dependable Computing Conference (EDCC 2015), Sep 2015, Paris, France Communication dans un congrès hal-01213278v1
De la Survie Énergétique des Réseaux de Capteurs Quentin Bramas,Wilfried Dron,Mariem Ben Fadhl,Khalil Hachicha,Patrick Gardaet al. ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France Communication dans un congrès hal-01144309v1
Synthèse d'algorithmes pour robots mobiles : le cas du regroupement sur un anneau Laure Millet,Maria Potop-Butucaru,Nathalie Sznajder,Sébastien Tixeuil ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France Communication dans un congrès hal-01154517v1
Communicating Reliably in Multihop Dynamic Networks despite Byzantine Failures Alexandre Maurer,Xavier Défago,Sébastien Tixeuil The International Symposium on Reliable Distributed Systems (SRDS2015), Sep 2015, Montreal, Canada Communication dans un congrès hal-01213311v1
Communication fiable dans un réseau dynamique en présence de fautes Byzantines Alexandre Maurer,Xavier Defago,Sébastien Tixeuil ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France Communication dans un congrès hal-01146737v1
Self-stabilizing Byzantine Broadcast Alexandre Maurer,Sébastien Tixeuil The 33rd IEEE Symposium on Reliable Distributed Systems (SRDS 2014), Oct 2014, Nara, Japan. pp.152-160, ⟨10.1109/SRDS.2014.10⟩ Communication dans un congrès hal-01215926v1
Brief Announcement: Designing a Fault Tolerance Algorithm to Optimize Experimental Performance: the Case of Stabilizing Dining Philosophers Jordan Adamek,Mikhail Nesterenko,Sébastien Tixeuil 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2014, Sep 2014, Paderborn, Germany. pp.349-351 Communication dans un congrès hal-01215924v1
Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols François Bonnet,Xavier Défago,Franck Petit,Maria Potop-Butucaru,Sébastien Tixeuil Workshop on Self-organization in Swarm of Robots: from Molecular Robots to Mobile Agents (WSSR 2014), Oct 2014, Nara, Japan. pp.50-59, ⟨10.1109/SRDSW.2014.34⟩ Communication dans un congrès hal-01108586v1
On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering Laure Millet,Maria Potop-Butucaru,Nathalie Sznajder,Sébastien Tixeuil SSS 2014 - 16th International Symposium on Stabilization, Safety and Security of Distributed Systems, Sep 2014, Paderborn, Germany. pp.237-251, ⟨10.1007/978-3-319-11764-5_17⟩ Communication dans un congrès hal-01016832v2
Le pouvoir séparateur d'une pièce de monnaie Quentin Bramas,Sébastien Tixeuil ALGOTEL 2014 -- 16èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2014, Le Bois-Plage-en-Ré, France. pp.1-4 Communication dans un congrès hal-00985322v1
Compact Deterministic Self-stabilizing Leader Election - The Exponential Advantage of Being Talkative Lélia Blin,Sébastien Tixeuil DISC 2013 - 27th International Symposium on Distributed Computing, Oct 2013, Jerusalem, Israel. pp.76-90, ⟨10.1007/978-3-642-41527-2_6⟩ Communication dans un congrès istex hal-00930095v1
A Scalable Byzantine Grid Alexandre Maurer,Sébastien Tixeuil International Conference on Distributed Computing and Networking, Jan 2013, Mumbai, India. pp.87-101, ⟨10.1007/978-3-642-35668-1_7⟩ Communication dans un congrès hal-00742655v1
Fast Leader (Full) Recovery Despite Dynamic Faults Ajoy Datta,Stéphane Devismes,Lawrence L. Larmore,Sébastien Tixeuil International Conference on Distributed Computing and Networking, Jan 2013, Mumbai, India. pp.428-433, ⟨10.1007/978-3-642-35668-1_30⟩ Communication dans un congrès istex hal-00930061v1
Gathering of Mobile Robots Tolerating Multiple Crash Faults Zohir Bouzid,Shantanu Das,Sébastien Tixeuil International Conference on Distributed Computing Systems, Jul 2013, Philadelphia, United States. pp.337-346, ⟨10.1109/ICDCS.2013.27⟩ Communication dans un congrès hal-00930074v1
Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Model Checking Narges Fallahi,Borzoo Bonakdarpour,Sébastien Tixeuil International Symposium on Reliable Distributed Systems, Sep 2013, Braga, Portugal. pp.153-162, ⟨10.1109/SRDS.2013.24⟩ Communication dans un congrès hal-00930109v1
Contenu généré par les utilisateurs : une étude sur DailyMotion Yannick Carlinet,The Dang Huynh,Bruno Kauffmann,Fabien Mathieu,Ludovic Noirieet al. 15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4 Communication dans un congrès hal-00818606v1
Tolérer les fautes Byzantines dans les graphes planaires Alexandre Maurer,Sébastien Tixeuil 15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4 Communication dans un congrès hal-00812914v4
Explorer une grille avec un minimum de robots amnésiques Franck Petit,Anissa Lamani,Stéphane Devismes,Sébastien Tixeuil,Pascal Raymond 15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4 Communication dans un congrès hal-00817123v1
Vérification formelle et robots mobiles Béatrice Bérard,Laure Millet,Maria Gradinariu Potop-Butucaru,Yann Thierry-Mieg,Sébastien Tixeuil 15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4 Communication dans un congrès hal-00818707v1
Brief announcement: deterministic self-stabilizing leader election with O(log log n)-bits Lélia Blin,Sébastien Tixeuil ACM Symposium on Principles of Distributed Computing, Jul 2013, Montreal, Canada. pp.125-127, ⟨10.1145/2484239.2484289⟩ Communication dans un congrès hal-00930090v1
Brief Announcement: Certified impossibility results for Byzantine-tolerant mobile robots Cédric Auger,Zohir Bouzid,Pierre Courtieu,Sébastien Tixeuil,Xavier Urbain International Symposium on Distributed Computing (DISC2013), Oct 2013, Jerusalem, Israel. pp.2 Communication dans un congrès hal-01126335v1
Dependable Information Broadcast in Sparsely Connected Networks Alexandre Maurer,Sébastien Tixeuil International Conference on Latin American Dependable Computing, LADC 2013, Apr 2013, Rio de Janeiro, Brazil. pp.31-39 Communication dans un congrès hal-01219722v1
Linearizing Peer-to-Peer Systems with Oracles Rizal Mohd Nor,Mikhail Nesterenko,Sébastien Tixeuil 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⟩ Communication dans un congrès istex hal-00930281v1
Certified Impossibility Results for Byzantine-Tolerant Mobile Robots Cédric Auger,Zohir Bouzid,Pierre Courtieu,Sébastien Tixeuil,Xavier Urbain 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⟩ Communication dans un congrès hal-00930267v1
Consensus with Unknown Participants in Shared Memory Catia Khouri,Fabiola Greve,Sébastien Tixeuil International Symposium on Reliable Distributed Systems, Sep 2013, Braga, Portugal. pp.51-60, ⟨10.1109/SRDS.2013.14⟩ Communication dans un congrès hal-00930100v1
Brief Announcement: Probabilistic Stabilization under Probabilistic Schedulers Yukiko Yamauchi,Sébastien Tixeuil,Shuji Kijima,Masafumi Yamashita International Symposium on Distributed COmputing, Oct 2012, Salvador, Brazil. pp.413-414, ⟨10.1007/978-3-642-33651-5_34⟩ Communication dans un congrès hal-00934232v1
The Byzantine Brides Problem Swan Dubois,Sébastien Tixeuil,Nini Zhu FUN 2012 - 6th International Conference Fun with Algorithms, Jun 2012, Venice, Italy. pp.107-118, ⟨10.1007/978-3-642-30347-0_13⟩ Communication dans un congrès hal-00934055v1
Confinement de fautes Byzantines dans les réseaux multi-sauts asynchrones Alexandre Maurer,Sébastien Tixeuil 14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2012, La Grande Motte, France Communication dans un congrès hal-00686663v1
Limiting Byzantine Influence in Multihop Asynchronous Networks Alexandre Maurer,Sébastien Tixeuil International Conference on Distributed Computing Systems, Jun 2012, Macau, China. pp.183-192, ⟨10.1109/ICDCS.2012.15⟩ Communication dans un congrès hal-00934073v1
Four Months in DailyMotion: Dissecting User Video Requests Yannick Carlinet,The Dang Huynh,Bruno Kauffmann,Fabien Mathieu,Ludovic Noirieet al. TRAC 2012 - 3rd International Workshop on TRaffic Analysis and Classification, Aug 2012, Limassol, Cyprus. pp.613-618, ⟨10.1109/IWCMC.2012.6314274⟩ Communication dans un congrès hal-00692095v1
Crash Resilient and Pseudo-Stabilizing Atomic Registers Shlomi Dolev,Swan Dubois,Maria Potop-Butucaru,Sébastien Tixeuil 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⟩ Communication dans un congrès hal-00934144v1
On the Self-stabilization of Mobile Oblivious Robots in Uniform Rings Fukuhito Ooshita,Sébastien Tixeuil 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⟩ Communication dans un congrès hal-00934149v1
On Byzantine Broadcast in Loosely Connected Networks Alexandre Maurer,Sébastien Tixeuil 26th International Symposium on Distributed Computing, DISC 2012, Oct 2012, Salvador, Brazil. pp.253-266, ⟨10.1007/978-3-642-33651-5_18⟩ Communication dans un congrès hal-00728337v1
Consenso com Participantes Desconhecidos em Memória Compartilhada Cátia Khouri,Fabíola Greve,Sébastien Tixeuil Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2012), Apr 2012, Ouro Preto, Brazil. pp.756-769 Communication dans un congrès hal-01272830v1
A Fast and Robust Optimistic Total Order Broadcast for Online Video Games Samuel Bernard,Xavier Défago,Sébastien Tixeuil International Conference on Advanced Information Networking and Applications Workshops, Mar 2012, Fukuoka, Japan. pp.189-196, ⟨10.1109/WAINA.2012.105⟩ Communication dans un congrès hal-00934047v1
Optimal Grid Exploration by Asynchronous Oblivious Robots Stéphane Devismes,Anissa Lamani,Franck Petit,Pascal Raymond,Sébastien Tixeuil 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⟩ Communication dans un congrès hal-00934161v1
Mariages et Trahisons Swan Dubois,Sébastien Tixeuil,Nini Zhu AlgoTel'12 - 14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2012, La Grande Motte, France. pp.1-4 Communication dans un congrès hal-00689348v1
Brief Announcement: Wait-Free Gathering of Mobile Robots Zohir Bouzid,Shantanu Das,Sébastien Tixeuil International Symposium on Distributed Computing, Oct 2012, Salvador, Brazil. pp.401-402, ⟨10.1007/978-3-642-33651-5_28⟩ Communication dans un congrès hal-00934220v1
Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols François Bonnet,Xavier Défago,Franck Petit,Maria Potop-Butucaru,Sébastien Tixeuil 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⟩ Communication dans un congrès hal-00934186v1
Gathering an Even Number of Robots in an Odd Ring without Global Multiplicity Detection Sayaka Kamei,Anissa Lamani,Fukuhito Ooshita,Sébastien Tixeuil Mathematical Foundations of Computer Science, Aug 2012, Bratislava, Slovakia. pp.542-553, ⟨10.1007/978-3-642-32589-2_48⟩ Communication dans un congrès hal-00934132v1
Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with Feedback Jordan Adamek,Mikhail Nesterenko,Sébastien Tixeuil 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⟩ Communication dans un congrès hal-00934179v1
Auto-Stabilisation et Confinement de Fautes Malicieuses : Optimalité du Protocole min+1 Swan Dubois,Toshimitsu Masuzawa,Sébastien Tixeuil 13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2011, Cap Estérel, France Communication dans un congrès inria-00587517v1
Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction François Bonnet,Alessia Milani,Maria Potop-Butucaru,Sébastien Tixeuil 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⟩ Communication dans un congrès istex hal-00992679v1
Asynchronous Mobile Robot Gathering from Symmetric Configurations without Global Multiplicity Detection Sayaka Kamei,Anissa Lamani,Fukuhito Ooshita,Sébastien Tixeuil SIROCCO 2011, 2011, Gdansk, Poland, Poland. pp.150-161 Communication dans un congrès hal-01009454v1
Pragmatic Self-Stabilization of Atomic Memory in Message-Passing Systems Noga Alon,Hagit Attiya,Shlomi Dolev,Swan Dubois,Maria Gradinariu Potop-Butucaruet al. SSS 2011 - 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Oct 2011, Grenoble, France. pp.19-31, ⟨10.1007/978-3-642-24550-3_4⟩ Communication dans un congrès istex inria-00627780v1
Distributed Computing with Mobile Robots: an Introductory Survey Maria Gradinariu Potop-Butucaru,Michel Raynal,Sébastien Tixeuil NBiS 2011 - 14th International Conference on Network-Based Information Systems, Sep 2011, Tirana, Albania. pp.318-324, ⟨10.1109/NBiS.2011.55⟩ Communication dans un congrès hal-00649294v1
Communication Optimalement Stabilisante sur Canaux non Fiables et non FIFO Shlomi Dolev,Swan Dubois,Maria Potop-Butucaru,Sébastien Tixeuil 13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2011, Cap Estérel, France Communication dans un congrès inria-00587089v1
Asynchronous mobile robot gathering from symmetric configurations without global multiplicity detection Sayaka Kamei,Anissa Lamani,Fukuhito Ooshita,Sébastien Tixeuil Sirocco 2011, Jun 2011, Gdansk, Poland. pp.150-161, ⟨10.1007/978-3-642-22212-2_14⟩ Communication dans un congrès hal-01285680v1
Brief Announcement: The BG-simulation for Byzantine Mobile Robots Taisuke Izumi,Zohir Bouzid,Sébastien Tixeuil,Koichi Wada DISC 2011, Sep 2011, Roma, Italy. pp.330-331, ⟨10.1007/978-3-642-24100-0_32⟩ Communication dans un congrès istex hal-01285672v1
Maximum Metric Spanning Tree made Byzantine Tolerant Swan Dubois,Toshimitsu Masuzawa,Sébastien Tixeuil DISC 2011 - 25th International Symposium on Distributed Computing, Sep 2011, Rome, Italy. pp.150-164, ⟨10.1007/978-3-642-24100-0_14⟩ Communication dans un congrès inria-00627777v1
Ideal Stabilization Mikhail Nesterenko,Sébastien Tixeuil IEEE AINA 2011, Mar 2011, Biopolis, Singapore. pp.224-231, ⟨10.1109/AINA.2011.28⟩ Communication dans un congrès hal-01285686v1
Exclusive Perpetual Ring Exploration without Chirality Lélia Blin,Alessia Milani,Maria Potop-Butucaru,Sébastien Tixeuil DISC 2010 - 24th International Symposium Distributed Computing, Sep 2010, Cambridge, MA, United States. pp.312-327, ⟨10.1007/978-3-642-15763-9_29⟩ Communication dans un congrès istex hal-00992700v1
XS-WSNet : Extreme-scale Wireless Sensor Simulation Ali Asim,Sébastien Tixeuil IEEE International Symposium on a World of Wireless Mobile and Multimedia Networks, WoWMoM 2010, Jun 2010, Montreal, Canada. pp.1-9, ⟨10.1109/WOWMOM.2010.5534898⟩ Communication dans un congrès hal-01291183v1
A Framework for Secure and Private P2P Publish/Subscribe Samuel Bernard,Maria Gradinariu Potop-Butucaru,Sébastien Tixeuil 12th International Symposium Stabilization, Safety, and Security of Distributed Systems, SSS, Sep 2010, New York, NY, United States. pp.531-545, ⟨10.1007/978-3-642-16023-3_41⟩ Communication dans un congrès istex hal-01293846v1
A Self-Stabilizing 3-Approximation for the Maximum Leaf Spanning Tree Problem in Arbitrary Networks Sayaka Kamei,Hirotsugu Kakugawa,Stéphane Devismes,Sébastien Tixeuil COCOON 2010, Jul 2010, Na Thrang, Vietnam. pp.80-89, ⟨10.1007/978-3-642-14031-0_11⟩ Communication dans un congrès hal-01292491v1
Self-stabilizing Byzantine Asynchronous Unison Swan Dubois,Maria Gradinariu Potop-Butucaru,Mikhail Nesterenko,Sébastien Tixeuil OPODIS 2010 - 14th International Conference On Principles Of DIstributed Systems, Dec 2010, Tozeur, Tunisia. pp.83-86, ⟨10.1007/978-3-642-17653-1_7⟩ Communication dans un congrès istex inria-00627771v1
Robocast: Asynchronous Communication in Robot Networks Zohir Bouzid,Shlomi Dolev,Maria Gradinariu Potop-Butucaru,Sébastien Tixeuil OPODIS 2010, Dec 2010, Tozeur, Tunisia. pp.16-31, ⟨10.1007/978-3-642-17653-1_2⟩ Communication dans un congrès hal-01290774v1
Optimal Deterministic Ring Exploration with Oblivious Asynchronous Robots Anissa Lamani,Maria Gradinariu Potop-Butucaru,Sébastien Tixeuil 17th International Colloquium Structural Information and Communication Complexity, SIROCCO, 2010, Şirince, Turkey. pp.183-196, ⟨10.1007/978-3-642-13284-1_15⟩ Communication dans un congrès hal-01293850v1
Brief Announcement: Monotonic Stabilization Yukiko Yamauchi,Sébastien Tixeuil The 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing, PODC'10, Jul 2010, Zurich, Switzerland. pp.406-407, ⟨10.1145/1835698.1835794⟩ Communication dans un congrès hal-01291182v1
Monotonic Stabilization Yukiko Yamauchi,Sébastien Tixeuil OPODIS 2010, Dec 2010, Tozeur, Tunisia. pp.475-490, ⟨10.1007/978-3-642-17653-1_34⟩ Communication dans un congrès istex hal-01290770v1
Brief Announcement: Sharing Memory in a Self-stabilizing Manner Noga Alon,Hagit Attiya,Shlomi Dolev,Swan Dubois,Maria Gradinariuet al. 24th International Symposium Distributed Computing DISC, Sep 2010, Cambridge, MA, United States. pp.525-527, ⟨10.1007/978-3-642-15763-9_49⟩ Communication dans un congrès hal-01293831v1
The Impact of Topology on Byzantine Containment in Stabilization Swan Dubois,Toshimitsu Masuzawa,Sébastien Tixeuil 24th International Symposium Distributed Computing DISC, Sep 2010, Cambridge, MA, United States. pp.495-509, ⟨10.1007/978-3-642-15763-9_47⟩ Communication dans un congrès hal-01293827v1
SAFE-OS: a Secure and Usable Desktop Operating System François Lesueur,Ala Rezmerita,Thomas Hérault,Sylvain Peyronnet,Sébastien Tixeuil CRiSIS 2010, Oct 2010, Montréal, Canada. pp.1-7, ⟨10.1109/CRISIS.2010.5764916⟩ Communication dans un congrès hal-01290776v1
Stabilizing Locally Maximizable Tasks in Unidirectional Networks is Hard Toshimitsu Masuzawa,Sébastien Tixeuil IEEE 30th International Conference on Distributed Computing Systems, ICDCS 2010, Jun 2010, Gênes, Italy. pp.718-727, ⟨10.1109/ICDCS.2010.69⟩ Communication dans un congrès hal-01291184v1
Communications Efﬁcaces et Auto-Stabilisation Stéphane Devismes,Toshimitsu Masuzawa,Sébastien Tixeuil 12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2010, Belle-Dune, France. pp.id 19 Communication dans un congrès hal-00479860v1
Construction auto-stabilisante d'arbre couvrant en dépit d'actions malicieuses Swan Dubois,Toshimitsu Masuzawa,Sébastien Tixeuil 12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2010, Belle Dune, France Communication dans un congrès inria-00477480v1
Probabilistic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks Samuel Bernard,Stéphane Devismes,Katy Paroux,Maria Gradinariu Potop-Butucaru,Sébastien Tixeuil 11th International Conference on Distributed Computing and Networking, ICDCN 2010, Jan 2010, Kolkata, India. pp.167-177, ⟨10.1007/978-3-642-11322-2_19⟩ Communication dans un congrès istex hal-01292601v1
Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility Taisuke Izumi,Maria Gradinariu Potop-Butucaru,Sébastien Tixeuil SSS, Sep 2010, New York, NY, United States. pp.319-331, ⟨10.1007/978-3-642-16023-3_27⟩ Communication dans un congrès istex hal-01293837v1
On Byzantine Containment Properties of the min+1 Protocol Swan Dubois,Toshimitsu Masuzawa,Sébastien Tixeuil 12th International Symposium Stabilization, Safety, and Security of Distributed Systems, SSS, Sep 2010, New York, NY, United States. pp.96-110, ⟨10.1007/978-3-642-16023-3_10⟩ Communication dans un congrès hal-01290827v1
Advanced Faults Patterns for WSN Dependability Benchmarking Ali Asim,Sébastien Tixeuil The 13th ACM international conference on Modeling, analysis, and simulation of wireless and mobile systems, MSWiM 2010, Oct 2010, Bodrum, Turkey. pp.39-48, ⟨10.1145/1868521.1868530⟩ Communication dans un congrès hal-01290826v1
Loop-Free Super-Stabilizing Spanning Tree Construction Lélia Blin,Maria Gradinariu Potop-Butucaru,Stephane Rovedakis,Sébastien Tixeuil 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⟩ Communication dans un congrès istex hal-00668381v1
Byzantine-Resilient Convergence in Oblivious Robot Networks Zohir Bouzid,Maria Gradinariu Potop-Butucaru,Sébastien Tixeuil ICDCN, Jan 2009, Hyderabad, India. pp.275-280, ⟨10.1007/978-3-540-92295-7_33⟩ Communication dans un congrès istex hal-01298808v1
Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots Stéphane Devismes,Franck Petit,Sébastien Tixeuil Sirocco 2009, May 2009, Piran, Slovenia. pp.195-208, ⟨10.1007/978-3-642-11476-2_16⟩ Communication dans un congrès istex hal-01295189v1
Optimal deterministic self-stabilizing vertex coloring in unidirectional anonymous networks Samuel Bernard,Stéphane Devismes,Maria Gradinariu Potop-Butucaru,Sébastien Tixeuil IPDPS, May 2009, Rome, Italy. pp.1-8, ⟨10.1109/IPDPS.2009.5161053⟩ Communication dans un congrès hal-01298811v1
Exploration Optimale Probabiliste d'un Anneau par des Robots Semi-Synchrones et Amnésiques Stéphane Devismes,Franck Petit,Sébastien Tixeuil 11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France Communication dans un congrès inria-00383351v1
Communication Efficiency in Self-Stabilizing Silent Protocols Stéphane Devismes,Toshimitsu Masuzawa,Sébastien Tixeuil The IEEE International Conference on Distributed Computing Systems (ICDCS 2009), Jun 2009, Montreal, Canada. pp.474-481, ⟨10.1109/ICDCS.2009.24⟩ Communication dans un congrès hal-01295187v1
A new self-stabilizing minimum spanning tree construction with loop-free property Lélia Blin,Maria Potop-Butucaru,Stephane Rovedakis,Sébastien Tixeuil 23rd International Symposium on Distributed Computing (DISC 2009), Sep 2009, Elche, Spain. pp.407--422, ⟨10.1007/978-3-642-04355-0_43⟩ Communication dans un congrès hal-00869591v1
Sur le Coloriage Auto-stabilisant dans les Réseaux Unidirectionnels Anonymes Samuel Bernard,Stéphane Devismes,Katy Paroux,Maria Gradinariu Potop-Butucaru,Sébastien Tixeuil 11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France Communication dans un congrès inria-00384649v2
Stabilisation instantanée dans les systèmes à passage de messages Sylvie Delaët,Stéphane Devismes,Mikhail Nesterenko,Sébastien Tixeuil 11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France Communication dans un congrès inria-00383350v1
Snap-Stabilization in Message-Passing Systems Sylvie Delaët,Stéphane Devismes,Mikhail Nesterenko,Sébastien Tixeuil International Conference on Distributed Computing and Networking (ICDCN 2009), Jan 2009, Hyderabad, India. pp.281-286, ⟨10.1007/978-3-540-92295-7_34⟩ Communication dans un congrès hal-01295022v1
Brief Announcement: Dynamic FTSS in Asynchronous Systems: The Case of Unison Swan Dubois,Maria Gradinariu Potop-Butucaru,Sébastien Tixeuil 23rd International Symposium on Distributed Computing, DISC 2009, Sep 2009, Elche, Spain. pp.291-293, ⟨10.1007/978-3-642-04355-0_30⟩ Communication dans un congrès istex hal-01298807v1
Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks Zohir Bouzid,Maria Gradinariu Potop-Butucaru,Sébastien Tixeuil SSS 2009., Nov 2009, Lyon, France. pp.165-179, ⟨10.1007/978-3-642-05118-0_12⟩ Communication dans un congrès hal-01295184v1
Byzantine Convergence in Robots Networks: The Price of Asynchrony Zohir Bouzid,Maria Gradinariu Potop-Butucaru,Sébastien Tixeuil OPODIS 2009, Dec 2009, Nimes, France. pp.54-70, ⟨10.1007/978-3-642-10877-8_7⟩ Communication dans un congrès hal-01295181v1
A self-stabilizing 2/3-approximation algorithm for the maximum matching problem Fredrik Manne,Morten Mjelde,Laurence Pilard,Sébastien Tixeuil International Conference on Stabilization, Safety, and Security (SSS 2008), Nov 2008, Detroit, MI, United States. pp.94-108, ⟨10.1007/978-3-540-89335-6_10⟩ Communication dans un congrès istex hal-01303005v1
Universe Detectors for Sybil Defense in Ad Hoc Wireles Networks Adnan Vora,Mikhail Nesterenko,Sébastien Tixeuil,Sylvie Delaët International Conference on Stabilization, Safety, and Security (SSS 2008), Nov 2008, Detroit, MI, United States. pp.63-78, ⟨10.1007/978-3-540-89335-6_8⟩ Communication dans un congrès hal-01303007v1
Weak vs. Self vs. Probabilistic Stabilization Stéphane Devismes,Sébastien Tixeuil,Masafumi Yamashita IEEE International Conference on Distributed Computing Systems (ICDCS 2008), Jun 2008, Beijing, China. pp.681-688, ⟨10.1109/ICDCS.2008.12⟩ Communication dans un congrès hal-01303470v1
Deterministic Secure Positioning in Wireless Sensor Networks Sylvie Delaët,Partha Sarathi Mandal,Mariusz Rokicki,Sébastien Tixeuil ACM/IEEE International Conference on Distributed Computing in Sensor Networks (DCOSS 2008), Jun 2008, Santorini Island, Greece. pp.469-477, ⟨10.1007/978-3-540-69170-9_32⟩ Communication dans un congrès hal-01303473v1
Brief Announcement: Snap-Stabilization in Message-Passing Systems Sylvie Delaët,Stéphane Devismes,Mikhail Nesterenko,Sébastien Tixeuil Principles of Distributed Computing (PODC 2008), Aug 2008, Toronto, Canada. pp.443-443, ⟨10.1145/1400751.1400838⟩ Communication dans un congrès hal-01303457v1
Quiescence of Self-stabilizing Gossiping among Mobile Agents in Graphs Toshimitsu Masuzawa,Sébastien Tixeuil 15th International Colloquium on Structural Information and Communication Complexity (Sirocco 2008), Jun 2008, Villars-sur-Ollon, Switzerland. pp.247-261, ⟨10.1007/978-3-540-69355-0_21⟩ Communication dans un congrès hal-01303467v1
Strong Stabilization: Bounding Times Affected by Byzantine Processes in Stabilization Toshimitsu Masuzawa,Sébastien Tixeuil Asian Association for Algorithms and Computation annual meeting (AAAC 2008), Apr 2008, Pokfulam, Hong Kong SAR China Communication dans un congrès hal-01303525v1
Conflict Managers for Self-stabilization without Fairness Assumption Maria Gradinariu,Sébastien Tixeuil 27th International Conference on Distributed Computing Systems (ICDCS'07), Jun 2007, Toronto, Canada. pp.46, ⟨10.1109/ICDCS.2007.95⟩ Communication dans un congrès hal-01336216v1
Connaissance vs. Synchronie pour l'Accord Tolérant aux Pannes dans les Réseaux Inconnus Fabiola Greve,Sebastien Tixeuil 9ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2007, Ile d'Oléron, France. pp.67-70 Communication dans un congrès inria-00176959v1
On the Self-stabilization of Mobile Robots in Graphs Lélia Blin,Maria Gradinariu Potop-Butucaru,Sébastien Tixeuil 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⟩ Communication dans un congrès istex hal-01311362v1
Evaluating complex MAC protocols for sensor networks with APMC Michaël Cadilhac,Thomas Herault,Richard Lassaigne,Sylvain Peyronnet,Sébastien Tixeuil Automatic Verification of Critical Systems, Sep 2006, Nancy, France. pp.35-47 Communication dans un congrès inria-00089494v1
Fast Convergence in Self-stabilizing Wireless Networks. Nathalie Mitton,Eric Fleury,Isabelle Guérin-Lassous,Bruno Sericola,Sébastien Tixeuil 12th International Conference on Parallel and Distributed Systems (ICPADS 2006), 12-15 July 2006, Minneapolis, Minnesota, USA, Jul 2006, Minneapolis, United States. pp.31-38 Communication dans un congrès hal-00383834v1
Etude de convergence dans les réseaux sans fil Nathalie Mitton,Eric Fleury,Isabelle Guérin-Lassous,Bruno Sericola,Sébastien Tixeuil 8emes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2006, Trégastel, France Communication dans un congrès inria-00600298v1
Self-stabilization in self-organized multihop wireless networks Nathalie Mitton,Eric Fleury,Isabelle Guérin-Lassous,Sebastien Tixeuil Workshop on Wireless ad hoc Networking (WWAN'05),, Jun 2005, Columbus, United States. pp.909-915 Communication dans un congrès hal-00383720v1
Auto-stabilisation dans les réseaux ad hoc. Nathalie Mitton,Eric Fleury,Isabelle Guérin-Lassous,Sébastien Tixeuil 7e Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (Algotel), May 2005, Presqu'ile de giens, France Communication dans un congrès inria-00600336v1
A language-driven tool for fault injection in distributed applications William Hoarau,Sébastien Tixeuil Proceedings of the IEEE/ACM Workshop GRID 2005, Nov 2005, Seattle, United States. ⟨10.1109/GRID.2005.1542742⟩ Communication dans un congrès hal-00684889v1
Space Lower Bounds for Graph Exploration via Reduced Automata Pierre Fraigniaud,David Ilcinkas,Sergio Rajsbaum,Sébastien Tixeuil SIROCCO 2005, May 2005, Le Mont Saint-Michel, France. pp.140-154, ⟨10.1007/11429647_13⟩ Communication dans un congrès hal-00339766v1
Optimal Randomized Self-stabilizing Mutual Exclusion on Synchronous Rings Philippe Duchon,Nicolas Hanusse,Sébastien Tixeuil Proceedings of DISC'2004, Oct 2004, Netherlands. pp.216--229 Communication dans un congrès hal-00307527v1
Protocoles auto-stabilisants synchrones d'exclusion mutuelle pour les anneaux anonymes et uniformes Philippe Duchon,Nicolas Hanusse,Sébastien Tixeuil Actes d'AlgoTel 2004, May 2004, France. pp.135--140 Communication dans un congrès hal-00307529v1
Self-stabilizing Vertex Coloring of Arbitrary Graphs Maria Gradinariu,Sébastien Tixeuil International conference on Principles of Distributed Systems (OPODIS 2000), Dec 2000, Paris, France. pp.55-70 Communication dans un congrès hal-00631707v1
Self-stabilization with Global Rooted Synchronizers Luc Onana Alima,Joffroy Beauquier,Ajoy Datta,Sébastien Tixeuil IEEE International Conference on Distributed Computing Systems (ICDCS 98), May 1998, Amsterdam, Netherlands. pp.102-109, ⟨10.1109/ICDCS.1998.679492⟩ Communication dans un congrès hal-00631710v1

Poster de conférence (5)

Demo: towards reproducible evaluations of ML-based IDS using data-driven approaches Solayman Ayoubi,Sébastien Tixeuil,Gregory Blanc,Houda Jmila Bo Luo; Xiaojing Liao; Jun Xu. CCS '24: ACM SIGSAC Conference on Computer and Communications Security, Oct 2024, Salt Lake City, UT, United States. Association for Computing Machinery, CCS '24: Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, pp.5081-5083, 2024, ⟨10.1145/3658644.3691368⟩ Poster de conférence hal-04879181v1
Evaluation Framework for ML-based IDS Solayman Ayoubi,Gregory Blanc,Houda Jmila,Sébastien Tixeuil,Thomas Silverston RESSI 2023 : Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2023, Neuvy-sur-Barangeon, France Poster de conférence hal-04164441v1
GRIFIN: cognitive and programmable security for resilient next-generation networks Gregory Blanc,Thomas Silverston,Sébastien Tixeuil RESSI 2022 : Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2022, Chambon-sur-Lac, France Poster de conférence hal-04165398v1
Brief announcement: Approximate Agreement under Mobile Byzantine Faults Model Silvia Bonomi,Antonella del Pozzo,Maria Potop-Butucaru,Sébastien Tixeuil IEEE Conference on Distributed Computing Systems (ICDCS 2016), Jun 2016, Nara, Japan. IEEE, pp.727-728, ⟨10.1109/ICDCS.2016.68⟩ Poster de conférence hal-01349092v1
Brief announcement: Distributed Online Data Aggregation in Dynamic Graphs Quentin Bramas,Toshimitsu Masuzawa,Sébastien Tixeuil IEEE Conference on Distributed Computing Systems (ICDCS 2016), Jun 2016, Nara, Japan. IEEE, pp.747-748, ⟨10.1109/ICDCS.2016.55⟩ Poster de conférence hal-01349094v1

Ouvrages (1)

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

Chapitre d'ouvrage (5)

Fault-Tolerant Mobile Robots Xavier Défago,Maria Potop-Butucaru,Sébastien Tixeuil Distributed Computing by Mobile Entities, 11340, Springer, pp.234-251, 2019, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-11072-7_10⟩ Chapitre d'ouvrage hal-02076375v1
Formal Methods for Mobile Robots Maria Potop-Butucaru,Nathalie Sznajder,Sébastien Tixeuil,Xavier Urbain Paola Flocchini; Giuseppe Prencipe; Nicola Santoro. Distributed Computing by Mobile Entities, Current Research in Moving and Computing, 11340, 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⟩ Chapitre d'ouvrage hal-01981634v1
Dependability Evaluation of The Ogsa-Dai Middleware William Hoarau,Sébastien Tixeuil,Nuno Rodrigues,Décio Sousa,Luis Silva Achievements in European Research on Grid Systems, Springer Berlin / Heidelberg, pp.223-236, 2008, 978-0-387-72811-7. ⟨10.1007/978-0-387-72812-4_17⟩ Chapitre d'ouvrage hal-01303735v1
Fault-tolerant Distributed Algorithms for Scalable Systems Sébastien Tixeuil Wireless Ad Hoc and Sensor Networks, ISTE, pp.225-256, 2007, 9781848210035 Chapitre d'ouvrage hal-01334871v1
The Reduced Automata Technique for Graph Exploration Space Lower Bounds Pierre Fraigniaud,David Ilcinkas,Sergio Rajsbaum,Sébastien Tixeuil 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⟩ Chapitre d'ouvrage hal-00341655v1

Pré-publication, Document de travail (8)

On the Solvability of Byzantine-tolerant Reliable Communication in Dynamic Networks Silvia Bonomi,Giovanni Farina,Sébastien Tixeuil 2026 Pré-publication, Document de travail hal-05009549v3
Asynchronous Gathering in a Torus Sayaka Kamei,Anissa Lamani,Fukuhito Ooshita,Sébastien Tixeuil,Koichi Wada 2021 Pré-publication, Document de travail hal-03112017v1
Computer Aided Formal Design of Swarm Robotics Algorithms Thibaut Balabonski,Pierre Courtieu,Robin Pelle,Lionel Rieg,Sébastien Tixeuilet al. 2021 Pré-publication, Document de travail hal-03111541v1
Resource Efficient Stabilization for Local Tasks despite Unknown Capacity Links Lélia Blin,Anaïs Durand,Sébastien Tixeuil 2020 Pré-publication, Document de travail hal-02981573v1
Uniform Bipartition in the Population Protocol Model with Arbitrary Communication Graphs Hiroto Yasumi,Fukuhito Ooshita,Michiko Inoue,Sébastien Tixeuil 2020 Pré-publication, Document de travail hal-03013644v1
Quixo Is Solved Satoshi Tanaka,François Bonnet,Sébastien Tixeuil,Yasumasa Tamura 2020 Pré-publication, Document de travail hal-02981564v1
Approximate Agreement under Mobile Byzantine Faults Silvia Bonomi,Antonella del Pozzo,Maria Potop-Butucaru,Sébastien Tixeuil 2015 Pré-publication, Document de travail hal-01301597v1
Universal Loop-Free Super-Stabilization Lélia Blin,Stephane Rovedakis,Maria Potop-Butucaru,Sébastien Tixeuil 2010 Pré-publication, Document de travail hal-00492320v1

Rapport (69)

LIFT: Byzantine Resilient Hub-Sampling Mohamed Amine Legheraba,Nour Rachdi,Maria Gradinariu Potop-Butucaru,Sébastien Tixeuil CANDAR 2025. 2025 Rapport (rapport technique) hal-05480061v1
Emergent Peer-to-Peer Multi-Hub Topology Mohamed Amine Legheraba,Maria Potop-Butucaru,Sébastien Tixeuil,Serge Fdida Sorbonne Universites, UPMC University of Paris 6; LIP6 - Laboratoire d'Informatique de Paris 6. 2024 Rapport (rapport technique) hal-04582174v6
ABD-HFL: Byzantine-resistant Decentralized Hierarchical Federated Learning Tengfei An,Maria Potop-Butucaru,Sébastien Tixeuil,Serge Fdida LIP6, Sorbonne Université, CNRS, UMR 7606. 2024 Rapport (rapport technique) hal-04627430v1
HEAL: Resilient and Self-* Hub-based Learning Mohamed Amine Legheraba,Stefan Galkiewicz,Maria Gradinariu Potop-Butucaru,Sébastien Tixeuil Sorbonne Universite. 2024 Rapport hal-04855860v1
Boosting the Efficiency of Byzantine-tolerant Reliable Communication Silvia Bonomi,Giovanni Farina,Sébastien Tixeuil [Technical Report] Sorbonne Université, CNRS, LIP6, F-75005 Paris, France; Sapienza Università di Roma, Rome, Italy. 2020 Rapport (rapport technique) hal-02960087v1
Multi-hop Byzantine Reliable Broadcast with Honest Dealer Made Practical Silvia Bonomi,Giovanni Farina,Sébastien Tixeuil [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 Rapport (rapport technique) hal-01826865v3
Reliable Broadcast in Dynamic Networks with Locally Bounded Byzantine Failures Silvia Bonomi,Giovanni Farina,Sébastien Tixeuil [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 Rapport (rapport technique) hal-01712277v3
Continuous vs. Discrete Asynchronous Moves: a Certified Approach for Mobile Robots Thibaut Balabonski,Pierre Courtieu,Robin Pelle,Lionel Rieg,Sébastien Tixeuilet al. [Research Report] Sorbonne Université, CNRS, Laboratoire d’Informatique de Paris 6, LIP6, F-75005 Paris, France. 2018, pp.1-12 Rapport (rapport de recherche) hal-01762962v1
On the encoding and solving partial information games Yackolley Amoussou-Guenou,Souheib Baarir,Maria Potop-Butucaru,Nathalie Sznajder,Leo Tibleet al. [Research Report] LIP6, Sorbonne Université, CNRS, UMR 7606; LINCS; CEA Paris Saclay; Sorbonne Université. 2018 Rapport (rapport de recherche) hal-01790508v1
Churn Possibilities and Impossibilities Dianne Foreback,Mikhail Nesterenko,Sébastien Tixeuil [Research Report] Kent State University; Sorbonne Université, CNRS, Laboratoire d’Informatique de Paris 6, LIP6, F-75005 Paris, France. 2018 Rapport (rapport de recherche) hal-01753397v1
Concurrent Geometric Multicasting Jordan Adamek,Mikhail Nesterenko,James Scott Robinson,Sébastien Tixeuil [Research Report] UPMC Sorbonne Universités. 2017 Rapport (rapport de recherche) hal-01540744v1
Optimal Storage under Unsynchrononized Mobile Byzantine Faults Silvia Bonomi,Antonella del Pozzo,Maria Potop-Butucaru,Sébastien Tixeuil [Research Report] UPMC - Université Paris 6 Pierre et Marie Curie; Sapienza Università di Roma (Italie). 2017 Rapport (rapport de recherche) hal-01561776v1
Parameterized Verification of Algorithms for Oblivious Robots on a Ring Arnaud Sangnier,Nathalie Sznajder,Maria Potop-Butucaru,Sébastien Tixeuil [Research Report] UPMC Sorbonne Universités. 2017 Rapport (rapport de recherche) hal-01540339v1
Optimally Gathering Two Robots Adam Heriban,Xavier Défago,Sébastien Tixeuil [Research Report] UPMC Sorbonne Universités. 2017 Rapport (rapport de recherche) hal-01575451v1
Optimal Self-Stabilizing Mobile Byzantine-Tolerant Regular Register with bounded timestamp Silvia Bonomi,Antonella del Pozzo,Maria Potop-Butucaru,Sébastien Tixeuil [Research Report] UPMC - Université Paris 6 Pierre et Marie Curie; Sapienza Università di Roma (Italie). 2016 Rapport (rapport de recherche) hal-01362193v2
Distributed Online Data Aggregation in Dynamic Graphs Quentin Bramas,Toshimitsu Masuzawa,Sébastien Tixeuil [Research Report] Sorbonne Universités, UPMC Univ Paris 06, CNRS, LIP6 UMR 7606, 4 place Jussieu 75005 Paris.; Osaka University, Japan. 2016 Rapport (rapport de recherche) hal-01264285v2
Certified Universal Gathering in $R^2$ for Oblivious Mobile Robots Pierre Courtieu,Lionel Rieg,Sébastien Tixeuil,Xavier Urbain [Research Report] UPMC; CNAM. 2016 Rapport (rapport de recherche) hal-01274295v1
Infinite Unlimited Churn Dianne Foreback,Mikhail Nesterenko,Sébastien Tixeuil [Research Report] LIP6 - Laboratoire d'Informatique de Paris 6; Kent State University. 2016 Rapport (rapport de recherche) hal-01350804v1
Optimal Mobile Byzantine Fault Tolerant Distributed Storage Silvia Bonomi,Antonella del Pozzo,Maria Potop-Butucaru,Sébastien Tixeuil [Research Report] UPMC - Université Paris 6 Pierre et Marie Curie. 2016 Rapport (rapport de recherche) hal-01348830v2
Packet Efficient Implementation of the Omega Failure Detector Quentin Bramas,Dianne Foreback,Mikhail Nesterenko,Sébastien Tixeuil [Research Report] UPMC Université Paris VI; Kent State University. 2015 Rapport (rapport de recherche) hal-01153111v2
A Certified Universal Gathering Algorithm for Oblivious Mobile Robots Pierre Courtieu,Lionel Rieg,Sébastien Tixeuil,Xavier Urbain [Research Report] UPMC, Sorbonne Universites CNRS; CNAM, Paris; College de France; Université Paris Sud. 2015 Rapport (rapport de recherche) hal-01159890v1
The Random Bit Complexity of Mobile Robots Scattering Quentin Bramas,Sébastien Tixeuil [Research Report] Université Pierre et Marie Curie. 2015 Rapport (rapport de recherche) hal-00866048v2
Stateless Geocasting Jordan Adamek,Mikhail Nesterenko,Sébastien Tixeuil [Research Report] UPMC. 2015 Rapport (rapport de recherche) hal-01168488v1
Probabilistic Asynchronous Arbitrary Pattern Formation Quentin Bramas,Sébastien Tixeuil [Research Report] Université Pierre et Marie Curie. 2015 Rapport (rapport de recherche) hal-01184532v4
Impossibility of Gathering, a Certification Pierre Courtieu,Lionel Rieg,Xavier Urbain,Sébastien Tixeuil [Technical Report] CEDRIC-14-3016, CEDRIC laboratory, CNAM-Paris, France. 2014, pp.10 Rapport (rapport technique) hal-00995126v1
Reliable Communication in a Dynamic Network in the Presence of Byzantine Faults Alexandre Maurer,Sébastien Tixeuil,Xavier Défago [Research Report] _. 2014 Rapport (rapport de recherche) hal-00940569v4
Formal verification of Mobile Robot Protocols Béatrice Berard,Laure Millet,Maria Potop-Butucaru,Yann Thierry-Mieg,Sébastien Tixeuil [Research Report] LIP6. 2013 Rapport hal-00834061v1
Certified Impossibility Results for Byzantine-Tolerant Mobile Robots Cédric Auger,Zohir Bouzid,Pierre Courtieu,Sébastien Tixeuil,Xavier Urbain [Research Report] 1560, LRI - CNRS, University Paris-Sud. 2013 Rapport (rapport de recherche) hal-00834633v1
On Byzantine Broadcast in Planar Graphs Alexandre Maurer,Sébastien Tixeuil [Research Report] _. 2013 Rapport (rapport de recherche) hal-00773343v4
The Byzantine Brides Problem Swan Dubois,Sébastien Tixeuil,Nini Zhu [Research Report] ???. 2012 Rapport (rapport de recherche) hal-00679520v1
Parameterizable Byzantine Broadcast in Loosely Connected Networks Alexandre Maurer,Sébastien Tixeuil [Research Report] ???. 2012 Rapport hal-00777155v2
Gathering an even number of robots in an odd ring without global multiplicity detection Sayaka Kamei,Anissa Lamani,Fukuhito Ooshita,Sébastien Tixeuil [Research Report] ???. 2012 Rapport (rapport de recherche) hal-00709074v1
Limiting Byzantine Influence in Multihop Asynchronous Networks Alexandre Maurer,Sébastien Tixeuil [Research Report] _. 2011 Rapport (rapport de recherche) hal-00663688v1
Asynchronous mobile robot gathering from symmetric configurations without global multiplicity detection Sayaka Kamei,Anissa Lamani,Fukuhito Ooshita,Sébastien Tixeuil [Research Report] ???. 2011 Rapport (rapport de recherche) inria-00589390v1
A Taxonomy of Daemons in Self-stabilization Swan Dubois,Sébastien Tixeuil [Research Report] ???. 2011 Rapport hal-00628390v1
Optimal grid exploration by asynchronous oblivious robots Stéphane Devismes,Anissa Lamani,Franck Petit,Pascal Raymond,Sébastien Tixeuil [Research Report] ???. 2011 Rapport hal-00591963v3
Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction François Bonnet,Alessia Milani,Maria Potop-Butucaru,Sébastien Tixeuil [Research Report] ???. 2011 Rapport hal-00626155v1
Self-Stabilization, Byzantine Containment, and Maximizable Metrics: Necessary Conditions Swan Dubois,Toshimitsu Masuzawa,Sébastien Tixeuil [Research Report] ???. 2011, pp.17 Rapport (rapport de recherche) inria-00577062v2
Maximum Metric Spanning Tree made Byzantine Tolerant Swan Dubois,Toshimitsu Masuzawa,Sébastien Tixeuil [Research Report] ???. 2011, pp.32 Rapport (rapport de recherche) inria-00589234v1
RoboCast: Asynchronous Communication in Robot Networks Zohir Bouzid,Shlomi Dolev,Maria Potop-Butucaru,Sébastien Tixeuil [Research Report] ???. 2010 Rapport (rapport de recherche) inria-00496379v2
The Impact of Topology on Byzantine Containment in Stabilization Swan Dubois,Toshimitsu Masuzawa,Sébastien Tixeuil [Research Report] ???. 2010, pp.18 Rapport (rapport de recherche) inria-00481836v1
Bounding the Impact of Unbounded Attacks in Stabilization Swan Dubois,Toshimitsu Masuzawa,Sébastien Tixeuil [Research Report] ???. 2010, pp.20 Rapport (rapport de recherche) inria-00484645v2
Stabilizing data-link over non-FIFO channels with optimal fault-resilience Shlomi Dolev,Swan Dubois,Maria Potop-Butucaru,Sébastien Tixeuil [Research Report] ???. 2010 Rapport (rapport de recherche) inria-00536048v2
Exclusive perpetual ring exploration without chirality Lélia Blin,Alessia Milani,Maria Potop-Butucaru,Sébastien Tixeuil [Research Report] Université d'Evry Val d'Essonne. 2010, pp.17 Rapport (rapport de recherche) inria-00464206v1
On Byzantine Containment Properties of the $min+1$ Protocol Swan Dubois,Toshimitsu Masuzawa,Sébastien Tixeuil [Research Report] ???. 2010 Rapport (rapport de recherche) inria-00487091v1
Self-Stabilizing Byzantine Asynchronous Unison Swan Dubois,Maria Gradinariu Potop-Butucaru,Mikhail Nesterenko,Sébastien Tixeuil [Research Report] ???. 2009, pp.15 Rapport (rapport de recherche) inria-00437691v1
Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks Zohir Bouzid,Maria Potop-Butucaru,Sébastien Tixeuil [Research Report] ???. 2009, pp.15 Rapport (rapport de recherche) inria-00390870v1
Ideal Stabilization Mikhail Nesterenko,Sébastien Tixeuil [Research Report] ???. 2009, pp.15 Rapport (rapport de recherche) inria-00394118v1
Byzantine Convergence in Robots Networks: The Price of Asynchrony Zohir Bouzid,Maria Potop-Butucaru,Sébastien Tixeuil [Technical Report] ???. 2009, pp.22 Rapport (rapport technique) inria-00408881v1
Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots Stéphane Devismes,Franck Petit,Sébastien Tixeuil [Research Report] RR-6838, INRIA. 2009, pp.29 Rapport (rapport de recherche) inria-00360305v1
Dynamic FTSS in Asynchronous Systems: the Case of Unison Swan Dubois,Maria Potop-Butucaru,Sébastien Tixeuil [Research Report] ???. 2009, pp.34 Rapport (rapport de recherche) inria-00379904v2
A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-free Property Lélia Blin,Maria Gradinariu Potop-Butucaru,Stephane Rovedakis,Sébastien Tixeuil [Research Report] Université d'Evry Val d'Essonne. 2009 Rapport (rapport de recherche) inria-00384041v1
Optimal byzantine resilient convergence in oblivious robot networks Zohir Bouzid,Maria Potop-Butucaru,Sébastien Tixeuil [Research Report] ???. 2009, pp.15 Rapport (rapport de recherche) inria-00387525v1
Stabilizing Maximal Independent Set in Unidirectional Networks is Hard Toshimitsu Masuzawa,Sébastien Tixeuil [Research Report] RR-6880, INRIA. 2009, pp.21 Rapport (rapport de recherche) inria-00368950v1
Optimal deterministic ring exploration with oblivious asynchronous robots Anissa Lamani,Maria Potop-Butucaru,Sébastien Tixeuil [Research Report] ???. 2009, pp.23 Rapport (rapport de recherche) inria-00422100v1
Ascending runs in dependent uniformly distributed random variables : Application to wireless networks Nathalie Mitton,Katy Paroux,Bruno Sericola,Sébastien Tixeuil [Research Report] PI 1883, 2008, pp.12 Rapport (rapport de recherche) inria-00241842v1
Snap-Stabilization in Message-Passing Systems Sylvie Delaët,Stéphane Devismes,Mikhail Nesterenko,Sébastien Tixeuil [Research Report] RR-6446, INRIA. 2008, pp.29 Rapport (rapport de recherche) inria-00248465v2
Quiescence of Self-stabilizing Gossiping among Mobile Agents in Graphs Toshimitsu Masuzawa,Sébastien Tixeuil [Research Report] RR-6458, INRIA. 2008, pp.20 Rapport (rapport de recherche) inria-00260011v3
Ascending runs in dependent uniformly distributed random variables: Application to wireless networks Nathalie Mitton,Katy Paroux,Bruno Sericola,Sébastien Tixeuil [Research Report] RR-6443, INRIA. 2008, pp.12 Rapport (rapport de recherche) inria-00239348v5
Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks Adnan Vora,Mikhail Nesterenko,Sébastien Tixeuil,Sylvie Delaët [Research Report] RR-6529, INRIA. 2008, pp.31 Rapport (rapport de recherche) inria-00276732v2
Bounds for self-stabilization in unidirectional networks Samuel Bernard,Stéphane Devismes,Maria Gradinariu Potop-Butucaru,Sébastien Tixeuil [Research Report] RR-6524, INRIA. 2008, pp.24 Rapport (rapport de recherche) inria-00277661v2
Communication Efficiency in Self-stabilizing Silent Protocols Stéphane Devismes,Toshimitsu Masuzawa,Sébastien Tixeuil [Research Report] RR-6731, INRIA. 2008, pp.33 Rapport (rapport de recherche) inria-00340805v1
Deterministic Secure Positioning in Wireless Sensor Networks Sylvie Delaët,Partha Sarathi Mandal,Mariusz Rokicki,Sébastien Tixeuil [Research Report] RR-6326, INRIA. 2007, pp.31 Rapport (rapport de recherche) inria-00179056v2
On the Self-stabilization of Mobile Robots in Graphs Lélia Blin,Maria Gradinariu Potop-Butucaru,Sébastien Tixeuil [Research Report] RR-6266, INRIA. 2007, pp.23 Rapport (rapport de recherche) inria-00166547v2
A New Self-Stabilizing Maximal Matching Algorithm Fredrik Manne,Morten Mjelde,Laurence Pilard,Sébastien Tixeuil [Research Report] RR-6111, INRIA. 2007, pp.17 Rapport (rapport de recherche) inria-00127899v2
Weak vs. Self vs. Probabilistic Stabilization Stéphane Devismes,Sébastien Tixeuil,Masafumi Yamashita [Research Report] RR-6366, INRIA. 2007 Rapport (rapport de recherche) inria-00189952v2
Knowledge Connectivity vs. Synchrony Requirements for Fault-Tolerant Agreement in Unknown Networks Fabiola Greve,Sébastien Tixeuil [Research Report] RR-6099, INRIA. 2006, pp.32 Rapport (rapport de recherche) inria-00123020v4
FAIL-MPI: How fault-tolerant is fault-tolerant MPI ? Thomas Herault,William Hoarau,Pierre Lemarinier,Eric Rodriguez,Sébastien Tixeuil [Research Report] 1450, 2006, pp.26 Rapport (rapport de recherche) inria-00078183v1
Easy fault injection and stress testing with FAIL-FCI William Hoarau,Sébastien Tixeuil,Fabien Vauchelles [Research Report] RR1421, 2006, pp.20 Rapport (rapport de recherche) hal-00699867v1

Thèse (1)

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

HDR (1)

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