Castañeda, Armando; Fraigniaud, Pierre; Paz, Ami; Rajsbaum, Sergio; Roy, Matthieu; Travers, Corentin Synchronous \(t\)-resilient consensus in arbitrary graphs. (English) Zbl 07687221 Inf. Comput. 292, Article ID 105035, 16 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{A. Castañeda} et al., Inf. Comput. 292, Article ID 105035, 16 p. (2023; Zbl 07687221) Full Text: DOI
Bonakdarpour, Borzoo; Fraigniaud, Pierre; Rajsbaum, Sergio; Rosenblueth, David; Travers, Corentin Decentralized asynchronous crash-resilient runtime verification. (English) Zbl 07679902 J. ACM 69, No. 5, Paper No. 34, 31 p. (2022). MSC: 68-XX PDFBibTeX XMLCite \textit{B. Bonakdarpour} et al., J. ACM 69, No. 5, Paper No. 34, 31 p. (2022; Zbl 07679902) Full Text: DOI
Castañeda, Armando; Fraigniaud, Pierre; Paz, Ami; Rajsbaum, Sergio; Roy, Matthieu; Travers, Corentin A topological perspective on distributed network algorithms. (English) Zbl 1464.68438 Theor. Comput. Sci. 849, 121-137 (2021). MSC: 68W15 68M10 68M14 68R10 PDFBibTeX XMLCite \textit{A. Castañeda} et al., Theor. Comput. Sci. 849, 121--137 (2021; Zbl 1464.68438) Full Text: DOI
Fraigniaud, Pierre; Rajsbaum, Sergio; Travers, Corentin; Kuznetsov, Petr; Rieutord, Thibault Perfect failure detection with very few bits. (English) Zbl 1496.68050 Inf. Comput. 275, Article ID 104604, 16 p. (2020). MSC: 68M15 68M14 PDFBibTeX XMLCite \textit{P. Fraigniaud} et al., Inf. Comput. 275, Article ID 104604, 16 p. (2020; Zbl 1496.68050) Full Text: DOI HAL
Fraigniaud, Pierre; Rajsbaum, Sergio; Travers, Corentin A lower bound on the number of opinions needed for fault-tolerant decentralized run-time monitoring. (English) Zbl 1435.68196 J. Appl. Comput. Topol. 4, No. 1, 141-179 (2020). MSC: 68Q60 68M14 68M15 PDFBibTeX XMLCite \textit{P. Fraigniaud} et al., J. Appl. Comput. Topol. 4, No. 1, 141--179 (2020; Zbl 1435.68196) Full Text: DOI
Castañeda, Armando; Fraigniaud, Pierre; Paz, Ami; Rajsbaum, Sergio; Roy, Matthieu; Travers, Corentin A topological perspective on distributed network algorithms. (English) Zbl 07176645 Censor-Hillel, Keren (ed.) et al., Structural information and communication complexity. 26th international colloquium, SIROCCO 2019, L’Aquila, Italy, July 1–4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11639, 3-18 (2019). MSC: 68Mxx 68R10 PDFBibTeX XMLCite \textit{A. Castañeda} et al., Lect. Notes Comput. Sci. 11639, 3--18 (2019; Zbl 07176645) Full Text: DOI arXiv
Fraigniaud, Pierre; Rajsbaum, Sergio; Travers, Corentin; Kuznetsov, Petr; Rieutord, Thibault Perfect failure detection with very few bits. (English) Zbl 1425.68040 Bonakdarpour, Borzoo (ed.) et al., Stabilization, safety, and security of distributed systems. 18th international symposium, SSS 2016, Lyon, France, November 7–10, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10083, 154-169 (2016). MSC: 68M15 68M14 68W15 PDFBibTeX XMLCite \textit{P. Fraigniaud} et al., Lect. Notes Comput. Sci. 10083, 154--169 (2016; Zbl 1425.68040) Full Text: DOI HAL
Bonakdarpour, Borzoo; Fraigniaud, Pierre; Rajsbaum, Sergio; Rosenblueth, David A.; Travers, Corentin Decentralized asynchronous crash-resilient runtime verification. (English) Zbl 1392.68234 Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 16, 15 p. (2016). MSC: 68Q60 03B44 03B50 68M14 68M15 68Q85 PDFBibTeX XMLCite \textit{B. Bonakdarpour} et al., LIPIcs -- Leibniz Int. Proc. Inform. 59, Article 16, 15 p. (2016; Zbl 1392.68234) Full Text: DOI
Fraigniaud, Pierre; Rajsbaum, Sergio; Travers, Corentin Minimizing the number of opinions for fault-tolerant distributed decision using well-quasi orderings. (English) Zbl 1475.68205 Kranakis, Evangelos (ed.) et al., LATIN 2016: theoretical informatics. 12th Latin American symposium, Ensenada, Mexico, April 11–15, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9644, 497-508 (2016). MSC: 68Q85 68Q45 68Q60 PDFBibTeX XMLCite \textit{P. Fraigniaud} et al., Lect. Notes Comput. Sci. 9644, 497--508 (2016; Zbl 1475.68205) Full Text: DOI HAL
Fraigniaud, Pierre; Rajsbaum, Sergio; Travers, Corentin Locality and checkability in wait-free computing. (English) Zbl 1311.68026 Distrib. Comput. 26, No. 4, 223-242 (2013). MSC: 68M14 68Q10 PDFBibTeX XMLCite \textit{P. Fraigniaud} et al., Distrib. Comput. 26, No. 4, 223--242 (2013; Zbl 1311.68026) Full Text: DOI HAL
Fraigniaud, Pierre; Rajsbaum, Sergio; Travers, Corentin Locality and checkability in wait-free computing. (English) Zbl 1311.68025 Peleg, David (ed.), Distributed computing. 25th international symposium, DISC 2011, Rome, Italy, September 20–22, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24099-7/pbk). Lecture Notes in Computer Science 6950, 333-347 (2011). MSC: 68M14 68Q10 PDFBibTeX XMLCite \textit{P. Fraigniaud} et al., Lect. Notes Comput. Sci. 6950, 333--347 (2011; Zbl 1311.68025) Full Text: DOI HAL
Afek, Yehuda; Gafni, Eli; Rajsbaum, Sergio; Raynal, Michel; Travers, Corentin The \(k\)-simultaneous consensus problem. (English) Zbl 1267.68054 Distrib. Comput. 22, No. 3, 185-195 (2010). MSC: 68M14 PDFBibTeX XMLCite \textit{Y. Afek} et al., Distrib. Comput. 22, No. 3, 185--195 (2010; Zbl 1267.68054) Full Text: DOI
Mostefaoui, Achour; Rajsbaum, Sergio; Raynal, Michel; Travers, Corentin On the computability power and the robustness of set agreement-oriented failure detector classes. (English) Zbl 1267.68070 Distrib. Comput. 21, No. 3, 201-222 (2008). MSC: 68M15 68W15 PDFBibTeX XMLCite \textit{A. Mostefaoui} et al., Distrib. Comput. 21, No. 3, 201--222 (2008; Zbl 1267.68070) Full Text: DOI
Rajsbaum, Sergio; Raynal, Michel; Travers, Corentin An impossibility about failure detectors in the iterated immediate snapshot model. (English) Zbl 1191.68130 Inf. Process. Lett. 108, No. 3, 160-164 (2008). MSC: 68M99 PDFBibTeX XMLCite \textit{S. Rajsbaum} et al., Inf. Process. Lett. 108, No. 3, 160--164 (2008; Zbl 1191.68130) Full Text: DOI
Mostefaoui, Achour; Rajsbaum, Sergio; Raynal, Michel; Travers, Corentin The combined power of conditions and information on failures to solve asynchronous set agreement. (English) Zbl 1192.68278 SIAM J. Comput. 38, No. 4, 1574-1601 (2008). MSC: 68Q10 68Q25 68Q85 PDFBibTeX XMLCite \textit{A. Mostefaoui} et al., SIAM J. Comput. 38, No. 4, 1574--1601 (2008; Zbl 1192.68278) Full Text: DOI
Rajsbaum, Sergio; Raynal, Michel; Travers, Corentin The iterated restricted immediate snapshot model. (English) Zbl 1148.68330 Hu, Xiaodong (ed.) et al., Computing and combinatorics. 14th annual international conference, COCOON 2008, Dalian, China, June 27–29, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69732-9/pbk). Lecture Notes in Computer Science 5092, 487-497 (2008). MSC: 68M14 68M15 PDFBibTeX XMLCite \textit{S. Rajsbaum} et al., Lect. Notes Comput. Sci. 5092, 487--497 (2008; Zbl 1148.68330) Full Text: DOI
Cornejo, Alejandro; Rajsbaum, Sergio; Raynal, Michel; Travers, Corentin Failure detectors are schedulers. (English) Zbl 1283.68088 Proceedings of the 26th annual ACM symposium on principles of distributed computing, PODC ’07, Portland, OR, USA, August 12–15, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-616-5). 308-309 (2007). MSC: 68M14 68M15 68Q85 PDFBibTeX XMLCite \textit{A. Cornejo} et al., in: Proceedings of the 26th annual ACM symposium on principles of distributed computing, PODC '07, Portland, OR, USA, August 12--15, 2007. New York, NY: Association for Computing Machinery (ACM). 308--309 (2007; Zbl 1283.68088) Full Text: DOI
Mostefaoui, Achour; Rajsbaum, Sergio; Raynal, Michel; Travers, Corentin From \(\diamond \mathcal W\) to \(\omega\) : A simple bounded quiescent reliable broadcast-based transformation. (English) Zbl 1110.68351 J. Parallel Distrib. Comput. 67, No. 1, 125-129 (2007). MSC: 68M15 68W15 PDFBibTeX XMLCite \textit{A. Mostefaoui} et al., J. Parallel Distrib. Comput. 67, No. 1, 125--129 (2007; Zbl 1110.68351) Full Text: DOI
Mostefaoui, Achour; Rajsbaum, Sergio; Raynal, Michel; Travers, Corentin Irreducibility and additivity of set agreement-oriented failure detector classes. (English) Zbl 1314.68078 Proceedings of the 25th annual ACM symposium on principles of distributed computing, PODC ’06, Denver, CO, USA, July 23–26, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-384-0). 153-162 (2006). MSC: 68M15 68M14 68Q25 68W15 PDFBibTeX XMLCite \textit{A. Mostefaoui} et al., in: Proceedings of the 25th annual ACM symposium on principles of distributed computing, PODC '06, Denver, CO, USA, July 23--26, 2006. New York, NY: Association for Computing Machinery (ACM). 153--162 (2006; Zbl 1314.68078) Full Text: DOI Link
Gafni, Eli; Rajsbaum, Sergio; Raynal, Michel; Travers, Corentin The committee decision problem. (English) Zbl 1145.68354 Correa, José R. (ed.) et al., LATIN 2006: Theoretical informatics. 7th Latin American symposium, Valdivia, Chile, March 20–24, 2006. Proceedings. Berlin: Springer (ISBN 3-540-32755-X/pbk). Lecture Notes in Computer Science 3887, 502-514 (2006). MSC: 68M14 PDFBibTeX XMLCite \textit{E. Gafni} et al., Lect. Notes Comput. Sci. 3887, 502--514 (2006; Zbl 1145.68354) Full Text: DOI Link