Skip to Main content

Co-authors

Export Publications

Export the displayed publications:
Number of documents

320

Sébastien Tixeuil


Journal articles54 documents

  • Adam Heriban, Sébastien Tixeuil. Mobile Robots with Uncertain Visibility Sensors: Possibility Results and Lower Bounds. Parallel Processing Letters, World Scientific Publishing, 2021, 31 (01), pp.2150002. ⟨10.1142/S012962642150002X⟩. ⟨hal-03154617⟩
  • Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil. Terminating Exploration Of A Grid By An Optimal Number Of Asynchronous Oblivious Robots. The Computer Journal, Oxford University Press (UK), 2021, The Computer Journal, 64 (1), pp.132-154. ⟨10.1093/comjnl/bxz166⟩. ⟨hal-02363013⟩
  • 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, 2020, 56, pp.55-89. ⟨10.1007/s10703-019-00335-y⟩. ⟨hal-02290400⟩
  • Lélia Blin, Sébastien Tixeuil. Compact self-stabilizing leader election for general networks. Journal of Parallel and Distributed Computing, Elsevier, 2020, ⟨10.1016/j.jpdc.2020.05.019⟩. ⟨hal-02873070⟩
  • Shantanu Das, Sébastien Tixeuil. Special issue on Structural Information and Communication Complexity. Theoretical Computer Science, Elsevier, 2020, 811, pp.1-2. ⟨10.1016/j.tcs.2020.02.003⟩. ⟨hal-02873078⟩
  • Silvia Bonomi, Antonella del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil. Approximate Agreement under Mobile Byzantine Faults. Theoretical Computer Science, Elsevier, 2019, 758, pp.17-29. ⟨10.1016/j.tcs.2018.08.001⟩. ⟨hal-02076370⟩
  • Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil. Optimal torus exploration by oblivious robots. Computing, Springer Verlag, 2019, 101 (9), pp.1241-1264. ⟨10.1007/s00607-018-0595-8⟩. ⟨hal-02420598⟩
  • 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⟩
  • Quentin Bramas, Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil. Packet Efficient Implementation of the Omega Failure Detector. Theory of Computing Systems, Springer Verlag, 2019, 63 (2), pp.237-260. ⟨10.1007/s00224-018-9856-3⟩. ⟨hal-02084539⟩
  • 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⟩
  • Evangelos Bampas, Lélia Blin, Jurek Czyzowicz, David Ilcinkas, Arnaud Labourel, et al.. On asynchronous rendezvous in general graphs. Theoretical Computer Science, Elsevier, 2019, 753, pp.80-90. ⟨10.1016/j.tcs.2018.06.045⟩. ⟨hal-01900843⟩
  • Taisuke Izumi, Daichi Kaino, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil. On time complexity for connectivity-preserving scattering of mobile robots. Theoretical Computer Science, Elsevier, 2018, 738, pp.42-52. ⟨10.1016/j.tcs.2018.04.047⟩. ⟨hal-02076455⟩
  • Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni. AUTOMATED SYNTHESIS OF DISTRIBUTED SELF-STABILIZING PROTOCOLS. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2018, 14, pp.1 - 25. ⟨10.23638/LMCS-14(1:12)2018⟩. ⟨hal-02076452⟩
  • 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⟩
  • Quentin Bramas, Sébastien Tixeuil. The Random Bit Complexity of Mobile Robot Scattering. International Journal of Foundations of Computer Science, World Scientific Publishing, 2017, 28 (2), pp.111-133. ⟨10.1142/S0129054117500083⟩. ⟨hal-01349017⟩
  • 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⟩
  • Alexandre Maurer 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⟩
  • 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⟩
  • Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain. Impossibility of gathering, a certification. Information Processing Letters, Elsevier, 2015, 115 (3), pp.447-452. ⟨10.1016/j.ipl.2014.11.001⟩. ⟨hal-01122869⟩
  • Stéphane Devismes, Sébastien Tixeuil, Masafumi Yamashita. Weak vs. Self vs. Probabilistic Stabilization. International Journal of Foundations of Computer Science, World Scientific Publishing, 2015, 26 (3), pp.293-319. ⟨10.1142/S0129054115500173⟩. ⟨hal-01198945⟩
  • Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, et al.. Practically stabilizing SWMR atomic memory in message passing systems. Journal of Computer and System Sciences, Elsevier, 2015, 81 (4), pp.692-701. ⟨10.1016/j.jcss.2014.11.014⟩. ⟨hal-01123697⟩
  • 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⟩
  • 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⟩
  • Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil. Maximum Metric Spanning Tree Made Byzantine Tolerant. Algorithmica, Springer Verlag, 2015, 73 (1), pp.166-201. ⟨10.1007/s00453-014-9913-5⟩. ⟨hal-01151748⟩
  • 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. Byzantine broadcast with fixed disjoint paths. Journal of Parallel and Distributed Computing, Elsevier, 2014, 74 (11), pp.3153--3160. ⟨10.1016/j.jpdc.2014.07.010⟩. ⟨hal-01151757⟩
  • Anthony Honorat, Maria Potop-Butucaru, Sébastien Tixeuil. Gathering fat mobile robots with slim omnidirectional cameras. Theoretical Computer Science, Elsevier, 2014, 557, pp.1-27. ⟨10.1016/j.tcs.2014.08.004⟩. ⟨hal-01151754⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil. Dynamic FTSS in asynchronous systems: The case of unison. Theoretical Computer Science, Elsevier, 2011, 412 (29), pp.3418-3439. ⟨10.1016/j.tcs.2011.02.012⟩. ⟨inria-00627763⟩
  • Sylvie Delaët, Partha Sarathi Mandal, Mariusz Rokicki, Sébastien Tixeuil. Deterministic Secure Positioning in Wireless Sensor Networks. Theoretical Computer Science, Elsevier, 2011, 412 (35), pp.4471-4481. ⟨10.1016/j.tcs.2011.04.010⟩. ⟨hal-01154134⟩
  • Fredrik Manne, Morten Mjelde, Laurence Pilard, Sébastien Tixeuil. A self-stabilizing 2/3-approximation algorithm for the maximum matching problem. Theoretical Computer Science, Elsevier, 2011, 412 (40), pp.5515-5526. ⟨10.1016/j.tcs.2011.05.019⟩. ⟨hal-01154122⟩
  • Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil. Stabilizing data-link over non-FIFO channels with optimal fault-resilience. Information Processing Letters, Elsevier, 2011, 111 (18), pp.912-920. ⟨10.1016/j.ipl.2011.06.010⟩. ⟨inria-00627760⟩
  • Toshimitsu Masuzawa, Sébastien Tixeuil. Quiescence of Self-stabilizing Gossiping among Mobile Agents in Graphs. Theoretical Computer Science, Elsevier, 2010, 411 (14-15), pp.1567-1582. ⟨10.1016/j.tcs.2010.01.006⟩. ⟨hal-01154467⟩
  • Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil. Snap-Stabilization in Message-Passing Systems. Journal of Parallel and Distributed Computing, Elsevier, 2010, 70 (12), pp.1220-1230. ⟨10.1016/j.jpdc.2010.04.002⟩. ⟨hal-01154466⟩
  • Zohir Bouzid, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil. Optimal Byzantine-resilient Convergence in Unidimensional Robot Networks. Theoretical Computer Science, Elsevier, 2010, 411 (34-36), pp.3154-3168. ⟨10.1016/j.tcs.2010.05.006⟩. ⟨hal-01151863⟩
  • 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⟩
  • Mikhail Nesterenko, Sébastien Tixeuil. Discovering Network Topology in the Presence of Byzantine Nodes. IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2009, 20 (12), pp.1777-1789. ⟨10.1109/TPDS.2009.25⟩. ⟨hal-01152552⟩
  • Toshimitsu Masuzawa, Sébastien Tixeuil. On Bootstrapping Topology Knowledge in Anonymous Networks. ACM Transactions on Autonomous and Adaptive Systems, Association for Computing Machinery (ACM), 2009, 4 (1), pp.8. ⟨10.1145/1462187.1462195⟩. ⟨hal-01151766⟩
  • Fredrik Manne, Morten Mjelde, Laurence Pilard, Sébastien Tixeuil. A New Self-Stabilizing Maximal Matching Algorithm. Theoretical Computer Science, Elsevier, 2009, 410 (14), pp.1336-1345. ⟨10.1016/j.tcs.2008.12.022⟩. ⟨hal-01151767⟩
  • Praveen Danturi, Sébastien Tixeuil. Self-stabilizing Philosophers with Generic Conflicts. ACM Transactions on Autonomous and Adaptive Systems, Association for Computing Machinery (ACM), 2009, 4 (1), pp.7. ⟨10.1145/1462187.1462194⟩. ⟨hal-01151770⟩
  • 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⟩
  • Toshimitsu Masuzawa, Sébastien Tixeuil. Stabilizing Link-Coloration of Arbitrary Networks with Unbounded Byzantine Faults. International Journal of Principles and Applications of Information Science and Technology, 2007, 1 (1), pp.1-13. ⟨hal-01152556⟩
  • Sylvie Delaët, Bertrand Ducourthial, Sébastien Tixeuil. Self-stabilization with r-operators revisited. Journal of Aerospace Computing, Information, and Communication, American Institute of Aeronautics and Astronautics, 2006, 3 (10), pp.498-514. ⟨10.2514/1.19848⟩. ⟨hal-00632413⟩
  • Colette Johnen, Franck Petit, Sébastien Tixeuil. Autostabilisation et protocoles réseau. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2004, 23 (4), pp.1027-1056. ⟨10.3166/tsi.23.1027-1056⟩. ⟨hal-00337547⟩
  • Bertrand Ducourthial, Sébastien Tixeuil. Self-stabilization with Path Algebra. Theoretical Computer Science, Elsevier, 2003, 293 (1), pp.219-236. ⟨10.1016/S0304-3975(02)00238-4⟩. ⟨hal-00632374⟩
  • Bertrand Ducourthial, Sébastien Tixeuil. Self-stabilization with r-operators. Distributed Computing, Springer Verlag, 2001, 14 (3), pp.147-162. ⟨10.1007/PL00008934⟩. ⟨hal-00632303⟩
  • 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⟩

