• News
• Meetings
• Members
• Publications

2013

• Uniform Consensus with Homonyms and Omission Failures. Carole Delporte-Gallet, Hugues Fauconnier, and Hung Tran-The. In ICDCN, pages 161-175, 2013. (BIB)
• Fast Leader (Full) Recovery despite Dynamic Faults. Ajoy Kumar Datta, Stéphane Devismes, Lawrence Larmore, and Sébastien Tixeuil. In Proceedings of the International Conference on Distributed Computing and Networking (ICDCN 2013), Mumbai, India, January 2013. (BIB)
• A scalable Byzantine grid. Alexandre Maurer, and Sébastien Tixeuil. In Proceedings of the International Conference on Distributed Computing and Networking (ICDCN 2013), Mumbai, India, January 2013. (BIB)
• On Byzantine Broadcast in Planar Graphs. Alexandre Maurer, and Sébastien Tixeuil. Technical report, UPMC Sorbonne Universités, January 2013. (URL) (BIB)
• Invited Paper: Dependable Information Broadcast in Sparsely Connected Networks. Alexandre Maurer, and Sébastien Tixeuil. In International Conference on Latin American Dependable Computing (LADC 2013), Rio de Janeiro, Brasil, April 2013. (BIB)
• Tolérer les fautes Byzantines dans les graphes planaires. Alexandre Maurer, and Sébastien Tixeuil. In Proceedings of Algotel 2013, Pornic, France, May 2013. (BIB)
• Vérification formelle et robots mobiles. Béatrice Bérard, Laure Millet, Maria Potop-Butucaru, Sébastien Tixeuil, and Yann Thierry-Mieg. In Proceedings of Algotel 2013, Pornic, France, May 2013. (BIB)
• Explorer une grille avec un minimum de robots amnésiques. Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, and Sébastien Tixeuil. In Proceedings of Algotel 2013, Pornic, France, May 2013. (BIB)
• Contenu généré par les utilisateurs : une étude sur DailyMotion. Yannick Carlinet, The Dang Huynh, Bruno Kauffmann, Fabien Mathieu, Ludovic Noirie, and Sébastien Tixeuil. In Proceedings of Algotel 2013, Pornic, France, May 2013. (BIB)
• Gathering of Mobile Robots Tolerating Multiple Crash Faults. Zohir Bouzid, Shantanu Das, and Sébastien Tixeuil. In Proceedings of the IEEE International Conference on Distributed Computing Systems (ICDCS 2013), Philadelphia, PA, USA, July 2013. (BIB)

2012

