Stéphane Devismes

Discret. Appl. Math., 2025

Being Efficient in Time, Space, and Workload: a Self-Stabilizing Unison and Its Consequences.

[BibT_eX]

[DOI]

Proceedings of the 42nd International Symposium on Theoretical Aspects of Computer Science, 2025

Graph Exploration: The Impact of a Distance Constraint.

[BibT_eX]

[DOI]

Yoann Dieudonné

Arnaud Labourel

Proceedings of the 52nd International Colloquium on Automata, Languages, and Programming, 2025

Analyzing Self-Stabilization of Synchronous Unison via Propositional Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Principles and Practice of Constraint Programming, 2025

2024

Optimal Asynchronous Perpetual Grid Exploration.

[BibT_eX]

[DOI]

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

Asynchronous Self-stabilization Made Fast, Simple, and Energy-efficient.

[BibT_eX]

[DOI]

Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing, 2024

On Self-stabilizing Leader Election in Directed Networks.

[BibT_eX]

[DOI]

Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing, 2024

2023

Analysis of a memory-efficient self-stabilizing BFS spanning tree construction.

[BibT_eX]

[DOI]

Theor. Comput. Sci., April, 2023

Trade-off between Time, Space, and Workload: the case of the Self-stabilizing Unison.

[BibT_eX]

[DOI]

CoRR, 2023

Making local algorithms efficiently self-stabilizing in arbitrary asynchronous environments.

[BibT_eX]

[DOI]

CoRR, 2023

Certified Round Complexity of Self-Stabilizing Algorithms.

[BibT_eX]

[DOI]

Proceedings of the 37th International Symposium on Distributed Computing, 2023

Model Checking of Distributed Algorithms Using Synchronous Programs.

[BibT_eX]

[DOI]

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

Exploring Worst Cases of Self-stabilizing Algorithms Using Simulations.

[BibT_eX]

[DOI]

Erwan Jahier

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

Self-stabilizing Synchronous Unison in Directed Networks.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Distributed Computing and Networking, 2023

2022

Special issue of SSS 2020.

[BibT_eX]

[DOI]

Neeraj Mittal

Inf. Comput., 2022

Optimized Silent Self-Stabilizing Scheme for Tree-Based Constructions.

[BibT_eX]

[DOI]

David Ilcinkas

Algorithmica, 2022

Beedroids: How Luminous Autonomous Swarms of UAVs Can Save the World?

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Fun with Algorithms, 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

Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Robots Without Common Chirality.

[BibT_eX]

[DOI]

Proceedings of the Networked Systems - 9th International Conference, 2021

Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Opaque Robots with Common Chirality.

[BibT_eX]

[DOI]

Proceedings of the ICDCN '21: International Conference on Distributed Computing and Networking, 2021

Self-stabilizing Systems in Spite of High Dynamics.

[BibT_eX]

[DOI]

Proceedings of the ICDCN '21: International Conference on Distributed Computing and Networking, 2021

Certification of an Exact Worst-Case Self-Stabilization Time.

[BibT_eX]

[DOI]

Proceedings of the ICDCN '21: International Conference on Distributed Computing and Networking, 2021

Finding Water on Poleless Using Melomaniac Myopic Chameleon Robots.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Fun with Algorithms, 2021

2020

Election in unidirectional rings with homonyms.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2020

sasa: A SimulAtor of Self-stabilizing Algorithms.

[BibT_eX]

[DOI]

Erwan Jahier

Proceedings of the Tests and Proofs - 14th International Conference, 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

Infinite Grid Exploration by Disoriented Robots.

[BibT_eX]

[DOI]

Proceedings of the Networked Systems - 8th International Conference, 2020

Versatility and Efficiency in Self-Stabilizing Distributed Systems.

[BibT_eX]

[DOI]

, 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

A silent self-stabilizing algorithm for the generalized minimal k-dominating set problem.

[BibT_eX]

[DOI]

Ajoy K. Datta

Theor. Comput. Sci., 2019

