Franck Petit

Yoann Dieudonné, Franck Petit: Self-stabilizing gathering with strong multiplicity detection. Theor. Comput. Sci. 428: 47-57 (2012)

Alain Cournier, Swan Dubois, Anissa Lamani, Franck Petit, Vincent Villain: Snap-Stabilizing Message Forwarding Algorithm on Tree Topologies. ICDCN 2012: 46-60

Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil: Optimal Grid Exploration by Asynchronous Oblivious Robots. SSS 2012: 64-76

Eddy Caron, Florent Chuffart, Anissa Lamani, Franck Petit: Optimization in a Self-stabilizing Service Discovery Framework for Large Scale Systems. SSS 2012: 239-252

François Bonnet, Xavier Défago, Franck Petit, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil: Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols. SSS 2012: 282-284

Stéphane Devismes, Franck Petit: On efficiency of unison. TADDS 2012: 20-25

Yoann Dieudonné, Florence Levé, Franck Petit, Vincent Villain: Deterministic Leader Election Among Disoriented Anonymous Sensors. CoRR abs/1202.4486 (2012)

Ajoy Kumar Datta, Anissa Lamani, Lawrence L. Larmore, Franck Petit: Ring Exploration with Oblivious Myopic Robots. CoRR abs/1205.5003 (2012)

Eddy Caron, Florent Chuffart, Anissa Lamani, Franck Petit: Optimization in a Self-Stabilizing Service Discovery Framework for Large Scale Systems. CoRR abs/1207.1337 (2012)

Evangelos Bampas, Anissa Lamani, Franck Petit, Mathieu Valero: Self-Stabilizing Balancing Algorithm for Containment-Based Trees. CoRR abs/1212.3418 (2012)

Fabienne Carrier, Stéphane Devismes, Franck Petit, Yvan Rivierre: Asymptotically Optimal Deterministic Rendezvous. Int. J. Found. Comput. Sci. 22(5): 1143-1159 (2011)

Ajoy Kumar Datta, Franck Petit, Rachid Guerraoui: Stabilization, Safety, and Security of Distributed Systems (SSS 2009). Theor. Comput. Sci. 412(33): 4227 (2011)

Stéphane Devismes, Franck Petit, Vincent Villain: Autour de l'autostabilisation. 1. Techniques généralisant l'approche. Technique et Science Informatiques 30(7): 873-894 (2011)

Stéphane Devismes, Franck Petit, Vincent Villain: Autour de l'autostabilisation. 2. Techniques spécialisant l'approche. Technique et Science Informatiques 30(7): 895-922 (2011)

Borzoo Bonakdarpour, Stéphane Devismes, Franck Petit: Snap-Stabilizing Committee Coordination. IPDPS 2011: 231-242

Xavier Défago, Franck Petit, Vincent Villain (Eds.): Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings. Lecture Notes in Computer Science 6976, Springer 2011, isbn 978-3-642-24549-7

Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil: Optimal grid exploration by asynchronous oblivious robots. CoRR abs/1105.2461 (2011)

Alain Cournier, Swan Dubois, Anissa Lamani, Franck Petit, Vincent Villain: Snap-Stabilizing Message Forwarding Algorithm on Tree Topologies. CoRR abs/1107.6014 (2011)

Eddy Caron, Frédéric Desprez, Franck Petit, Cédric Tedeschi: Snap-Stabilizing Prefix Tree for Peer-to-Peer Systems. Parallel Processing Letters 20(1): 15-30 (2010)

Yoann Dieudonné, Ouiddad Labbani-Igbida, Franck Petit: Deterministic Robot-Network Localization is Hard. IEEE Transactions on Robotics 26(2): 331-339 (2010)

Yoann Dieudonné, Franck Petit, Vincent Villain: Brief announcement: leader election vs pattern formation. PODC 2010: 404-405

Bertrand Ducourthial, Sofiane Khalfallah, Franck Petit: Best-effort group service in dynamic networks. SPAA 2010: 233-242

Alain Cournier, Swan Dubois, Anissa Lamani, Franck Petit, Vincent Villain: Snap-Stabilizing Linear Message Forwarding. SSS 2010: 546-559

Yoann Dieudonné, Franck Petit, Vincent Villain: Leader Election Problem versus Pattern Formation Problem. DISC 2010: 267-281