• A Protocol for the Atomic Capture of Multiple Molecules at Large Scale. Marin Bertier, Marko Obrovac, and Cédric Tedeschi. CoRR, abs/1203.3013, 2012. (BIB)
• Mapping Simple Polygons: How Robots Benefit from Looking Back. J. Chalopin, S. Das, Y. Disser, M. Mihalak, and P. Widmayer. Algorithmica, 2012. (To appear). (BIB)
• A Fast and Robust Optimistic Total Order Broadcast for Online Video Games. Samuel Bernard, Xavier Défago, and Sébastien Tixeuil. In Proceedings of FAINA 2012, Fukuoka, Japan, March 2012. (URL) (BIB)
• Bounding the Impact of Unbounded Attacks in Stabilization. Swan Dubois, Toshimitsu Masuzawa, and Sébastien Tixeuil. IEEE Transactions on Parallel and Distributed Systems (TPDS), 23(3):460-466, March 2012. (URL) (BIB)
• Mariages et Trahisons. Swan Dubois, Sébastien Tixeuil, and Nini Zhu. In Proceedings of Algotel 2012, La Grande Motte, France, May 2012. (URL) (PDF) (BIB)
• Consenso com Participantes Desconhecidos em Memória Compartilhada. Cátia Khouri, Fabíola Greve, and Sébastien Tixeuil. In Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2012), April 2012. (BIB)
• Enumeration and Leader Election in Partially Anonymous and Multi-hop Broadcast Networks. J. Chalopin, Y. Métivier, and T. Morsellino. Fundamenta Informaticae, 2012. (To appear). (BIB)
• Election in Partially Anonymous Networks with Arbitrary Knowledge in Message Passing Systems. J. Chalopin, E. Godard, and Y. Métivier. Distributed Computing, 2012. (To appear). (BIB)
• Byzantine Agreement with Homonyms in Synchronous Systems. Carole Delporte-Gallet, Hugues Fauconnier, and Hung Tran-The. In ICDCN, pages 76-90, 2012. (BIB)
• A Time-Free Byzantine Failure Detector for Dynamic Networks. Fabíola Greve, Murilo Santos de Lima, Luciana Arantes, and Pierre Sens. In The 9th European Dependable Computing Conference, 2012. (BIB)
• Homonyms with Forgeable Identifiers. Carole Delporte-Gallet, Hugues Fauconnier, and Hung Tran-The. In SIROCCO, pages 171-182, 2012. (BIB)
• Chasing the Weakest Failure Detector for k-Set Agreement in Message-Passing Systems. Achour Mostéfaoui, Michel Raynal, and Julien Stainer. In NCA, pages 44-51, 2012. (BIB)
• When and How Process Groups Can Be Used to Reduce the Renaming Space. Armando Casta{\~n}eda, Michel Raynal, and Julien Stainer. In OPODIS, pages 91-105, 2012. (BIB)
• Confinement de fautes Byzantines dans les réseaux multi-sauts asynchrones. Alexandre Maurer, and Sébastien Tixeuil. In Proceedings of Algotel 2012, La Grande Motte, France, May 2012. (URL) (PDF) (BIB)
• Limiting Byzantine Influence in Multihop Asynchronous Networks. Alexandre Maurer, and Sébastien Tixeuil. In Proceedings of IEEE International Conference on Distributed Computing Systems (ICDCS 2012), Macau, China, June 2012. (URL) (PDF) (BIB)
• On Byzantine Broadcast in Loosely Connected Networks. Alexandre Maurer, and Sébastien Tixeuil. In Proceedings of the International Conference on Distributed Computing (DISC 2012), pages 257-270, Salvador, Brazil, October 2012. (BIB)
• Brief Announcement: Discovering and Assessing Fine-grained Metrics in Robot Networks Protocols. François Bonnet, Xavier Défago, Franck Petit, Maria Potop-Butucaru, and Sébastien Tixeuil. In Proceedings of the International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2012), Toronto, Canada, October 2012. (BIB)
• Brief Announcement: Wait-free Gathering of Mobile Robots. Zohir Bouzid, Shantanu Das, and Sébastien Tixeuil. In Proceedings of the International Conference on Distributed Computing (DISC 2012), pages 405-406, Salvador, Brazil, October 2012. (BIB)
• Parameterizable Byzantine Broadcast in Loosely Connected Networks. Alexandre Maurer, and Sébastien Tixeuil. Technical report, UPMC Sorbonne Universités, November 2012. (URL) (BIB)
• Byzantine agreement with homonyms in synchronous systems. Carole Delporte-Gallet, Hugues Fauconnier, and Hung Tran-The. Theoretical Computer Science, online, November 2012. (BIB)
• Using Abstract Simulation for Performance Evaluation of Stabilizing Algorithms: The Case of Propagation of Information with Feedback. Jordan Adamek, Mikhail Nesterenko, and Sébastien Tixeuil. In Proceedings of the International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2012), Toronto, Canada, October 2012. (BIB)
• Optimal Grid Exploration by Asynchronous Oblivious Robots. Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, and Sébastien Tixeuil. In Proceedings of the International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2012), Toronto, Canada, October 2012. (BIB)
• Self-Stabilizing Byzantine Asynchronous Unison. Swan Dubois, Maria Potop-Butucaru, Mikhail Nesterenko, and Sébastien Tixeuil. Journal of Parallel and Distributed Computing (JPDC), 72(7):917-923, July 2012. (URL) (PDF) (BIB)
• The Byzantine Brides Problem. Swan Dubois, Sébastien Tixeuil, and Nini Zhu. In Proceedings of the Sixth International Conference on Fun with Algorithms (FUN 2012), Venice, June 2012. (URL) (PDF) (BIB)
• Four Months in DailyMotion: Dissecting User Video Requests. Yannick Carlinet, The Dang Huynh, Bruno Kauffmann, Fabien Mathieu, Ludovic Noirie, and Sébastien Tixeuil. In Proceedings of the Third International Workshop on Traffic Analysis and Classification (TRAC 2012), Limassol, Cyprus, August 2012. (URL) (PDF) (BIB)
• Gathering an even number of robots in a symmetric ring without global multiplicity detection. Anissa Lamani, Sayaka Kamei, Fukuhito Ooshita, and Sébastien Tixeuil. In Proceedings of the International Conference on Mathematical Foundations of Computer Science (MFCS 2012), Bratislava, Slovakia, August 2012. (BIB)
• On the self-stabilization of mobile oblivious robots in uniform rings. Fukuhito Ooshita, and Sébastien Tixeuil. In Proceedings of the International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2012), Toronto, Canada, October 2012. (BIB)
• Crash Resilient and Pseudo-Stabilizing Atomic Registers. Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, and Sébastien Tixeuil. In Proceedings of the International Conference on Principles of Distributed Systems (OPODIS 2012), Rome, Italy, December 2012. (BIB)

