4 citations · 6 across the 5 of their papers we have counts for
5 papers · 1 filter
Introducing Speculation in Self-Stabilization - An Application to Mutual Exclusion
Swan Dubois, Rachid Guerraoui
Self-stabilization ensures that, after any transient fault, the system recovers in a finite time and eventually exhibits. Speculation consists in guaranteeing that the system satis…
Snap-Stabilizing Message Forwarding Algorithm on Tree Topologies
Alain Cournier, Swan Dubois, Anissa Lamani +2
In this paper, we consider the message forwarding problem that consists in managing the network resources that are used to forward messages. Previous works on this problem provide…
Maximum Metric Spanning Tree made Byzantine Tolerant
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil
Self-stabilization is a versatile approach to fault-tolerance since it permits a distributed system to recover from any transient fault that arbitrarily corrupts the contents of al…
Self-Stabilization, Byzantine Containment, and Maximizable Metrics: Necessary Conditions
Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil
Self-stabilization is a versatile approach to fault-tolerance since it permits a distributed system to recover from any transient fault that arbitrarily corrupts the contents of al…
Stabilizing data-link over non-FIFO channels with optimal fault-resilience
Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru +1
Self-stabilizing systems have the ability to converge to a correct behavior when started in any configuration. Most of the work done so far in the self-stabilization area assumed e…