Dubois Swan

Home

Publications

Services

Students

DBLP -- Bibtex

Publications

Books

• [B1] K. Altisen, S. Devismes, S. Dubois, and F. Petit Introduction to Distributed Self-Stabilizing Algorithms, Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers, 2019.

International journals

• [RI15] A. Casteigts, S. Dubois, F. Petit, and J. M. Robson Robustness: a New Form of Heredity Motivated by Dynamic Networks, Theoretical Computer Science (TCS), Volume 806, pp. 429-445, 2020 (pdf).


• [RI14] M. Bournat, A. K. Datta, and S. Dubois Self-stabilizing robots in highly dynamic environments, Theoretical Computer Science (TCS), Volume 772, pp. 88-110, 2019 (pdf).


• [RI13] S. Dubois, R. Guerraoui, P. Kuznetsov, F. Petit, and P. Sens The weakest failure detector for eventual consistency, Distributed Computing (DIST), Volume 32, Issue 6, pp. 479-492, 2019 (pdf).


• [RI12] S. Bouchard, M. Bournat, Y. Dieudonné, S. Dubois, and F. Petit Asynchronous approach in the plane: A deterministic polynomial algorithm, Distributed Computing (DIST), Volume 32, Issue 4, pp. 317-337, 2019 (pdf).


• [RI11] L. Blin, F. Boubekeur, and S. Dubois A Self-Stabilizing Memory Efficient Algorithm for the Minimum Diameter Spanning Tree under an Omnipotent Daemon, Journal of Parallel and Distributed Computing (JPDC), Volume 117, pp. 50-62, 2018 (pdf).


• [RI10] N. Braud-Santoni, S. Dubois, M.-H. Kaaouachi, and F. Petit The Next 700 Impossibility Results in Time-Varying Graphs, International Journal of Networking and Computing (IJNC), Volume 6, Issue 1, pp. 27-41, 2016 (pdf).


• [RI9] N. Alon, H. Attiya, S. Dolev, S. Dubois, M. Potop-Butucaru, and S. Tixeuil Practically Stabilizing SWMR Atomic Memory in Message-Passing Systems, Journal of Computer and System Sciences (JCSS), Volume 81, Issue 4, pp. 692-701, 2015 (pdf).


• [RI8] S. Dubois, T. Masuzawa, and S. Tixeuil Maximum Metric Spanning Tree made Byzantine Tolerant, Algorithmica (Algo), Volume 73, Issue 1, pp.166-201, 2015 (pdf).


• [RI7] A. Cournier, S. Dubois, A. Lamani, F. Petit, and V. Villain The Snap-Stabilizing Message Forwarding Algorithm on Tree Topologies , Theoritical Computer Science (TCS), Volume 496, pp. 89–112, 2013 (pdf).


• [RI6] S. Dubois, M. Potop-Butucaru, M. Nesterenko, and S. Tixeuil Self-Stabilizing Byzantine Asynchronous Unison, Journal of Parallel and Distributed Computing (JPDC), Volume 72, Issue 7, pp. 917-923, 2012 (pdf).


• [RI5] S. Dubois, T. Masuzawa, and S. Tixeuil Bounding the Impact of Unbounded Attacks in Stabilization, IEEE Transactions on Parallel and Distributed Systems (TPDS), Volume 23, Issue 3, pp. 460-466, 2012 (pdf,appendix).


• [RI4] S. Dolev, S. Dubois, M. Potop-Butucaru, and S. Tixeuil Stabilizing Data-Link over non-Fifo Chanels with Optimal Resilience, Information Processing Letters (IPL), Volume 111, pp.912-920, 2011 (pdf).


• [RI3] S. Dubois, M. Potop-Butucaru, and S. Tixeuil Dynamic FTSS in Asynchronous Systems: the Case of Unison, Theoritical Computer Science (TCS), Volume 412, Issue 29, pp. 3418-3439, 2011 (pdf).


• [RI2] A. Cournier, S. Dubois, and V. Villain How to improve snap-stabilizing point-to-point communication space complexity ?, Theoritical Computer Science (TCS), special issue on Self-* Systems, Volume 412, Issue 33, pp. 4285-4296, 2011 (pdf).


• [RI1] S. Dubois, V. Giakoumakis, and C. B. Ould El Mounir, Split-pseudopaths in split-prime extensions, International Journal of Pure and Applied Mathematics (IJPAM), Vol. 43, No. 3, p. 435-448,2008 (pdf).

Proceedings (international conferences)

Regular papers