2011

• A Self-Stabilizing 3-Approximation for the Maximum Leaf Spanning Tree Problem in Arbitrary Networks. Sayaka Kamei, Hirotsugu Kakugawa, Stéphane Devismes, and Sébastien Tixeuil. Journal of Combinatorial Optimization (JCO), January 2011. (URL) (PDF) (BIB)
• Self-stabilization in Self-organized Multihop Wireless Networks. Nathalie Mitton, Bruno Séricola, Sébastien Tixeuil, Eric Fleury, and Isabelle Guérin-Lassous. Ad Hoc and Sensor Wireless Networks, 11(1-2):1-34, January 2011. (URL) (PDF) (BIB)
• The time-free approach to Byzantine failure detection in dynamic networks. Murilo Santos de Lima, Fabiola Greve, Luciana Arantes, and Pierre Sens. Dependable Systems and Networks Workshops, 2011. (BIB)
• Stabilité des arbres des plus courts chemins en présence de concurrence. Cohen, Johanne, and Delaët, Sylvie. Technique et Science Informatiques, 30(10):1167-1189, 2011. (PDF) (BIB)
• Cop and robber games when the robber can hide and ride. J. Chalopin, V. Chepoi, N. Nisse, and Y. Vaxès. SIAM Journal of Discrete Mathematics, 25(1):333-359, 2011. (BIB)
• Graph labelings derived from models in distributed computing: a complete complexity classification. J. Chalopin, and D. Paulusma. Networks, 58(3):207-231, 2011. (BIB)
• Byzantine agreement with homonyms. Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Anne-Marie Kermarrec, Eric Ruppert, and Hung Tran-The. In Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC 2011), pages 21-30, 2011. (BIB)
• Telling convex from reflex allows to map a polygon. J. Chalopin, S. Das, Y. Disser, M. Mihalak, and P. Widmayer. In STACS 2011 -- 28th International Symposium on Theoretical Aspects of Computer Science, pages 153-164, 2011. (BIB)
• A Failure Detector for Wireless Networks with Unknown Membership. Fabíola Greve, Pierre Sens, Luciana Arantes, and Véronique Simon. In Euro-Par, pages 27-38, 2011. (BIB)
• What model and what conditions to implement unreliable failure detectors in dynamic networks?. Greve, Fabíola, Arantes, Luciana, and Sens, Pierre. In Proceedings of the 3rd International Workshop on Theoretical Aspects of Dynamic Distributed Systems, pages 13-17, 2011. (BIB)
• Asymetric Pavlovian Populations. Bournez, Olivier, Chalopin, Jérémie, Cohen, Johanne, Koeger, Xavier, and Rabbi Mikaël. In 15th International Conference On Principles Of Distributed Systems (OPODIS)., pages 409-420, 2011. (BIB)
• Black Hole Search with Finita Automata Scattered in a Synchronous Torus. J. Chalopin, S. Das, A. Labourel, and E. Markou. In DISC 2011 -- {25th} International Conference on Distributed Computing, pages 432-446, 2011. (BIB)
• Tight Bounds for Scattered Black Hole Search in a Ring. J. Chalopin, S. Das, A. Labourel, and E. Markou. In SIROCCO 2011 -- {18th} International Colloquium on Structural Information and Communication Complexity, pages 186-197, 2011. (BIB)
• The disagreement power of an adversary. Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, and Andreas Tielmann. Distributed Computing, 24(3-4):137-147, 2011. (BIB)
• Objets partagés et détecteurs de défaillances. Carole Delporte-Gallet, and Hugues Fauconnier. Technique et Science Informatiques, 30(7):841-871, 2011. (BIB)
• Distributed Computing with Mobile Robots: an Introductory Survey. Maria Potop-Butucaru, Michel Raynal, and Sébastien Tixeuil. In Proceedings of the International Conference on Network-Based Information Systems (NBIS), Tirana, Albania, September 2011. (BIB)
• Brief Announcement: The BG-simulation for Byzantine Mobile Robots. Taisuke Izumi, Zohir Bouzid, Sébastien Tixeuil, and Koichi Wada. In Proceedings of the International Conference on Distributed Computing (DISC 2011), Roma, Italy, September 2011. (URL) (BIB)
• A self-stabilizing 2/3-approximation algorithm for the maximum matching problem. Fredrik Manne, Morten Mjelde, Laurence Pilard, and Sébastien Tixeuil. Theoretical Computer Science (TCS), 412(40):5515-5526, September 2011. (URL) (PDF) (BIB)
• A Taxonomy of Daemons in Self-stabilization. Swan Dubois, and Sébastien Tixeuil. Technical report 1110.0334, ArXiv eprint, October 2011. (URL) (PDF) (BIB)
• Pragmatic Self-Stabilization of Atomic Memory in Message-Passing Systems. Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, and Sébastien Tixeuil. In Proceedings of the International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2011), Grenoble, France, October 2011. (BIB)
• Maximum Metric Spanning Tree made Byzantine Tolerant. Swan Dubois, Toshimitsu Masuzawa, and Sébastien Tixeuil. In Proceedings of the International Conference on Distributed Computing (DISC 2011), Rome, Italy, September 2011. (URL) (BIB)
• Deterministic Secure Positioning in Wireless Sensor Networks. Sylvie Delaët, Partha Sarathi Mandal, Mariusz Rokicki, and Sébastien Tixeuil. Theoretical Computer Science (TCS), 412(35):4471-4481, August 2011. (URL) (PDF) (BIB)
• Editorial. Sébastien Tixeuil. Technique et Science Informatiques, 30(7):777-779, 2011. (BIB)
• Stabilizing data-link over non-FIFO channels with optimal fault-resilience. Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, and Sébastien Tixeuil. Inf. Process. Lett., 111(18):912-920, 2011. (BIB)
• Analysis of Deterministic Tracking of Multiple Objects Using a Binary Sensor Network. Yann Busnel, Leonardo Querzoni, Roberto Baldoni, Marin Bertier, and Anne-Marie Kermarrec. TOSN, 8(1):8, 2011. (BIB)
• Ideal Stabilization. Mikhail Nesterenko, and Sébastien Tixeuil. In Proceedings of IEEE AINA 2011, pages 224-231, Biopolis, Singapore, March 2011. (URL) (BIB)
• Dynamic FTSS in Asynchronous Systems: the Case of Unison. Swan Dubois, Maria Potop-Butucaru, and Sébastien Tixeuil. Theoretical Computer Science (TCS), 412(29):3418-3439, July 2011. (URL) (BIB)
• Asynchronous exclusive perpetual grid exploration without sense of direction. François Bonnet, Alessia Milani, Maria Potop-Butucaru, and Sébastien Tixeuil. In Proceedings of International Conference on Principles of Distributed Systems (OPODIS 2011), pages 251-265, Toulouse, France, December 2011. (URL) (PDF) (BIB)