Conference papers173 documents

  • Silvia Bonomi, Jérémie Decouchant, Giovanni Farina, Vincent Rahli, Sébastien Tixeuil. Comment réduire efficacement l'entropie des sources malveillantes d'information. AlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2022, Saint-Rémy-Lès-Chevreuse, France. ⟨hal-03657365⟩
  • Fabien Mathieu, Sébastien Tixeuil. Il était une fois Algotel. AlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2022, Saint-Rémy-Lès-Chevreuse, France. ⟨hal-03656129⟩
  • Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil, Koichi Wada. Asynchronous Gathering in a Torus. 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⟩. ⟨hal-03592615⟩
  • Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil. Boosting the Efficiency of Byzantine-Tolerant Reliable Communication. Stabilization, Safety, and Security of Distributed Systems, Nov 2020, Austin, United States. pp.29-44, ⟨10.1007/978-3-030-64348-5_3⟩. ⟨hal-03026501⟩
  • Yackolley Amoussou-Guenou, Souheib Baarir, Maria Potop-Butucaru, Nathalie Sznajder, Leo Tible, et al.. On the Encoding and Solving of Partial Information Games. 8th International Conference on Networked Systems (NETYS'20), Jun 2020, Marrakech, Morocco. ⟨hal-02979574⟩
  • Lélia Blin, Anaïs Durand, Sébastien Tixeuil. On peut tromper mille personnes mille fois, mais pas plus. ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France. ⟨hal-02871107⟩
  • Masahiro Shibata, Sébastien Tixeuil. Partial Gathering of Mobile Robots from Multiplicity-Allowed Configurations in Rings. Stabilization, Safety, and Security of Distributed Systems, Nov 2020, Austin, United States. pp.264-279, ⟨10.1007/978-3-030-64348-5_21⟩. ⟨hal-03026522⟩
  • Nesrine Ammar, Ludovic Noirie, Sébastien Tixeuil. Autonomous Identification of IoT Device Types based on a Supervised Classification. ICC 2020 - 2020 IEEE International Conference on Communications (ICC), Jun 2020, Virtual conference, Ireland. ⟨10.1109/ICC40277.2020.9148821⟩. ⟨hal-02913093⟩
  • Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil. Broadcasting Information in Multi-hop Networks Prone to Mobile Byzantine Faults. Networked Systems, 8th International Conference, NETYS 2020, Jun 2020, Marrakech, Morocco. pp.112-128, ⟨10.1007/978-3-030-67087-0_8⟩. ⟨hal-03109954⟩
  • Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, et al.. Du discrètement continu au continûment discret. ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France. ⟨hal-02871295⟩
  • Quentin Bramas, Anissa Lamani, Sébastien Tixeuil. Stand Up Indulgent Rendezvous. Stabilization, Safety, and Security of Distributed Systems, Nov 2020, Austin, United States. pp.45-59, ⟨10.1007/978-3-030-64348-5_4⟩. ⟨hal-03026512⟩
  • Hiroto Yasumi, Fukuhito Ooshita, Michiko Inoue, Sébastien Tixeuil. Uniform Bipartition in the Population Protocol Model with Arbitrary Communication Graphs. 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⟩. ⟨hal-03126591⟩
  • Xavier Defago, Adam Heriban, Sébastien Tixeuil, Koichi Wada. Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space. 2020 International Symposium on Reliable Distributed Systems (SRDS), Sep 2020, Shanghai, China. pp.113-122, ⟨10.1109/SRDS51746.2020.00019⟩. ⟨hal-03017408⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Quentin Bramas, Toshimitsu Masuzawa, Sébastien Tixeuil. Distributed Online Data Aggregation in Dynamic Graphs. NETYS 2019 - 7th International Conference on Networked Systems, Jun 2019, Marrakech, Morocco. pp.365-380, ⟨10.1007/978-3-030-31277-0_24⟩. ⟨hal-02394962⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Jordan Adamek, Mikhail Nesterenko, James Scott Robinson, Sébastien Tixeuil. Concurrent Geometric Multicasting. The 19th International Conference on Distributed Computing and Networking, Jan 2018, Varanasi, India. ⟨10.1145/3154273.3154314⟩. ⟨hal-01753444⟩
  • Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil. Churn Possibilities and Impossibilities. NETYS 2018 - 6th International Conference on Networked Systems, May 2018, Essaouira, Morocco. pp.303-317, ⟨10.1007/978-3-030-05529-5_20⟩. ⟨hal-02076478⟩
  • Thibaut Balabonski, Robin Pelle, Lionel Rieg, Sébastien Tixeuil. A Foundational Framework for Certified Impossibility Results with Mobile Robots on Graphs. ICDCN 2018 - 19th International Conference on Distributed Computing and Networking, Jan 2018, Varanasi, India. pp.1-10, ⟨10.1145/3154273.3154321⟩. ⟨hal-01753439⟩
  • Adam Heriban, Xavier Défago, Sébastien Tixeuil. Optimally Gathering Two Robots. The 19th International Conference on Distributed Computing and Networking, Jan 2018, Varanasi, India. pp.3, ⟨10.1145/3154273.3154323⟩. ⟨hal-01753431⟩
  • 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⟩
  • Lélia Blin, Sébastien Tixeuil. Compact Self-Stabilizing Leader Election for General Networks. 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⟩. ⟨hal-02076468⟩
  • 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⟩
  • 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⟩
  • Michiko Inoue, Sébastien Tixeuil. Short Paper: Tight Bounds for Universal and Cautious Self-stabilizing 1-Maximal Matching. NETYS 2018 - 6th International Conference on Networked Systems, May 2018, Essaouira, Morocco. pp.334-339, ⟨10.1007/978-3-030-05529-5_22⟩. ⟨hal-02076484⟩
  • Quentin Bramas, Sébastien Tixeuil. Arbitrary Pattern Formation with Four Robots. 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⟩. ⟨hal-02076496⟩
  • Nesrine Ammar, Ludovic Noirie, Sébastien Tixeuil. Identification du type des objets connectés par les informations des protocoles réseaux. Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, May 2018, Roscoff, France. ⟨hal-01785952⟩
  • Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil. Reliable Broadcast in Dynamic Networks with Locally Bounded Byzantine Failures. 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⟩. ⟨hal-02076398⟩
  • Fukuhito Ooshita, Sébastien Tixeuil. Ring Exploration with Myopic Luminous Robots. 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⟩. ⟨hal-02076489⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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. 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Francois Bonnet, Maria Potop-Butucaru, Sébastien Tixeuil. Asynchronous Gathering in Rings with 4 Robots. Ad Hoc Now 2016, Jul 2016, Lille, France. ⟨hal-01340243⟩
  • Walid Benchaïta, Gioacchino Tangari, Samir Ghamri-Doudane, Sébastien Tixeuil. Enhancing Content Distribution through Information-Aware Mechanisms. CloudNet, Oct 2016, Pisa, Italy. ⟨hal-01349026⟩
  • Quentin Bramas, Sébastien Tixeuil. Brief announcement: Probabilistic Asynchronous Arbitrary Pattern Formation. ACM Conference on Principles of Distributed Computing (PODC), Jul 2016, Chicago, United States. ⟨hal-01349087⟩
  • 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⟩
  • Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain. A Certified Universal Gathering Algorithm for Oblivious Mobile Robots. Distributed Computing (DISC), Sep 2016, Paris, France. ⟨hal-01349061⟩
  • Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain. Brief announcement: Certified Universal Gathering in R2 for Oblivious Mobile Robots. ACM Conference on Principles of Distributed Computing (PODC), ACM, Jul 2016, Chicago, United States. ⟨hal-01349084⟩
  • 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⟩
  • Silvia Bonomi, Antonella del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil. Optimal Mobile Byzantine Fault Tolerant Distributed Storage. ACM Conference on Principles of Distributed Computing (PODC), ACM, Jul 2016, Chicago, United States. ⟨hal-01349064⟩
  • 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⟩
  • 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⟩
  • Quentin Bramas, Sébastien Tixeuil. Benchmarking Energy-Efficient Broadcast Protocols in Wireless Sensor Networks. Networked Systems - Fourth International Conference (NETYS 2016), May 2016, Marakech, Morocco. ⟨hal-01349075⟩
  • Fathiyeh Faghih, Borzoo Bonakdarpour, Sandeep Kulkarni, Sébastien Tixeuil. Specification-based Synthesis of Distributed Self-Stabilizing Protocols. Formal Techniques for Distributed Objects, Components, and Systems International Conference (FORTE 2016), May 2016, Heraklion, Greece. ⟨hal-01349070⟩
  • 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, Sébastien Tixeuil. The Complexity of Data Aggregation in Static and Dynamic Wireless Sensor Networks. 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⟩. ⟨hal-01213269⟩
  • Silvia Bonomi, Maria Potop-Butucaru, Sébastien Tixeuil. Stabilizing Byzantine-Fault Tolerant Storage. IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2015, May 2015, Hyderabad, India. pp.894-903, ⟨10.1109/IPDPS.2015.89⟩. ⟨hal-01206290⟩
  • 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⟩
  • Jordan Adamek, Mikhail Nesterenko, Sébastien Tixeuil. Evaluating and Optimizing Stabilizing Dining Philosophers. The European Dependable Computing Conference (EDCC 2015), Sep 2015, Paris, France. ⟨hal-01213278⟩
  • 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⟩
  • 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⟩
  • Saba Aflaki, Borzoo Bonakdarpour, Sébastien Tixeuil. Automated Analysis of Impact of Scheduling on Performance of Self-Stabilizing Protocols. 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⟩. ⟨hal-01213273⟩
  • Quentin Bramas, Sébastien Tixeuil. The Random Bit Complexity of Mobile Robots Scattering. 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⟩. ⟨hal-01135398⟩
  • Alexandre Maurer, Xavier Défago, Sébastien Tixeuil. Communicating Reliably in Multihop Dynamic Networks despite Byzantine Failures. The International Symposium on Reliable Distributed Systems (SRDS2015), Sep 2015, Montreal, Canada. ⟨hal-01213311⟩
  • 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⟩
  • 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.. WiSeBat: Accurate Energy Benchmarking of Wireless Sensor Networks. The Forum on specification and Design Languages (FDL 2015), Sep 2015, Barcelona, Spain. pp.1--8, ⟨10.1109/FDL.2015.7306084⟩. ⟨hal-01213325⟩
  • Quentin Bramas, Sébastien Tixeuil. Wait-free Gathering without Chirality. SIROCCO 2015, Jul 2015, Montserrat, Spain. ⟨hal-01213285⟩
  • Jordan Adamek, Mikhail Nesterenko, Sébastien Tixeuil. Brief Announcement: Designing a Fault Tolerance Algorithm to Optimize Experimental Performance: the Case of Stabilizing Dining Philosophers. 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2014, Sep 2014, Paderborn, Germany. pp.349-351. ⟨hal-01215924⟩
  • Alexandre Maurer, Sébastien Tixeuil. Self-stabilizing Byzantine Broadcast. The 33rd IEEE Symposium on Reliable Distributed Systems (SRDS 2014), Oct 2014, Nara, Japan. pp.152-160, ⟨10.1109/SRDS.2014.10⟩. ⟨hal-01215926⟩
  • François Bonnet, Xavier Défago, Franck Petit, Maria Potop-Butucaru, Sébastien Tixeuil. Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols. 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⟩. ⟨hal-01108586⟩
  • Laure Millet, Maria Potop-Butucaru, Nathalie Sznajder, Sébastien Tixeuil. On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering. 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⟩. ⟨hal-01016832v2⟩
  • Quentin Bramas, Sébastien Tixeuil. Le pouvoir séparateur d'une pièce de monnaie. 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. ⟨hal-00985322⟩
  • 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⟩
  • 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⟩
  • Ajoy Datta, Stéphane Devismes, Lawrence L. 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⟩
  • Alexandre Maurer, Sébastien Tixeuil. Dependable Information Broadcast in Sparsely Connected Networks. International Conference on Latin American Dependable Computing, LADC 2013, Apr 2013, Rio de Janeiro, Brazil. pp.31-39. ⟨hal-01219722⟩
  • 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⟩
  • 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. Brief Announcement: Certified impossibility results for Byzantine-tolerant mobile robots. International Symposium on Distributed Computing (DISC2013), Oct 2013, Jerusalem, Israel. pp.2. ⟨hal-01126335⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Franck Petit, Anissa Lamani, Stéphane Devismes, Sébastien Tixeuil, Pascal Raymond. Explorer une grille avec un minimum de robots amnésiques. 15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4. ⟨hal-00817123⟩
  • 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⟩
  • 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⟩
  • Béatrice Bérard, Laure Millet, Maria Gradinariu Potop-Butucaru, Yann Thierry-Mieg, Sébastien Tixeuil. Vérification formelle et robots mobiles. 15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4. ⟨hal-00818707⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Cátia Khouri, Fabíola Greve, Sébastien Tixeuil. Consenso com Participantes Desconhecidos em Memória Compartilhada. Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2012), Apr 2012, Ouro Preto, Brazil. pp.756-769. ⟨hal-01272830⟩
  • 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. 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. 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil. Auto-Stabilisation et Confinement de Fautes Malicieuses : Optimalité du Protocole min+1. 13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2011, Cap Estérel, France. ⟨inria-00587517⟩
  • 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⟩
  • 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⟩
  • Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil. Maximum Metric Spanning Tree made Byzantine Tolerant. DISC 2011 - 25th International Symposium on Distributed Computing, Sep 2011, Rome, Italy. pp.150-164, ⟨10.1007/978-3-642-24100-0_14⟩. ⟨inria-00627777⟩
  • Taisuke Izumi, Zohir Bouzid, Sébastien Tixeuil, Koichi Wada. Brief Announcement: The BG-simulation for Byzantine Mobile Robots. DISC 2011, Sep 2011, Roma, Italy. pp.330-331, ⟨10.1007/978-3-642-24100-0_32⟩. ⟨hal-01285672⟩
  • Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Gradinariu Potop-Butucaru, et al.. Pragmatic Self-Stabilization of Atomic Memory in Message-Passing Systems. 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⟩. ⟨inria-00627780⟩
  • 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⟩
  • Mikhail Nesterenko, Sébastien Tixeuil. Ideal Stabilization. IEEE AINA 2011, Mar 2011, Biopolis, Singapore. pp.224-231, ⟨10.1109/AINA.2011.28⟩. ⟨hal-01285686⟩
  • Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil. Communication Optimalement Stabilisante sur Canaux non Fiables et non FIFO. 13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2011, Cap Estérel, France. ⟨inria-00587089⟩
  • Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil. Asynchronous mobile robot gathering from symmetric configurations without global multiplicity detection. Sirocco 2011, Jun 2011, Gdansk, Poland. pp.150-161, ⟨10.1007/978-3-642-22212-2_14⟩. ⟨hal-01285680⟩
  • Samuel Bernard, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil. A Framework for Secure and Private P2P Publish/Subscribe. 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⟩. ⟨hal-01293846⟩
  • Anissa Lamani, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil. Optimal Deterministic Ring Exploration with Oblivious Asynchronous Robots. 17th International Colloquium Structural Information and Communication Complexity, SIROCCO, 2010, Şirince, Turkey. pp.183-196, ⟨10.1007/978-3-642-13284-1_15⟩. ⟨hal-01293850⟩
  • Zohir Bouzid, Shlomi Dolev, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil. Robocast: Asynchronous Communication in Robot Networks. OPODIS 2010, Dec 2010, Tozeur, Tunisia. pp.16-31, ⟨10.1007/978-3-642-17653-1_2⟩. ⟨hal-01290774⟩
  • François Lesueur, Ala Rezmerita, Thomas Hérault, Sylvain Peyronnet, Sébastien Tixeuil. SAFE-OS: a Secure and Usable Desktop Operating System. CRiSIS 2010, Oct 2010, Montréal, Canada. pp.1-7, ⟨10.1109/CRISIS.2010.5764916⟩. ⟨hal-01290776⟩
  • Toshimitsu Masuzawa, Sébastien Tixeuil. Stabilizing Locally Maximizable Tasks in Unidirectional Networks is Hard. IEEE 30th International Conference on Distributed Computing Systems, ICDCS 2010, Jun 2010, Gênes, Italy. pp.718-727, ⟨10.1109/ICDCS.2010.69⟩. ⟨hal-01291184⟩
  • 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⟩
  • Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil. The Impact of Topology on Byzantine Containment in Stabilization. 24th International Symposium Distributed Computing DISC, Sep 2010, Cambridge, MA, United States. pp.495-509, ⟨10.1007/978-3-642-15763-9_47⟩. ⟨hal-01293827⟩
  • Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Gradinariu, et al.. Brief Announcement: Sharing Memory in a Self-stabilizing Manner. 24th International Symposium Distributed Computing DISC, Sep 2010, Cambridge, MA, United States. pp.525-527, ⟨10.1007/978-3-642-15763-9_49⟩. ⟨hal-01293831⟩
  • Yukiko Yamauchi, Sébastien Tixeuil. Monotonic Stabilization. OPODIS 2010, Dec 2010, Tozeur, Tunisia. pp.475-490, ⟨10.1007/978-3-642-17653-1_34⟩. ⟨hal-01290770⟩
  • Swan Dubois, Maria Gradinariu Potop-Butucaru, Mikhail Nesterenko, Sébastien Tixeuil. Self-stabilizing Byzantine Asynchronous Unison. 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⟩. ⟨inria-00627771⟩
  • Sayaka Kamei, Hirotsugu Kakugawa, Stéphane Devismes, Sébastien Tixeuil. A Self-Stabilizing 3-Approximation for the Maximum Leaf Spanning Tree Problem in Arbitrary Networks. COCOON 2010, Jul 2010, Na Thrang, Vietnam. pp.80-89, ⟨10.1007/978-3-642-14031-0_11⟩. ⟨hal-01292491⟩
  • 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⟩
  • Taisuke Izumi, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil. Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility. SSS, Sep 2010, New York, NY, United States. pp.319-331, ⟨10.1007/978-3-642-16023-3_27⟩. ⟨hal-01293837⟩
  • 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⟩
  • Ali Asim, Sébastien Tixeuil. Advanced Faults Patterns for WSN Dependability Benchmarking. 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⟩. ⟨hal-01290826⟩
  • Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil. On Byzantine Containment Properties of the min+1 Protocol. 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⟩. ⟨hal-01290827⟩
  • Samuel Bernard, Stéphane Devismes, Katy Paroux, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil. Probabilistic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks. 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⟩. ⟨hal-01292601⟩
  • Yukiko Yamauchi, Sébastien Tixeuil. Brief Announcement: Monotonic Stabilization. The 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing, PODC'10, Jul 2010, Zurich, Switzerland. pp.406-407, ⟨10.1145/1835698.1835794⟩. ⟨hal-01291182⟩
  • 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⟩
  • Ali Asim, Sébastien Tixeuil. XS-WSNet : Extreme-scale Wireless Sensor Simulation. 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⟩. ⟨hal-01291183⟩
  • Lélia Blin, Maria Potop-Butucaru, Stephane Rovedakis, Sébastien Tixeuil. A new self-stabilizing minimum spanning tree construction with loop-free property. 23rd International Symposium on Distributed Computing (DISC 2009), Sep 2009, Elche, Spain. pp.407--422, ⟨10.1007/978-3-642-04355-0_43⟩. ⟨hal-00869591⟩
  • Zohir Bouzid, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil. Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks. SSS 2009., Nov 2009, Lyon, France. pp.165-179, ⟨10.1007/978-3-642-05118-0_12⟩. ⟨hal-01295184⟩
  • Swan Dubois, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil. Brief Announcement: Dynamic FTSS in Asynchronous Systems: The Case of Unison. 23rd International Symposium on Distributed Computing, DISC 2009, Sep 2009, Elche, Spain. pp.291-293, ⟨10.1007/978-3-642-04355-0_30⟩. ⟨hal-01298807⟩
  • 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⟩
  • Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil. Snap-Stabilization in Message-Passing Systems. International Conference on Distributed Computing and Networking (ICDCN 2009), Jan 2009, Hyderabad, India. pp.281-286, ⟨10.1007/978-3-540-92295-7_34⟩. ⟨hal-01295022⟩
  • Stéphane Devismes, Toshimitsu Masuzawa, Sébastien Tixeuil. Communication Efficiency in Self-Stabilizing Silent Protocols. The IEEE International Conference on Distributed Computing Systems (ICDCS 2009), Jun 2009, Montreal, Canada. pp.474-481, ⟨10.1109/ICDCS.2009.24⟩. ⟨hal-01295187⟩
  • Zohir Bouzid, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil. Byzantine Convergence in Robots Networks: The Price of Asynchrony. OPODIS 2009, Dec 2009, Nimes, France. pp.54-70, ⟨10.1007/978-3-642-10877-8_7⟩. ⟨hal-01295181⟩
  • 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⟩
  • 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, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil. Optimal deterministic self-stabilizing vertex coloring in unidirectional anonymous networks. IPDPS, May 2009, Rome, Italy. pp.1-8, ⟨10.1109/IPDPS.2009.5161053⟩. ⟨hal-01298811⟩
  • Stéphane Devismes, Franck Petit, Sébastien Tixeuil. Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots. Sirocco 2009, May 2009, Piran, Slovenia. pp.195-208, ⟨10.1007/978-3-642-11476-2_16⟩. ⟨hal-01295189⟩
  • Zohir Bouzid, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil. Byzantine-Resilient Convergence in Oblivious Robot Networks. ICDCN, Jan 2009, Hyderabad, India. pp.275-280, ⟨10.1007/978-3-540-92295-7_33⟩. ⟨hal-01298808⟩
  • Stéphane Devismes, Sébastien Tixeuil, Masafumi Yamashita. Weak vs. Self vs. Probabilistic Stabilization. IEEE International Conference on Distributed Computing Systems (ICDCS 2008), Jun 2008, Beijing, China. pp.681-688, ⟨10.1109/ICDCS.2008.12⟩. ⟨hal-01303470⟩
  • Toshimitsu Masuzawa, Sébastien Tixeuil. Quiescence of Self-stabilizing Gossiping among Mobile Agents in Graphs. 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⟩. ⟨hal-01303467⟩
  • Adnam Vora, Mikhail Nesterenko, Sébastien Tixeuil. Universe Detectors for Sybil Defense in Ad Hoc Wireles Networks. 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⟩. ⟨hal-01303007⟩
  • Toshimitsu Masuzawa, Sébastien Tixeuil. Strong Stabilization: Bounding Times Affected by Byzantine Processes in Stabilization. Asian Association for Algorithms and Computation annual meeting (AAAC 2008), Apr 2008, Pokfulam, Hong Kong SAR China. ⟨hal-01303525⟩
  • Sylvie Delaët, Partha Sarathi Mandal, Mariusz Rokicki, Sébastien Tixeuil. Deterministic Secure Positioning in Wireless Sensor Networks. 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⟩. ⟨hal-01303473⟩
  • Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil. Brief Announcement: Snap-Stabilization in Message-Passing Systems. Principles of Distributed Computing (PODC 2008), Aug 2008, Toronto, Canada. pp.443-443, ⟨10.1145/1400751.1400838⟩. ⟨hal-01303457⟩
  • Fredrik Manne, Morten Mjelde, Laurence Pilard, Sébastien Tixeuil. A self-stabilizing 2/3-approximation algorithm for the maximum matching problem. 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⟩. ⟨hal-01303005⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Michaël Cadilhac, Thomas Herault, 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, 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⟩
  • 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, 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Maria Gradinariu, Sébastien Tixeuil. Self-stabilizing Vertex Coloring of Arbitrary Graphs. International conference on Principles of Distributed Systems (OPODIS 2000), Dec 2000, Paris, France. pp.55-70. ⟨hal-00631707⟩
  • Luc Onana Alima, Joffroy Beauquier, Ajoy Datta, Sébastien Tixeuil. Self-stabilization with Global Rooted Synchronizers. IEEE International Conference on Distributed Computing Systems (ICDCS 98), May 1998, Amsterdam, Netherlands. pp.102-109, ⟨10.1109/ICDCS.1998.679492⟩. ⟨hal-00631710⟩