Gradual stabilization.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2019

Analysis of a Memory-Efficient Self-Stabilizing BFS Spanning Tree.

[BibT_eX]

[DOI]

CoRR, 2019

Brief Announcement: Analysis of a Memory-Efficient Self-stabilizing BFS Spanning Tree Construction.

[BibT_eX]

[DOI]

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

Self-Stabilizing Distributed Cooperative Reset.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE International Conference on Distributed Computing Systems, 2019

Silent self-stabilizing scheme for spanning-tree-like constructions.

[BibT_eX]

[DOI]

David Ilcinkas

Proceedings of the 20th International Conference on Distributed Computing and Networking, 2019

Squeezing Streams and Composition of Self-stabilizing Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

2018

Acyclic Strategy for Silent Self-stabilization in Spanning Forests.

[BibT_eX]

[DOI]

Anaïs Durand

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

2017

Self-Stabilizing Weak Leader Election in Anonymous Trees Using Constant Memory per Edge.

[BibT_eX]

[DOI]

Parallel Process. Lett., 2017

Collision prevention in distributed 6TiSCH networks.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Wireless and Mobile Computing, 2017

Leader Election in Asymmetric Labeled Unidirectional Rings.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Parallel and Distributed Processing Symposium, 2017

2016

The expressive power of snap-stabilization.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

Silent self-stabilizing BFS tree algorithms revisited.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2016

Leader Election in Rings with Bounded Multiplicity (Short Paper).

[BibT_eX]

[DOI]

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

Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps.

[BibT_eX]

[DOI]

David Ilcinkas

Proceedings of the 20th International Conference on Principles of Distributed Systems, 2016

A Framework for Certified Self-Stabilization.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

Gradual Stabilization Under \tau -Dynamics.

[BibT_eX]

[DOI]

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

2015

Weak vs. Self vs. Probabilistic Stabilization.

[BibT_eX]

[DOI]

Masafumi Yamashita

Int. J. Found. Comput. Sci., 2015

Silent Self-stabilizing BFS Tree Algorithms Revised.

[BibT_eX]

[DOI]

CoRR, 2015

Optimal Torus Exploration by Oblivious Robots.

[BibT_eX]

[DOI]

Proceedings of the Networked Systems - Third International Conference, 2015

Concurrency in Snap-Stabilizing Local Resource Allocation.

[BibT_eX]

[DOI]

Anaïs Durand

Proceedings of the Networked Systems - Third International Conference, 2015

Self-Stabilizing ℓ-Exclusion Revisited.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Distributed Computing and Networking, 2015

2014

Comparison of mean hitting times for a degree-biased random walk.

[BibT_eX]

[DOI]

Discret. Appl. Math., 2014

Self-stabilizing Leader Election in Polynomial Steps.

[BibT_eX]

[DOI]

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

On Probabilistic Snap-Stabilization.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Networking - 15th International Conference, 2014

2013

Preface.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2013

Self-stabilizing (f, g)-Alliances with Safe Convergence.

[BibT_eX]

[DOI]

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

Fast Leader (Full) Recovery Despite Dynamic Faults.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Symposium on Parallel & Distributed Processing, 2013

Self-stabilizing Silent Disjunction in an Anonymous Network.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Networking, 14th International Conference, 2013

SR3: Secure Resilient Reputation-based Routing.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Distributed Computing in Sensor Systems, 2013

2012

Algorithme autostabilisant construisant un petit ensemble k-dominant.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 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

Brief Announcement: Self-stabilizing Silent Disjunction in an Anonymous Network.

[BibT_eX]

[DOI]

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

Analysis of Random Walks Using Tabu Lists.

[BibT_eX]

[DOI]

Proceedings of the Structural Information and Communication Complexity, 2012

Competitive Self-Stabilizing k-Clustering.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE 32nd International Conference on Distributed Computing 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

Self-Stabilizing k-out-of-ℓ Exclusion in Tree Networks.

[BibT_eX]