2010

• Constructing a Map of an Anonymous Graph: Applications of Universal Sequences. J. Chalopin, S. Das, and A. Kosowski. In OPODIS 2010 -- {14th} International Conference on Principles of Distributed Systems, pages 119-134, 2010. (BIB)
• La puissance de désacord d'un adversaire. Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, and Sam Toueg. In Proceedings of Algotel 2010, 2010. (BIB)
• Brief announcement: byzantine agreement with homonyms. Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, and Anne-Marie Kermarrec. In SPAA, pages 74-75, 2010. (BIB)
• Algorithms for Extracting Timeliness Graphs. Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier, and Mikel Larrea. In SIROCCO, pages 127-141, 2010. (BIB)
• Ascending runs in dependent uniformly distributed random variables: Application to wireless networks. Nathalie Mitton, Katy Paroux, Bruno Sericola, and Sébastien Tixeuil. Methodology and Computing in Applied Probability, 12(1):51-62, January 2010. (URL) (BIB)
• A simple proof of the necessity of the failure detector $\Sigma$ to implement an atomic register in asynchronous message-passing systems. François Bonnet, and Michel Raynal. Information Processing Letters (IPL), 2010. (URL) (BIB)
• Hardness Results and Heuristic for Multi-groups Interconnection. Lélia Blin, Christian Laforest, Stephane Rovedakis, and Nicolas Thibault. The Computer Journal (CJ), 53(9):1497-1507, 2010. (BIB)
• Stabilizing leader election in partial synchronous systems with crash failures. Carole Delporte-Gallet, Stéphane Devismes, and Hugues Fauconnier. J. Parallel Distrib. Comput., 70(1):45-58, 2010. (BIB)
• Tight failure detection bounds on atomic object implementations. Carole Delporte-Gallet, Hugues Fauconnier, and Rachid Guerraoui. J. ACM, 57(4), 2010. (BIB)
• On the power of synchronization between two adjacent processes. J. Chalopin, and Y. Métivier. Distributed Computing (DC), 2010. (BIB)
• Determinstic recurrent communication and synchronization in restricted sensor networks. Antonio Fernandez Anta, M. Mosteiro, and Christopher Thraves. In Proceedings of the 6th International Workshop on Algorithms for Sensor Networks, Wireless Ad Hoc Networks and Autonomous Mobile Entities (ALGOSENSORS 2010), 2010. (BIB)
• Allocation of Clients to Multiple Servers on Large Scale Heterogeneous Platforms. Olivier Beaumont, Lionel Eyraud-Dubois, Hejer Rejeb, and Christopher Thraves. In PDP, pages 3-10, 2010. (BIB)
• Network Exploration by Silent and Oblivious Robots. J. Chalopin, P. Flocchini, B. Mans, and N. Santoro. In WG 2010 -- {36th} International Workshop on Graph-Theoretic Concepts in Computer Science, 2010. (BIB)
• Packing Bipartite Graphs with Covers of Complete Bipartite Graphs. J. Chalopin, and D. Paulusma. In CIAC 2010 -- {7th} International Conference on Algorithms and Complexity, pages 276-287, 2010. (BIB)
• Probabilistic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks. Samuel Bernard, Stéphane Devismes, Katy Paroux, Maria Potop-Butucaru, and Sébastien Tixeuil. In Proceedings of ICDCN 2010, pages 167-177, Kolkata, India, January 2010. (URL) (BIB)
• Algorithms For Extracting Timeliness Graphs. Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier, and Mikel Larrea. Technical report, 2010. (BIB)
• Rendezvous of Mobile Agents in Directed Graphs. J. Chalopin, S. Das, and P. Widmayer. In DISC 2010 -- {24th} International Conference on Distributed Computing, pages 282-296, 2010. (BIB)
• How simple robots benefit from looking back. J. Chalopin, S. Das, Y. Disser, M. Mihalak, and P. Widmayer. In CIAC 2010 -- {7th} International Conference on Algorithms and Complexity, pages 229-239, 2010. (BIB)
• Low-cost secret sharing in sensor etworks. Marin Bertier, Achour Mostéfaoui, and Gilles Trédan. In Procedings of HASE 2010, 2010. (BIB)
• Anonymous Asynchronous Systems: The Case of Failure Detectors. François Bonnet, and Michel Raynal. In DISC, pages 206-220, 2010. (BIB)
• Consensus in Anonymous Distributed Systems: Is There a Weakest Failure Detector?. François Bonnet, and Michel Raynal. In AINA, pages 206-213, 2010. (BIB)
• Rendezvous of Mobile Agents without Agreement on Local Orientation. J. Chalopin, and S. Das. In ICALP 2010 -- 37th International Colloquium on Automata, Languages and Programming, 2010. (BIB)
• Exclusive perpetual ring exploration without chirality. Lélia Blin, Alessia Milani, Maria Potop-Butucaru, and Sébastien Tixeuil. Technical report, Univ. Pierre \& Marie Curie - Paris 6, March 2010. (BIB)
• Quiescence of Self-stabilizing Gossiping among Mobile Agents in Graphs. Toshimitsu Masuzawa, and Sébastien Tixeuil. Theoretical Computer Science (TCS), 411(14-15):1567-1582, March 2010. (URL) (BIB)
• Fast Self-stabilizing Minimum Spanning Tree Construction Using Compact Nearest Common Ancestor Labeling Scheme. Lélia Blin, Shlomi Dolev, Maria Gradinariu Potop-Butucaru, and Stéphane Rovedakis. In Proceedings of DISC 2010, Boston, Massachusetts, USA, September 2010. (BIB)
• Brief Announcement: Sharing Memory in a Self-Stabilizing Manner. Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, and Sébastien Tixeuil. In Proceedings of the International Conference on Distributed Computing (DISC 2010), Boston, Massachusetts, USA, September 2010. (BIB)
• Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility. Taisuke Izumi, Maria Potop-Butucaru, and Sébastien Tixeuil. In Proceedings of the International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2010), New York, NY, USA, September 2010. (BIB)
• A framework for Secure and Private P2P Publish/Subscribe. Samuel Bernard, Maria Potop-Butucaru, and Sébastien Tixeuil. In Proceedings of the International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2010), pages 531-545, New York, NY, USA, September 2010. (URL) (BIB)
• Exclusive perpetual ring exploration without chirality. Lélia Blin, Alessia Milani, Maria Potop-Butucaru, and Sébastien Tixeuil. In Proceedings of the International Conference on Distributed Computing (DISC 2010), Boston, Massachusetts, USA, September 2010. (BIB)
• Universal Loop-Free Super-Stabilization. Lélia Blin, Maria Potop-Butucaru, Stéphane Rovedakis, and Sébastien Tixeuil. In Proceedings of the International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2010), New York, NY, USA, September 2010. (BIB)
• Monotonic Stabilization. Yukiko Yamauchi, and Sébastien Tixeuil. In Proceedings of International Conference on Principles of Distributed Systems (OPODIS 2011), Tozeur, Tunisia, December 2010. (BIB)
• Robocast: Asynchronous Communication in Robot Networks. Zohir Bouzid, Shlomi Dolev, Maria Potop-Butucaru, and Sébastien Tixeuil. In Proceedings of International Conference on Principles of Distributed Systems (OPODIS 2010), Tozeur, Tunisia, December 2010. (BIB)
• Self-Stabilizing Byzantine Asynchronous Unison. Swan Dubois, Maria Potop-Butucaru, Mikhail Nesterenko, and Sébastien Tixeuil. In Proceedings of International Conference on Principles of Distributed Systems (OPODIS 2010), Tozeur, Tunisia, December 2010. (URL) (BIB)
• Advanced Faults Patterns for WSN Dependability Benchmarking. Asim Ali, and Sébastien Tixeuil. In Proceedings of ACM MSWiM 2010, Bodrum, Turkey. ACM, October 2010. (BIB)
• On Byzantine Containment Properties of the min+1 Protocol. Swan Dubois, Toshimitsu Masuzawa, and Sébastien Tixeuil. In Proceedings of the International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2010), New York, NY, USA, September 2010. (URL) (BIB)
• The Impact of Topology on Byzantine Containment in Stabilization. Swan Dubois, Toshimitsu Masuzawa, and Sébastien Tixeuil. In Proceedings of the International Conference on Distributed Computing (DISC 2010), Boston, Massachusetts, USA, September 2010. (URL) (PDF) (BIB)
• Optimal deterministic ring exploration with oblivious asynchronous robots. Anissa Lamani, Maria Potop-Butucaru, and Sébastien Tixeuil. In Proceedings of the International Colloquium on Structural Information and Communication Complexity (SIROCCO 2010), June 2010. (BIB)
• Stabilizing Locally Maximizable Tasks in Unidirectional Networks is Hard. Toshimitsu Masuzawa, and Sébastien Tixeuil. In Proceedings of IEEE International Conference on Distributed Computing Systems (ICDCS 2010), pages 718-727, June 2010. (BIB)
• Construction auto-stabilisante d'arbre couvrant en dépit d'actions malicieuses. Swan Dubois, Toshimitsu Masuzawa, and Sébastien Tixeuil. In Proceedings of Algotel 2010, Belle-Dune, France, May 2010. (BIB)
• Communications Efficaces et Auto-Stabilisation. Stéphane Devismes, Toshimitsu Masuzawa, and Sébastien Tixeuil. In Proceedings of Algotel 2010, Belle-Dune, France, May 2010. (BIB)
• XS-WSNet : Extreme-scale Wireless Sensor Simulation. Asim Ali, and Sébastien Tixeuil. In Proceedings of WOWMOM 2010, Montreal, Canada, June 2010. (BIB)
• Reliability, Availibility, and Security, 3rd International Workshop (WRAS 2010). Franck Petit and Sébastien Tixeuil, editor. , Zurich, Switzerland, July 2010. (BIB)
• Optimal Byzantine-resilient Convergence in Unidimensional Robot Networks. Zohir Bouzid, Maria Gradinariu Potop-Butucaru, and Sébastien Tixeuil. Theoretical Computer Science (TCS), 411(34-36):3154-3168, July 2010. (URL) (BIB)
• Brief Announcement: Monotonic Stabilization. Yukiko Yamauchi, and Sébastien Tixeuil. In Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC 2010), Zurich, Switzerland, July 2010. (BIB)
• A Self-Stabilizing 3-Approximation for the Maximum Leaf Spanning Tree Problem in Arbitrary Networks. Sayaka Kamei, Hirotsugu Kakugawa, Stéphane Devismes, and Sébastien Tixeuil. In Proceedings of COCOON 2010, Na Thrang, Vietnam, July 2010. (BIB)
• Snap-Stabilization in Message-Passing Systems. Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, and Sébastien Tixeuil. Journal of Parallel and Distributed Computing (JPDC), 70(12):1220-1230, December 2010. (URL) (BIB)

