Stéphane Devismes

79 %
Libre accès
148
Documents

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

46
38
33
14
5
4
2
1
1
1
1
1
1
49
28
26
22
21
20
15
12
12
12
9
8
7
6
6
5
5
5
5
4
4
4
4
4
4
4
4
3
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
8
6
4
3
2
2
2
1
1
1
1
1
1
1
1
1
2
10
9
16
6
8
8
12
7
6
8
5
3
7
4
9
6
11
7
2
1
1
26
25
24
7
3
2
2
2
1
1
1
1
1
1
42
35
15
14
10
10
7
6
4
2
2
1
1
1

Publications

Self-stabilizing Mutual Exclusion in Dynamic Networks with Bounded Temporal Diameter

Stéphane Devismes , Swan Dubois , François Malenfer , Franck Petit , Mouna Safir

Stabilization, Safety, and Security of Distributed Systems (SSS 2025), Oct 2025, Katmandou, Nepal. pp.192-210, ⟨10.1007/978-3-032-11127-2_16⟩

Communication dans un congrès hal-05408295v1
Deposit thumbnail

Analyse de l'autostabilisation de l'unisson synchrone via la satisfiabilité propositionnelle

Asma Khoualdia , Sami Cherif , Stéphane Devismes , Léo Robert

Journées Francophones de Programmation par Contraintes (JFPC 2025), Jun 2025, Dijon, France

Communication dans un congrès hal-05208079v1
Deposit thumbnail

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

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-05135828v1
Deposit thumbnail

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-05010239v1
Deposit thumbnail

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-04866194v2

Analyzing Self-Stabilization of Synchronous Unison via Propositional Satisfiability

Asma Khoualdia , Sami Cherif , Stéphane Devismes , Léo Robert

31st International Conference on Principles and Practice of Constraint Programming (CP 2025), Aug 2025, Glasgow, United Kingdom. pp.19:1--19:21, ⟨10.4230/LIPIcs.CP.2025.19⟩

Communication dans un congrès hal-05203873v1
Deposit thumbnail

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-04552810v1
Deposit thumbnail

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-04604488v1
Deposit thumbnail

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

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-04604485v1
Deposit thumbnail

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-04620468v1
Deposit thumbnail

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-04172383v1
Deposit thumbnail

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-04085120v1
Deposit thumbnail

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

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-04230513v1
Deposit thumbnail

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

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-03925405v1
Deposit thumbnail

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-04172396v1
Deposit thumbnail

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-03746703v1
Deposit thumbnail

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-03657044v2
Deposit thumbnail

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-02559612v1
Deposit thumbnail

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-03205279v2

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-03547159v1
Deposit thumbnail

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-03130277v1
Deposit thumbnail

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

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
Deposit thumbnail

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-02376832v3
Deposit thumbnail

É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-02791667v1
Deposit thumbnail

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-02521149v5
Deposit thumbnail

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-02911071v1
Deposit thumbnail

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-02791601v1
Deposit thumbnail

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-02559617v1
Deposit thumbnail

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-02313746v1
Deposit thumbnail

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-02145822v1
Deposit thumbnail

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

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-02489666v1
Deposit thumbnail

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-04751905v1
Deposit thumbnail

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-02127131v1
Deposit thumbnail

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-02118549v2

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-02489447v1
Deposit thumbnail

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-01779963v1
Deposit thumbnail

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-01781338v1
Deposit thumbnail

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-01785956v1
Deposit thumbnail

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-01779647v1
Deposit thumbnail

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-01938671v1
Deposit thumbnail

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-01544581v1
Deposit thumbnail

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-01614643v1
Deposit thumbnail

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-01215190v5
Deposit thumbnail

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-01302333v2
Deposit thumbnail

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-01432926v1
Deposit thumbnail

É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
Deposit thumbnail

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-00926573v3
Deposit thumbnail

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-00976673v1
Deposit thumbnail

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
Deposit thumbnail

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-00817123v1
Deposit thumbnail

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

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-00930061v1
Deposit thumbnail

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-01759925v1
Deposit thumbnail

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-00813387v3

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-00934161v1
Deposit thumbnail

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-01759228v1
Deposit thumbnail

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

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-01286781v1
Deposit thumbnail

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-00588086v1
Deposit thumbnail

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-00587166v1
Deposit thumbnail

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

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-01292491v1
Deposit thumbnail

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

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

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

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-01298811v1
Deposit thumbnail

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-00383351v1
Deposit thumbnail

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-00384649v2
Deposit thumbnail

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

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-01295187v1
Deposit thumbnail

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

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

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

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

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-01303470v1
Deposit thumbnail

