Recherche - Université de Picardie Jules Verne Accéder directement au contenu

Filtrer vos résultats

10 Résultats
Structure : Identifiant HAL de la structure : 1043148
Image document

SASA : a SimulAtor of Self-stabilizing Algorithms

Karine Altisen , Stéphane Devismes , Erwan Jahier
The Computer Journal, In press, 66 (4), pp.796-814. ⟨10.1093/comjnl/bxab196⟩
Article dans une revue hal-03603835v1
Image document

Pour battre à l'unisson, il faut que tous les chemins viennent de Rome

Karine Altisen , Alain Cournier , Geoffrey Defalque , Stéphane Devismes
AlgoTel 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2023, Cargese (Corse), France
Communication dans un congrès hal-04076915v1

Certification of an exact worst-case self-stabilization time

Karine Altisen , Pierre Corbineau , Stéphane Devismes
Theoretical Computer Science, 2022, 941, pp.262-277. ⟨10.1016/j.tcs.2022.11.019⟩
Article dans une revue hal-03862272v1

Complexité certifiée d'algorithmes autostabilisants en rondes

Karine Altisen , Pierre Corbineau , Stéphane Devismes
25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2023), May 2023, Cargese, France
Communication dans un congrès hal-04081085v1

Self-stabilizing Synchronous Unison in Directed Networks

Altisen Karine , Alain Cournier , Geoffrey Defalque , Stéphane Devismes
ICDCN 2023: 24th International Conference on Distributed Computing and Networking, Jan 2023, Kharagpur India, France. pp.115-124, ⟨10.1145/3571306.3571397⟩
Communication dans un congrès hal-03925405v1
Image document

Model Checking of Distributed Algorithms using Synchronous Programs

Erwan Jahier , Karine Altisen , Stéphane Devismes , Gabriel B. Sant'Anna
25th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2023), Shlomi Dolev, Baruch Schieber, Oct 2023, Jersey City, NJ, United States
Communication dans un congrès hal-04172396v1

sasa : a SimulAtor of Self-stabilizing Algorithms

Karine Altisen , Stéphane Devismes , Erwan Jahier
The Computer Journal, 2023, 66 (4), pp.796-814. ⟨10.1093/comjnl/bxab196⟩
Article dans une revue hal-04186596v1

Certification of an Exact Worst-Case Self-Stabilization Time

Karine Altisen , Pierre Corbineau , Stéphane Devismes
ICDCN '21: International Conference on Distributed Computing and Networking 2021, Jan 2021, Nara Japan, France. pp.46-55, ⟨10.1145/3427796.3427832⟩
Communication dans un congrès hal-03547154v1
Image document

Exploring Worst Cases of Self-stabilizing Algorithms using Simulations

Erwan Jahier , Stéphane Devismes , Karine Altisen
25th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Shlomi Dolev, Baruch Schieber, Oct 2023, New Jersey, United States
Communication dans un congrès hal-04172383v1

Self-stabilizing Systems in Spite of High Dynamics

Karine Altisen , Stéphane Devismes , Anaïs Durand , Colette Johnen , Franck Petit
Theoretical Computer Science, 2023, pp.113966. ⟨10.1016/j.tcs.2023.113966⟩
Article dans une revue hal-04109662v1