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

Self-stabilizing robots in highly dynamic environments.

[BibT_eX]

[DOI]

Marjorie Bournat

Ajoy K. Datta

Theor. 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

2018

A self-stabilizing memory efficient algorithm for the minimum diameter spanning tree under an omnipotent daemon.

[BibT_eX]

[DOI]

Lélia Blin

Fadwa Boubekeur

J. Parallel Distributed Comput., 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

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

2015

Practically stabilizing SWMR atomic memory in message-passing systems.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2015

Maximum Metric Spanning Tree Made Byzantine Tolerant.

[BibT_eX]

[DOI]

Algorithmica, 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

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

2013

The snap-stabilizing message forwarding algorithm on tree topologies.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 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

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

How to improve snap-stabilizing point-to-point communication space complexity?

[BibT_eX]

[DOI]

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

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

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]