Co-auteurs

Export Publications

Exporter les publications affichées :
Nombre de documents

130

Sébastien Tixeuil


Article dans une revue18 documents

  • Jordan Adamek, Farina Giovanni, Mikhail Nesterenko, Sébastien Tixeuil. Evaluating and Optimizing Stabilizing Dining Philosophers. Elsevier Journal of Parallel and Distributed Computing (JPDC), 2017. <hal-01520335>
  • 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, 2017, 4, pp.454 - 454. <10.1007/s00446-017-0294-2>. <hal-01486763>
  • Alexandre Maurer, Sébastien Tixeuil. Tolerating Random Byzantine Failures in an Unbounded Network. Parallel Processing Letters, World Scientific Publishing, 2016, 26 (1), pp.1650003. < http://dx.doi.org/10.1142/S0129626416500031>. <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. <http://comjnl.oxfordjournals.org/content/59/2/225.abstract>. <10.1093/comjnl/bxv110>. <hal-01269828>
  • 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, Distributed Computing, 29, pp.1-25. <http://link.springer.com/article/10.1007/s00446-016-0271-1>. <10.1007/s00446-016-0271-1>. <hal-01344903>
  • Quentin Bramas, Sébastien Tixeuil. The complexity of data aggregation in static and dynamic wireless sensor networks. Information and Computation, Elsevier, 2016, <10.1016/j.ic.2016.12.004>. <hal-01419900>
  • 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. <http://www.infsoc.org/journal/vol07/IJIS_07_3_101-114.pdf>. <hal-01238784>
  • Alexandre Maurer, Sébastien Tixeuil. Containing Byzantine Failures with Control Zones. IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2015, 26 (2), pp.362-370. <10.1109/TPDS.2014.2308190>. <hal-01123661>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • Nathalie Mitton, Bruno Séricola, Sébastien Tixeuil, Eric Fleury, Isabelle Guerin Lassous. Self-stabilization in Self-organized Multihop Wireless Networks. Ad Hoc & Sensor Wireless Networks, PKP Publishing ServicesNetwork 2011, 11 (1-2), pp.1-34. <hal-00795173>
  • Nathalie Mitton, Katy Paroux, Bruno Sericola, Sébastien Tixeuil. Ascending runs in dependent uniformly distributed random variables: Application to wireless networks. Methodology and Computing in Applied Probability, Springer Verlag, 2010, 12 (1), pp.51-62. <10.1007/s11009-008-9088-0>. <hal-00384027>
  • Johanne Cohen, Anurag Dasgupta, Sukumar Ghosh, Sébastien Tixeuil. An Exercise in Selfish Stabilization. ACM Transactions on Autonomous and Adaptive Systems, Association for Computing Machinery (ACM), 2008, 3 (4), pp.Article 15. <10.1145/1452001.1452005>. <inria-00335919>
  • Sajal K. Das, Ajoy Datta, Sébastien Tixeuil. Self-Stabilizing Algorithms in DAG Structured Networks. Parallel Processing Letters, World Scientific Publishing, 1999, 9 (4), pp.563-574. <10.1142/S0129626499000529>. <hal-00930899>

