Stéphane Devismes

79%
Libre accès
143
Documents
Identifiants chercheurs

Présentation

Stéphane Devismes est actuellement professeur à l'Université de Picardie Jules Verne (Amiens, France) et membre de l'équipe ALCO du laboratoire MIS. Il a obtenu son doctorat à l'Université de Picardie Jules Verne en 2006. En 2006-2007, il a été maître de conférences à l'Université Denis Diderot (Paris VII). En 2007, il a effectué un post-doctorat d'un an au CNRS/Université Paris-Sud. De 2008 à 2021, il a été maître de conférences à l'Université Grenoble Alpes (France) et membre de l'équipe Synchrone du laboratoire VERIMAG. Ses recherches portent sur les questions théoriques du calcul distribué tolérant aux pannes, notamment en lien avec l'autostabilisation.

Domaines de recherche

Réseaux et télécommunications [cs.NI]

Compétences

Autostabilisation cohorte de robots

Publications

43
38
32
14
5
4
2
1
1
1
1
1
49
28
25
21
20
20
12
12
11
11
9
8
6
6
5
5
5
5
5
4
4
4
4
4
4
4
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
8
6
4
3
2
2
2
1
1
1
1
1
1
1
1
1
7
9
16
6
8
8
12
7
6
8
5
3
7
4
9
6
11
7
2
1
1
26
25
22
7
3
2
2
1
1
1
1
1
1
37
33
15
14
10
10
6
5
4
2
2
1
1
1

Publications

Image document

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

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

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

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

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

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

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

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
37th International Symposium on Distributed Computing, Oct 2023, L'Aquila, Italy. pp.1-22, ⟨10.4230/LIPIcs.DISC.2023.2⟩
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
Image document

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
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. ⟨10.1007/978-3-031-44274-2⟩
Communication dans un congrès hal-04172396 v1
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. ⟨10.1007/978-3-031-44274-2⟩
Communication dans un congrès hal-04172383 v1
Image document

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

Beedroids: How Luminous Autonomous Swarms of UAVs Can Save the World?

Quentin Bramas , Stéphane Devismes , Anaïs Durand , Pascal Lafourcade , Anissa Lamani
FUN : Conference on Fun with Algorithms, May 2022, Island of Favignana, Sicily, Italy. ⟨10.4230/LIPIcs.FUN.2022.7⟩
Communication dans un congrès hal-03746703 v1
Image document

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

Infinite Grid Exploration by Disoriented Robots

Quentin Bramas , Stéphane Devismes , Pascal Lafourcade
8th Edition of the International Conference on NETworked and sYStems, NETYS, 2020, Marrakech, Morocco. pp.129-145, ⟨10.1007/978-3-030-67087-0_9⟩
Communication dans un congrès hal-02559612 v1
Image document

Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Opaque Robots with Common Chirality

Quentin Bramas , Pascal Lafourcade , Stéphane Devismes
International Conference on Distributed Computing and Networking, 2021, Nara, Japan. pp.76-85, ⟨10.1145/3427796.3427834⟩
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
9th International Conference, NETYS 2021, May 2021, Virtual, France. pp.95-110, ⟨10.1007/978-3-030-91014-3_7⟩
Communication dans un congrès hal-03547159 v1
Image document

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

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

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

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

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

SASA: a SimulAtor of Self-stabilizing Algorithms

Karine Altisen , Stéphane Devismes , Erwan Jahier
14th International Conference on Tests and Proofs, Jun 2020, Bergen, Norway. ⟨10.1007/978-3-030-50995-8⟩
Communication dans un congrès hal-02521149 v5
Image document

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

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

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

Silent self-stabilizing scheme for spanning-tree-like constructions

Stéphane Devismes , David Ilcinkas , Colette Johnen
ICDCN 2019, Jan 2019, Bangalore, India. pp.158-167, ⟨10.1145/3288599.3288607⟩
Communication dans un congrès hal-02127131 v1
Image document

Infinite Grid Exploration by Disoriented Robots

Quentin Bramas , Stéphane Devismes , Pascal Lafourcade
26th International Colloquium, SIROCCO 2019, Jul 2019, L'Aquila, Italy. pp.340-344, ⟨10.1007/978-3-030-24922-9_25⟩
Communication dans un congrès hal-04751905 v1
Image document

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

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

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

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

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

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

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

Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps

Stéphane Devismes , David Ilcinkas , Colette Johnen
20th International Conference on Principles of Distributed Systems (OPODIS 2016), Dec 2016, Madrid, Spain. pp.10:1-10:16, ⟨10.4230/LIPIcs.OPODIS.2016.10⟩
Communication dans un congrès hal-01544581 v1
Image document

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

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

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

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

Optimal Torus Exploration by Oblivious Robots

Stéphane Devismes , Anissa Lamani , Franck Petit , Sébastien Tixeuil
NETYS 2015 - Third International Conference on Networked Systems, May 2015, Agadir, Morocco. pp.183-199, ⟨10.1007/978-3-319-26850-7_13⟩
Communication dans un congrès hal-00926573 v3
Image document

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

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

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
International Conference on Distributed Computing and Networking, Jan 2013, Mumbai, India. pp.428-433, ⟨10.1007/978-3-642-35668-1_30⟩
Communication dans un congrès istex hal-00930061 v1
Image document

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

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

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

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

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

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

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
COCOON 2010, Jul 2010, Na Thrang, Vietnam. pp.80-89, ⟨10.1007/978-3-642-14031-0_11⟩
Communication dans un congrès hal-01292491 v1
Image document

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

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

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
International Conference on Distributed Computing and Networking (ICDCN 2009), Jan 2009, Hyderabad, India. pp.281-286, ⟨10.1007/978-3-540-92295-7_34⟩
Communication dans un congrès hal-01295022 v1
Image document

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
IPDPS, May 2009, Rome, Italy. pp.1-8, ⟨10.1109/IPDPS.2009.5161053⟩
Communication dans un congrès hal-01298811 v1

Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots

Stéphane Devismes , Franck Petit , Sébastien Tixeuil
Sirocco 2009, May 2009, Piran, Slovenia. pp.195-208, ⟨10.1007/978-3-642-11476-2_16⟩
Communication dans un congrès istex hal-01295189 v1
Image document

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
Principles of Distributed Computing (PODC 2008), Aug 2008, Toronto, Canada. pp.443-443, ⟨10.1145/1400751.1400838⟩
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

Model Checking of Distributed Algorithms using Synchronous Programs

Erwan Jahier , Karine Altisen , Stéphane Devismes , Gabriel Sant'Anna
Theoretical Computer Science, 2025, pp.115292. ⟨10.1016/j.tcs.2025.115292⟩
Article dans une revue hal-05062225 v1

Infinite grid exploration with synchronous myopic robots without chirality

Quentin Bramas , Pascal Lafourcade , Stéphane Devismes
Discrete Applied Mathematics, 2025, 375, pp.193-214. ⟨10.1016/j.dam.2025.05.031⟩
Article dans une revue hal-05117554 v1

Self-stabilizing synchronous unison in directed networks

Karine Altisen , Alain Cournier , Geoffrey Defalque , Stéphane Devismes
Theoretical Computer Science, 2024, 1001, pp.114577. ⟨10.1016/J.TCS.2024.114577⟩
Article dans une revue hal-04580574 v1
Image document

Analysis of a Memory-Efficient Self-stabilizing BFS Spanning Tree Construction

Ajoy Datta , Stéphane Devismes , Colette Johnen , Lawrence Larmore
Theoretical Computer Science, 2023, pp.113804. ⟨10.1016/j.tcs.2023.113804⟩
Article dans une revue hal-04031478 v1

Optimal exclusive perpetual grid exploration by luminous myopic opaque robots with common chirality

Quentin Bramas , Pascal Lafourcade , Stéphane Devismes
Theoretical Computer Science, 2023, 977, pp.114162. ⟨10.1016/j.tcs.2023.114162⟩
Article dans une revue hal-04206069 v1
Image document

L'autostabilisation, ou comment un système distribué peut se réparer tout seul

Stéphane Devismes
Interstices, 2023, ⟨10.5281/zenodo.7739661⟩
Article dans une revue hal-03968455 v1
Image document

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

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-04186596 v1

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

Optimized Silent Self-Stabilizing Scheme for Tree-Based Constructions

Stéphane Devismes , David Ilcinkas , Colette Johnen
Algorithmica, 2022, 84 (1), pp.85-123. ⟨10.1007/s00453-021-00878-9⟩
Article dans une revue hal-03547132 v1
Image document

Terminating Exploration Of A Grid By An Optimal Number Of Asynchronous Oblivious Robots