Poster communications2 documents

  • Silvia Bonomi, Antonella del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil. Brief announcement: Approximate Agreement under Mobile Byzantine Faults Model. IEEE Conference on Distributed Computing Systems (ICDCS 2016), Jun 2016, Nara, Japan. IEEE, pp.727-728, ⟨10.1109/ICDCS.2016.68⟩. ⟨hal-01349092⟩
  • Quentin Bramas, Toshimitsu Masuzawa, Sébastien Tixeuil. Brief announcement: Distributed Online Data Aggregation in Dynamic Graphs. IEEE Conference on Distributed Computing Systems (ICDCS 2016), Jun 2016, Nara, Japan. IEEE, pp.747-748, ⟨10.1109/ICDCS.2016.55⟩. ⟨hal-01349094⟩

Book sections5 documents

  • 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⟩
  • Xavier Défago, Maria Potop-Butucaru, Sébastien Tixeuil. Fault-Tolerant Mobile Robots. Distributed Computing by Mobile Entities, 11340, Springer, pp.234-251, 2019, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-11072-7_10⟩. ⟨hal-02076375⟩
  • William Hoarau, Sébastien Tixeuil, Nuno Rodrigues, Décio Sousa, Luis Silva. Dependability Evaluation of The Ogsa-Dai Middleware. 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⟩. ⟨hal-01303735⟩
  • Sébastien Tixeuil. Fault-tolerant Distributed Algorithms for Scalable Systems. Wireless Ad Hoc and Sensor Networks, ISTE, pp.225-256, 2007, 9781848210035. ⟨hal-01334871⟩
  • 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⟩