2009

• A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-free Property. Lélia Blin, Maria Gradinariu Potop-Butucaru, Stéphane Rovedakis, and Sébastien Tixeuil. Technical report, May 2009. (URL) (BIB)
• Optimal byzantine resilient convergence in oblivious robot networks. Zohir Bouzid, Maria Potop-Butucaru, and Sébastien Tixeuil. Technical report, May 2009. (URL) (BIB)
• Stabilizing Maximal Independent Set in Unidirectional Networks is Hard. Toshimitsu Masuzawa, and Sébastien Tixeuil. Technical report, March 2009. (URL) (BIB)
• Optimal Deterministic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks. Samuel Bernard, Stéphane Devismes, Maria Gradinariu Potop-Butucaru, and Sébastien Tixeuil. In Proceedings of the {IEEE} International Conference on Parallel and Distributed Processing Systems (IPDPS 2009), pages 1-8, Rome, Italy, May 2009. (URL) (BIB)
• Optimal Probabilistic Ring Exploration by Semi-synchronous Oblivious Robots. Stéphane Devismes, Franck Petit, and Sébastien Tixeuil. In Proceedings of the International Colloquium on Structural Information and Communication Complexity (SIROCCO 2009), pages 195-208, Piran, Slovenia, May 2009. (URL) (BIB)
• Stabilisation Instantanée dans les Systèmes à Passage de Messages. Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, and Sébastien Tixeuil. In Proceedings of Algotel 2009, May 2009. (URL) (BIB)
• Exploration Optimale Probabiliste d'un Anneau par des Robots Semi-Synchrones et Amnésiques. Stéphane Devismes, Franck Petit, and Sébastien Tixeuil. In Proceedings of Algotel 2009, May 2009. (URL) (BIB)
• Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots. Stéphane Devismes, Franck Petit, and Sébastien Tixeuil. Technical report inria-00360305, INRIA, February 2009. (URL) (BIB)
• The $k$-simultaneous consensus problem. Yehuda Afek, Eli Gafni, Sergio Rajsbaum, Michel Raynal, and Corentin Travers. Distributed Computing, 2009. (BIB)
• Brief Announcement: The Minimum Failure Detector for Non-Local Tasks in Message-Passing Systems. Carole Delporte-Gallet, Hugues Fauconnier, and Sam Toueg. In DISC, pages 358-359, 2009. (BIB)
• Self-Stabilizing Byzantine Asynchronous Unison. Swan Dubois, Maria Gradinariu Potop-Butucaru, Mikhail Nesterenko, and Sébastien Tixeuil. Technical report, 2009. (BIB)
• Optimal deterministic ring exploration with oblivious asynchronous robots. Anissa Lamani, Maria Potop-Butucaru, and Sébastien Tixeuil. Technical report, 2009. (BIB)
• The Disagreement Power of an Adversary. Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, and Andreas Tielmann. In DISC, pages 8-21, 2009. (BIB)
• Two Consensus Algorithms with Atomic Registers and Failure Detector Omega. Carole Delporte-Gallet, and Hugues Fauconnier. In ICDCN, pages 251-262, 2009. (BIB)
• Quand le consensus est plus simple que la diffusion fiable. Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier, Franck Petit, and Sam Toueg. In Proceedings of Algotel 2009, 2009. (BIB)
• The Minimum Information about Failures for Solving Non-local Tasks in Message-Passing Systems. Carole Delporte-Gallet, Hugues Fauconnier, and Sam Toueg. In OPODIS, pages 115-128, 2009. (BIB)
• Sur le Coloriage Auto-stabilisant dans les Réseaux Unidirectionnels Anonymes. Samuel Bernard, Stéphane Devismes, Katy Paroux, Maria Gradinariu Potop-Butucaru, and Sébastien Tixeuil. In Proceedings of Algotel 2009, May 2009. (URL) (BIB)
• Message-Efficient Omission-Tolerant Consensus with Limited Synchrony. Carole Delporte-Gallet, Hugues Fauconnier, Felix Freiling, Mahir Kilic, and Andreas Tielmann. In Proceedings of DPDNS, Roma, Italy, May 2009. (BIB)
• A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-free Property. Lélia Blin, Maria Gradinariu Potop-Butucaru, Stéphane Rovedakis, and Sébastien Tixeuil. In Proceedings of the International Conference on Distributed Computing (DISC 2009), Elche, Spain, September 2009. (URL) (BIB)
• Brief Announcement: Dynamic FTSS in Asynchronous Systems: the Case of Unison. Swan Dubois, Maria Potop-Butucaru, and Sébastien Tixeuil. In Proceedings of the International Conference on Distributed Computing (DISC 2009), Elche, Spain, September 2009. (URL) (BIB)
• Partial synchrony based on set timeliness. Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, and Sam Toueg. In Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC 2009), pages 102-110, August 2009. (BIB)
• Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks. Zohir Bouzid, Maria Gradinariu Potop-Butucaru, and Sébastien Tixeuil. In Proceedings of the International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2009), pages 165-179, Lyon, France, November 2009. (URL) (BIB)
• Self-stabilizing Algorithms. Sébastien Tixeuil, in Algorithms and Theory of Computation Handbook, Second Edition. CRC Press, Taylor \& Francis Group, November 2009. (URL) (BIB)
• Byzantine Convergence in Robots Networks: The Price of Asynchrony. Zohir Bouzid, Maria Potop-Butucaru, and Sébastien Tixeuil. In Proceedings of International Conference on Principles of Distributed Systems (OPODIS 2009), pages 54-70, N\^{\i}mes, France, December 2009. (URL) (BIB)
• Reliability, Availibility, and Security, 2nd International Workshop (WRAS 2009). Hirostugu Kakugawa and Sébastien Tixeuil, editor. , Hiroshima, Japan, December 2009. (BIB)
• The disagreement power of an adversary: extended abstract (BA). Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, and Andreas Tielmann. In Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC 2009), pages 288-289, August 2009. (BIB)
• Byzantine Convergence in Robots Networks: The Price of Asynchrony. Zohir Bouzid, Maria Potop-Butucaru, and Sébastien Tixeuil. Technical report, UPMC, August 2009. (URL) (BIB)
• Communication Efficiency in Self-Stabilizing Silent Protocols. Stéphane Devismes, Toshimitsu Masuzawa, and Sébastien Tixeuil. In Proceedings of the IEEE International Conference on Distributed Computing Systems (ICDCS 2009), pages 474-481, Montreal, Canada, June 2009. (URL) (BIB)
• Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks. Zohir Bouzid, Maria Gradinariu Potop-Butucaru, and Sébastien Tixeuil. Technical report, June 2009. (URL) (BIB)
• Ideal Stabilization. Mikhail Nesterenko, and Sébastien Tixeuil. Research Report, June 2009. (URL) (BIB)
• The Stable Configuration of Acyclic Preference-Based Systems. Fabien Mathieu, Gheorghe Postelnicu, and Julien Reynier. In IEEE Infocom, Rio de Janeiro, Brazil, June 2009. (Long version available as RR INRIA 6628). (BIB)
• Visibility-Graph-based Shortest-Path Geographic Routing in Sensor Networks. Guan Tan, Marin Bertier, and Anne-Marie Kermarrec. In Proceedings of IEEE INFOCOM 2009, Rio de Janeiro, Brazil, June 2009. (BIB)
• Fault-Tolerant Consensus in Unknown and Anonymous Networks. Delporte-Gallet, Carole, Fauconnier, Hugues, and Tielmann, Andreas. In Proceedings of ICDCS 2009, Montreal, Canada, June 2009. (BIB)
• Convex Partition of Sensor Networks and Its Use in Virtual Coordinate Geographic Routing. Guan Tan, Marin Bertier, and Anne-Marie Kermarrec. In Proceedings of IEEE INFOCOM 2009, Rio de Janeiro, Brazil, June 2009. (BIB)
• Discovering Network Topology in the Presence of Byzantine Nodes. Mikhail Nesterenko, and Sébastien Tixeuil. IEEE Transactions on Parallel and Distributed Systems (TPDS), 20(12):1777-1789, December 2009. (URL) (PDF) (BIB)