Stéphane Devismes , Anissa Lamani , Franck Petit , Pascal Raymond , Sébastien Tixeuil
The Computer Journal, 2021, The Computer Journal, 64 (1), pp.132-154. ⟨10.1093/comjnl/bxz166⟩
Article dans une revue hal-02363013 v1
Image document

Election in unidirectional rings with homonyms

Karine Altisen , Ajoy K Datta , Stéphane Devismes , Anaïs Durand , Lawrence L Larmore
Journal of Parallel and Distributed Computing, 2020, 146, pp.79-95. ⟨10.1016/j.jpdc.2020.08.004⟩
Article dans une revue hal-03452675 v1
Image document

Optimal torus exploration by oblivious robots

Stéphane Devismes , Anissa Lamani , Franck Petit , Sébastien Tixeuil
Computing, 2019, 101 (9), pp.1241-1264. ⟨10.1007/s00607-018-0595-8⟩
Article dans une revue hal-02420598 v1
Image document

Gradual stabilization

Karine Altisen , Stéphane Devismes , Anaïs Durand , Franck Petit
Journal of Parallel and Distributed Computing, 2019, 123, pp.26-45. ⟨10.1016/j.jpdc.2018.09.002⟩
Article dans une revue hal-02420362 v1
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-01347471 v1

Self-Stabilizing Weak Leader Election in Anonymous Trees Using Constant Memory per Edge

Ajoy Datta , Stephane Devismes , Lawrence Larmore , Vincent Villain
Parallel Processing Letters, 2017, 27 (02), pp.1750002. ⟨10.1142/S0129626417500025⟩
Article dans une revue hal-03238065 v1
Image document

SR3: secure resilient reputation-based routing

Karine Altisen , Raphaël Jamet , Stéphane Devismes , Pascal Lafourcade
Wireless Networks, 2017, 23 (7), pp.2111 - 2133. ⟨10.1007/s11276-016-1273-4⟩
Article dans une revue hal-01707698 v1
Image document

Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps

Stéphane Devismes , David Ilcinkas , Colette Johnen
Discrete Mathematics and Theoretical Computer Science, 2017, Vol. 19 no. 3, pp.14 - 14. ⟨10.23638/DMTCS-19-3-14⟩
Article dans une revue hal-01485652 v4
Image document

Snap-Stabilizing Committee Coordination

Borzoo Bonakdarpour , Stéphane Devismes , Franck Petit
Journal of Parallel and Distributed Computing, 2016, 87, pp.26-42. ⟨10.1016/j.jpdc.2015.09.004⟩
Article dans une revue hal-01347461 v1
Image document

The expressive power of snap-stabilization

Alain Cournier , Ajoy K. Datta , Stéphane Devismes , Franck Petit , Vincent Villain
Theoretical Computer Science, 2016, 626, pp.40-66. ⟨10.1016/j.tcs.2016.01.036⟩
Article dans une revue hal-01292988 v1

Silent self-stabilizing BFS tree algorithms revisited

Stéphane Devismes , Colette Johnen
Journal of Parallel and Distributed Computing, 2016, 97 (C), pp.11-23. ⟨10.1016/j.jpdc.2016.06.003⟩
Article dans une revue hal-01411862 v1
Image document

Concurrency in Snap-Stabilizing Local Resource Allocation

Karine Altisen , Stéphane Devismes , Anaïs Durand
Journal of Parallel and Distributed Computing, 2016
Article dans une revue hal-01099186 v8

Thermal behavior of PVDF/PMMA blends by differential scanning calorimetry and vibrational spectroscopies (Raman and Fourier-Transform Infrared)

Marie Veitmann , David Chapron , S. Bizet , S. Devismes , J. Guilment et al.
Polymer Testing, 2015, 48, pp.120-124. ⟨10.1016/j.polymertesting.2015.10.004⟩
Article dans une revue hal-01227888 v1

Weak vs. Self vs. Probabilistic Stabilization

Stéphane Devismes , Sébastien Tixeuil , Masafumi Yamashita
International Journal of Foundations of Computer Science, 2015, 26 (3), pp.293-319. ⟨10.1142/S0129054115500173⟩
Article dans une revue hal-01198945 v1
Image document

Comparison of Mean Hitting Times for a Degree-Biased Random Walk

Antoine Gerbaud , Karine Altisen , Stéphane Devismes , Pascal Lafourcade
Discrete Applied Mathematics, 2014, 170, pp.104 - 109. ⟨10.1016/j.dam.2014.01.021⟩
Article dans une revue hal-01759847 v1