Franck Petit, Sébastien Tixeuil (Eds.): Proceedings of the Third International Workshop on Reliability, Availability, and Security, WRAS 2010, conjunction with PODC 2010 Zurich, Switzerland, July 29, 2010. ACM 2010, isbn 978-1-4503-0642-3

Anissa Lamani, Alain Cournier, Swan Dubois, Franck Petit, Vincent Villain: Snap-Stabilizing Linear Message Forwarding. CoRR abs/1006.3432 (2010)

Yoann Dieudonné, Franck Petit: Scatter of Robots. Parallel Processing Letters 19(1): 175-184 (2009)

Yoann Dieudonné, Franck Petit: Self-stabilizing Deterministic Gathering. ALGOSENSORS 2009: 230-241

Yoann Dieudonné, Shlomi Dolev, Franck Petit, Michael Segal: Deaf, Dumb, and Chatting Asynchronous Robots. OPODIS 2009: 71-85

Fabienne Carrier, Stéphane Devismes, Franck Petit, Yvan Rivierre: Space-Optimal Deterministic Rendezvous. PDCAT 2009: 342-347

Yoann Dieudonné, Shlomi Dolev, Franck Petit, Michael Segal: Brief announcement: deaf, dumb, and chatting robots. PODC 2009: 308-309

Stéphane Devismes, Franck Petit, Sébastien Tixeuil: Optimal Probabilistic Ring Exploration by Semi-synchronous Oblivious Robots. SIROCCO 2009: 195-208

Rachid Guerraoui, Franck Petit (Eds.): Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings. Lecture Notes in Computer Science 5873, Springer 2009, isbn 978-3-642-05117-3

Stéphane Devismes, Franck Petit, Sébastien Tixeuil: Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots. CoRR abs/0902.1834 (2009)

Yoann Dieudonné, Franck Petit, Vincent Villain: Leader Election Problem Versus Pattern Formation Problem. CoRR abs/0902.2851 (2009)

Yoann Dieudonné, Shlomi Dolev, Franck Petit, Michael Segal: Deaf, Dumb, and Chatting Robots, Enabling Distributed Computation and Fault-Tolerance Among Stigmergic Robot. CoRR abs/0902.3549 (2009)

Yoann Dieudonné, Franck Petit: Self-stabilizing Determinsitic Gathering. CoRR abs/0905.0747 (2009)

Christian Boulinier, Franck Petit, Vincent Villain: Synchronous vs. Asynchronous Unison. Algorithmica 51(1): 61-80 (2008)

Christian Boulinier, Ajoy Kumar Datta, Lawrence L. Larmore, Franck Petit: Space efficient and time optimal distributed BFS tree construction. Inf. Process. Lett. 108(5): 273-278 (2008)

Yoann Dieudonné, Ouiddad Labbani-Igbida, Franck Petit: Circle formation of weak mobile robots. TAAS 3(4) (2008)

Christian Boulinier, Mathieu Levert, Franck Petit: Snap-Stabilizing Waves in Anonymous Networks. ICDCN 2008: 191-202

Yoann Dieudonné, Ouiddad Labbani-Igbida, Franck Petit: On the solvability of the localization problem in robot networks. ICRA 2008: 480-485

Christian Boulinier, Franck Petit: Self-stabilizing wavelets and rho-hops coordination. IPDPS 2008: 1-8

Yoann Dieudonné, Franck Petit: Squaring the Circle with Weak Mobile Robots. ISAAC 2008: 354-365

Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier, Franck Petit, Sam Toueg: With Finite Memory Consensus Is Easier Than Reliable Broadcast. OPODIS 2008: 41-57

Eddy Caron, Ajoy Kumar Datta, Franck Petit, Cédric Tedeschi: Self-Stabilization in Tree-Structured Peer-to-Peer Service Discovery Systems. SRDS 2008: 207-216

Bertrand Ducourthial, Sofiane Khalfallah, Franck Petit: Best-effort Group Service in Dynamic Networks. CoRR abs/0810.3836 (2008)

Alain Bui, Ajoy Kumar Datta, Franck Petit, Vincent Villain: Snap-stabilization and PIF in tree networks. Distributed Computing 20(1): 3-19 (2007)

Yoann Dieudonné, Franck Petit: Circle formation of weak robots and Lyndon words. Inf. Process. Lett. 101(4): 156-162 (2007)