Directions of work or proceedings11 documents

  • 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⟩
  • Franck Petit, Sébastien Tixeuil. WRAS '10: Proceedings of the Third International Workshop on Reliability, Availability, and Security. ACM, 2010, 978-1-4503-0642-3. ⟨hal-01293852⟩
  • Franck Petit, Sébastien Tixeuil. Reliability, Availibility, and Security, 3rd International Workshop (WRAS 2010). 2010. ⟨hal-01290833⟩
  • Hirotsugu Kakugawa, Sébastien Tixeuil. Reliability, Availibility, and Security, 2nd International Workshop (WRAS 2009). 2009. ⟨hal-01295206⟩
  • David Simplot-Ryl, Sébastien Tixeuil. Algotel 2008. 2008. ⟨hal-01300486⟩
  • Theodore P. Baker, Alain Bui, Sébastien Tixeuil. OPODIS 2008. 5401, Springer, 2008, Theoretical Computer Science and General Issues, ⟨10.1007/978-3-540-92221-6⟩. ⟨hal-01299555⟩
  • Toshimitsu Masuzawa, Sébastien Tixeuil. Reliability, Availibility, and Security, 1st International Workshop, WRAS 2007, Paris, France, November 16, 2007, Proceedings. Univ. Paris 6, 2007. ⟨hal-01334892⟩
  • Toshimitsu Masuzawa, Sébastien Tixeuil. Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings. 4838, Springer, 2007, Theoretical Computer Science and General Issues, ⟨10.1007/978-3-540-76627-8⟩. ⟨hal-01334893⟩
  • Ted Herman, Sébastien Tixeuil. Self-stabilizing Systems. Ted Herman and Sébastien Tixeuil. Springer, 2005. ⟨inria-00078184⟩