Optimal probabilistic ring exploration by semi-synchronous oblivious robots

Stéphane Devismes , Franck Petit , Sébastien Tixeuil
Theoretical Computer Science, 2013, 498, pp.10-27. ⟨10.1016/j.tcs.2013.05.031⟩
Article dans une revue hal-00930045 v1

A self-stabilizing 3-approximation for the maximum leaf spanning tree problem in arbitrary networks

Sayaka Kamei , Hirostugu Kakugawa , Stéphane Devismes , Sébastien Tixeuil
Journal of Combinatorial Optimization, 2013, 25 (3), pp.430-459. ⟨10.1007/s10878-011-9383-5⟩
Article dans une revue hal-00930035 v1

Autour de l'autostabilisation. 1. Techniques généralisant l'approche

Stéphane Devismes , Franck Petit , Vincent Villain
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2011, 30 (7), pp.873-894. ⟨10.3166/tsi.30.873-894⟩
Article dans une revue istex hal-01197403 v1

Autour de l'autostabilisation. 1. Techniques généralisant l'approche

Stéphane Devismes , Franck Petit , Vincent Villain
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2011, 30 (7), pp.873-894
Article dans une revue hal-01009447 v1

Autour de l'autostabilisation. 2. Techniques spécialisant l'approche

Stéphane Devismes , Franck Petit , Vincent Villain
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2011, 30 (7), pp.895-922. ⟨10.3166/tsi.30.895-922⟩
Article dans une revue istex hal-01197405 v1

Autour de l'autostabilisation. 2. Techniques spécialisant l'approche

Stéphane Devismes , Franck Petit , Vincent Villain
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2011, 30 (7), pp.895-922
Article dans une revue hal-01009448 v1

Asymptotically Optimal Deterministic Rendezvous

Fabienne Carrier , Stéphane Devismes , Franck Petit , Yvan Rivierre
International Journal of Foundations of Computer Science, 2011, 22 (5), pp.1143-1159. ⟨10.1142/s012905411100860x⟩
Article dans une revue hal-01197399 v1

Snap-Stabilization in Message-Passing Systems

Sylvie Delaët , Stéphane Devismes , Mikhail Nesterenko , Sébastien Tixeuil
Journal of Parallel and Distributed Computing, 2010, 70 (12), pp.1220-1230. ⟨10.1016/j.jpdc.2010.04.002⟩
Article dans une revue hal-01154466 v1

Light enabling snap-stabilization of fundamental protocols

Alain Cournier , Stephane Devismes , Vincent Villain
ACM Transactions on Autonomous and Adaptive Systems, 2009, 4 (1), pp.1-27. ⟨10.1145/1462187.1462193⟩
Article dans une revue hal-03241437 v1

Snap-Stabilizing Depth-First Search on Arbitrary Networks

Alain Cournier , Stéphane Devismes , Franck Petit , Vincent Villain
The Computer Journal, 2005, 49 (3), pp.268-280. ⟨10.1093/comjnl/bxh154⟩
Article dans une revue hal-03244364 v1

Distributed Computing and Intelligent Technology - 21st International Conference, ICDCIT 2025

Quentin Bramas , Bapi Chatterjee , Stéphane Devismes , Malcolm Egan , Partha Sarathi Mandal et al.
Distributed Computing and Intelligent Technology ICDCIT 2025, 15507, Springer Nature Switzerland, 2025, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-81404-4⟩
Proceedings/Recueil des communications hal-04889714 v1

Distributed Computing and Intelligent Technology

Stéphane Devismes , Partha Sarathi Mandal , V. Vijaya Saradhi , Bhanu Prasad , Anisur Rahaman Molla et al.
20th International Conference, ICDCIT 2024, Bhubaneswar, India, January 17–20, 2024, Proceedings, 14501, Springer Nature Switzerland; Springer Nature Switzerland, 2024, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-50583-6⟩
Proceedings/Recueil des communications hal-04371904 v1

Exploring Worst Cases of Self-stabilizing Algorithms Using Simulations

Erwan Jahier , Karine Altisen , Stéphane Devismes
Stabilization, Safety, and Security of Distributed Systems, 14310, Springer Nature Switzerland, pp.1-17, 2023, Lecture Notes in Computer Science, 978-3-031-44274-2. ⟨10.1007/978-3-031-44274-2_1⟩
Chapitre d'ouvrage hal-04508145 v1

Model Checking of Distributed Algorithms Using Synchronous Programs

