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

Filtrer vos résultats

12 Résultats
authFullName_s : Karine Altisen

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
Image document

Self-Stabilizing Leader Election in Polynomial Steps

Karine Altisen , Alain Cournier , Stéphane Devismes , Anaïs Durand , Franck Petit
Information and Computation, 2017, 254 (3), pp.330-366. ⟨10.1016/j.ic.2016.09.002⟩
Article dans une revue hal-01347471v1
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

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

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
Image document

Self-Stabilizing Leader Election in Polynomial Steps

Karine Altisen , Alain Cournier , Stéphane Devismes , Anaïs Durand , Franck Petit
SSS'2014, 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Sep 2014, Paderborn, Germany. pp.106-119, ⟨10.1007/978-3-319-11764-5_8⟩
Communication dans un congrès hal-00980798v4
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

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

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
Image document

Élection autostabilisante en un nombre polynomial de pas de calcul

Karine Altisen , Alain Cournier , Stéphane Devismes , Anaïs Durand , Franck Petit
ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France
Communication dans un congrès hal-01145472v1
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