
Stéphane DEVISMES
Professeur des Universités
Bureau 409
Téléphone : 03 22 82 70 57Page personnelle : https://home.mis.u-picardie.fr/~devismes
Résumé
Professeur à l'Université de Picardie Jules Verne
Mots-clés : Distributed Computing, Distributed Algorithms, Fault-tolerance, Self-stabilization, Autonomous Mobile RobotsPublications - Liste HAL (5 dernières années)
2023
Article dans une revue
- auteur
- Ajoy Datta, Stéphane Devismes, Colette Johnen, Lawrence Larmore
- titre
- Analysis of a Memory-Efficient Self-stabilizing BFS Spanning Tree Construction
- article
- Theoretical Computer Science, 2023, pp.113804. ⟨10.1016/j.tcs.2023.113804⟩
- identifiant
- hal-04031478
- Accès au bibtex
-
- auteur
- Stéphane Devismes
- titre
- L'autostabilisation, ou comment un système distribué peut se réparer tout seul
- article
- Interstices, 2023, ⟨10.5281/zenodo.7739661⟩
- identifiant
- hal-03968455
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- auteur
- Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade, Anissa Lamani
- titre
- Exploration en 3D par des robots désorientés : tu montes en bas ou tu descends en haut ?
- article
- AlgoTel 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2023, Cargese, France
- identifiant
- hal-04085120
- Accès au texte intégral et bibtex
-
- auteur
- Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes
- titre
- Pour battre à l'unisson, il faut que tous les chemins viennent de Rome
- article
- AlgoTel 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2023, Cargese (Corse), France
- identifiant
- hal-04076915
- Accès au texte intégral et bibtex
-
- auteur
- Karine Altisen, Pierre Corbineau, Stéphane Devismes
- titre
- Complexité certifiée d'algorithmes autostabilisants en rondes
- article
- 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2023), May 2023, Cargese, France
- identifiant
- hal-04081085
- Accès au bibtex
-
- auteur
- Altisen Karine, Alain Cournier, Geoffrey Defalque, Stéphane Devismes
- titre
- Self-stabilizing Synchronous Unison in Directed Networks
- article
- ICDCN 2023: 24th International Conference on Distributed Computing and Networking, Jan 2023, Kharagpur India, France. pp.115-124, ⟨10.1145/3571306.3571397⟩
- identifiant
- hal-03925405
- Accès au bibtex
-
2022
Article dans une revue
- auteur
- Karine Altisen, Pierre Corbineau, Stéphane Devismes
- titre
- Certification of an exact worst-case self-stabilization time
- article
- Theoretical Computer Science, 2022, ⟨10.1016/j.tcs.2022.11.019⟩
- identifiant
- hal-03862272
- Accès au bibtex
-
- auteur
- Stéphane Devismes, David Ilcinkas, Colette Johnen
- titre
- Optimized Silent Self-Stabilizing Scheme for Tree-Based Constructions
- article
- Algorithmica, 2022, 84 (1), pp.85-123. ⟨10.1007/s00453-021-00878-9⟩
- identifiant
- hal-03547132
- Accès au texte intégral et bibtex
-
- auteur
- Karine Altisen, Stéphane Devismes, Erwan Jahier
- titre
- SASA : a SimulAtor of Self-stabilizing Algorithms
- article
- The Computer Journal, In press, ⟨10.1093/comjnl/bxab196⟩
- identifiant
- hal-03603835
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- auteur
- Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade, Anissa Lamani
- titre
- Beedroids: How Luminous Autonomous Swarms of UAVs Can Save the World?
- article
- FUN 2022 - 11th International Conference on Fun with Algorithms, May 2022, Island of Favignana, Sicily, Italy. ⟨10.4230/LIPIcs.FUN.2022.7⟩
- identifiant
- hal-03746703
- Accès au texte intégral et bibtex
-
- auteur
- Arthur Rauch, Quentin Bramas, Stéphane Devismes, Pascal Lafourcade, Anissa Lamani
- titre
- Exploration perpétuelle : ça s'en va et ça revient
- article
- 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⟩
- identifiant
- hal-03657044
- Accès au texte intégral et bibtex
-
N°spécial de revue/special issue
- auteur
- Stéphane Devismes, Neeraj Mittal
- titre
- Special issue of SSS 2020
- article
- Information and Computation, pp.104955, 2022, ⟨10.1016/j.ic.2022.104955⟩
- identifiant
- hal-03792395
- Accès au bibtex
-
Ouvrages
- auteur
- Stéphane Devismes, Franck Petit, Karine Altisen, Giuseppe Antonio Di Luna, Antonio Fernandez Anta
- titre
- Stabilization, Safety, and Security of Distributed Systems
- article
- Springer International Publishing, 13751, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-21017-4⟩
- identifiant
- hal-03852361
- Accès au bibtex
-
2021
Article dans une revue
- auteur
- Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil
- titre
- Terminating Exploration Of A Grid By An Optimal Number Of Asynchronous Oblivious Robots
- article
- The Computer Journal, 2021, The Computer Journal, 64 (1), pp.132-154. ⟨10.1093/comjnl/bxz166⟩
- identifiant
- hal-02363013
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- auteur
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit
- titre
- On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics
- article
- PODC '21: ACM Symposium on Principles of Distributed Computing, Jul 2021, Virtual Event, Italy. pp.21-31, ⟨10.1145/3465084.3467917⟩
- identifiant
- hal-03346225
- Accès au bibtex
-
- auteur
- Stéphane Devismes, Pascal Lafourcade
- titre
- Un jour sans fin
- article
- ALGOTEL 2021 — 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2021, La Rochelle, France
- identifiant
- hal-03205279
- Accès au texte intégral et bibtex
-
- auteur
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit
- titre
- Self-stabilizing Systems in Spite of High Dynamics
- article
- 22nd International Conference on Distributed Computing and Networking, ICDCN'21, Jan 2021, Nara, Japan. pp.156-165, ⟨10.1145/3427796.3427838⟩
- identifiant
- hal-02376832
- Accès au texte intégral et bibtex
-
- auteur
- Karine Altisen, Pierre Corbineau, Stéphane Devismes
- titre
- Certification of an Exact Worst-Case Self-Stabilization Time
- article
- ICDCN '21: International Conference on Distributed Computing and Networking 2021, Jan 2021, Nara Japan, France. pp.46-55, ⟨10.1145/3427796.3427832⟩
- identifiant
- hal-03547154
- Accès au bibtex
-
- auteur
- Quentin Bramas, Pascal Lafourcade, Stéphane Devismes
- titre
- Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Opaque Robots with Common Chirality
- article
- International Conference on Distributed Computing and Networking, 2021, Nara, Japan. ⟨10.1145/1122445.1122456⟩
- identifiant
- hal-03130277
- Accès au texte intégral et bibtex
-
Chapitre d'ouvrage
- auteur
- Arthur Rauch, Quentin Bramas, Stéphane Devismes, Pascal Lafourcade, Anissa Lamani
- titre
- Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Robots Without Common Chirality
- article
- Networked Systems, 12754, Springer International Publishing, pp.95-110, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-91014-3_7⟩
- identifiant
- hal-03547159
- Accès au bibtex
-
2020
Article dans une revue
- auteur
- Karine Altisen, Ajoy K Datta, Stéphane Devismes, Anaïs Durand, Lawrence L Larmore
- titre
- Election in unidirectional rings with homonyms
- article
- Journal of Parallel and Distributed Computing, 2020, 146, pp.79-95. ⟨10.1016/j.jpdc.2020.08.004⟩
- identifiant
- hal-03452675
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- auteur
- Quentin Bramas, Stéphane Devismes, Pascal Lafourcade
- titre
- Vers l'infini et au delà
- article
- ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
- identifiant
- hal-02791601
- Accès au texte intégral et bibtex
-
- auteur
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit
- titre
- Élection Autostabilisante dans les Réseaux à Haute Dynamicité
- article
- ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
- identifiant
- hal-02791667
- Accès au texte intégral et bibtex
-
- auteur
- Pascal Lafourcade, Stéphane Devismes, Quentin Bramas
- titre
- Finding Water on Poleless using Melomaniac Myopic Chameleon Robots
- article
- In 10th International Conference on Fun with Algorithms (FUN), Sep 2020, Island of Favignana, Trapani, Italy
- identifiant
- hal-02559617
- Accès au bibtex
-
- auteur
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit
- titre
- Brief Announcement: Self-stabilizing Systems in Spite of High Dynamics
- article
- PODC 2020 - ACM Symposium on Principles of Distributed Computing, Aug 2020, Salerne / Virtual, Italy. ⟨10.1145/3382734.3404502⟩
- identifiant
- hal-02911071
- Accès au texte intégral et bibtex
-
- auteur
- Karine Altisen, Stéphane Devismes, Erwan Jahier
- titre
- SASA: a SimulAtor of Self-stabilizing Algorithms
- article
- 14th International Conference on Tests and Proofs, Jun 2020, Bergen, Norway
- identifiant
- hal-02521149
- Accès au texte intégral et bibtex
-
- auteur
- Quentin Bramas, Stéphane Devismes, Pascal Lafourcade
- titre
- Infinite Grid Exploration by Disoriented Robots
- article
- 8th Edition of the International Conference on NETworked and sYStems, NETYS, 2020, Marrakech, Morocco
- identifiant
- hal-02559612
- Accès au texte intégral et bibtex
-
HDR
- auteur
- Stéphane Devismes
- titre
- Versatility and Efficiency in Self-Stabilizing Distributed Systems
- article
- Distributed, Parallel, and Cluster Computing [cs.DC]. Université Grenoble Alpes, 2020
- identifiant
- tel-03080444
- Accès au texte intégral et bibtex
-
Rapport
- auteur
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit
- titre
- On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics
- article
- [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
- identifiant
- hal-02979166
- Accès au texte intégral et bibtex
-
2019
Article dans une revue
- auteur
- Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil
- titre
- Optimal torus exploration by oblivious robots
- article
- Computing, 2019, 101 (9), pp.1241-1264. ⟨10.1007/s00607-018-0595-8⟩
- identifiant
- hal-02420598
- Accès au texte intégral et bibtex
-
- auteur
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit
- titre
- Gradual stabilization
- article
- Journal of Parallel and Distributed Computing, 2019, 123, pp.26-45. ⟨10.1016/j.jpdc.2018.09.002⟩
- identifiant
- hal-02420362
- Accès au bibtex
-
Communication dans un congrès
- auteur
- Ajoy K. Datta, Stéphane Devismes, Colette Johnen, Lawrence Larmore
- titre
- Brief Announcement: Analysis of a Memory-Efficient Self-stabilizing BFS Spanning Tree Construction
- article
- 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⟩
- identifiant
- hal-02489447
- Accès au bibtex
-
- auteur
- Stéphane Devismes, Colette Johnen
- titre
- Self-Stabilizing Distributed Cooperative Reset
- article
- 2019 IEEE 39th International Conference on Distributed Computing Systems (ICDCS), Jul 2019, Dallas, United States. pp.379-389, ⟨10.1109/ICDCS.2019.00045⟩
- identifiant
- hal-02489666
- Accès au bibtex
-
- auteur
- Quentin Bramas, Stéphane Devismes, Pascal Lafourcade
- titre
- Brief Announcement: Infinite Grid Exploration by Disoriented Robots
- article
- 26th International Colloquium on Structural Information and Communication Complexity SIROCCO 2019, Jul 2019, L'Aquila, Italy
- identifiant
- hal-02145822
- Accès au texte intégral et bibtex
-
- auteur
- Karine Altisen, Pierre Corbineau, Stéphane Devismes
- titre
- Squeezing Streams and Composition of Self-stabilizing Algorithms
- article
- 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⟩
- identifiant
- hal-02313746
- Accès au texte intégral et bibtex
-
- auteur
- Stéphane Devismes, Colette Johnen
- titre
- Soyez efficace, rembobinez
- article
- ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France
- identifiant
- hal-02118440
- Accès au texte intégral et bibtex
-
- auteur
- Karine Altisen, Stéphane Devismes, Anaïs Durand
- titre
- Silence dans la forêt !
- article
- ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France
- identifiant
- hal-02118549
- Accès au texte intégral et bibtex
-
- auteur
- Stéphane Devismes, David Ilcinkas, Colette Johnen
- titre
- Silent self-stabilizing scheme for spanning-tree-like constructions
- article
- ICDCN 2019, Jan 2019, Bangalore, India. pp.158-167, ⟨10.1145/3288599.3288607⟩
- identifiant
- hal-02127131
- Accès au texte intégral et bibtex
-
Ouvrages
- auteur
- Karine Altisen, Stéphane Devismes, Swan Dubois, Franck Petit
- titre
- Introduction to Distributed Self-Stabilizing Algorithms
- article
- Morgan & Claypool, 8 (1), pp.1-165, 2019, Synthesis Lectures on Distributed Computing Theory, Michel Raynal, ⟨10.2200/S00908ED1V01Y201903DCT015⟩
- identifiant
- hal-02178659
- Accès au bibtex
-
Rapport
- auteur
- Stéphane Devismes, Colette Johnen
- titre
- Self-Stabilizing Distributed Cooperative Reset
- article
- [Research Report] Université Grenoble Alpes (France). 2019
- identifiant
- hal-01976276
- Accès au texte intégral et bibtex
-
2018
Communication dans un congrès
- auteur
- Karine Altisen, Stéphane Devismes, Anaïs Durand
- titre
- Acyclic Strategy for Silent Self-Stabilization in Spanning Forests
- article
- 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⟩
- identifiant
- hal-01938671
- Accès au texte intégral et bibtex
-
- auteur
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit
- titre
- Stabilisation progressive
- article
- ALGOTEL 2018 - 20èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2018, Roscoff, France
- identifiant
- hal-01779963
- Accès au texte intégral et bibtex
-
- auteur
- Stéphane Devismes, David Ilcinkas, Colette Johnen
- titre
- Schéma général auto-stabilisant et silencieux de constructions de type arbres couvrants
- article
- ALGOTEL 2018 - 20èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2018, Roscoff, France
- identifiant
- hal-01781338
- Accès au texte intégral et bibtex
-
- auteur
- Fabienne Carrier, Ajoy Datta, Stéphane Devismes, Lawrence Larmore
- titre
- L-Exclusion autostabilisante revisitée
- article
- ALGOTEL 2018 - 20èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2018, Roscoff, France
- identifiant
- hal-01779647
- Accès au texte intégral et bibtex
-
- auteur
- Olivier Alphand, Karine Altisen, Rodolphe Bertolini, Stéphane Devismes, Ali Fahs, Franck Rousseau
- titre
- Eviter les collisions dans les réseaux 6TiSCH
- article
- 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
- identifiant
- hal-01785956
- Accès au texte intégral et bibtex
-
Rapport
- auteur
- Stéphane Devismes, David Ilcinkas, Colette Johnen
- titre
- Silent Self-Stabilizing Scheme for Spanning-Tree-like Constructions
- article
- [Research Report] VERIMAG/LaBRI. 2018
- identifiant
- hal-01667863
- Accès au texte intégral et bibtex
-
- auteur
- Karine Altisen, Stéphane Devismes, Anaïs Durand
- titre
- Acyclic Strategy for Silent Self-Stabilization in Spanning Forests
- article
- [Research Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2018
- identifiant
- hal-01784570
- Accès au texte intégral et bibtex
-