Erwan Jahier , Karine Altisen , Stéphane Devismes , Gabriel Sant’anna
Stabilization, Safety, and Security of Distributed Systems, 14310, Springer Nature Switzerland, pp.18-35, 2023, Lecture Notes in Computer Science, 978-3-031-44274-2. ⟨10.1007/978-3-031-44274-2_2⟩
Chapitre d'ouvrage hal-04508148 v1

Special issue of SSS 2020

Stéphane Devismes , Neeraj Mittal
Information and Computation, pp.104955, 2022, ⟨10.1016/j.ic.2022.104955⟩
N°spécial de revue/special issue hal-03792395 v1
Image document

Versatility and Efficiency in Self-Stabilizing Distributed Systems

Stéphane Devismes
Distributed, Parallel, and Cluster Computing [cs.DC]. Université Grenoble Alpes, 2020
HDR tel-03080444 v6
Image document

On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics

Karine Altisen , Stéphane Devismes , Anaïs Durand , Colette Johnen , Franck Petit
[Research Report] Université Grenoble Alpes, VERIMAG, UMR 5104, France; LIMOS, Université Clermont Auvergne, CNRS, UMR 6158, France; Université de Bordeaux, LaBRI, UMR 5800, France; Sorbonne Université, Paris, LIP6, UMR 7606, France. 2020
Rapport (rapport de recherche) hal-02979166 v3
Image document

Self-Stabilizing Distributed Cooperative Reset

Stéphane Devismes , Colette Johnen
[Research Report] Université Grenoble Alpes (France). 2019
Rapport (rapport de recherche) hal-01976276 v3
Image document

Acyclic Strategy for Silent Self-Stabilization in Spanning Forests

Karine Altisen , Stéphane Devismes , Anaïs Durand
[Research Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2018
Rapport (rapport de recherche) hal-01784570 v1
Image document

Silent Self-Stabilizing Scheme for Spanning-Tree-like Constructions

Stéphane Devismes , David Ilcinkas , Colette Johnen
[Research Report] VERIMAG/LaBRI. 2018
Rapport (rapport de recherche) hal-01667863 v4
Image document

A Framework for Certified Self-Stabilization

Karine Altisen , Pierre Corbineau , Stéphane Devismes
[Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2016
Rapport (rapport technique) hal-01272158 v2
Image document

Silent Self-stabilizing BFS Tree Algorithms Revised

Stéphane Devismes , Colette Johnen
[Research Report] Université Grenoble Alpes. 2015
Rapport (rapport de recherche) hal-01197475 v1
Image document

Optimal grid exploration by asynchronous oblivious robots

Stéphane Devismes , Anissa Lamani , Franck Petit , Pascal Raymond , Sébastien Tixeuil
[Research Report] ???. 2011
Rapport hal-00591963 v3
Image document

Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots

Stéphane Devismes , Franck Petit , Sébastien Tixeuil
[Research Report] RR-6838, INRIA. 2009, pp.29
Rapport (rapport de recherche) inria-00360305 v1
Image document

Snap-Stabilization in Message-Passing Systems

Sylvie Delaët , Stéphane Devismes , Mikhail Nesterenko , Sébastien Tixeuil
[Research Report] RR-6446, INRIA. 2008, pp.29
Rapport (rapport de recherche) inria-00248465 v2
Image document

Communication Efficiency in Self-stabilizing Silent Protocols

Stéphane Devismes , Toshimitsu Masuzawa , Sébastien Tixeuil
[Research Report] RR-6731, INRIA. 2008, pp.33
Rapport (rapport de recherche) inria-00340805 v1
Image document

Bounds for self-stabilization in unidirectional networks

Samuel Bernard , Stéphane Devismes , Maria Gradinariu Potop-Butucaru , Sébastien Tixeuil
[Research Report] RR-6524, INRIA. 2008, pp.24
Rapport (rapport de recherche) inria-00277661 v2
Image document

Weak vs. Self vs. Probabilistic Stabilization

Stéphane Devismes , Sébastien Tixeuil , Masafumi Yamashita
[Research Report] RR-6366, INRIA. 2007
Rapport (rapport de recherche) inria-00189952 v2
Image document

Quelques Contributions à la Stabilisation Instantanée

Stéphane Devismes
Réseaux et télécommunications [cs.NI]. Université de Picardie Jules Verne, 2006. Français. ⟨NNT : ⟩
Thèse tel-00120382 v2