Franck Petit, Vincent Villain: Optimal snap-stabilizing depth-first token circulation in tree networks. J. Parallel Distrib. Comput. 67(1): 1-12 (2007)

Yoann Dieudonné, Franck Petit: Robots and Demons (The Code of the Origins). FUN 2007: 108-119

Yoann Dieudonné, Franck Petit: Deterministic Leader Election in Anonymous Sensor Networks Without Common Coordinated System. OPODIS 2007: 132-142

Yoann Dieudonné, Franck Petit: Swing Words to Make Circle Formation Quiescent. SIROCCO 2007: 166-179

Eddy Caron, Frédéric Desprez, Franck Petit, Cédric Tedeschi: Snap-Stabilizing Prefix Tree for Peer-to-Peer Systems. SSS 2007: 82-96

Christian Boulinier, Franck Petit: Self-Stabilizing Wavelets and r-Hops Coordination. CoRR abs/0706.4015 (2007)

Yoann Dieudonné, Franck Petit: Scatter of Weak Robots. CoRR abs/cs/0701179 (2007)

Alain Cournier, Stéphane Devismes, Franck Petit, Vincent Villain: Snap-Stabilizing Depth-First Search on Arbitrary Networks. Comput. J. 49(3): 268-280 (2006)

Eddy Caron, Frederic Desprez, Charles Fourdrignier, Franck Petit, Cédric Tedeschi: A Repair Mechanism for Fault-Tolerance for Tree-Structured Peer-to-Peer Systems. HiPC 2006: 171-182

Christian Boulinier, Franck Petit, Vincent Villain: Toward a Time-Optimal Odd Phase Clock Unison in Trees. SSS 2006: 137-151

Yoann Dieudonné, Ouiddad Labbani-Igbida, Franck Petit: Circle Formation of Weak Mobile Robots. SSS 2006: 262-275

Yoann Dieudonné, Franck Petit: Circle Formation of Weak Robots and Lyndon Words. CoRR abs/cs/0605096 (2006)

Yoann Dieudonné, Ouiddad Labbani-Igbida, Franck Petit: Circle Formation of Weak Mobile Robots. CoRR abs/cs/0607060 (2006)

Sébastien Cantarell, Ajoy Kumar Datta, Franck Petit, Vincent Villain: Group Mutual Exclusion in Token Rings. Comput. J. 48(2): 239-252 (2005)

Alain Cournier, Ajoy Kumar Datta, Franck Petit, Vincent Villain: Optimal snap-stabilizing PIF algorithms in un-oriented trees. J. High Speed Networks 14(2): 185-200 (2005)

Eddy Caron, Frederic Desprez, Cédric Tedeschi, Franck Petit: A Peer-to-Peer Extension of Network-Enabled Server Systems. e-Science 2005: 430-437

Christian Boulinier, Franck Petit, Vincent Villain: Synchronous vs. Asynchronous Unison. Self-Stabilizing Systems 2005: 18-32

Colette Johnen, Franck Petit, Sébastien Tixeuil: Autostabilisation et protocoles réseau. Technique et Science Informatiques 23(8): 1027-1056 (2004)

Alain Cournier, Stéphane Devismes, Franck Petit, Vincent Villain: Snap-Stabilizing Depth-First Search on Arbitrary Networks. OPODIS 2004: 267-282

Christian Boulinier, Franck Petit, Vincent Villain: When graph theory helps self-stabilization. PODC 2004: 150-159

Alain Cournier, Ajoy Kumar Datta, Franck Petit, Vincent Villain: Enabling Snap-Stabilizatio. ICDCS 2003: 12-19

Eddy Caron, Frederic Desprez, Franck Petit, Vincent Villain: A Hierarchical Resource Reservation Algorithm for Network Enabled. IPDPS 2003: 26

Sébastien Cantarell, Ajoy Kumar Datta, Franck Petit: Self-Stabilizing Atomicity Refinement Allowing Neighborhood Concurrency. Self-Stabilizing Systems 2003: 102-112

Alain Cournier, Ajoy Kumar Datta, Franck Petit, Vincent Villain: Snap-Stabilizing PIF Algorithm in Arbitrary Networks. ICDCS 2002: 199-

