Franck Petit

Andrzej Pelc

Algorithmica, October, 2023

Self-stabilizing systems in spite of high dynamics.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2023

When Should You Wait Before Updating? - Toward a Robustness Refinement.

[BibT_eX]

[DOI]

Proceedings of the 2nd Symposium on Algorithmic Foundations of Dynamic Networks, 2023

2022

Silent Anonymous Snap-Stabilizing Termination Detection.

[BibT_eX]

[DOI]

Proceedings of the 41st International Symposium on Reliable Distributed Systems, 2022

2021

Terminating Exploration Of A Grid By An Optimal Number Of Asynchronous Oblivious Robots.

[BibT_eX]

[DOI]

Comput. J., 2021

On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics.

[BibT_eX]

[DOI]

Proceedings of the PODC '21: ACM Symposium on Principles of Distributed Computing, 2021

2020

Robustness: A new form of heredity motivated by dynamic networks.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

Deterministic Treasure Hunt in the Plane with Angular Hints.

[BibT_eX]

[DOI]

Algorithmica, 2020

Almost Universal Anonymous Rendezvous in the Plane.

[BibT_eX]

[DOI]

Proceedings of the SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, 2020

Brief Announcement: Self-stabilizing Systems in Spite of High Dynamics.

[BibT_eX]

[DOI]

Proceedings of the PODC '20: ACM Symposium on Principles of Distributed Computing, 2020

2019

Introduction to Distributed Self-Stabilizing Algorithms

[BibT_eX]

[DOI]

Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers, ISBN: 978-3-031-02013-1, 2019

Gradual stabilization.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2019

Explicit Communication Among Stigmergic Robots.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2019

The weakest failure detector for eventual consistency.

[BibT_eX]

[DOI]

Distributed Comput., 2019

Asynchronous approach in the plane: a deterministic polynomial algorithm.

[BibT_eX]

[DOI]

Distributed Comput., 2019

Optimal torus exploration by oblivious robots.

[BibT_eX]

[DOI]

Computing, 2019

2018

On deterministic rendezvous at a node of agents with arbitrary velocities.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2018

Gracefully Degrading Gathering in Dynamic Rings.

[BibT_eX]

[DOI]

Marjorie Bournat

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2018

2017

Self-stabilizing leader election in polynomial steps.

[BibT_eX]

[DOI]

Inf. Comput., 2017

Robustness in Highly Dynamic Networks.

[BibT_eX]

[DOI]

CoRR, 2017

Computability of Perpetual Exploration in Highly Dynamic Rings.

[BibT_eX]

[DOI]

Marjorie Bournat

Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

2016

The expressive power of snap-stabilization.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

Snap-stabilizing committee coordination.

[BibT_eX]

[DOI]

Borzoo Bonakdarpour

J. Parallel Distributed Comput., 2016

The Next 700 Impossibility Results in Time-Varying Graphs.

[BibT_eX]

[DOI]

Nicolas Braud-Santoni

Mohamed-Hamza Kaaouachi

Int. J. Netw. Comput., 2016

Self-Stabilizing Prefix Tree Based Overlay Networks.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2016

Gradual Stabilization Under \tau -Dynamics.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2016: Parallel Processing, 2016

2015

Special Issue on Distributed Computing and Networking.

[BibT_eX]

[DOI]

Michel Raynal

Theor. Comput. Sci., 2015

Enabling Minimal Dominating Set in Highly Dynamic Distributed Systems.

[BibT_eX]

[DOI]

Mohamed-Hamza Kaaouachi

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2015

Enabling Ring Exploration with Myopic Oblivious Robots.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium Workshop, 2015

A Generic Framework for Impossibility Results in Time-Varying Graphs.

[BibT_eX]

[DOI]

Nicolas Braud-Santoni

Mohamed-Hamza Kaaouachi

Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium Workshop, 2015

2014

Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols.

[BibT_eX]

[DOI]

Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems Workshops, 2014

2013

Deterministic geoleader election in disoriented anonymous systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2013

Optimal probabilistic ring exploration by semi-synchronous oblivious robots.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2013

Preface.

[BibT_eX]

[DOI]

Xavier Défago

Theor. Comput. Sci., 2013

The snap-stabilizing message forwarding algorithm on tree topologies.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2013

Ring Exploration by Oblivious Robots with Vision Limited to 2 or 3.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2013

Self-stabilizing Balancing Algorithm for Containment-Based Trees.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2013

Ring Exploration with Oblivious Myopic Robots.

[BibT_eX]

[DOI]

Proceedings of the SAFECOMP 2013, 2013

Ring Exploration by Oblivious Agents with Local Vision.

[BibT_eX]

[DOI]

Proceedings of the IEEE 33rd International Conference on Distributed Computing Systems, 2013

