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).
Technical reports
- [RR25] A. Casteigts, S. Dubois, F. Petit, and J. M. Robson Robustness: a New Form of Heredity Motivated by Dynamic Networks, Technical report arXiv:1905.04106 (arXiv), 2019 (pdf).
- [RR24] L. Blin, S. Dubois, and L. Feuilloley Silent MST approximation for tiny memory, Technical report arXiv:1905.08565 (arXiv), 2019 (pdf).
- [RR23] M. Bournat, S. Dubois, and F. Petit Gracefully Degrading Gathering in Dynamic Rings, Technical report arXiv:1805.05137 (arXiv), 2018 (pdf).
- [RR22] A. Casteigts, S. Dubois, F. Petit, and J. M. Robson
Robustness in Highly Dynamic Networks, Technical report arXiv:1703.03190 (arXiv), 2017 (pdf).
- [RR21] M. Bournat, S. Dubois, and F. Petit Computability of Perpetual Exploration in Highly Dynamic Rings, Technical report arXiv:1612.05767 (arXiv), 2016 (pdf).
- [RR20] S. Bouchard, M. Bournat, Y. Dieudonné, S. Dubois, and F. Petit Asynchronous approach in the plane: A deterministic polynomial algorithm, Technical report arXiv:1612.02168 (arXiv), 2016 (pdf).
- [RR19] M. Bournat, Ajoy K. Datta, and S. Dubois Self-Stabilizing Robots in Highly Dynamic Environments, Technical report arXiv:1609.06161 (arXiv), 2016 (pdf).
- [RR18] S. Dubois, R. Guerraoui, P. Kuznetsov, F. Petit, and P. Sens The Weakest Failure Detector for Eventual Consistency, Technical report arXiv:1505.03469 (arXiv), 2015 (pdf).
- [RR17] S. Dubois, M.-H. Kaaouachi, and F. Petit Enabling Minimal Dominating Set in Highly Dynamic Distributed Systems, Technical report arXiv:1502.00378 (arXiv), 2015 (pdf).
- [RR16] N. Braud-Santoni, S. Dubois, M.-H. Kaaouachi, and F. Petit The Next 700 Impossibility Results in Time-Varying Graphs, Technical report arXiv:1412.6007 (arXiv), 2014 (pdf).
- [RR15] S. Dubois and R. Guerraoui Introucing Speculation in Self-Stabilization, Technical report arXiv:1302.2217 (arXiv), 2013 (pdf).
- [RR14] S. Dubois, S. Tixeuil, and N. Zhu The Byzantine Brides Problem, Technical report arXiv:1203.3575 (arXiv), 2012 (pdf).
- [RR13] S. Dubois, and S. Tixeuil A Taxonomy of Daemons in Self-Stabilization, Technical report arXiv:1110.0334 (arXiv), 2011 (pdf).
- [RR12] A. Cournier, S. Dubois, A. Lamani, F. Petit, and V. Villain Snap-Stabilizing Message Forwarding Algorithm on Tree Topologies , Technical report arXiv:1107.6014v1 (arXiv), 2011 (pdf).
- [RR11] S. Dubois, T. Masuzawa, and S. Tixeuil Maximum Metric Spanning Tree made Byzantine Tolerant, Technical report arXiv:1104.5368 (arXiv), 2011 (pdf).
- [RR10] S. Dubois, T. Masuzawa, and S. Tixeuil Self-Stabilization, Byzantine Containment, and Maximizable Metrics: Necessary Conditions, Technical report arXiv:1103.3515 (arXiv), 2011 (pdf).
- [RR9] S. Dolev, S. Dubois, M. Potop-Butucaru, and S. Tixeuil Stabilizing Data-Link over non-Fifo Chanels with Optimal Resilience, Technical report arXiv:1011.3632v1 (arXiv), 2010 (pdf).
- [RR8] N. Alon, H. Attiya, S. Dolev, S. Dubois, M. Potop-Butucaru, and S. Tixeuil Practical Stabilizing Atomic Memory, Technical report arXiv:1007.1802v1 (arXiv), 2010 (pdf).
- [RR7] A. Cournier, S. Dubois, A. Lamani, F. Petit, and V. Villain Snap-Stabilizing Linear Message Forwarding, Technical report arXiv:1006.3432v1 (arXiv), 2010 (pdf).
- [RR6] S. Dubois, T. Masuzawa, and S. Tixeuil On Byzantine Containment Properties of the min+1 Protocol, Technical report arXiv:1005.5223v1 (arXiv), 2010 (pdf).
- [RR5] S. Dubois, T. Masuzawa, and S. Tixeuil Self-stabilization with Byzantine tolerance for global tasks, Technical report arXiv:1005.3367v1 (arXiv), 2010 (pdf).
- [RR4] S. Dubois, T. Masuzawa, and S. Tixeuil The Impact of Topology on Byzantine Containment in Stabilization , Technical report arXiv:1005.1195v1 (arXiv), 2010 (pdf).
- [RR3] S. Dubois, M. Potop-Butucaru, M. Nesterenko, and S. Tixeuil Self-Stabilizing Byzantine Asynchronous Unison, Technical report arXiv:0912.0134v1 (arXiv), 2009 (pdf).
- [RR2] S. Dubois, M. Potop-Butucaru, and S. Tixeuil Dynamic FTSS in Asynchronous Systems: the Case of Unison, Technical report arXiv:0904.4615v1 (arXiv), 2009 (pdf).
- [RR1] A. Cournier, S. Dubois, and V. Villain, Two snap-stabilizing point-to-point communication protocols in message-switched networks, Technical report arXiv:0905.2540v1 (arXiv), 2009 (pdf).