Swan Dubois

Laurent Feuilloley

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 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

2018

Gracefully Degrading Gathering in Dynamic Rings.

[BibT_eX]

[DOI]

Marjorie Bournat

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

2017

Robustness in Highly Dynamic Networks.

[BibT_eX]

[DOI]

CoRR, 2017

Asynchronous Approach in the Plane: A Deterministic Polynomial Algorithm.

[BibT_eX]

[DOI]

Proceedings of the 31st International Symposium on Distributed Computing, 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 Next 700 Impossibility Results in Time-Varying Graphs.

[BibT_eX]

[DOI]

Nicolas Braud-Santoni

Mohamed-Hamza Kaaouachi

Int. J. Netw. Comput., 2016

Self-stabilizing Robots in Highly Dynamic Environments.

[BibT_eX]

[DOI]

Marjorie Bournat

Ajoy K. Datta

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

2015

Practically stabilizing SWMR atomic memory in message-passing systems.

[BibT_eX]

[DOI]

J. Comput. Syst. 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

The Weakest Failure Detector for Eventual Consistency.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, 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

A Self-Stabilizing Memory Efficient Algorithm for the Minimum Diameter Spanning Tree under an Omnipotent Daemon.

[BibT_eX]

[DOI]

Lélia Blin

Fadwa Boubekeur

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

2013

Spéculation et auto-stabilisation

[BibT_eX]

[DOI]

Rachid Guerraoui

CoRR, 2013

Introducing speculation in self-stabilization: an application to mutual exclusion.

[BibT_eX]

[DOI]

Rachid Guerraoui

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2013

2012

Bounding the Impact of Unbounded Attacks in Stabilization.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2012

Self-stabilizing byzantine asynchronous unison.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2012

Mariages et Trahisons

[BibT_eX]

[DOI]

Nini Zhu

CoRR, 2012

Crash Resilient and Pseudo-Stabilizing Atomic Registers.

[BibT_eX]

[DOI]

Shlomi Dolev

Maria Gradinariu Potop-Butucaru

Proceedings of the Principles of Distributed Systems, 16th International Conference, 2012

Snap-Stabilizing Message Forwarding Algorithm on Tree Topologies.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Networking - 13th International Conference, 2012

The Byzantine Brides Problem.

[BibT_eX]

[DOI]

Nini Zhu

Proceedings of the Fun with Algorithms - 6th International Conference, 2012

2011

Tolerating Transient, Permanent, and Intermittent Failures. (Tolérer les fautes transitoires, permanentes et intermittentes).

[BibT_eX]

[DOI]

PhD thesis, 2011

Dynamic FTSS in asynchronous systems: The case of unison.

[BibT_eX]

[DOI]

Maria Potop-Butucaru

Theor. Comput. Sci., 2011

Stabilizing data-link over non-FIFO channels with optimal fault-resilience.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2011

A Taxonomy of Daemons in Self-stabilization

[BibT_eX]

[DOI]

CoRR, 2011

Auto-Stabilisation et Confinement de Fautes Malicieuses : Optimalité du Protocole min+1

[BibT_eX]

[DOI]

CoRR, 2011

Communication Optimalement Stabilisante sur Canaux non Fiables et non FIFO

[BibT_eX]

[DOI]

CoRR, 2011

Self-Stabilization, Byzantine Containment, and Maximizable Metrics: Necessary Conditions

[BibT_eX]

[DOI]

CoRR, 2011

Maximum Metric Spanning Tree Made Byzantine Tolerant.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing - 25th International Symposium, 2011

Pragmatic Self-stabilization of Atomic Memory in Message-Passing Systems.

[BibT_eX]

[DOI]

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

2010

Practically Stabilizing Atomic Memory

[BibT_eX]

[DOI]

CoRR, 2010

On Byzantine Containment Properties of the $min+1$ Protocol

[BibT_eX]

[DOI]

CoRR, 2010

Self-stabilization with Byzantine tolerance for global tasks

[BibT_eX]

[DOI]

CoRR, 2010

Construction auto-stabilisante d'arbre couvrant en dépit d'actions malicieuses

[BibT_eX]

[DOI]

CoRR, 2010

The Impact of Topology on Byzantine Containment in Stabilization.

[BibT_eX]

[DOI]

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

Brief Announcement: Sharing Memory in a Self-stabilizing Manner.

[BibT_eX]

[DOI]

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

On Byzantine Containment Properties of the <i>min</i> + 1 Protocol.

[BibT_eX]

[DOI]

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

Snap-Stabilizing Linear Message Forwarding.

[BibT_eX]

[DOI]

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

Self-stabilizing Byzantine Asynchronous Unison<sup>, </sup>.

[BibT_eX]

[DOI]

Maria Gradinariu Potop-Butucaru

Mikhail Nesterenko

Proceedings of the Principles of Distributed Systems - 14th International Conference, 2010

2009

Two snap-stabilizing point-to-point communication protocols in message-switched networks

[BibT_eX]

[DOI]

CoRR, 2009

Une CNS pour l'acheminement de messages instantanément stabilisant

[BibT_eX]

[DOI]

CoRR, 2009

Brief Announcement: Dynamic FTSS in Asynchronous Systems: The Case of Unison.

[BibT_eX]

[DOI]

Maria Gradinariu Potop-Butucaru

Proceedings of the Distributed Computing, 23rd International Symposium, 2009

How to Improve Snap-Stabilizing Point-to-Point Communication Space Complexity?

[BibT_eX]

[DOI]

Proceedings of the Stabilization, 2009

A snap-stabilizing point-to-point communication protocol in message-switched networks.

[BibT_eX]

[DOI]

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

2008

On co-distance hereditary graphs.

[BibT_eX]