Filtrer vos résultats
- 7
- 4
- 1
- 7
- 5
- 12
- 6
- 2
- 1
- 1
- 1
- 1
- 9
- 3
- 12
- 11
- 3
- 3
- 1
- 1
- 1
- 8
- 12
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
triés par
|
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
|
|||
|
Self-Stabilizing Leader Election in Polynomial StepsInformation and Computation, 2017, 254 (3), pp.330-366. ⟨10.1016/j.ic.2016.09.002⟩
Article dans une revue
hal-01347471v1
|
||
|
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
|
||
|
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
|
||
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 Leader Election in Polynomial StepsSSS'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
|
||
|
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
|
||
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
|
|||
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
|
|||
|
Élection autostabilisante en un nombre polynomial de pas de calculALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France
Communication dans un congrès
hal-01145472v1
|
||
|
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
|