Filtrer vos résultats
- 5
- 4
- 1
- 6
- 4
- 10
- 7
- 2
- 1
- 8
- 2
- 10
- 9
- 1
- 1
- 1
- 10
- 7
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
|
|
triés par
|
|
SASA : a SimulAtor of Self-stabilizing AlgorithmsThe Computer Journal, In press, 66 (4), pp.796-814. ⟨10.1093/comjnl/bxab196⟩
Article dans une revue
hal-03603835v1
|
||
|
Pour battre à l'unisson, il faut que tous les chemins viennent de RomeAlgoTel 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 timeTheoretical 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 rondes25è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 NetworksICDCN 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
|
|||
|
Model Checking of Distributed Algorithms using Synchronous Programs25th 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 AlgorithmsThe 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 TimeICDCN '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
|
|||
|
Exploring Worst Cases of Self-stabilizing Algorithms using Simulations25th 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 DynamicsTheoretical Computer Science, 2023, pp.113966. ⟨10.1016/j.tcs.2023.113966⟩
Article dans une revue
hal-04109662v1
|