|
Outils d'analyse d'algorithmes distribués spécifiés dans le modèle à états
Erwan Jahier
,
Karine Altisen
,
Stéphane Devismes
ALGOTEL 2025 – 27èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2025, Saint Valéry-sur-Somme, France
Communication dans un congrès
hal-05012468
v1
|
|
Being Efficient in Time, Space, and Workload: a Self-stabilizing Unison and its Consequences
Stéphane Devismes
,
David Ilcinkas
,
Colette Johnen
,
Frédéric Mazoit
STACS 2025: 42nd International Symposium on Theoretical Aspects of Computer Science, Mar 2025, Jena, Germany. pp.30:1-30:18, ⟨10.4230/LIPICS.STACS.2025.30⟩
Communication dans un congrès
hal-04866194
v2
|
|
Temps, travail, espace : pourquoi choisir ? Un unisson autostabilisant et ses retombées
Stéphane Devismes
,
David Ilcinkas
,
Colette Johnen
,
Frédéric Mazoit
ALGOTEL 2025 – 27èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2025, Saint-Valéry-Sur-Somme, France
Communication dans un congrès
hal-05010239
v1
|
|
Graph Exploration: The Impact of a Distance Constraint
Stéphane Devismes
,
Yoann Dieudonné
,
Arnaud Labourel
52nd International Colloquium on Automata, Languages, and Programming (ICALP 2025), Jul 2025, Aarhus (Danemark), Denmark. ⟨10.4230/LIPIcs.ICALP.2025.68⟩
Communication dans un congrès
hal-05135828
v1
|
|
Nous aussi on fait du « log * » !
Stéphane Devismes
,
David Ilcinkas
,
Colette Johnen
,
Frédéric Mazoit
AlgoTel 2024 – 26èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2024, Saint-Briac-sur-Mer, France
Communication dans un congrès
hal-04566761
v1
|
|
On Self-stabilizing Leader Election in Directed Networks
Karine Altisen
,
Alain Cournier
,
Geoffrey Defalque
,
Stéphane Devismes
PODC '24: 43rd ACM Symposium on Principles of Distributed Computing, Jun 2024, Nantes France, France. pp.527-537, ⟨10.1145/3662158.3662778⟩
Communication dans un congrès
hal-04604485
v1
|
|
Optimal Asynchronous Perpetual Grid Exploration
Quentin Bramas
,
Stéphane Devismes
,
Anaïs Durand
,
Pascal Lafourcade
,
Anissa Lamani
Stabilization, Safety, and Security of Distributed Systems - 26th International Symposium, SSS 2024, Toshimitsu Masuzawa; Yoshiaki Katayama; Hirotsugu Kakugawa, Oct 2024, Nagoya, Japan. pp.89-105, ⟨10.1007/978-3-031-74498-3_6⟩
Communication dans un congrès
hal-04620468
v1
|
|
Asynchronous Self-stabilization Made Fast, Simple, and Energy-efficient
Stephane Devismes
,
David Ilcinkas
,
Colette Johnen
,
Fréderic Mazoit
PODC '24: 43rd ACM Symposium on Principles of Distributed Computing, Jun 2024, Nantes, France. pp.538-548, ⟨10.1145/3662158.3662803⟩
Communication dans un congrès
hal-04604488
v1
|
|
Pour être César, il faut que tous les chemins viennent de la Domus Augustana
Karine Altisen
,
Alain Cournier
,
Geoffrey Defalque
,
Stéphane Devismes
AlgoTel 2024 – 26èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2024, Saint-Briac-sur-Mer, France
Communication dans un congrès
hal-04552810
v1
|
|
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-04076915
v1
|
|
Exploration en 3D par des robots désorientés : tu montes en bas ou tu descends en haut ?
Quentin Bramas
,
Stéphane Devismes
,
Anaïs Durand
,
Pascal Lafourcade
,
Anissa Lamani
AlgoTel 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2023, Cargese, France
Communication dans un congrès
hal-04085120
v1
|
|
Certified Round Complexity of Self-Stabilizing Algorithms
Karine Altisen
,
Pierre Corbineau
,
Stéphane Devismes
Communication dans un congrès
hal-04230513
v1
|
|
Self-stabilizing Synchronous Unison in Directed Networks
Karine Altisen
,
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-03925405
v1
|
|
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-04081085
v1
|
|
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. ⟨10.1007/978-3-031-44274-2⟩
Communication dans un congrès
hal-04172396
v1
|
|
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. ⟨10.1007/978-3-031-44274-2⟩
Communication dans un congrès
hal-04172383
v1
|
|
Exploration perpétuelle : ça s'en va et ça revient
Arthur Rauch
,
Quentin Bramas
,
Stéphane Devismes
,
Pascal Lafourcade
,
Anissa Lamani
AlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2022, Saint-Rémy-Lès-Chevreuse, France. pp.1-4, ⟨10.5281/zenodo.4640462⟩
Communication dans un congrès
hal-03657044
v2
|
|
Beedroids: How Luminous Autonomous Swarms of UAVs Can Save the World?
Quentin Bramas
,
Stéphane Devismes
,
Anaïs Durand
,
Pascal Lafourcade
,
Anissa Lamani
Communication dans un congrès
hal-03746703
v1
|
|
Un jour sans fin
Stéphane Devismes
,
Pascal Lafourcade
ALGOTEL 2021 — 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2021, La Rochelle, France
Communication dans un congrès
hal-03205279
v2
|
|
Infinite Grid Exploration by Disoriented Robots
Quentin Bramas
,
Stéphane Devismes
,
Pascal Lafourcade
Communication dans un congrès
hal-02559612
v1
|
|
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Opaque Robots with Common Chirality
Quentin Bramas
,
Pascal Lafourcade
,
Stéphane Devismes
Communication dans un congrès
hal-03130277
v1
|
|
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Robots Without Common Chirality
Arthur Rauch
,
Quentin Bramas
,
Stéphane Devismes
,
Pascal Lafourcade
,
Anissa Lamani
Communication dans un congrès
hal-03547159
v1
|
|
On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics
Karine Altisen
,
Stéphane Devismes
,
Anaïs Durand
,
Colette Johnen
,
Franck Petit
PODC '21: ACM Symposium on Principles of Distributed Computing, Jul 2021, Virtual Event, Italy. pp.21-31, ⟨10.1145/3465084.3467917⟩
Communication dans un congrès
hal-03346225
v1
|
|
Self-stabilizing Systems in Spite of High Dynamics
Karine Altisen
,
Stéphane Devismes
,
Anaïs Durand
,
Colette Johnen
,
Franck Petit
22nd International Conference on Distributed Computing and Networking, ICDCN'21, Jan 2021, Nara, Japan. pp.156-165, ⟨10.1145/3427796.3427838⟩
Communication dans un congrès
hal-02376832
v3
|
|
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-03547154
v1
|
|
Brief Announcement: Self-stabilizing Systems in Spite of High Dynamics
Karine Altisen
,
Stéphane Devismes
,
Anaïs Durand
,
Colette Johnen
,
Franck Petit
PODC 2020 - ACM Symposium on Principles of Distributed Computing, Aug 2020, Salerne / Virtual, Italy. ⟨10.1145/3382734.3404502⟩
Communication dans un congrès
hal-02911071
v1
|
|
Finding Water on Poleless using Melomaniac Myopic Chameleon Robots
Quentin Bramas
,
Pascal Lafourcade
,
Stéphane Devismes
Tenth International Conference on Fun with Algorithms (FUN 2020), Jun 2020, Island of Favignana, Trapani, Italy. pp.6:1-6:19, ⟨10.4230/LIPIcs.FUN.2021.6⟩
Communication dans un congrès
hal-02559617
v1
|
|
Vers l'infini et au delà
Quentin Bramas
,
Stéphane Devismes
,
Pascal Lafourcade
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
Communication dans un congrès
hal-02791601
v1
|
|
SASA: a SimulAtor of Self-stabilizing Algorithms
Karine Altisen
,
Stéphane Devismes
,
Erwan Jahier
Communication dans un congrès
hal-02521149
v5
|
|
Élection Autostabilisante dans les Réseaux à Haute Dynamicité
Karine Altisen
,
Stéphane Devismes
,
Anaïs Durand
,
Colette Johnen
,
Franck Petit
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
Communication dans un congrès
hal-02791667
v1
|
|
Self-Stabilizing Distributed Cooperative Reset
Stéphane Devismes
,
Colette Johnen
2019 IEEE 39th International Conference on Distributed Computing Systems (ICDCS), Jul 2019, Dallas, United States. pp.379-389, ⟨10.1109/ICDCS.2019.00045⟩
Communication dans un congrès
hal-02489666
v1
|
|
Soyez efficace, rembobinez
Stéphane Devismes
,
Colette Johnen
ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France
Communication dans un congrès
hal-02118440
v1
|
|
Brief Announcement: Infinite Grid Exploration by Disoriented Robots
Quentin Bramas
,
Stéphane Devismes
,
Pascal Lafourcade
26th International Colloquium on Structural Information and Communication Complexity SIROCCO 2019, Jul 2019, L'Aquila, Italy
Communication dans un congrès
hal-02145822
v1
|
|
Silent self-stabilizing scheme for spanning-tree-like constructions
Stéphane Devismes
,
David Ilcinkas
,
Colette Johnen
Communication dans un congrès
hal-02127131
v1
|
|
Infinite Grid Exploration by Disoriented Robots
Quentin Bramas
,
Stéphane Devismes
,
Pascal Lafourcade
Communication dans un congrès
hal-04751905
v1
|
|
Silence dans la forêt !
Karine Altisen
,
Stéphane Devismes
,
Anaïs Durand
ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France
Communication dans un congrès
hal-02118549
v2
|
|
Brief Announcement: Analysis of a Memory-Efficient Self-stabilizing BFS Spanning Tree Construction
Ajoy K. Datta
,
Stéphane Devismes
,
Colette Johnen
,
Lawrence Larmore
21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019), Oct 2019, Pise, Italy. pp.99-104, ⟨10.1007/978-3-030-34992-9_8⟩
Communication dans un congrès
hal-02489447
v1
|
|
Squeezing Streams and Composition of Self-stabilizing Algorithms
Karine Altisen
,
Pierre Corbineau
,
Stéphane Devismes
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.21-38, ⟨10.1007/978-3-030-21759-4_2⟩
Communication dans un congrès
hal-02313746
v1
|
|
Schéma général auto-stabilisant et silencieux de constructions de type arbres couvrants
Stéphane Devismes
,
David Ilcinkas
,
Colette Johnen
ALGOTEL 2018 - 20èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2018, Roscoff, France
Communication dans un congrès
hal-01781338
v1
|
|
Stabilisation progressive
Karine Altisen
,
Stéphane Devismes
,
Anaïs Durand
,
Franck Petit
ALGOTEL 2018 - 20èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2018, Roscoff, France
Communication dans un congrès
hal-01779963
v1
|
|
Eviter les collisions dans les réseaux 6TiSCH
Olivier Alphand
,
Karine Altisen
,
Rodolphe Bertolini
,
Stéphane Devismes
,
Ali Fahs
et al.
Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication (CORES 2018), May 2018, Roscoff, France
Communication dans un congrès
hal-01785956
v1
|
|
Acyclic Strategy for Silent Self-Stabilization in Spanning Forests
Karine Altisen
,
Stéphane Devismes
,
Anaïs Durand
SSS 2018 - 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2018, Tokyo, Japan. pp.186-202, ⟨10.1007/978-3-030-03232-6_13⟩
Communication dans un congrès
hal-01938671
v1
|
|
L-Exclusion autostabilisante revisitée
Fabienne Carrier
,
Ajoy Datta
,
Stéphane Devismes
,
Lawrence Larmore
ALGOTEL 2018 - 20èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2018, Roscoff, France
Communication dans un congrès
hal-01779647
v1
|
|
Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps
Stéphane Devismes
,
David Ilcinkas
,
Colette Johnen
Communication dans un congrès
hal-01544581
v1
|
|
Collision Prevention in Distributed 6TiSCH Networks
Ali Fahs
,
Rodolphe Bertolini
,
Olivier Alphand
,
Franck Rousseau
,
Karine Altisen
et al.
IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob), Oct 2017, Rome, Italy. ⟨10.1109/WiMOB.2017.8115798⟩
Communication dans un congrès
hal-01614643
v1
|
|
Gradual Stabilization under τ-Dynamics
Karine Altisen
,
Stéphane Devismes
,
Anaïs Durand
,
Franck Petit
Euro-Par 2016 - 22nd International Conference on Parallel and Distributed Computing, Aug 2016, Grenoble, France. pp.588-602, ⟨10.1007/978-3-319-43659-3_43⟩
Communication dans un congrès
hal-01215190
v5
|
|
Concurrence et allocation de ressources locales instantanément stabilisante
Karine Altisen
,
Stéphane Devismes
,
Anaïs Durand
ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2016, Bayonne, France
Communication dans un congrès
hal-01302333
v2
|
|
A Framework for Certified Self-Stabilization
Karine Altisen
,
Pierre Corbineau
,
Stéphane Devismes
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.36-51, ⟨10.1007/978-3-319-39570-8_3⟩
Communication dans un congrès
hal-01432926
v1
|
|
É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-01145472
v1
|
|
Optimal Torus Exploration by Oblivious Robots
Stéphane Devismes
,
Anissa Lamani
,
Franck Petit
,
Sébastien Tixeuil
Communication dans un congrès
hal-00926573
v3
|
|
Stabilisation Instantanée Probabiliste
Karine Altisen
,
Stéphane Devismes
ALGOTEL 2014 -- 16èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2014, Le Bois-Plage-en-Ré, France. pp.1-4
Communication dans un congrès
hal-00976673
v1
|
|
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-00980798
v4
|
|
Algorithme autostabilisant avec convergence sûre construisant une $(f,g)$-alliance
Fabienne Carrier
,
Ajoy Datta
,
Stéphane Devismes
,
Lawrence Larmore
,
Yvan Rivierre
15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.13891
Communication dans un congrès
hal-00812928
v1
|
|
Explorer une grille avec un minimum de robots amnésiques
Franck Petit
,
Anissa Lamani
,
Stéphane Devismes
,
Sébastien Tixeuil
,
Pascal Raymond
15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4
Communication dans un congrès
hal-00817123
v1
|
|
Fast Leader (Full) Recovery Despite Dynamic Faults
Ajoy Datta
,
Stéphane Devismes
,
Lawrence L. Larmore
,
Sébastien Tixeuil
Communication dans un congrès
istex
hal-00930061
v1
|
|
Routage sécurisé et résilient pour réseaux de capteurs sans fil
Karine Altisen
,
Stéphane Devismes
,
Raphaël Jamet
,
Pascal Lafourcade
15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4
Communication dans un congrès
hal-00813387
v3
|
|
SR3: Secure Resilient Reputation-based Routing
Karine Altisen
,
Stéphane Devismes
,
Raphaël Jamet
,
Pascal Lafourcade
2013 IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS), May 2013, Cambridge, France. ⟨10.1109/DCOSS.2013.33⟩
Communication dans un congrès
hal-01759925
v1
|
|
Optimal Grid Exploration by Asynchronous Oblivious Robots
Stéphane Devismes
,
Anissa Lamani
,
Franck Petit
,
Pascal Raymond
,
Sébastien Tixeuil
International Symposium on Stabilization, Safety, and Security of Distributed Systems, Oct 2012, Toronto, Canada. pp.64-76, ⟨10.1007/978-3-642-33536-5_7⟩
Communication dans un congrès
hal-00934161
v1
|
|
Analysis of Random Walks using Tabu Lists
Karine Altisen
,
Stéphane Devismes
,
Antoine Gerbaud
,
Pascal Lafourcade
Structural Information and Communication Complexity - 19th International SIROCCO'12, Jun 2012, Reykjavik, Iceland
Communication dans un congrès
hal-01759228
v1
|
|
Algorithme de k-partitionnement auto-stabilisant et compétitif
Ajoy K. Datta
,
Stéphane Devismes
,
Karel Heurtefeux
,
Lawrence L. Larmore
,
Yvan Rivierre
14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), 2012, La Grande Motte, France. pp.15
Communication dans un congrès
hal-00687556
v1
|
|
Routage par marche aléatoire à listes tabous
Karine Altisen
,
Stéphane Devismes
,
Pascal Lafourcade
,
Clément Ponsonnet
13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2011, Cap Estérel, France. pp.14
Communication dans un congrès
hal-00588086
v1
|
|
Coordination de comités instantanément stabilisante
Borzoo Bonakdarpour
,
Stéphane Devismes
,
Franck Petit
13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2011, Cap Estérel, France
Communication dans un congrès
inria-00587166
v1
|
|
Snap-Stabilizing Committee Coordination
Borzoo Bonakdarpour
,
Stéphane Devismes
,
Franck Petit
25th IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2011, May 2011, Anchorage, Alaska, United States. pp.231-242, ⟨10.1109/IPDPS.2011.31⟩
Communication dans un congrès
hal-01286781
v1
|
|
Rendez-vous d'agents amnésiques
Fabienne Carrier
,
Stéphane Devismes
,
Franck Petit
,
Yvan Rivierre
12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2010, Belle Dune, France. pp.8
Communication dans un congrès
inria-00472219
v1
|
|
A Self-Stabilizing 3-Approximation for the Maximum Leaf Spanning Tree Problem in Arbitrary Networks
Sayaka Kamei
,
Hirotsugu Kakugawa
,
Stéphane Devismes
,
Sébastien Tixeuil
Communication dans un congrès
hal-01292491
v1
|
|
Communications Efficaces et Auto-Stabilisation
Stéphane Devismes
,
Toshimitsu Masuzawa
,
Sébastien Tixeuil
12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2010, Belle-Dune, France. pp.id 19
Communication dans un congrès
hal-00479860
v1
|
|
Probabilistic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks
Samuel Bernard
,
Stéphane Devismes
,
Katy Paroux
,
Maria Gradinariu Potop-Butucaru
,
Sébastien Tixeuil
11th International Conference on Distributed Computing and Networking, ICDCN 2010, Jan 2010, Kolkata, India. pp.167-177, ⟨10.1007/978-3-642-11322-2_19⟩
Communication dans un congrès
istex
hal-01292601
v1
|
|
Sur le Coloriage Auto-stabilisant dans les Réseaux Unidirectionnels Anonymes
Samuel Bernard
,
Stéphane Devismes
,
Katy Paroux
,
Maria Gradinariu Potop-Butucaru
,
Sébastien Tixeuil
11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France
Communication dans un congrès
inria-00384649
v2
|
|
Communication Efficiency in Self-Stabilizing Silent Protocols
Stéphane Devismes
,
Toshimitsu Masuzawa
,
Sébastien Tixeuil
The IEEE International Conference on Distributed Computing Systems (ICDCS 2009), Jun 2009, Montreal, Canada. pp.474-481, ⟨10.1109/ICDCS.2009.24⟩
Communication dans un congrès
hal-01295187
v1
|
|
Quand le consensus est plus simple que la diffusion fiable
Carole Delporte-Gallet
,
Stéphane Devismes
,
Hugues Fauconnier
,
Franck Petit
,
Sam Toueg
11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France
Communication dans un congrès
inria-00383349
v1
|
|
Snap-Stabilization in Message-Passing Systems
Sylvie Delaët
,
Stéphane Devismes
,
Mikhail Nesterenko
,
Sébastien Tixeuil
Communication dans un congrès
hal-01295022
v1
|
|
Stabilisation instantanée dans les systèmes à passage de messages
Sylvie Delaët
,
Stéphane Devismes
,
Mikhail Nesterenko
,
Sébastien Tixeuil
11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France
Communication dans un congrès
inria-00383350
v1
|
|
Space-Optimal Deterministic Rendezvous
Fabienne Carrier
,
Stéphane Devismes
,
Franck Petit
,
Yvan Rivierre
Second International Workshop on Reliability, Availability, and Security (WRAS 2009), Dec 2009, Hiroshima, Japan. pp.332-337, ⟨10.1109/PDCAT.2009.13⟩
Communication dans un congrès
hal-01298724
v1
|
|
Optimal deterministic self-stabilizing vertex coloring in unidirectional anonymous networks
Samuel Bernard
,
Stéphane Devismes
,
Maria Gradinariu Potop-Butucaru
,
Sébastien Tixeuil
Communication dans un congrès
hal-01298811
v1
|
|
Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots
Stéphane Devismes
,
Franck Petit
,
Sébastien Tixeuil
Communication dans un congrès
istex
hal-01295189
v1
|
|
Exploration Optimale Probabiliste d'un Anneau par des Robots Semi-Synchrones et Amnésiques
Stéphane Devismes
,
Franck Petit
,
Sébastien Tixeuil
11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France
Communication dans un congrès
inria-00383351
v1
|
|
Brief Announcement: Snap-Stabilization in Message-Passing Systems
Sylvie Delaët
,
Stéphane Devismes
,
Mikhail Nesterenko
,
Sébastien Tixeuil
Communication dans un congrès
hal-01303457
v1
|
|
Weak vs. Self vs. Probabilistic Stabilization
Stéphane Devismes
,
Sébastien Tixeuil
,
Masafumi Yamashita
IEEE International Conference on Distributed Computing Systems (ICDCS 2008), Jun 2008, Beijing, China. pp.681-688, ⟨10.1109/ICDCS.2008.12⟩
Communication dans un congrès
hal-01303470
v1
|