77 Shades of Grey

Quentin Bramas , Stéphane Devismes , Anaïs Durand , Pascal Lafourcade , Anissa Lamani

2026

Pré-publication, Document de travail hal-05504522v1

Can Like Attract Like? A Study of Homonymous Gathering in Networks

Stéphane Devismes , Yoann Dieudonné , Arnaud Labourel

2025

Pré-publication, Document de travail hal-05356504v1

Graph Exploration: The Impact of a Distance Constraint

Stéphane Devismes , Yoann Dieudonné , Arnaud Labourel

2024

Pré-publication, Document de travail hal-04800273v1
Deposit thumbnail

On Self-stabilizing Leader Election in Directed Networks

Karine Altisen , Alain Cournier , Geoffrey Defalque , Stéphane Devismes

2024

Pré-publication, Document de travail hal-04434345v4
Deposit thumbnail

Making local algorithms efficiently self-stabilizing in arbitrary asynchronous environments

Stéphane Devismes , David Ilcinkas , Colette Johnen , Frédéric Mazoit

2023

Pré-publication, Document de travail hal-04159863v1
Deposit thumbnail

Trade-off between time, space workload: the case of the self-stabilizing unisson

Stéphane Devismes , David Ilcinkas , Colette Johnen , Frédéric Mazoit

2023

Pré-publication, Document de travail hal-04173649v2
Deposit thumbnail

Algorithms For Extracting Timeliness Graphs

Carole Delporte-Gallet , Stéphane Devismes , Hugues Fauconnier , Mikel Larrea

2010

Pré-publication, Document de travail hal-00454388v2
Deposit thumbnail

Self-stabilizing K-out-of-L exclusion on tree network

Ajoy Datta , Stéphane Devismes , Florian Horn , Lawrence Larmore

2008

Pré-publication, Document de travail hal-00344193v4
Deposit thumbnail

Robust Stabilizing Leader Election

Carole Delporte-Gallet , Stéphane Devismes , Hugues Fauconnier

2007

Pré-publication, Document de travail hal-00167935v1

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

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

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-04580574v1
Deposit thumbnail

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-04206069v1
Deposit thumbnail

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-04031478v1
Deposit thumbnail

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-03968455v1
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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-03547132v1
Deposit thumbnail

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-02363013v1
Deposit thumbnail

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-03452675v1
Deposit thumbnail

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-02420362v1
Deposit thumbnail

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-02420598v1
Deposit thumbnail

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

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-03238065v1
Deposit thumbnail

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-01707698v1
Deposit thumbnail

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-01485652v4
Deposit thumbnail

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

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 istex hal-01411862v1
Deposit thumbnail

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-01292988v1
Deposit thumbnail

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-01099186v8

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 istex hal-01227888v1

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-01198945v1
Deposit thumbnail

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

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 istex hal-00930045v1

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

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

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

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

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

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

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

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

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

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

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

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

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

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-03792395v1
Deposit thumbnail

Versatility and Efficiency in Self-Stabilizing Distributed Systems

Stéphane Devismes

Distributed, Parallel, and Cluster Computing [cs.DC]. Université Grenoble Alpes, 2020

HDR tel-03080444v6
Deposit thumbnail

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-02979166v3
Deposit thumbnail

Self-Stabilizing Distributed Cooperative Reset

Stéphane Devismes , Colette Johnen

[Research Report] Université Grenoble Alpes (France). 2019

Rapport (rapport de recherche) hal-01976276v3
Deposit thumbnail

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-01784570v1
Deposit thumbnail

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-01667863v4
Deposit thumbnail

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-01272158v2
Deposit thumbnail

Silent Self-stabilizing BFS Tree Algorithms Revised

Stéphane Devismes , Colette Johnen

[Research Report] Université Grenoble Alpes. 2015

Rapport (rapport de recherche) hal-01197475v1
Deposit thumbnail

Optimal grid exploration by asynchronous oblivious robots

Stéphane Devismes , Anissa Lamani , Franck Petit , Pascal Raymond , Sébastien Tixeuil

[Research Report] ???. 2011

Rapport hal-00591963v3
Deposit thumbnail

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-00360305v1
Deposit thumbnail

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-00248465v2
Deposit thumbnail

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-00277661v2
Deposit thumbnail

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-00340805v1
Deposit thumbnail

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-00189952v2
Deposit thumbnail

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-00120382v2