References



27 documents

Articles dans une revue


Communications dans un congrès

  • Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade, Anissa Lamani. Optimal Asynchronous Perpetual Grid Exploration. Stabilization, Safety, and Security of Distributed Systems - 26th International Symposium, SSS 2024, Toshimitsu Masuzawa; Yoshiaki Katayama; Hirotsugu Kakugawa, Oct 2024, Nagoya, Japon, France. pp.89-105, ⟨10.1007/978-3-031-74498-3_6⟩. ⟨hal-04764038⟩
  • Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade, Anissa Lamani. Optimal Asynchronous Perpetual Grid Exploration ⋆. SSS : Symposium on Stabilization, Safety, and Security of Distributed Systems, Oct 2024, Osaka (JP), Japan. ⟨hal-04620468⟩
  • Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes. On Self-stabilizing Leader Election in Directed Networks. PODC '24: 43rd ACM Symposium on Principles of Distributed Computing, Jun 2024, Nantes France, France. pp.527-537, ⟨10.1145/3662158.3662778⟩. ⟨hal-04604485⟩
  • Stephane Devismes, David Ilcinkas, Colette Johnen, Fréderic Mazoit. Asynchronous Self-stabilization Made Fast, Simple, and Energy-efficient. PODC '24: 43rd ACM Symposium on Principles of Distributed Computing, Jun 2024, Nantes, France. pp.538-548, ⟨10.1145/3662158.3662803⟩. ⟨hal-04604488⟩
  • Anaïs Durand, Michel Raynal, Gadi Taubenfeld. Mieux vaut tôt que jamais. AlgoTel 2024 – 26èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2024, Saint-Briac-sur-Mer, France. pp.1-4. ⟨hal-04554838⟩
  • Stéphane Devismes, David Ilcinkas, Colette Johnen, Frédéric Mazoit. Nous aussi on fait du « log * » !. AlgoTel 2024 – 26èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2024, Saint-Briac-sur-Mer, France. ⟨hal-04566761⟩
  • Lélia Blin, Gabriel Le Bouder, Franck Petit. Optimal Memory Requirement for Self-Stabilizing Token Circulation. Structural Information and Communication Complexity (SIROCCO 2024), May 2024, Salerno, Italy. pp.101-118, ⟨10.1007/978-3-031-60603-8_6⟩. ⟨hal-04448960⟩
  • Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes. Pour être César, il faut que tous les chemins viennent de la Domus Augustana. AlgoTel 2024 – 26èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2024, Saint-Briac-sur-Mer, France. ⟨hal-04552810⟩
  • Anaïs Durand, Michel Raynal, Gadi Taubenfeld. Better Sooner Rather Than Later. SIROCCO 2024 - 31st International Colloquium Structural Information and Communication Complexity, May 2024, Vietri sul Mare, Italy. pp.226-237, ⟨10.1007/978-3-031-60603-8_13⟩. ⟨hal-04685214⟩
  • Karine Altisen, Pierre Corbineau, Stéphane Devismes. Certified Round Complexity of Self-Stabilizing Algorithms. 37th International Symposium on Distributed Computing, Oct 2023, L'Aquila, Italy. pp.1-22, ⟨10.4230/LIPIcs.DISC.2023.2⟩. ⟨hal-04230513⟩
  • Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel B. Sant'Anna. Model Checking of Distributed Algorithms using Synchronous Programs. 25th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2023), Shlomi Dolev, Baruch Schieber, Oct 2023, Jersey City, NJ, United States. ⟨10.1007/978-3-031-44274-2⟩. ⟨hal-04172396⟩
  • Erwan Jahier, Stéphane Devismes, Karine Altisen. Exploring Worst Cases of Self-stabilizing Algorithms using Simulations. 25th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Shlomi Dolev, Baruch Schieber, Oct 2023, New Jersey, United States. ⟨10.1007/978-3-031-44274-2⟩. ⟨hal-04172383⟩
  • Swan Dubois, Laurent Feuilloley, Franck Petit, Mikaël Rabie. When Should You Wait Before Updating? Toward a Robustness Refinement. 2nd Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2023), Jun 2023, Pisa, Italy. pp.7:1--7:15, ⟨10.4230/LIPIcs.SAND.2023.7⟩. ⟨hal-04101692v2⟩
  • Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes. Pour battre à l'unisson, il faut que tous les chemins viennent de Rome. AlgoTel 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2023, Cargese (Corse), France. ⟨hal-04076915⟩
  • Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade, Anissa Lamani. Exploration en 3D par des robots désorientés : tu montes en bas ou tu descends en haut ?. AlgoTel 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2023, Cargese, France. ⟨hal-04085120⟩
  • Karine Altisen, Pierre Corbineau, Stéphane Devismes. Complexité certifiée d'algorithmes autostabilisants en rondes. 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2023), May 2023, Cargese, France. ⟨hal-04081085⟩
  • Anaïs Durand, Michel Raynal, Gadi Taubenfeld. Comment se mettre d'accord quand les autres dorment ?. AlgoTel 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2023, Cargèse, France. pp.1-4. ⟨hal-04076960⟩
  • Etienne Mauffret, Elise Jeanneau, Eddy Caron. SkyData : Rise of the Data How can the Intelligent and Autonomous Data paradigm become real?. The International Conference on Cloud Computing and Services Science (CLOSER), Insticc, Jan 2023, Prague (Czech Republic), Czech Republic. pp.8. ⟨hal-04040588⟩
  • Altisen Karine, Alain Cournier, Geoffrey Defalque, Stéphane Devismes. Self-stabilizing Synchronous Unison in Directed Networks. ICDCN 2023: 24th International Conference on Distributed Computing and Networking, Jan 2023, Kharagpur India, France. pp.115-124, ⟨10.1145/3571306.3571397⟩. ⟨hal-03925405⟩

Pré-publications, Documents de travail

  • Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes. On Self-stabilizing Leader Election in Directed Networks. 2024. ⟨hal-04434345v4⟩

Rapports

  • Colette Johnen, Adnane Khattabi, Alessia Milani, Jennifer L. Welch. Efficient Wait-Free Linearizable Implementations of Approximate Bounded Counters Using Read-Write Registers. LaBRI, Université de Bordeaux; Laboratoire d'informatique et des Systèmes - LIS (UMR 7020). 2024. ⟨hal-04454806⟩