Communication dans un congrès70 documents

  • 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, 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. 2017, <https://www.podc.org/podc2017/>. <hal-01520336>
  • 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. Proceedings of DISC 2017, 2017, <http://www.disc-conference.org/wp/disc2017/>. <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. IEEE Computer Society, Proceedings of SRDS 2017, 2017. <hal-01549931>
  • 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. IEEE Computer Society, Proceedings of SRDS 2017, 2017. <hal-01549915>
  • Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain. Certified Gathering of Oblivious Mobile Robots: survey of recent results and open problems. Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS/AVOCS), Sep 2017, Turin, Italy. Proceedings of AVOCS 2017, 2017, <https://easychair.org/cfp/FMICS-AVoCS2017>. <hal-01549942>
  • Quentin Bramas, Sébastien Tixeuil. Formation de Motifs Géométriques Arbitraires par des Robots Désorientés. ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications , May 2016, Bayonne, France. <hal-01302912>
  • Walid Benchaïta, Samir Ghamri-Doudane, Sébastien Tixeuil. Stability and optimization of DNS-based request redirection in CDNs. International Conference on Distributed Computing and Networking , Jan 2016, Singapore, Singapore. ACM, ICDCN '16 Proceedings of the 17th International Conference on Distributed Computing and Networking pp.11, 2016, ICDCN '16 Proceedings of the 17th International Conference on Distributed Computing and Networking <10.1145/2833312.2833455>. <hal-01272045>
  • Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep Kulkarni. Specification-Based Synthesis of Distributed Self-Stabilizing Protocols. Elvira Albert; Ivan Lanese. 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. Lecture Notes in Computer Science, LNCS-9688, pp.124-141, 2016, Formal Techniques for Distributed Objects, Components, and Systems. <10.1007/978-3-319-39570-8_9>. <hal-01432932>
  • 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. Springer, International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016), 10083, pp.70-87, 2016, Lecture Notes in Computer Science. <10.1007/978-3-319-49259-9_6>. <hal-01491817>
  • 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. Springer, International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016), 10083, pp.195-212, 2016, Lecture Notes in Computer Science. <10.1007/978-3-319-49259-9_17>. <hal-01491823>
  • 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. Springer, International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016), 10083, pp.148-153, 2016, Lecture Notes in Computer Science. <10.1007/978-3-319-49259-9_12>. <hal-01491828>
  • 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. Springer, International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016), 10083, pp.88-93, 2016, Lecture Notes in Computer Science. <10.1007/978-3-319-49259-9_7>. <hal-01491832>
  • 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. Springer, International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016), 10083, pp.7-19, 2016, Lecture Notes in COmputer Science. <10.1007/978-3-319-49259-9_2>. <hal-01491813>
  • 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>
  • 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>
  • Quentin Bramas, Wilfried Dron, Mariem Ben Fadhl, Khalil Hachicha, Patrick Garda, et al.. De la Survie Énergétique des Réseaux de Capteurs. ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France. <hal-01144309>
  • Quentin Bramas, Sébastien Tixeuil. Agréger Rapidement des Données est Difficile. ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France. <hal-01144458>
  • 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. Springer, 9466, pp.183-199, 2015, Lecture Notes in Computer Science. <10.1007/978-3-319-26850-7_13>. <hal-01131962>
  • Alexandre Maurer, Sébastien Tixeuil. A Scalable Byzantine Grid. International Conference on Distributed Computing and Networking, Jan 2013, Mumbai, India. Springer, 7730, pp.87-101, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-35668-1_7>. <hal-00742655>
  • 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, 2013. <hal-00812914v4>
  • Yannick Carlinet, The Dang Huynh, Bruno Kauffmann, Fabien Mathieu, Ludovic Noirie, et al.. Contenu généré par les utilisateurs : une étude sur DailyMotion. 15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4, 2013. <hal-00818606>
  • Catia Khouri, Fabiola Greve, Sébastien Tixeuil. Consensus with Unknown Participants in Shared Memory. International Symposium on Reliable Distributed Systems, Sep 2013, Braga, Portugal. IEEE, pp.51-60, 2013, <10.1109/SRDS.2013.14>. <hal-00930100>
  • Narges Fallahi, Borzoo Bonakdarpour, Sébastien Tixeuil. Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Model Checking. International Symposium on Reliable Distributed Systems, Sep 2013, Braga, Portugal. IEEE, pp.153-162, 2013, <10.1109/SRDS.2013.24>. <hal-00930109>
  • 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. Springer, 8255, pp.221-236, 2013, Lecture Notes in Computer Science. <10.1007/978-3-319-03089-0_16>. <hal-00930281>
  • 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. IEEE, pp.337-346, 2013, <10.1109/ICDCS.2013.27>. <hal-00930074>
  • Lélia Blin, Sébastien Tixeuil. Brief announcement: deterministic self-stabilizing leader election with O(log log n)-bits. ACM Symposium on Principles of Distributed Computing, Jul 2013, Montreal, Canada. ACM, pp.125-127, 2013, <10.1145/2484239.2484289>. <hal-00930090>
  • 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. Springer, 8205, pp.76-90, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-41527-2_6>. <hal-00930095>
  • Ajoy Datta, Stéphane Devismes, Lawrence Larmore, Sébastien Tixeuil. Fast Leader (Full) Recovery Despite Dynamic Faults. International Conference on Distributed Computing and Networking, Jan 2013, Mumbai, India. Springer, 7730, pp.428-433, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-35668-1_30>. <hal-00930061>
  • 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. Springer, 8255, pp.178-190, 2013, Lecture Notes in Computer Science. <10.1007/978-3-319-03089-0_13>. <hal-00930267>
  • 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. Springer, 7596, pp.282-284, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-33536-5_28>. <hal-00934186>
  • 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. 2012. <hal-00686663>
  • 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. Springer, 7596, pp.49-63, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-33536-5_6>. <hal-00934149>
  • 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. Springer, 7464, pp.542-553, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-32589-2_48>. <hal-00934132>
  • Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil. Crash Resilient and Pseudo-Stabilizing Atomic Registers. Roberto Baldoni and Paola Flocchini and Ravindran Binoy. OPODIS 2012 - 16th International Conference on Principles of Distributed Systems, Dec 2012, Rome, Italy. Springer, 7702, pp.135-150, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-35476-2_10>. <hal-00934144>
  • 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, 2012, <10.1109/ICDCS.2012.15>. <hal-00934073>
  • 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. IEEE, pp.189-196, 2012, <10.1109/WAINA.2012.105>. <hal-00934047>
  • Zohir Bouzid, Shantanu Das, Sébastien Tixeuil. Brief Announcement: Wait-Free Gathering of Mobile Robots. International Symposium on Distributed Computing, Oct 2012, Salvador, Brazil. Springer, 7611, pp.401-402, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-33651-5_28>. <hal-00934220>
  • Swan Dubois, Sébastien Tixeuil, Nini Zhu. Mariages et Trahisons. Mathieu, Fabien et Hanusse, Nicolas. AlgoTel'12 - 14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2012, La Grande Motte, France. 14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), pp.1-4, 2012. <hal-00689348>
  • 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. Springer, 7596, pp.64-76, 2012, Lecture Notes in Computer Science. <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. Springer, 7611, pp.413-414, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-33651-5_34>. <hal-00934232>
  • Alexandre Maurer, Sébastien Tixeuil. On Byzantine Broadcast in Loosely Connected Networks. 26th International Symposium on Distributed Computing, DISC 2012, Oct 2012, Salvador, Brazil. 7611, pp.253-266, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-33651-5_18>. <hal-00728337>
  • 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. IEEE, IWCMC 2012 - 8th International Wireless Communications and Mobile Computing Conference, pp.613-618, 2012, <10.1109/IWCMC.2012.6314274>. <hal-00692095>
  • Swan Dubois, Sébastien Tixeuil, Nini Zhu. The Byzantine Brides Problem. Evangelos Kranakis and Danny Krizanc and Flaminia Luccio. FUN 2012 - 6th International Conference Fun with Algorithms, Jun 2012, Venice, Italy. Springer, 7288, pp.107-118, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-30347-0_13>. <hal-00934055>
  • 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. Springer, 7596, pp.126-132, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-33536-5_13>. <hal-00934179>
  • 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. IEEE, pp.318-324, 2011, <10.1109/NBiS.2011.55>. <hal-00649294>
  • Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita, Sébastien Tixeuil. Asynchronous Mobile Robot Gathering from Symmetric Configurations without Global Multiplicity Detection. Adrian Kosowski and Masafumi Yamashita. SIROCCO 2011, 2011, Gdansk, Poland, Poland. Springer, 6796, pp.150-161, 2011, Lecture Notes in Computer Science. <hal-01009454>
  • François Bonnet, Alessia Milani, Maria Potop-Butucaru, Sébastien Tixeuil. Asynchronous Exclusive Perpetual Grid Exploration without Sense of Direction. Antonio Fernández Anta and Giuseppe Lipari and Matthieu Roy. OPODIS 2011 - 15th International Conference on Principles of Distributed Systems, Dec 2011, Toulouse, France. Springer, 7109, pp.251-265, 2011, Lecture Notes in Computer Science. <10.1007/978-3-642-25873-2_18>. <hal-00992679>
  • Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil. Construction auto-stabilisante d'arbre couvrant en dépit d'actions malicieuses. Maria Gradinariu Potop-Butucaru and Hervé Rivano. 12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2010, Belle Dune, France. 2010. <inria-00477480>
  • 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. 6366, pp.50--64, 2010, Lecture Notes in Computer Science. <10.1007/978-3-642-16023-3_7>. <hal-00668381>
  • Anissa Lamani, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil. Optimal Deterministic Ring Exploration with Oblivious Asynchronous Robots. Boaz Patt-Shamir and Tinaz Ekim. SIROCCO 2010, 2010, Sirince, Turkey, Turkey. Springer, 6058, pp.183-196, 2010, Lecture Notes in Computer Science. <hal-01009453>
  • Stéphane Devismes, Toshimitsu Masuzawa, Sébastien Tixeuil. Communications Efficaces et Auto-Stabilisation. Maria Gradinariu Potop-Butucaru et Hervé Rivano. 12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2010, Belle-Dune, France. pp.id 19, 2010. <hal-00479860>
  • Lélia Blin, Alessia Milani, Maria Potop-Butucaru, Sébastien Tixeuil. Exclusive Perpetual Ring Exploration without Chirality. Nancy A. Lynch and Alexander A. Shvartsman. DISC 2010 - 24th International Symposium Distributed Computing, Sep 2010, Cambridge, MA, United States. Springer, 6343, pp.312-327, 2010, Lecture Notes in Computer Science. <10.1007/978-3-642-15763-9_29>. <hal-00992700>
  • Stéphane Devismes, Franck Petit, Sébastien Tixeuil. Exploration Optimale Probabiliste d'un Anneau par des Robots Semi-Synchrones et Amnésiques. Chaintreau, Augustin and Magnien, Clemence. 11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France. 2009. <inria-00383351>
  • Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil. Stabilisation instantanée dans les systèmes à passage de messages. Chaintreau, Augustin and Magnien, Clemence. 11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France. 2009. <inria-00383350>
  • 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. Chaintreau, Augustin and Magnien, Clemence. 11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France. 2009. <inria-00384649v2>
  • Lélia Blin, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil. On the Self-stabilization of Mobile Robots in Graphs. OPODIS 2007 - 11th International Conference on Principles of Distributed Systems, Dec 2007, Guadeloupe, France. Springer, 4878, pp.301-314, 2007, Lecture Notes in Computer Science. <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. IEEE, 27th International Conference on Distributed Computing Systems (ICDCS'07), pp.46, <10.1109/ICDCS.2007.95>. <hal-01336216>
  • 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, 2007. <inria-00176959>
  • 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. 2006. <inria-00600298>
  • Michaël Cadilhac, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, Sébastien Tixeuil. Evaluating complex MAC protocols for sensor networks with APMC. Stephan Merz and Tobias Nipkow. Automatic Verification of Critical Systems, Sep 2006, Nancy/France, pp.35-47, 2006. <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, 2006. <hal-00383834>
  • 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. 2005. <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. 2005, <10.1109/GRID.2005.1542742>. <hal-00684889>
  • 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, 2005. <hal-00383720>
  • Pierre Fraigniaud, David Ilcinkas, Sergio Rajsbaum, Sébastien Tixeuil. Space Lower Bounds for Graph Exploration via Reduced Automata. Andrzej Pelc, Michel Raynal. SIROCCO 2005, May 2005, Le Mont Saint-Michel, France. Springer Berlin / Heidelberg, 3499, pp.140-154, 2005, Lecture Notes in Computer Science. <10.1007/11429647_13>. <hal-00339766>
  • Philippe Duchon, Nicolas Hanusse, Sébastien Tixeuil. Optimal Randomized Self-stabilizing Mutual Exclusion on Synchronous Rings. Proceedings of DISC'2004, Oct 2004, Netherlands. Guerraoui, Rachid, pp.216--229, 2004. <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, 2004. <hal-00307529>

Chapitre d'ouvrage1 document

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

Direction d'ouvrage, Proceedings3 documents

  • 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. <http://dl.acm.org/citation.cfm?doid=3007748>. <hal-01494871>
  • Matti Hiltunen, Sébastien Tixeuil. 35th IEEE Symposium on Reliable Distributed Systems (SRDS 2016). 35th IEEE Symposium on Reliable Distributed Systems (SRDS 2016), Sep 2016, Budapest, Hungary. IEEE Computer Society, 2016, 978-1-5090-3513-7. <hal-01494860>
  • Ted Herman, Sébastien Tixeuil. Self-stabilizing Systems. Ted Herman and Sébastien Tixeuil. Springer, 2005. <inria-00078184>

Pré-publication, Document de travail2 documents

  • Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil. Approximate Agreement under Mobile Byzantine Faults. 2015. <hal-01301597>
  • Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil. Optimal Torus Exploration by Oblivious Mobile Robots. 2014. <hal-00926573v3>

Rapport34 documents

  • 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>
  • Jordan Adamek, Mikhail Nesterenko, James Robinson, Sébastien Tixeuil. Concurrent Geometric Multicasting. [Research Report] UPMC Sorbonne Universités. 2017. <hal-01540744>
  • Quentin Bramas, Toshimitsu Masuzawa, Sébastien Tixeuil. Distributed Online Data Aggregation in Dynamic Graphs. [Research Report] Sorbonne Universités, UPMC Univ Paris 06, CNRS, LIP6 UMR 7606, 4 place Jussieu 75005 Paris.; Osaka University, Japan. 2016. <hal-01264285v2>
  • Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil. 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-01362193>
  • Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil. Infinite Unlimited Churn. [Research Report] LIP6 - Laboratoire d'Informatique de Paris 6; Kent State University. 2016. <hal-01350804>
  • Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil. Optimal Mobile Byzantine Fault Tolerant Distributed Storage. [Research Report] UPMC - Université Paris 6 Pierre et Marie Curie. 2016. <hal-01348830v2>
  • Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain. Certified Universal Gathering in $R^2$ for Oblivious Mobile Robots. [Research Report] UPMC; CNAM. 2016. <hal-01274295>
  • Quentin Bramas, Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil. Packet Efficient Implementation of the Omega Failure Detector. [Research Report] UPMC Université Paris VI; Kent State University. 2015. <hal-01153111v2>
  • Quentin Bramas, Sébastien Tixeuil. 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, Sébastien Tixeuil. Probabilistic Asynchronous Arbitrary Pattern Formation. [Research Report] Université Pierre et Marie Curie. 2015. <hal-01184532v2>
  • 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>
  • Alexandre Maurer, Sébastien Tixeuil, Xavier Défago. Reliable Communication in a Dynamic Network in the Presence of Byzantine Faults. [Research Report] _. 2014. <hal-00940569v4>
  • Alexandre Maurer, Sébastien Tixeuil. On Byzantine Broadcast in Planar Graphs. [Research Report] _. 2013. <hal-00773343v4>
  • Cédric Auger, Zohir Bouzid, Pierre Courtieu, Sébastien Tixeuil, Xavier Urbain. Certified Impossibility Results for Byzantine-Tolerant Mobile Robots. [Research Report] 1560, LRI - CNRS, University Paris-Sud. 2013. <hal-00834633>
  • 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. Limiting Byzantine Influence in Multihop Asynchronous Networks. [Research Report] _. 2011. <hal-00663688>
  • Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil. Optimal grid exploration by asynchronous oblivious robots. 2011. <hal-00591963v3>
  • Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil. Stabilizing data-link over non-FIFO channels with optimal fault-resilience. [Research Report] 2010. <inria-00536048v2>
  • Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil. Bounding the Impact of Unbounded Attacks in Stabilization. [Research Report] 2010, pp.20. <inria-00484645v2>
  • Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil. Dynamic FTSS in Asynchronous Systems: the Case of Unison. [Research Report] 2009, pp.34. <inria-00379904v2>
  • Nathalie Mitton, Katy Paroux, Bruno Sericola, Sébastien Tixeuil. Ascending runs in dependent uniformly distributed random variables: Application to wireless networks. [Research Report] 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • Thomas Hérault, William Hoarau, Pierre Lemarinier, Eric Rodriguez, Sébastien Tixeuil. FAIL-MPI: How fault-tolerant is fault-tolerant MPI ?. [Research Report] 1450, 2006, pp.26. <inria-00078183>
  • William Hoarau, Sébastien Tixeuil, Fabien Vauchelles. Easy fault injection and stress testing with FAIL-FCI. [Research Report] RR1421, 2006, pp.20. <hal-00699867>

Thèse1 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>

HDR1 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>