• [CR20] S. Dubois, L. Feuilloley, F. Petit, and M. Rabie, When Should You Wait Before Updating?: Toward a Robustness Refinement, 2nd Symposium on Algorithmic Foundations of Dynamic Networks (SAND'23), to appear, Best Paper Award (pdf).


• [CR19] L. Blin, S. Dubois, and L. Feuilloley Silent MST approximation for tiny memory, 22th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'20), pp. 118-132 (pdf).


• [CR18] M. Bournat, S. Dubois, and F. Petit Gracefully Degrading Gathering in Dynamic Rings, 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'18), pp. 349-364 (pdf).


• [CR17] S. Bouchard, M. Bournat, Y. Dieudonné, S. Dubois, and F. Petit Asynchronous Approach in the Plane: A Deterministic Polynomial Algorithm, 31th International Symposium on Distributed Computing (DISC'17), pp. 8:1-8:16 (pdf).


• [CR16] M. Bournat, S. Dubois, and F. Petit Computability of Perpetual Exploration in Highly Dynamic Rings, 37th IEEE International Conference on Distributed Computing (ICDCS'17), pp. 794-804 (pdf).


• [CR15] M. Bournat, Ajoy K. Datta, and S. Dubois Self-Stabilizing Robots in Highly Dynamic Environments, 18th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'16), pp. 54-69 (pdf).


• [CR14] S. Dubois, M.-H. Kaaouachi, and F. Petit Enabling Minimal Dominating Set in Highly Dynamic Distributed Systems, 17th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'15), pp. 51-66 (pdf).


• [CR13] S. Dubois, R. Guerraoui, P. Kuznetsov, F. Petit, and P. Sens The Weakest Failure Detector for Eventual Consistency, 34nd Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC'15), pp. 375-384 (pdf).


• [CR12] L. Blin, F. Boubekeur, and S. Dubois A Self-Stabilizing Memory Efficient Algorithm for the Minimum Diameter Spanning Tree under an Omnipotent Daemon, 29th IEEE International Parallel & Distributed Processing Symposium (IPDPS'15), pp. 1065-1074 (pdf).


• [CR11] S. Dubois and R. Guerraoui Introducing Speculation in Self-Stabilization, 32nd Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC'13), pp. 290-298 (pdf).


• [CR10] S. Dolev, S. Dubois, M. Potop-Butucaru, and S. Tixeuil Fail-stop Resilient and Pseudo-Stabilizing Atomic Registers, 16th International Conference On Principles Of Distributed Systems (OPODIS'12), pp. 135-150 (pdf).


• [CR9] S. Dubois, S. Tixeuil, and N. Zhu The Byzantine Brides Problem, 6th International Conference on Fun with Algorithms (FUN'12), pp. 107-118 (pdf).


• [CR8] A. Cournier, S. Dubois, A. Lamani, F. Petit, and V. Villain Snap-Stabilizing Message Forwarding Algorithm on Tree Topologies, 13th International Conference on Distributed Computing and Networking, (ICDCN'12), pp. 46-60 (pdf).


• [CR7] N. Alon, H. Attiya, S. Dolev, S. Dubois, M. Potop-Butucaru, and S. Tixeuil Pragmatic Self-Stabilization of Atomic Memory in Message-Passing Systems, 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'11), pp. 19-31 (pdf).


• [CR6] S. Dubois, T. Masuzawa, and S. Tixeuil Maximum Metric Spanning Tree made Byzantine Tolerant, 25th International Symposium on Distributed Computing (DISC'11), pp. 150-164 (pdf).


• [CR5] S. Dubois, T. Masuzawa, and S. Tixeuil On Byzantine Containment Properties of the min+1 Protocol, 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'10), pp. 96-110 (pdf).


• [CR4] A. Cournier, S. Dubois, A. Lamani, F. Petit, and V. Villain Snap-Stabilizing Linear Message Forwarding, 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'10), pp. 546-559 (pdf).


• [CR3] S. Dubois, T. Masuzawa, and S. Tixeuil The Impact of Topology on Byzantine Containment in Stabilization, 24th International Symposium on Distributed Computing (DISC'10), pp. 495-509 (pdf).


• [CR2] A. Cournier, S. Dubois, and V. Villain, How to improve snap-stabilizing point-to-point communication space complexity?, 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'09), pp. 195-208 (pdf).


• [CR1] A. Cournier, S. Dubois, and V. Villain, A snap-stabilizing point-to-point communication protocol in message-switched networks, 23th IEEE International Parallel & Distributed Processing Symposium (IPDPS'09), pp. 1-11 (pdf).

Brief annoucements, short papers and workshops

• [CC5] N. Braud-Santoni, S. Dubois, M.-H. Kaaouachi, and F. Petit A Generic Framework for Impossibility Results in Time-Varying Graphs, 17th Workshop on Advances on Parallel and Distributed Processing Symposium (APDCM 2015), pp. 483-489 (pdf).


• [CC4] S. Dubois, M. Potop-Butucaru, M. Nesterenko, and S. Tixeuil Brief Annoucement: Self-Stabilizing Byzantine Asynchronous Unison, 14th International Conference On Principles Of DIstributed Systems (OPODIS'10), pp. 83-86 (pdf).


• [CC3] N. Alon, H. Attiya, S. Dolev, S. Dubois, M. Potop-Butucaru, and S. Tixeuil Brief Annoucement: Sharing Memory in a Self-Stabilizing Manner, International Symposium on Distributed Computing (DISC'10), pp. 525-527 (pdf).


• [CC2] S. Dubois, M. Potop-Butucaru, and S. Tixeuil Brief Annoucement: Dynamic FTSS in Asynchronous Systems: the Case of Unison, 23rd International Symposium on Distributed Computing (DISC'09), pp. 291-293 (pdf).


• [CC1] S. Dubois, V. Giakoumakis, and C. B. Ould El Mounir, On co-distance hereditary graphs, Seventh Cologne Twente Workshop on Graphs and Combinatorial Optimization (CTW'08), pp. 94-97 (pdf).

Proceedings (french conferences)

• [CN12] S. Bouchard, M. Bournat, Y. Dieudonné, S. Dubois, and F. Petit Approche asynchrone dans le plan : un algorithme déterministe polynomial , 20èmes Rencontres Francophones pour les Aspects Algorithmiques des Télécommunications (AlgoTel'18), pp. 1-4 (pdf).


• [CN11] M. Bournat, S. Dubois, and F. Petit Quel est le nombre optimal de robots pour explorer un anneau hautement dynamique ?, 19èmes Rencontres Francophones pour les Aspects Algorithmiques des Télécommunications (AlgoTel'17), pp. 1-4 (pdf).


• [CN10] L. Blin, F. Boubekeur, and S. Dubois Algorithme auto-stabilisant efficace en mémoire pour la construction d'un arbre couvrant de diamètre minimum, 18èmes Rencontres Francophones pour les Aspects Algorithmiques des Télécommunications (AlgoTel'16), pp. 1-4 (pdf).


• [CN9] S. Dubois, M.-H. Kaaouachi, and F. Petit Dynamisme et Domination, 17èmes Rencontres Francophones pour les Aspects Algorithmiques des Télécommunications (AlgoTel'15), pp. 1-4 (pdf).


• [CN8] S. Dubois and R. Guerraoui Spéculation et auto-stabilisation, 15èmes Rencontres Francophones pour les Aspects Algorithmiques des Télécommunications (AlgoTel'13), pp. 1-4 (pdf).


• [CN7] A. Cournier, S. Dubois, A. Lamani, F. Petit, and V. Villain Achememinement de messages instantanément stabilisant pour arbres couvrants, 15èmes Rencontres Francophones pour les Aspects Algorithmiques des Télécommunications (AlgoTel'13), pp. 1-4 (pdf).


• [CN6] S. Dubois, S. Tixeuil, and N. Zhu, Mariage et Trahisons, 14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel'12), pp. 1-4 (pdf).


• [CN5] S. Dubois, T. Masuzawa, and S. Tixeuil Auto-Stabilisation et Confinement de Fautes Malicieuses : Optimalité du Protocole min+1, 13èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel'11), pp. 1-4 (pdf).


• [CN4] S. Dolev, S. Dubois, M. Potop-Butucaru, and S. Tixeuil Communication sur Canaux non Fiables et non FIFO : Solution Stabilisante Optimale, 13èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel'11), pp. 1-4 (pdf).


• [CN3] A. Cournier, S. Dubois, A. Lamani, F. Petit, and V. Villain Acheminement de Messages Instantanément Stabilisant : Solution Optimale sur les Topologies Linéaires, 20èmes Rencontres francophones du Parallélisme (RenPar'11), pp. 1-8 (pdf).


• [CN2] S. Dubois, T. Masuzawa, and S. Tixeuil Construction Auto-Stabilisante d'Arbre Couvrant en dépit d'Actions Malicieuses, 12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel'10), pp. 1-4 (pdf).


• [CN1] A. Cournier, S. Dubois, and V. Villain, Une CNS pour l’Acheminement de Messages Instantanément Stabilisant, 11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (Algotel'09), pp. 1-4 (pdf).