Preprints, Working Papers, ...8 documents

  • Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, et al.. Computer Aided Formal Design of Swarm Robotics Algorithms. 2021. ⟨hal-03111541⟩
  • Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil, Koichi Wada. Asynchronous Gathering in a Torus. 2021. ⟨hal-03112017⟩
  • Satoshi Tanaka, François Bonnet, Sébastien Tixeuil, Yasumasa Tamura. Quixo Is Solved. 2020. ⟨hal-02981564⟩
  • Hiroto Yasumi, Fukuhito Ooshita, Michiko Inoue, Sébastien Tixeuil. Uniform Bipartition in the Population Protocol Model with Arbitrary Communication Graphs. 2020. ⟨hal-03013644⟩
  • Quentin Bramas, Anissa Lamani, Sébastien Tixeuil. Stand Up Indulgent Rendezvous. 2020. ⟨hal-02961247⟩
  • Lélia Blin, Anaïs Durand, Sébastien Tixeuil. Resource Efficient Stabilization for Local Tasks despite Unknown Capacity Links. 2020. ⟨hal-02981573⟩
  • Silvia Bonomi, Antonella del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil. Approximate Agreement under Mobile Byzantine Faults. 2015. ⟨hal-01301597⟩
  • Lélia Blin, Stephane Rovedakis, Maria Potop-Butucaru, Sébastien Tixeuil. Universal Loop-Free Super-Stabilization. 2010. ⟨hal-00492320⟩