2012

Self-stabilizing gathering with strong multiplicity detection.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

Deterministic Leader Election Among Disoriented Anonymous Sensors

[BibT_eX]

[DOI]

CoRR, 2012

On efficiency of unison.

[BibT_eX]

[DOI]

Proceedings of the 4th Workshop on Theoretical Aspects of Dynamic Distributed Systems, 2012

Optimal Grid Exploration by Asynchronous Oblivious Robots.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2012

Optimization in a Self-stabilizing Service Discovery Framework for Large Scale Systems.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2012

Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols.

[BibT_eX]

[DOI]

François Bonnet

Xavier Défago

Maria Gradinariu Potop-Butucaru

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2012

2011

Autour de l'autostabilisation. 2. Techniques spécialisant l'approche.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2011

Autour de l'autostabilisation. 1. Techniques généralisant l'approche.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2011

Stabilization, Safety, and Security of Distributed Systems (SSS 2009).

[BibT_eX]

[DOI]

Ajoy Kumar Datta

Rachid Guerraoui

Theor. Comput. Sci., 2011

Asymptotically Optimal Deterministic Rendezvous.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2011

2010

Deterministic Robot-Network Localization is Hard.

[BibT_eX]

[DOI]

Ouiddad Labbani-Igbida

IEEE Trans. Robotics, 2010

Snap-Stabilizing Prefix Tree for Peer-to-Peer Systems.

[BibT_eX]

[DOI]

Parallel Process. Lett., 2010

Leader Election Problem versus Pattern Formation Problem.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 24th International Symposium, 2010

Snap-Stabilizing Linear Message Forwarding.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010

Best-effort group service in dynamic networks.

[BibT_eX]

[DOI]

Bertrand Ducourthial

Sofiane Khalfallah

Proceedings of the SPAA 2010: Proceedings of the 22nd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2010

Brief announcement: leader election vs pattern formation.

[BibT_eX]

[DOI]

Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010

2009

Scatter of Robots.

[BibT_eX]

[DOI]

Parallel Process. Lett., 2009

Self-stabilizing Determinsitic Gathering

[BibT_eX]

[DOI]

CoRR, 2009

Deaf, Dumb, and Chatting Robots, Enabling Distributed Computation and Fault-Tolerance Among Stigmergic Robot

[BibT_eX]

[DOI]

CoRR, 2009

Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots

[BibT_eX]

[DOI]

CoRR, 2009

Brief announcement: deaf, dumb, and chatting robots.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, 2009

Space-Optimal Deterministic Rendezvous.

[BibT_eX]

[DOI]

Proceedings of the 2009 International Conference on Parallel and Distributed Computing, 2009

Deaf, Dumb, and Chatting Asynchronous Robots.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems, 13th International Conference, 2009

Self-stabilizing Deterministic Gathering.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Aspects of Wireless Sensor Networks, 2009

2008

Circle formation of weak mobile robots.

[BibT_eX]

[DOI]

Ouiddad Labbani-Igbida

ACM Trans. Auton. Adapt. Syst., 2008

Space efficient and time optimal distributed BFS tree construction.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2008

Synchronous vs. Asynchronous Unison.

[BibT_eX]

[DOI]

Algorithmica, 2008

Self-Stabilization in Tree-Structured Peer-to-Peer Service Discovery Systems.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE Symposium on Reliable Distributed Systems (SRDS 2008), 2008

With Finite Memory Consensus Is Easier Than Reliable Broadcast.

[BibT_eX]

[DOI]

Carole Delporte-Gallet

Proceedings of the Principles of Distributed Systems, 12th International Conference, 2008

Squaring the Circle with Weak Mobile Robots.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Computation, 19th International Symposium, 2008

Self-stabilizing wavelets and rho-hops coordination.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

On the solvability of the localization problem in robot networks.

[BibT_eX]

[DOI]

Ouiddad Labbani-Igbida

Proceedings of the 2008 IEEE International Conference on Robotics and Automation, 2008

Snap-Stabilizing Waves in Anonymous Networks.

[BibT_eX]

[DOI]

Mathieu Levert

Proceedings of the Distributed Computing and Networking, 9th International Conference, 2008

2007

Optimal snap-stabilizing depth-first token circulation in tree networks.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2007

Circle formation of weak robots and Lyndon words.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2007

Snap-stabilization and PIF in tree networks.

[BibT_eX]

[DOI]

Distributed Comput., 2007

Scatter of Weak Robots

[BibT_eX]

[DOI]

CoRR, 2007

Self-Stabilizing Wavelets and r-Hops Coordination

[BibT_eX]

[DOI]

CoRR, 2007

Swing Words to Make Circle Formation Quiescent.

[BibT_eX]

[DOI]