[DOI]

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

Asymptotically Optimal Deterministic Rendezvous.

[BibT_eX]

[DOI]

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

Self-stabilizing Labeling and Ranking in Ordered Trees.

[BibT_eX]

[DOI]

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

Brief Announcement: Sorting on Skip Chains.

[BibT_eX]

[DOI]

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

Snap-Stabilizing Committee Coordination.

[BibT_eX]

[DOI]

Borzoo Bonakdarpour

Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

Self-Stabilizing Small k-Dominating Sets.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Networking and Computing, 2011

Multi-resource Allocation with Unknown Participants.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Networking and Computing, 2011

Sorting on Skip Chains.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Networking and Computing, 2011

2010

Stabilizing leader election in partial synchronous systems with crash failures.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2010

Approximation of delta-Timeliness.

[BibT_eX]

[DOI]

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

Algorithms for Extracting Timeliness Graphs.

[BibT_eX]

[DOI]

Mikel Larrea

Proceedings of the Structural Information and Communication Complexity, 2010

Optimal exploration of small rings.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Reliability, Availability, and Security, 2010

Probabilistic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Networking, 11th International Conference, 2010

A Self-stabilizing 3-Approximation for the Maximum Leaf Spanning Tree Problem in Arbitrary Networks.

[BibT_eX]

[DOI]

Proceedings of the Computing and Combinatorics, 16th Annual International Conference, 2010

2009

Light enabling snap-stabilization of fundamental protocols.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2009

Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots

[BibT_eX]

[DOI]

CoRR, 2009

A Self-Stabilizing O(n)-Round k-Clustering Algorithm.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE Symposium on Reliable Distributed Systems (SRDS 2009), 2009

Optimal Probabilistic Ring Exploration by Semi-synchronous Oblivious Robots.

[BibT_eX]

[DOI]

Proceedings of the Structural Information and Communication Complexity, 2009

Space-Optimal Deterministic Rendezvous.

[BibT_eX]

[DOI]

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

Self-Stabilizing k-out-of-l exclusion on tree networks.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

Optimal deterministic self-stabilizing vertex coloring in unidirectional anonymous networks.

[BibT_eX]

[DOI]

Samuel Bernard

Maria Gradinariu Potop-Butucaru

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

Communication Efficiency in Self-Stabilizing Silent Protocols.

[BibT_eX]

[DOI]

Toshimitsu Masuzawa

Proceedings of the 29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), 2009

2008

Self-stabilizing K-out-of-L exclusion on tree network

[BibT_eX]

[DOI]

CoRR, 2008

Bounds for self-stabilization in unidirectional networks

[BibT_eX]

[DOI]

Samuel Bernard

Maria Gradinariu Potop-Butucaru

CoRR, 2008

Snap-stabilization in message-passing systems.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008

With Finite Memory Consensus Is Easier Than Reliable Broadcast.

[BibT_eX]

[DOI]

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

Weak vs. Self vs. Probabilistic Stabilization.

[BibT_eX]

[DOI]

Masafumi Yamashita

Proceedings of the 28th IEEE International Conference on Distributed Computing Systems (ICDCS 2008), 2008

2007

Robust Stabilizing Leader Election.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, 2007

2006

Quelques Contributions à la Stabilisation Instantanée. (Some Contributions to Snap-Stabilization).

[BibT_eX]

[DOI]

PhD thesis, 2006

From Self- to Snap- Stabilization.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, 2006

Snap-Stabilizing PIF and Useless Computations.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Parallel and Distributed Systems, 2006

2005

A Silent Self-stabilizing Algorithm for Finding Cut-nodes and Bridges.

[BibT_eX]

[DOI]

Parallel Process. Lett., 2005

A Snap-Stabilizing DFS with a Lower Space Requirement.

[BibT_eX]

[DOI]

Proceedings of the Self-Stabilizing Systems, 2005

Snap-Stabilizing Detection of Cutsets.

[BibT_eX]

[DOI]