Joffroy Beauquier, Sébastien Cantarell, Ajoy Kumar Datta, Franck Petit: Group Mutual Exclusion In Tree Networks. ICPADS 2002: 111-116

Ajoy Kumar Datta, Shivashankar Gurumurthy, Franck Petit, Vincent Villain: Self-Stabilizing Network Orientation Algorithms In Arbitrary Rooted Networks. Stud. Inform. Univ. 1(1): 1-22 (2001)

Alain Cournier, Franck Petit, Vincent Villain, Ajoy Kumar Datta: Self-Stabilizing PIF Algorithm in Arbitrary Rooted Networks. ICDCS 2001: 91-98

Sébastien Cantarell, Ajoy Kumar Datta, Franck Petit, Vincent Villain: Token Based Group Mutual Exclusion for Asynchronous Rings. ICDCS 2001: 691-694

Alain Cournier, Ajoy Kumar Datta, Franck Petit, Vincent Villain: Optimal Snap-Stabilizing PIF in Un-Oriented Trees. OPODIS 2001: 71-90

Sébastien Cantarell, Ajoy Kumar Datta, Franck Petit, Vincent Villain: Group Mutual Exclusion in Token Rings. SIROCCO 2001: 61-76

Franck Petit: Fast Self-Stabilizing Depth-First Token Circulation. WSS 2001: 200-215

Franck Petit, Vincent Villain: Self-stabilizing Depth-first Token Circulation in Asynchronous Message-passing Systems. Computers and Artificial Intelligence 19(5) (2000)

Ajoy Kumar Datta, Colette Johnen, Franck Petit, Vincent Villain: Self-stabilizing depth-first token circulation in arbitrary rooted networks. Distributed Computing 13(4): 207-218 (2000)

Franck Petit, Vincent Villain: Optimality and Self-Stabilization in Rooted Tree Networks. Parallel Processing Letters 10(1): 3-14 (2000)

Ajoy Kumar Datta, Shivashankar Gurumurthy, Franck Petit, Vincent Villain: Self-Stabilizing Network Orientation Algorithms in Arbitrary Rooted Networks. ICDCS 2000: 576-583

Sébastien Cantarell, Franck Petit: Self-Stabilizing Group Mutual Exclusion for Asynchronous Rings. OPODIS 2000: 71-90

Franck Petit, Vincent Villain: Optimality and Self-Stabilization in Rooted Tree Networks. Parallel Processing Letters 9(3): 313-323 (1999)

Alain Bui, Ajoy Kumar Datta, Franck Petit, Vincent Villain: Space optimal PIF algorithm: self-stabilized with no extra space. IPCCC 1999: 20-26

Alain Bui, Ajoy Kumar Datta, Franck Petit, Vincent Villain: Snpa-Stabilizing PIF Algorithm in Trees. SIROCCO 1999: 32-46

Alain Bui, Ajoy Kumar Datta, Franck Petit, Vincent Villain: Optimal PIF in Tree Networks. WDAS 1999: 1-16

Franck Petit, Vincent Villain: Time and Space Optimality of Distributed Depth-First Token Circulation Algorithms. WDAS 1999: 91-106

Alain Bui, Ajoy Kumar Datta, Franck Petit, Vincent Villain: State-optimal snap-stabilizing PIF in tree networks. WSS 1999: 78-85

Franck Petit, R. Gomez Cardenas (Eds.): Procedings of the 3rd International Conference on Principles of Distributed Systems. OPODIS 99, Hanoi, Vietnam, October 20-22, 1999. Studia Informatica Universalis, Suger, Saint-Denis, rue Catulienne, France 1999, isbn 2-912590-10-8

Ajoy Kumar Datta, Colette Johnen, Franck Petit, Vincent Villain: Self-stabilizing depth-first token circulation in arbitrary rooted networks. SIROCCO 1998: 229-243

Franck Petit, Vincent Villain: A Space-Efficient and Self-Stabilizing Depth-First Token Circulation Protocol for Asynchronous Message-Passing Systems (Short Version). Euro-Par 1997: 476-479

Franck Petit, Vincent Villain: Color Optimal Self-Stabilizing Depth-First Token Circulation. ISPAN 1997: 317-323

Franck Petit: Highly Space-Efficient Self-Stabilizing Depth-First Token Circulation for Trees. OPODIS 1997: 221-236