Reports65 documents

  • Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil. Boosting the Efficiency of Byzantine-tolerant Reliable Communication. [Technical Report] Sorbonne Université, CNRS, LIP6, F-75005 Paris, France; Sapienza Università di Roma, Rome, Italy. 2020. ⟨hal-02960087⟩
  • 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⟩
  • Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, et al.. Continuous vs. Discrete Asynchronous Moves: a Certified Approach for Mobile Robots. [Research Report] Sorbonne Université, CNRS, Laboratoire d’Informatique de Paris 6, LIP6, F-75005 Paris, France. 2018, pp.1-12. ⟨hal-01762962⟩
  • 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⟩
  • Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil. Churn Possibilities and Impossibilities. [Research Report] Kent State University; Sorbonne Université, CNRS, Laboratoire d’Informatique de Paris 6, LIP6, F-75005 Paris, France. 2018. ⟨hal-01753397⟩
  • 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⟩
  • 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⟩
  • Adam Heriban, Xavier Défago, Sébastien Tixeuil. Optimally Gathering Two Robots. [Research Report] UPMC Sorbonne Universités. 2017. ⟨hal-01575451⟩
  • Jordan Adamek, Mikhail Nesterenko, James Scott Robinson, Sébastien Tixeuil. Concurrent Geometric Multicasting. [Research Report] UPMC Sorbonne Universités. 2017. ⟨hal-01540744⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Quentin Bramas, Sébastien Tixeuil. Probabilistic Asynchronous Arbitrary Pattern Formation. [Research Report] Université Pierre et Marie Curie. 2015. ⟨hal-01184532v4⟩
  • Quentin Bramas, Sébastien Tixeuil. The Random Bit Complexity of Mobile Robots Scattering. [Research Report] Université Pierre et Marie Curie. 2015. ⟨hal-00866048v2⟩
  • Jordan Adamek, Mikhail Nesterenko, Sébastien Tixeuil. Stateless Geocasting. [Research Report] UPMC. 2015. ⟨hal-01168488⟩
  • 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⟩
  • Pierre Courtieu, Lionel Rieg, Xavier Urbain, Sébastien Tixeuil. Impossibility of Gathering, a Certification. [Technical Report] CEDRIC-14-3016, CEDRIC laboratory, CNAM-Paris, France. 2014, pp.10. ⟨hal-00995126⟩
  • 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⟩
  • 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⟩
  • Alexandre Maurer, Sébastien Tixeuil. On Byzantine Broadcast in Planar Graphs. [Research Report] _. 2013. ⟨hal-00773343v4⟩
  • Béatrice Berard, Laure Millet, Maria Potop-Butucaru, Yann Thierry-Mieg, Sébastien Tixeuil. Formal verification of Mobile Robot Protocols. 2013. ⟨hal-00834061⟩
  • Swan Dubois, Sébastien Tixeuil, Nini Zhu. The Byzantine Brides Problem. [Research Report] 2012. ⟨hal-00679520⟩
  • 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⟩
  • Alexandre Maurer, Sébastien Tixeuil. Parameterizable Byzantine Broadcast in Loosely Connected Networks. 2012. ⟨hal-00777155v2⟩
  • Swan Dubois, Sébastien Tixeuil. A Taxonomy of Daemons in Self-stabilization. 2011. ⟨hal-00628390⟩
  • François Bonnet, Alessia Milani, Maria Potop-Butucaru, Sébastien Tixeuil. Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction. 2011. ⟨hal-00626155⟩
  • Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil. Maximum Metric Spanning Tree made Byzantine Tolerant. [Research Report] 2011, pp.32. ⟨inria-00589234⟩
  • Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil. Self-Stabilization, Byzantine Containment, and Maximizable Metrics: Necessary Conditions. [Research Report] 2011, pp.17. ⟨inria-00577062v2⟩
  • Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil. Optimal grid exploration by asynchronous oblivious robots. 2011. ⟨hal-00591963v3⟩
  • Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil. Asynchronous mobile robot gathering from symmetric configurations without global multiplicity detection. [Research Report] 2011. ⟨inria-00589390⟩
  • Alexandre Maurer, Sébastien Tixeuil. Limiting Byzantine Influence in Multihop Asynchronous Networks. [Research Report] _. 2011. ⟨hal-00663688⟩
  • Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil. Bounding the Impact of Unbounded Attacks in Stabilization. [Research Report] 2010, pp.20. ⟨inria-00484645v2⟩
  • Lélia Blin, Alessia Milani, Maria Potop-Butucaru, Sébastien Tixeuil. Exclusive perpetual ring exploration without chirality. [Research Report] Université d'Evry Val d'Essonne. 2010, pp.17. ⟨inria-00464206⟩
  • Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil. On Byzantine Containment Properties of the $min+1$ Protocol. [Research Report] 2010. ⟨inria-00487091⟩
  • 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⟩
  • Zohir Bouzid, Shlomi Dolev, Maria Potop-Butucaru, Sébastien Tixeuil. RoboCast: Asynchronous Communication in Robot Networks. [Research Report] 2010. ⟨inria-00496379v2⟩
  • Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil. The Impact of Topology on Byzantine Containment in Stabilization. [Research Report] 2010, pp.18. ⟨inria-00481836⟩
  • Zohir Bouzid, Maria Potop-Butucaru, Sébastien Tixeuil. Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks. [Research Report] 2009, pp.15. ⟨inria-00390870⟩
  • Mikhail Nesterenko, Sébastien Tixeuil. Ideal Stabilization. [Research Report] 2009, pp.15. ⟨inria-00394118⟩
  • Swan Dubois, Maria Gradinariu Potop-Butucaru, Mikhail Nesterenko, Sébastien Tixeuil. Self-Stabilizing Byzantine Asynchronous Unison. [Research Report] 2009, pp.15. ⟨inria-00437691⟩
  • Anissa Lamani, Maria Potop-Butucaru, Sébastien Tixeuil. Optimal deterministic ring exploration with oblivious asynchronous robots. [Research Report] 2009, pp.23. ⟨inria-00422100⟩
  • Lélia Blin, Maria Gradinariu Potop-Butucaru, Stephane Rovedakis, Sébastien Tixeuil. A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-free Property. [Research Report] Université d'Evry Val d'Essonne. 2009. ⟨inria-00384041⟩
  • Toshimitsu Masuzawa, Sébastien Tixeuil. Stabilizing Maximal Independent Set in Unidirectional Networks is Hard. [Research Report] RR-6880, INRIA. 2009, pp.21. ⟨inria-00368950⟩
  • Zohir Bouzid, Maria Potop-Butucaru, Sébastien Tixeuil. Optimal byzantine resilient convergence in oblivious robot networks. [Research Report] 2009, pp.15. ⟨inria-00387525⟩
  • Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil. Dynamic FTSS in Asynchronous Systems: the Case of Unison. [Research Report] 2009, pp.34. ⟨inria-00379904v2⟩
  • Zohir Bouzid, Maria Potop-Butucaru, Sébastien Tixeuil. Byzantine Convergence in Robots Networks: The Price of Asynchrony. [Technical Report] 2009, pp.22. ⟨inria-00408881⟩
  • Stéphane Devismes, Franck Petit, Sébastien Tixeuil. Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots. [Research Report] RR-6838, INRIA. 2009, pp.29. ⟨inria-00360305⟩
  • 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⟩
  • Adnan Vora, Mikhail Nesterenko, Sébastien Tixeuil, Sylvie Delaët. Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks. [Research Report] RR-6529, INRIA. 2008, pp.31. ⟨inria-00276732v2⟩
  • 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⟩
  • Toshimitsu Masuzawa, Sébastien Tixeuil. Quiescence of Self-stabilizing Gossiping among Mobile Agents in Graphs. [Research Report] RR-6458, INRIA. 2008, pp.20. ⟨inria-00260011v3⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Stéphane Devismes, Sébastien Tixeuil, Masafumi Yamashita. Weak vs. Self vs. Probabilistic Stabilization. [Research Report] RR-6366, INRIA. 2007. ⟨inria-00189952v2⟩
  • 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⟩
  • Sylvie Delaët, Partha Sarathi Mandal, Mariusz Rokicki, Sébastien Tixeuil. Deterministic Secure Positioning in Wireless Sensor Networks. [Research Report] RR-6326, INRIA. 2007, pp.31. ⟨inria-00179056v2⟩
  • 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 Herault, 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⟩
  • 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⟩

Theses1 document

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

Habilitation à diriger des recherches1 document

  • 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⟩