BibTeX records: Corentin Travers

download as .bib file

@inproceedings{DBLP:conf/podc/Delporte-Gallet24,
  author       = {Carole Delporte{-}Gallet and
                  Hugues Fauconnier and
                  Pierre Fraigniaud and
                  Sergio Rajsbaum and
                  Corentin Travers},
  editor       = {Ran Gelles and
                  Dennis Olivetti and
                  Petr Kuznetsov},
  title        = {The Computational Power of Distributed Shared-Memory Models with Bounded-Size
                  Registers},
  booktitle    = {Proceedings of the 43rd {ACM} Symposium on Principles of Distributed
                  Computing, {PODC} 2024, Nantes, France, June 17-21, 2024},
  pages        = {310--320},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3662158.3662789},
  doi          = {10.1145/3662158.3662789},
  timestamp    = {Tue, 18 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/podc/Delporte-Gallet24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sirocco/DelporteGalletFFRT24,
  author       = {Carole Delporte{-}Gallet and
                  Hugues Fauconnier and
                  Pierre Fraigniaud and
                  Sergio Rajsbaum and
                  Corentin Travers},
  editor       = {Yuval Emek},
  title        = {Non-negotiating Distributed Computing},
  booktitle    = {Structural Information and Communication Complexity - 31st International
                  Colloquium, {SIROCCO} 2024, Vietri sul Mare, Italy, May 27-29, 2024,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14662},
  pages        = {208--225},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-60603-8\_12},
  doi          = {10.1007/978-3-031-60603-8\_12},
  timestamp    = {Tue, 04 Jun 2024 15:39:39 +0200},
  biburl       = {https://dblp.org/rec/conf/sirocco/DelporteGalletFFRT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/BaigHMT23,
  author       = {Mirza Ahad Baig and
                  Danny Hendler and
                  Alessia Milani and
                  Corentin Travers},
  title        = {Long-lived counters with polylogarithmic amortized step complexity},
  journal      = {Distributed Comput.},
  volume       = {36},
  number       = {1},
  pages        = {29--43},
  year         = {2023},
  url          = {https://doi.org/10.1007/s00446-022-00439-5},
  doi          = {10.1007/S00446-022-00439-5},
  timestamp    = {Sat, 11 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dc/BaigHMT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CastanedaFPRRT23,
  author       = {Armando Casta{\~{n}}eda and
                  Pierre Fraigniaud and
                  Ami Paz and
                  Sergio Rajsbaum and
                  Matthieu Roy and
                  Corentin Travers},
  title        = {Synchronous \emph{t}-resilient consensus in arbitrary graphs},
  journal      = {Inf. Comput.},
  volume       = {292},
  pages        = {105035},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.ic.2023.105035},
  doi          = {10.1016/J.IC.2023.105035},
  timestamp    = {Mon, 22 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/CastanedaFPRRT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-13977,
  author       = {Carole Delporte and
                  Hugues Fauconnier and
                  Pierre Fraigniaud and
                  Sergio Rajsbaum and
                  Corentin Travers},
  title        = {The Computational Power of Distributed Shared-Memory Models with Bounded-Size
                  Registers},
  journal      = {CoRR},
  volume       = {abs/2309.13977},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2309.13977},
  doi          = {10.48550/ARXIV.2309.13977},
  eprinttype    = {arXiv},
  eprint       = {2309.13977},
  timestamp    = {Wed, 27 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-13977.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BonakdarpourFRR22,
  author       = {Borzoo Bonakdarpour and
                  Pierre Fraigniaud and
                  Sergio Rajsbaum and
                  David A. Rosenblueth and
                  Corentin Travers},
  title        = {Decentralized Asynchronous Crash-resilient Runtime Verification},
  journal      = {J. {ACM}},
  volume       = {69},
  number       = {5},
  pages        = {34:1--34:31},
  year         = {2022},
  url          = {https://doi.org/10.1145/3550483},
  doi          = {10.1145/3550483},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/BonakdarpourFRR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BouzidST22,
  author       = {Zohir Bouzid and
                  Pierre Sutra and
                  Corentin Travers},
  title        = {Agreeing within a few writes},
  journal      = {Theor. Comput. Sci.},
  volume       = {922},
  pages        = {283--299},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.tcs.2022.04.030},
  doi          = {10.1016/J.TCS.2022.04.030},
  timestamp    = {Tue, 28 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BouzidST22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CastanedaFPRRT21,
  author       = {Armando Casta{\~{n}}eda and
                  Pierre Fraigniaud and
                  Ami Paz and
                  Sergio Rajsbaum and
                  Matthieu Roy and
                  Corentin Travers},
  title        = {A topological perspective on distributed network algorithms},
  journal      = {Theor. Comput. Sci.},
  volume       = {849},
  pages        = {121--137},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.tcs.2020.10.012},
  doi          = {10.1016/J.TCS.2020.10.012},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/CastanedaFPRRT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/HendlerKMT21,
  author       = {Danny Hendler and
                  Adnane Khattabi and
                  Alessia Milani and
                  Corentin Travers},
  title        = {Upper and Lower Bounds for Deterministic Approximate Objects},
  booktitle    = {41st {IEEE} International Conference on Distributed Computing Systems,
                  {ICDCS} 2021, Washington DC, USA, July 7-10, 2021},
  pages        = {438--448},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ICDCS51616.2021.00049},
  doi          = {10.1109/ICDCS51616.2021.00049},
  timestamp    = {Wed, 13 Oct 2021 15:47:30 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/HendlerKMT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-09902,
  author       = {Danny Hendler and
                  Adnane Khattabi and
                  Alessia Milani and
                  Corentin Travers},
  title        = {Upper and Lower Bounds for Deterministic Approximate Objects},
  journal      = {CoRR},
  volume       = {abs/2104.09902},
  year         = {2021},
  url          = {https://arxiv.org/abs/2104.09902},
  eprinttype    = {arXiv},
  eprint       = {2104.09902},
  timestamp    = {Mon, 26 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2104-09902.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FraigniaudRTKR20,
  author       = {Pierre Fraigniaud and
                  Sergio Rajsbaum and
                  Corentin Travers and
                  Petr Kuznetsov and
                  Thibault Rieutord},
  title        = {Perfect failure detection with very few bits},
  journal      = {Inf. Comput.},
  volume       = {275},
  pages        = {104604},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.ic.2020.104604},
  doi          = {10.1016/J.IC.2020.104604},
  timestamp    = {Tue, 15 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/FraigniaudRTKR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jact/FraigniaudRT20,
  author       = {Pierre Fraigniaud and
                  Sergio Rajsbaum and
                  Corentin Travers},
  title        = {A lower bound on the number of opinions needed for fault-tolerant
                  decentralized run-time monitoring},
  journal      = {J. Appl. Comput. Topol.},
  volume       = {4},
  number       = {1},
  pages        = {141--179},
  year         = {2020},
  url          = {https://doi.org/10.1007/s41468-019-00047-6},
  doi          = {10.1007/S41468-019-00047-6},
  timestamp    = {Mon, 09 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jact/FraigniaudRT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/BeaumontCHT20,
  author       = {Olivier Beaumont and
                  Tobias Castanet and
                  Nicolas Hanusse and
                  Corentin Travers},
  editor       = {Maciej Malawski and
                  Krzysztof Rzadca},
  title        = {Approximation Algorithm for Estimating Distances in Distributed Virtual
                  Environments},
  booktitle    = {Euro-Par 2020: Parallel Processing - 26th International Conference
                  on Parallel and Distributed Computing, Warsaw, Poland, August 24-28,
                  2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12247},
  pages        = {359--375},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57675-2\_23},
  doi          = {10.1007/978-3-030-57675-2\_23},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/BeaumontCHT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/BaigHMT20,
  author       = {Mirza Ahad Baig and
                  Danny Hendler and
                  Alessia Milani and
                  Corentin Travers},
  editor       = {Yuval Emek and
                  Christian Cachin},
  title        = {Long-Lived Snapshots with Polylogarithmic Amortized Step Complexity},
  booktitle    = {{PODC} '20: {ACM} Symposium on Principles of Distributed Computing,
                  Virtual Event, Italy, August 3-7, 2020},
  pages        = {31--40},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3382734.3406005},
  doi          = {10.1145/3382734.3406005},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/podc/BaigHMT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sirocco/CastanedaFPRRT19,
  author       = {Armando Casta{\~{n}}eda and
                  Pierre Fraigniaud and
                  Ami Paz and
                  Sergio Rajsbaum and
                  Matthieu Roy and
                  Corentin Travers},
  editor       = {Keren Censor{-}Hillel and
                  Michele Flammini},
  title        = {A Topological Perspective on Distributed Network Algorithms},
  booktitle    = {Structural Information and Communication Complexity - 26th International
                  Colloquium, {SIROCCO} 2019, L'Aquila, Italy, July 1-4, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11639},
  pages        = {3--18},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-24922-9\_1},
  doi          = {10.1007/978-3-030-24922-9\_1},
  timestamp    = {Mon, 15 Jul 2019 16:09:50 +0200},
  biburl       = {https://dblp.org/rec/conf/sirocco/CastanedaFPRRT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/CastanedaFPRRT19,
  author       = {Armando Casta{\~{n}}eda and
                  Pierre Fraigniaud and
                  Ami Paz and
                  Sergio Rajsbaum and
                  Matthieu Roy and
                  Corentin Travers},
  editor       = {Mohsen Ghaffari and
                  Mikhail Nesterenko and
                  S{\'{e}}bastien Tixeuil and
                  Sara Tucci and
                  Yukiko Yamauchi},
  title        = {Synchronous t-Resilient Consensus in Arbitrary Graphs},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 21st
                  International Symposium, {SSS} 2019, Pisa, Italy, October 22-25, 2019,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11914},
  pages        = {53--68},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-34992-9\_5},
  doi          = {10.1007/978-3-030-34992-9\_5},
  timestamp    = {Mon, 23 May 2022 11:50:06 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/CastanedaFPRRT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/BaigHMT19,
  author       = {Mirza Ahad Baig and
                  Danny Hendler and
                  Alessia Milani and
                  Corentin Travers},
  editor       = {Jukka Suomela},
  title        = {Long-Lived Counters with Polylogarithmic Amortized Step Complexity},
  booktitle    = {33rd International Symposium on Distributed Computing, {DISC} 2019,
                  October 14-18, 2019, Budapest, Hungary},
  series       = {LIPIcs},
  volume       = {146},
  pages        = {3:1--3:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.DISC.2019.3},
  doi          = {10.4230/LIPICS.DISC.2019.3},
  timestamp    = {Wed, 21 Aug 2024 22:46:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/BaigHMT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-03565,
  author       = {Armando Casta{\~{n}}eda and
                  Pierre Fraigniaud and
                  Ami Paz and
                  Sergio Rajsbaum and
                  Matthieu Roy and
                  Corentin Travers},
  title        = {A Topological Perspective on Distributed Network Algorithms},
  journal      = {CoRR},
  volume       = {abs/1907.03565},
  year         = {2019},
  url          = {http://arxiv.org/abs/1907.03565},
  eprinttype    = {arXiv},
  eprint       = {1907.03565},
  timestamp    = {Wed, 17 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1907-03565.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/EllenFKMT16,
  author       = {Faith Ellen and
                  Panagiota Fatourou and
                  Eleftherios Kosmas and
                  Alessia Milani and
                  Corentin Travers},
  title        = {Universal constructions that ensure disjoint-access parallelism and
                  wait-freedom},
  journal      = {Distributed Comput.},
  volume       = {29},
  number       = {4},
  pages        = {251--277},
  year         = {2016},
  url          = {https://doi.org/10.1007/s00446-015-0261-8},
  doi          = {10.1007/S00446-015-0261-8},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dc/EllenFKMT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BonakdarpourFRR16,
  author       = {Borzoo Bonakdarpour and
                  Pierre Fraigniaud and
                  Sergio Rajsbaum and
                  David A. Rosenblueth and
                  Corentin Travers},
  editor       = {Jos{\'{e}}e Desharnais and
                  Radha Jagadeesan},
  title        = {Decentralized Asynchronous Crash-Resilient Runtime Verification},
  booktitle    = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
                  August 23-26, 2016, Qu{\'{e}}bec City, Canada},
  series       = {LIPIcs},
  volume       = {59},
  pages        = {16:1--16:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.16},
  doi          = {10.4230/LIPICS.CONCUR.2016.16},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/BonakdarpourFRR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BonakdarpourFRT16,
  author       = {Borzoo Bonakdarpour and
                  Pierre Fraigniaud and
                  Sergio Rajsbaum and
                  Corentin Travers},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Challenges in Fault-Tolerant Distributed Runtime Verification},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Discussion, Dissemination, Applications - 7th International Symposium,
                  ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9953},
  pages        = {363--370},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47169-3\_27},
  doi          = {10.1007/978-3-319-47169-3\_27},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/BonakdarpourFRT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latin/FraigniaudRT16,
  author       = {Pierre Fraigniaud and
                  Sergio Rajsbaum and
                  Corentin Travers},
  editor       = {Evangelos Kranakis and
                  Gonzalo Navarro and
                  Edgar Ch{\'{a}}vez},
  title        = {Minimizing the Number of Opinions for Fault-Tolerant Distributed Decision
                  Using Well-Quasi Orderings},
  booktitle    = {{LATIN} 2016: Theoretical Informatics - 12th Latin American Symposium,
                  Ensenada, Mexico, April 11-15, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9644},
  pages        = {497--508},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-662-49529-2\_37},
  doi          = {10.1007/978-3-662-49529-2\_37},
  timestamp    = {Wed, 28 Feb 2024 00:16:41 +0100},
  biburl       = {https://dblp.org/rec/conf/latin/FraigniaudRT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/FraigniaudRTKR16,
  author       = {Pierre Fraigniaud and
                  Sergio Rajsbaum and
                  Corentin Travers and
                  Petr Kuznetsov and
                  Thibault Rieutord},
  editor       = {Borzoo Bonakdarpour and
                  Franck Petit},
  title        = {Perfect Failure Detection with Very Few Bits},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 18th
                  International Symposium, {SSS} 2016, Lyon, France, November 7-10,
                  2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10083},
  pages        = {154--169},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-49259-9\_13},
  doi          = {10.1007/978-3-319-49259-9\_13},
  timestamp    = {Sun, 25 Oct 2020 22:45:03 +0100},
  biburl       = {https://dblp.org/rec/conf/sss/FraigniaudRTKR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/BouzidT16,
  author       = {Zohir Bouzid and
                  Corentin Travers},
  editor       = {Cyril Gavoille and
                  David Ilcinkas},
  title        = {Anonymity-Preserving Failure Detectors},
  booktitle    = {Distributed Computing - 30th International Symposium, {DISC} 2016,
                  Paris, France, September 27-29, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9888},
  pages        = {173--186},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-662-53426-7\_13},
  doi          = {10.1007/978-3-662-53426-7\_13},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/BouzidT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/BonninT15,
  author       = {David Bonnin and
                  Corentin Travers},
  editor       = {Sajal K. Das and
                  Dilip Krishnaswamy and
                  Santonu Karkar and
                  Amos Korman and
                  Mohan J. Kumar and
                  Marius Portmann and
                  Srikanth Sastry},
  title        = {Splitting and Renaming with a Majority of Faulty Processes},
  booktitle    = {Proceedings of the 2015 International Conference on Distributed Computing
                  and Networking, {ICDCN} 2015, Goa, India, January 4-7, 2015},
  pages        = {26:1--26:10},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2684464.2684471},
  doi          = {10.1145/2684464.2684471},
  timestamp    = {Wed, 11 Sep 2019 12:17:11 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcn/BonninT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/FraigniaudRRT14,
  author       = {Pierre Fraigniaud and
                  Sergio Rajsbaum and
                  Matthieu Roy and
                  Corentin Travers},
  editor       = {Marcos K. Aguilera and
                  Leonardo Querzoni and
                  Marc Shapiro},
  title        = {The Opinion Number of Set-Agreement},
  booktitle    = {Principles of Distributed Systems - 18th International Conference,
                  {OPODIS} 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8878},
  pages        = {155--170},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-14472-6\_11},
  doi          = {10.1007/978-3-319-14472-6\_11},
  timestamp    = {Mon, 15 Jun 2020 17:10:01 +0200},
  biburl       = {https://dblp.org/rec/conf/opodis/FraigniaudRRT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/FraigniaudRT14,
  author       = {Pierre Fraigniaud and
                  Sergio Rajsbaum and
                  Corentin Travers},
  editor       = {Borzoo Bonakdarpour and
                  Scott A. Smolka},
  title        = {On the Number of Opinions Needed for Fault-Tolerant Run-Time Monitoring
                  in Distributed Systems},
  booktitle    = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
                  ON, Canada, September 22-25, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8734},
  pages        = {92--107},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11164-3\_9},
  doi          = {10.1007/978-3-319-11164-3\_9},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/FraigniaudRT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/FraigniaudRT13,
  author       = {Pierre Fraigniaud and
                  Sergio Rajsbaum and
                  Corentin Travers},
  title        = {Locality and checkability in wait-free computing},
  journal      = {Distributed Comput.},
  volume       = {26},
  number       = {4},
  pages        = {223--242},
  year         = {2013},
  url          = {https://doi.org/10.1007/s00446-013-0188-x},
  doi          = {10.1007/S00446-013-0188-X},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dc/FraigniaudRT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/BouzidT13,
  author       = {Zohir Bouzid and
                  Corentin Travers},
  title        = {Parallel Consensus is Harder than Set Agreement in Message Passing},
  booktitle    = {{IEEE} 33rd International Conference on Distributed Computing Systems,
                  {ICDCS} 2013, 8-11 July, 2013, Philadelphia, Pennsylvania, {USA}},
  pages        = {611--620},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICDCS.2013.72},
  doi          = {10.1109/ICDCS.2013.72},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/BouzidT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/BonninT13,
  author       = {David Bonnin and
                  Corentin Travers},
  editor       = {Roberto Baldoni and
                  Nicolas Nisse and
                  Maarten van Steen},
  title        = {{\(\alpha\)}-Register},
  booktitle    = {Principles of Distributed Systems - 17th International Conference,
                  {OPODIS} 2013, Nice, France, December 16-18, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8304},
  pages        = {53--67},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-03850-6\_5},
  doi          = {10.1007/978-3-319-03850-6\_5},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/opodis/BonninT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/AlistarhGGT12,
  author       = {Dan Alistarh and
                  Seth Gilbert and
                  Rachid Guerraoui and
                  Corentin Travers},
  title        = {Of Choices, Failures and Asynchrony: The Many Faces of Set Agreement},
  journal      = {Algorithmica},
  volume       = {62},
  number       = {1-2},
  pages        = {595--629},
  year         = {2012},
  url          = {https://doi.org/10.1007/s00453-011-9581-7},
  doi          = {10.1007/S00453-011-9581-7},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/algorithmica/AlistarhGGT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/AlistarhGGT12,
  author       = {Dan Alistarh and
                  Seth Gilbert and
                  Rachid Guerraoui and
                  Corentin Travers},
  title        = {Generating Fast Indulgent Algorithms},
  journal      = {Theory Comput. Syst.},
  volume       = {51},
  number       = {4},
  pages        = {404--424},
  year         = {2012},
  url          = {https://doi.org/10.1007/s00224-012-9407-2},
  doi          = {10.1007/S00224-012-9407-2},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mst/AlistarhGGT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/EllenFKMT12,
  author       = {Faith Ellen and
                  Panagiota Fatourou and
                  Eleftherios Kosmas and
                  Alessia Milani and
                  Corentin Travers},
  editor       = {Darek Kowalski and
                  Alessandro Panconesi},
  title        = {Universal constructions that ensure disjoint-access parallelism and
                  wait-freedom},
  booktitle    = {{ACM} Symposium on Principles of Distributed Computing, {PODC} '12,
                  Funchal, Madeira, Portugal, July 16-18, 2012},
  pages        = {115--124},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2332432.2332457},
  doi          = {10.1145/2332432.2332457},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/EllenFKMT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sirocco/AlistarhAGT12,
  author       = {Dan Alistarh and
                  Hagit Attiya and
                  Rachid Guerraoui and
                  Corentin Travers},
  editor       = {Guy Even and
                  Magn{\'{u}}s M. Halld{\'{o}}rsson},
  title        = {Early Deciding Synchronous Renaming in {O(} logf {)} Rounds or Less},
  booktitle    = {Structural Information and Communication Complexity - 19th International
                  Colloquium, {SIROCCO} 2012, Reykjavik, Iceland, June 30-July 2, 2012,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7355},
  pages        = {195--206},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31104-8\_17},
  doi          = {10.1007/978-3-642-31104-8\_17},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sirocco/AlistarhAGT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/BouzidT12,
  author       = {Zohir Bouzid and
                  Corentin Travers},
  editor       = {Marcos K. Aguilera},
  title        = {Brief Announcement: Anonymity, Failures, Detectors and Consensus},
  booktitle    = {Distributed Computing - 26th International Symposium, {DISC} 2012,
                  Salvador, Brazil, October 16-18, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7611},
  pages        = {427--428},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33651-5\_41},
  doi          = {10.1007/978-3-642-33651-5\_41},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/BouzidT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/AlistarhGGT11,
  author       = {Dan Alistarh and
                  Seth Gilbert and
                  Rachid Guerraoui and
                  Corentin Travers},
  editor       = {Marcos Kawazoe Aguilera and
                  Haifeng Yu and
                  Nitin H. Vaidya and
                  Vikram Srinivasan and
                  Romit Roy Choudhury},
  title        = {Generating Fast Indulgent Algorithms},
  booktitle    = {Distributed Computing and Networking - 12th International Conference,
                  {ICDCN} 2011, Bangalore, India, January 2-5, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6522},
  pages        = {41--52},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-17679-1\_4},
  doi          = {10.1007/978-3-642-17679-1\_4},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcn/AlistarhGGT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/BouzidST11,
  author       = {Zohir Bouzid and
                  Pierre Sutra and
                  Corentin Travers},
  editor       = {Antonio Fern{\'{a}}ndez Anta and
                  Giuseppe Lipari and
                  Matthieu Roy},
  title        = {Anonymous Agreement: The Janus Algorithm},
  booktitle    = {Principles of Distributed Systems - 15th International Conference,
                  {OPODIS} 2011, Toulouse, France, December 13-16, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7109},
  pages        = {175--190},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25873-2\_13},
  doi          = {10.1007/978-3-642-25873-2\_13},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/opodis/BouzidST11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/FraigniaudRT11,
  author       = {Pierre Fraigniaud and
                  Sergio Rajsbaum and
                  Corentin Travers},
  editor       = {David Peleg},
  title        = {Locality and Checkability in Wait-Free Computing},
  booktitle    = {Distributed Computing - 25th International Symposium, {DISC} 2011,
                  Rome, Italy, September 20-22, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6950},
  pages        = {333--347},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24100-0\_34},
  doi          = {10.1007/978-3-642-24100-0\_34},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/FraigniaudRT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/AfekGRRT10,
  author       = {Yehuda Afek and
                  Eli Gafni and
                  Sergio Rajsbaum and
                  Michel Raynal and
                  Corentin Travers},
  title        = {The \emph{k}-simultaneous consensus problem},
  journal      = {Distributed Comput.},
  volume       = {22},
  number       = {3},
  pages        = {185--195},
  year         = {2010},
  url          = {https://doi.org/10.1007/s00446-009-0090-8},
  doi          = {10.1007/S00446-009-0090-8},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dc/AfekGRRT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/ParvedyRT10,
  author       = {Philippe Raipin Parv{\'{e}}dy and
                  Michel Raynal and
                  Corentin Travers},
  title        = {Strongly Terminating Early-Stopping \emph{k}-Set Agreement in Synchronous
                  Systems with General Omission Failures},
  journal      = {Theory Comput. Syst.},
  volume       = {47},
  number       = {1},
  pages        = {259--287},
  year         = {2010},
  url          = {https://doi.org/10.1007/s00224-008-9157-3},
  doi          = {10.1007/S00224-008-9157-3},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/ParvedyRT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MostefaouiRT10,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Corentin Travers},
  title        = {Narrowing power vs efficiency in synchronous set agreement: Relationship,
                  algorithms and lower bound},
  journal      = {Theor. Comput. Sci.},
  volume       = {411},
  number       = {1},
  pages        = {58--69},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.tcs.2009.09.002},
  doi          = {10.1016/J.TCS.2009.09.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MostefaouiRT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/BouzidT10,
  author       = {Zohir Bouzid and
                  Corentin Travers},
  editor       = {Chenyang Lu and
                  Toshimitsu Masuzawa and
                  Mohamed Mosbah},
  title        = {(anti-Omega\({}^{\mbox{\emph{x}}}\) {\texttimes}Sigma\({}_{\mbox{\emph{z}}}\))-Based
                  \emph{k}-Set Agreement Algorithms},
  booktitle    = {Principles of Distributed Systems - 14th International Conference,
                  {OPODIS} 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6490},
  pages        = {189--204},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17653-1\_16},
  doi          = {10.1007/978-3-642-17653-1\_16},
  timestamp    = {Tue, 11 Oct 2022 14:59:07 +0200},
  biburl       = {https://dblp.org/rec/conf/opodis/BouzidT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/AlistarhGGT10,
  author       = {Dan Alistarh and
                  Seth Gilbert and
                  Rachid Guerraoui and
                  Corentin Travers},
  editor       = {Nancy A. Lynch and
                  Alexander A. Shvartsman},
  title        = {Brief Announcement: New Bounds for Partially Synchronous Set Agreement},
  booktitle    = {Distributed Computing, 24th International Symposium, {DISC} 2010,
                  Cambridge, MA, USA, September 13-15, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6343},
  pages        = {404--405},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15763-9\_40},
  doi          = {10.1007/978-3-642-15763-9\_40},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wdag/AlistarhGGT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GafniMRT09,
  author       = {Eli Gafni and
                  Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Corentin Travers},
  title        = {From adaptive renaming to set agreement},
  journal      = {Theor. Comput. Sci.},
  volume       = {410},
  number       = {14},
  pages        = {1328--1335},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.tcs.2008.05.016},
  doi          = {10.1016/J.TCS.2008.05.016},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GafniMRT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/AlistarhGGT09,
  author       = {Dan Alistarh and
                  Seth Gilbert and
                  Rachid Guerraoui and
                  Corentin Travers},
  editor       = {Yingfei Dong and
                  Ding{-}Zhu Du and
                  Oscar H. Ibarra},
  title        = {Of Choices, Failures and Asynchrony: The Many Faces of Set Agreement},
  booktitle    = {Algorithms and Computation, 20th International Symposium, {ISAAC}
                  2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5878},
  pages        = {943--953},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-10631-6\_95},
  doi          = {10.1007/978-3-642-10631-6\_95},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaac/AlistarhGGT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/AntaRT09,
  author       = {Antonio Fern{\'{a}}ndez Anta and
                  Sergio Rajsbaum and
                  Corentin Travers},
  editor       = {Srikanta Tirthapura and
                  Lorenzo Alvisi},
  title        = {Brief announcement: weakest failure detectors via an egg-laying simulation},
  booktitle    = {Proceedings of the 28th Annual {ACM} Symposium on Principles of Distributed
                  Computing, {PODC} 2009, Calgary, Alberta, Canada, August 10-12, 2009},
  pages        = {290--291},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1582716.1582770},
  doi          = {10.1145/1582716.1582770},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/AntaRT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/MostefaouiRRT08,
  author       = {Achour Most{\'{e}}faoui and
                  Sergio Rajsbaum and
                  Michel Raynal and
                  Corentin Travers},
  title        = {On the computability power and the robustness of set agreement-oriented
                  failure detector classes},
  journal      = {Distributed Comput.},
  volume       = {21},
  number       = {3},
  pages        = {201--222},
  year         = {2008},
  url          = {https://doi.org/10.1007/s00446-008-0064-2},
  doi          = {10.1007/S00446-008-0064-2},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dc/MostefaouiRRT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/RajsbaumRT08,
  author       = {Sergio Rajsbaum and
                  Michel Raynal and
                  Corentin Travers},
  title        = {An impossibility about failure detectors in the iterated immediate
                  snapshot model},
  journal      = {Inf. Process. Lett.},
  volume       = {108},
  number       = {3},
  pages        = {160--164},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.ipl.2008.05.001},
  doi          = {10.1016/J.IPL.2008.05.001},
  timestamp    = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ipl/RajsbaumRT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/MostefaouiRRT08,
  author       = {Achour Most{\'{e}}faoui and
                  Sergio Rajsbaum and
                  Michel Raynal and
                  Corentin Travers},
  title        = {The Combined Power of Conditions and Information on Failures to Solve
                  Asynchronous Set Agreement},
  journal      = {{SIAM} J. Comput.},
  volume       = {38},
  number       = {4},
  pages        = {1574--1601},
  year         = {2008},
  url          = {https://doi.org/10.1137/050645580},
  doi          = {10.1137/050645580},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamcomp/MostefaouiRRT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/RajsbaumRT08,
  author       = {Sergio Rajsbaum and
                  Michel Raynal and
                  Corentin Travers},
  editor       = {Xiaodong Hu and
                  Jie Wang},
  title        = {The Iterated Restricted Immediate Snapshot Model},
  booktitle    = {Computing and Combinatorics, 14th Annual International Conference,
                  {COCOON} 2008, Dalian, China, June 27-29, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5092},
  pages        = {487--497},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69733-6\_48},
  doi          = {10.1007/978-3-540-69733-6\_48},
  timestamp    = {Tue, 10 Dec 2019 14:59:33 +0100},
  biburl       = {https://dblp.org/rec/conf/cocoon/RajsbaumRT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/MostefaouiRT08,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Corentin Travers},
  editor       = {Shrisha Rao and
                  Mainak Chatterjee and
                  Prasad Jayanti and
                  C. Siva Ram Murthy and
                  Sanjoy Kumar Saha},
  title        = {Narrowing Power vs. Efficiency in Synchronous Set Agreement},
  booktitle    = {Distributed Computing and Networking, 9th International Conference,
                  {ICDCN} 2008, Kolkata, India, January 5-8, 2008},
  series       = {Lecture Notes in Computer Science},
  volume       = {4904},
  pages        = {99--111},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-77444-0\_8},
  doi          = {10.1007/978-3-540-77444-0\_8},
  timestamp    = {Mon, 22 May 2023 09:50:35 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcn/MostefaouiRT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/AlistarhGGT08,
  author       = {Dan Alistarh and
                  Seth Gilbert and
                  Rachid Guerraoui and
                  Corentin Travers},
  editor       = {Gadi Taubenfeld},
  title        = {How to Solve Consensus in the Smallest Window of Synchrony},
  booktitle    = {Distributed Computing, 22nd International Symposium, {DISC} 2008,
                  Arcachon, France, September 22-24, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5218},
  pages        = {32--46},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87779-0\_3},
  doi          = {10.1007/978-3-540-87779-0\_3},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wdag/AlistarhGGT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Travers07,
  author       = {Corentin Travers},
  title        = {Derri{\`{e}}re le consensus : coordination faiblement contrainte dans
                  les syst{\`{e}}mes distribu{\'{e}}s asynchrones. (Beyond consensus
                  : weak coordination in asynchronous distributed systems)},
  school       = {University of Rennes 1, France},
  year         = {2007},
  url          = {https://tel.archives-ouvertes.fr/tel-00485704},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/hal/Travers07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/MostefaouiRRT07,
  author       = {Achour Most{\'{e}}faoui and
                  Sergio Rajsbaum and
                  Michel Raynal and
                  Corentin Travers},
  title        = {From omega to Omega: {A} simple bounded quiescent reliable broadcast-based
                  transformation},
  journal      = {J. Parallel Distributed Comput.},
  volume       = {67},
  number       = {1},
  pages        = {125--129},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.jpdc.2006.06.002},
  doi          = {10.1016/J.JPDC.2006.06.002},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jpdc/MostefaouiRRT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/CornejoRRT07,
  author       = {Alejandro Cornejo and
                  Sergio Rajsbaum and
                  Michel Raynal and
                  Corentin Travers},
  editor       = {Indranil Gupta and
                  Roger Wattenhofer},
  title        = {Failure detectors are schedulers},
  booktitle    = {Proceedings of the Twenty-Sixth Annual {ACM} Symposium on Principles
                  of Distributed Computing, {PODC} 2007, Portland, Oregon, USA, August
                  12-15, 2007},
  pages        = {308--309},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1281100.1281146},
  doi          = {10.1145/1281100.1281146},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/CornejoRRT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/CaoRTW07,
  author       = {Jiannong Cao and
                  Michel Raynal and
                  Corentin Travers and
                  Weigang Wu},
  title        = {The Eventual Leadership in Dynamic Mobile Networking Environments},
  booktitle    = {13th {IEEE} Pacific Rim International Symposium on Dependable Computing
                  {(PRDC} 2007), 17-19 December, 2007, Melbourne, Victoria, Australia},
  pages        = {123--130},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/PRDC.2007.27},
  doi          = {10.1109/PRDC.2007.27},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/CaoRTW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sirocco/MostefaouiRT07,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Corentin Travers},
  editor       = {Giuseppe Prencipe and
                  Shmuel Zaks},
  title        = {From Renaming to Set Agreement},
  booktitle    = {Structural Information and Communication Complexity, 14th International
                  Colloquium, {SIROCCO} 2007, Castiglioncello, Italy, June 5-8, 2007,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4474},
  pages        = {66--80},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-72951-8\_7},
  doi          = {10.1007/978-3-540-72951-8\_7},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/sirocco/MostefaouiRT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/GafniRT07,
  author       = {Eli Gafni and
                  Michel Raynal and
                  Corentin Travers},
  title        = {Test {\&} Set, Adaptive Renaming and Set Agreement: a Guided Visit
                  to Asynchronous Computability},
  booktitle    = {26th {IEEE} Symposium on Reliable Distributed Systems {(SRDS} 2007),
                  Beijing, China, October 10-12, 2007},
  pages        = {93--102},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/SRDS.2007.8},
  doi          = {10.1109/SRDS.2007.8},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/GafniRT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/MostefaouiMRT06,
  author       = {Achour Most{\'{e}}faoui and
                  Eric Mourgaya and
                  Michel Raynal and
                  Corentin Travers},
  title        = {A Time-free Assumption to Implement Eventual Leadership},
  journal      = {Parallel Process. Lett.},
  volume       = {16},
  number       = {2},
  pages        = {189--208},
  year         = {2006},
  url          = {https://doi.org/10.1142/S0129626406002575},
  doi          = {10.1142/S0129626406002575},
  timestamp    = {Tue, 24 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ppl/MostefaouiMRT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/MostefaouiRT06,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Corentin Travers},
  title        = {Time-Free and Timer-Based Assumptions Can Be Combined to Obtain Eventual
                  Leadership},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {17},
  number       = {7},
  pages        = {656--666},
  year         = {2006},
  url          = {https://doi.org/10.1109/TPDS.2006.95},
  doi          = {10.1109/TPDS.2006.95},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tpds/MostefaouiRT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/MostefaouiRTR06,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Corentin Travers and
                  Sergio Rajsbaum},
  title        = {From Failure Detectors with Limited Scope Accuracy to System-wide
                  Leadership},
  booktitle    = {20th International Conference on Advanced Information Networking and
                  Applications {(AINA} 2006), 18-20 April 2006, Vienna, Austria},
  pages        = {81--86},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/AINA.2006.185},
  doi          = {10.1109/AINA.2006.185},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aina/MostefaouiRTR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/AfekGRRT06,
  author       = {Yehuda Afek and
                  Eli Gafni and
                  Sergio Rajsbaum and
                  Michel Raynal and
                  Corentin Travers},
  editor       = {Soma Chaudhuri and
                  Samir R. Das and
                  Himadri S. Paul and
                  Srikanta Tirthapura},
  title        = {Simultaneous Consensus Tasks: {A} Tighter Characterization of Set-Consensus},
  booktitle    = {Distributed Computing and Networking, 8th International Conference,
                  {ICDCN} 2006, Guwahati, India, December 27-30, 2006},
  series       = {Lecture Notes in Computer Science},
  volume       = {4308},
  pages        = {331--341},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11947950\_36},
  doi          = {10.1007/11947950\_36},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcn/AfekGRRT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infoscale/YangCWT06,
  author       = {Jin Yang and
                  Jiannong Cao and
                  Weigang Wu and
                  Corentin Travers},
  editor       = {Xiaohua Jia},
  title        = {The notification based approach to implementing failure detectors
                  in distributed systems},
  booktitle    = {Proceedings of the 1st International Conference on Scalable Information
                  Systems, Infoscale 2006, Hong Kong, May 30-June 1, 2006},
  series       = {{ACM} International Conference Proceeding Series},
  volume       = {152},
  pages        = {14},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1146847.1146861},
  doi          = {10.1145/1146847.1146861},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/infoscale/YangCWT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latin/GafniRRT06,
  author       = {Eli Gafni and
                  Sergio Rajsbaum and
                  Michel Raynal and
                  Corentin Travers},
  editor       = {Jos{\'{e}} R. Correa and
                  Alejandro Hevia and
                  Marcos A. Kiwi},
  title        = {The Committee Decision Problem},
  booktitle    = {{LATIN} 2006: Theoretical Informatics, 7th Latin American Symposium,
                  Valdivia, Chile, March 20-24, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3887},
  pages        = {502--514},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11682462\_47},
  doi          = {10.1007/11682462\_47},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/latin/GafniRRT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/RaynalT06,
  author       = {Michel Raynal and
                  Corentin Travers},
  editor       = {Alexander A. Shvartsman},
  title        = {In Search of the Holy Grail: Looking for the Weakest Failure Detector
                  for Wait-Free Set Agreement},
  booktitle    = {Principles of Distributed Systems, 10th International Conference,
                  {OPODIS} 2006, Bordeaux, France, December 12-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4305},
  pages        = {3--19},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11945529\_2},
  doi          = {10.1007/11945529\_2},
  timestamp    = {Mon, 03 Jan 2022 22:35:20 +0100},
  biburl       = {https://dblp.org/rec/conf/opodis/RaynalT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/MostefaouiRRT06,
  author       = {Achour Most{\'{e}}faoui and
                  Sergio Rajsbaum and
                  Michel Raynal and
                  Corentin Travers},
  editor       = {Eric Ruppert and
                  Dahlia Malkhi},
  title        = {Irreducibility and additivity of set agreement-oriented failure detector
                  classes},
  booktitle    = {Proceedings of the Twenty-Fifth Annual {ACM} Symposium on Principles
                  of Distributed Computing, {PODC} 2006, Denver, CO, USA, July 23-26,
                  2006},
  pages        = {153--162},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1146381.1146406},
  doi          = {10.1145/1146381.1146406},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/MostefaouiRRT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/RaynalT06,
  author       = {Michel Raynal and
                  Corentin Travers},
  title        = {Synchronous Set Agreement: a Concise Guided Tour (including a new
                  algorithm and a list of open problems)},
  booktitle    = {12th {IEEE} Pacific Rim International Symposium on Dependable Computing
                  {(PRDC} 2006), 18-20 December, 2006, University of California, Riverside,
                  {USA}},
  pages        = {267--274},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/PRDC.2006.59},
  doi          = {10.1109/PRDC.2006.59},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/RaynalT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sirocco/ParvedyRT06,
  author       = {Philippe Raipin Parv{\'{e}}dy and
                  Michel Raynal and
                  Corentin Travers},
  editor       = {Paola Flocchini and
                  Leszek Gasieniec},
  title        = {Strongly Terminating Early-Stopping \emph{k}-Set Agreement in Synchronous
                  Systems with General Omission Failures},
  booktitle    = {Structural Information and Communication Complexity, 13th International
                  Colloquium, {SIROCCO} 2006, Chester, UK, July 2-5, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4056},
  pages        = {182--196},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11780823\_15},
  doi          = {10.1007/11780823\_15},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/sirocco/ParvedyRT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/MostefaouiRT06,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Corentin Travers},
  editor       = {Shlomi Dolev},
  title        = {Exploring Gafni's Reduction Land: From \emph{Omega}\({}^{\mbox{\emph{k}}}\)
                  to Wait-Free Adaptive (2p-[p/k])-Renaming Via k-Set Agreement},
  booktitle    = {Distributed Computing, 20th International Symposium, {DISC} 2006,
                  Stockholm, Sweden, September 18-20, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4167},
  pages        = {1--15},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11864219\_1},
  doi          = {10.1007/11864219\_1},
  timestamp    = {Sat, 19 Oct 2019 20:32:37 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/MostefaouiRT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/FriedmanRT05,
  author       = {Roy Friedman and
                  Michel Raynal and
                  Corentin Travers},
  editor       = {James H. Anderson and
                  Giuseppe Prencipe and
                  Roger Wattenhofer},
  title        = {Two Abstractions for Implementing Atomic Objects in Dynamic Systems},
  booktitle    = {Principles of Distributed Systems, 9th International Conference, {OPODIS}
                  2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3974},
  pages        = {73--87},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11795490\_8},
  doi          = {10.1007/11795490\_8},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/opodis/FriedmanRT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact/ParvedyRT05,
  author       = {Philippe Raipin Parv{\'{e}}dy and
                  Michel Raynal and
                  Corentin Travers},
  editor       = {Victor E. Malyshkin},
  title        = {Early-Stopping \emph{k}-Set Agreement in Synchronous Systems Prone
                  to Any Number of Process Crashes},
  booktitle    = {Parallel Computing Technologies, 8th International Conference, PaCT
                  2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3606},
  pages        = {49--58},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11535294\_5},
  doi          = {10.1007/11535294\_5},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/pact/ParvedyRT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/FriedmanRT05,
  author       = {Roy Friedman and
                  Michel Raynal and
                  Corentin Travers},
  editor       = {Marcos Kawazoe Aguilera and
                  James Aspnes},
  title        = {Brief announcement: abstractions for implementing atomic objects in
                  dynamic systems},
  booktitle    = {Proceedings of the Twenty-Fourth Annual {ACM} Symposium on Principles
                  of Distributed Computing, {PODC} 2005, Las Vegas, NV, USA, July 17-20,
                  2005},
  pages        = {354},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073814.1073883},
  doi          = {10.1145/1073814.1073883},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/FriedmanRT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/ParvedyRT05,
  author       = {Philippe Raipin Parv{\'{e}}dy and
                  Michel Raynal and
                  Corentin Travers},
  title        = {Decision Optimal Early-Stopping k-set Agreement in Synchronous Systems
                  Prone to Send Omission Failures},
  booktitle    = {11th {IEEE} Pacific Rim International Symposium on Dependable Computing
                  {(PRDC} 2005), 12-14 December, 2005, Changsha, Hunan, China},
  pages        = {23--30},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/PRDC.2005.28},
  doi          = {10.1109/PRDC.2005.28},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/ParvedyRT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/MostefaouiRTPAA05,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Corentin Travers and
                  Stacy Patterson and
                  Divyakant Agrawal and
                  Amr El Abbadi},
  title        = {From Static Distributed Systems to Dynamic Systems},
  booktitle    = {24th {IEEE} Symposium on Reliable Distributed Systems {(SRDS} 2005),26-28
                  October 2005, Orlando, FL, {USA}},
  pages        = {109--118},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/RELDIS.2005.19},
  doi          = {10.1109/RELDIS.2005.19},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/MostefaouiRTPAA05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/MostefaouiRT04,
  author       = {Achour Most{\'{e}}faoui and
                  Michel Raynal and
                  Corentin Travers},
  title        = {Crash-Resilient Time-Free Eventual Leadership},
  booktitle    = {23rd International Symposium on Reliable Distributed Systems {(SRDS}
                  2004), 18-20 October 2004, Florianpolis, Brazil},
  pages        = {208--217},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/RELDIS.2004.1353022},
  doi          = {10.1109/RELDIS.2004.1353022},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/MostefaouiRT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}