Proceedings of the Structural Information and Communication Complexity, 2007

Deterministic Leader Election in Anonymous Sensor Networks Without Common Coordinated System.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems, 11th International Conference, 2007

Robots and Demons (The Code of the Origins).

[BibT_eX]

[DOI]

Proceedings of the Fun with Algorithms, 4th International Conference, 2007

2006

Snap-Stabilizing Depth-First Search on Arbitrary Networks.

[BibT_eX]

[DOI]

Comput. J., 2006

Toward a Time-Optimal Odd Phase Clock Unison in Trees.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, 2006

A Repair Mechanism for Fault-Tolerance for Tree-Structured Peer-to-Peer Systems.

[BibT_eX]

[DOI]

Proceedings of the High Performance Computing, 2006

2005

Optimal snap-stabilizing PIF algorithms in un-oriented trees.

[BibT_eX]

[DOI]

J. High Speed Networks, 2005

Group Mutual Exclusion in Token Rings.

[BibT_eX]

[DOI]

Comput. J., 2005

A Peer-to-Peer Extension of Network-Enabled Server Systems.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on e-Science and Grid Technologies (e-Science 2005), 2005

2004

Autostabilisation et protocoles réseau.

[BibT_eX]

[DOI]

Colette Johnen

Tech. Sci. Informatiques, 2004

When graph theory helps self-stabilization.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, 2004

2003

Self-Stabilizing Atomicity Refinement Allowing Neighborhood Concurrency.

[BibT_eX]

[DOI]

Sébastien Cantarell

Ajoy Kumar Datta

Proceedings of the Self-Stabilizing Systems, 6th International Symposium, SSS 2003, 2003

A Hierarchical Resource Reservation Algorithm for Network Enabled.

[BibT_eX]

[DOI]

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Enabling Snap-Stabilizatio.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 2003

2002

Group Mutual Exclusion In Tree Networks.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Parallel and Distributed Systems, 2002

Snap-Stabilizing PIF Algorithm in Arbitrary Networks.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), 2002

2001

Self-Stabilizing Network Orientation Algorithms In Arbitrary Rooted Networks.

[BibT_eX]

[DOI]

Ajoy Kumar Datta

Shivashankar Gurumurthy

Stud. Inform. Univ., 2001

Fast Self-Stabilizing Depth-First Token Circulation.

[BibT_eX]

[DOI]

Proceedings of the Self-Stabilizing Systems, 5th International Workshop, 2001

Optimal Snap-Stabilizing PIF in Un-Oriented Trees.

[BibT_eX]

Proceedings of the Procedings of the 5th International Conference on Principles of Distributed Systems. OPODIS 2001, 2001

Self-Stabilizing PIF Algorithm in Arbitrary Rooted Networks.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

Token Based Group Mutual Exclusion for Asynchronous Rings.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

2000

Optimality and Self-Stabilization in Rooted Tree Networks.

[BibT_eX]

[DOI]

Parallel Process. Lett., 2000

Self-stabilizing depth-first token circulation in arbitrary rooted networks.

[BibT_eX]

[DOI]

Distributed Comput., 2000

Self-stabilizing Depth-first Token Circulation in Asynchronous Message-passing Systems.

[BibT_eX]

[DOI]

Comput. Artif. Intell., 2000

Self-Stabilizing Group Mutual Exclusion for Asynchronous Rings.

[BibT_eX]

Sébastien Cantarell

Proceedings of the Procedings of the 4th International Conference on Principles of Distributed Systems, 2000

1999

State-optimal snap-stabilizing PIF in tree networks.

[BibT_eX]

Proceedings of the 1999 ICDCS Workshop on Self-stabilizing Systems, 1999

Time and Space Optimality of Distributed Depth-First Token Circulation Algorithms.

[BibT_eX]

Proceedings of the Distributed Data & Structures 2, 1999

Optimal PIF in Tree Networks.

[BibT_eX]

Proceedings of the Distributed Data & Structures 2, 1999

Snpa-Stabilizing PIF Algorithm in Trees.

[BibT_eX]

Proceedings of the SIROCCO'99, 1999

Space optimal PIF algorithm: self-stabilized with no extra space.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Performance Computing and Communications Conference, 1999

1997

Highly Space-Efficient Self-Stabilizing Depth-First Token Circulation for Trees.

[BibT_eX]

Proceedings of the On Principles Of Distributed Systems, 1997

Color Optimal Self-Stabilizing Depth-First Token Circulation.

[BibT_eX]

[DOI]

Proceedings of the 1997 International Symposium on Parallel Architectures, 1997

A Space-Efficient and Self-Stabilizing Depth-First Token Circulation Protocol for Asynchronous Message-Passing Systems (Short Version).

[BibT_eX]

[DOI]