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)
2024
Article dans une revue
- auteur
- Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes
- titre
- Self-stabilizing synchronous unison in directed networks
- article
- Theoretical Computer Science, 2024, 1001, pp.114577. ⟨10.1016/J.TCS.2024.114577⟩
- identifiant
- hal-04580574
- Accès au bibtex
Communication dans un congrès
- auteur
- Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade, Anissa Lamani
- titre
- Optimal Asynchronous Perpetual Grid Exploration ⋆
- article
- SSS : Symposium on Stabilization, Safety, and Security of Distributed Systems, Oct 2024, Osaka (JP), Japan
- identifiant
- hal-04620468
- Accès au texte intégral et bibtex
- auteur
- Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes
- titre
- On Self-stabilizing Leader Election in Directed Networks
- article
- PODC '24: 43rd ACM Symposium on Principles of Distributed Computing, Jun 2024, Nantes France, France. pp.527-537, ⟨10.1145/3662158.3662778⟩
- identifiant
- hal-04604485
- Accès au bibtex
- auteur
- Stephane Devismes, David Ilcinkas, Colette Johnen, Fréderic Mazoit
- titre
- Asynchronous Self-stabilization Made Fast, Simple, and Energy-efficient
- article
- PODC '24: 43rd ACM Symposium on Principles of Distributed Computing, Jun 2024, Nantes, France. pp.538-548, ⟨10.1145/3662158.3662803⟩
- identifiant
- hal-04604488
- Accès au texte intégral et bibtex
- auteur
- Stéphane Devismes, David Ilcinkas, Colette Johnen, Frédéric Mazoit
- titre
- Nous aussi on fait du « log * » !
- article
- AlgoTel 2024 – 26èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2024, Saint-Briac-sur-Mer, France
- identifiant
- hal-04566761
- Accès au texte intégral et bibtex
- auteur
- Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes
- titre
- Pour être César, il faut que tous les chemins viennent de la Domus Augustana
- article
- AlgoTel 2024 – 26èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2024, Saint-Briac-sur-Mer, France
- identifiant
- hal-04552810
- Accès au texte intégral et bibtex
Proceedings/Recueil des communications
- auteur
- Stéphane Devismes, Partha Sarathi Mandal, V. Vijaya Saradhi, Bhanu Prasad, Anisur Rahaman Molla, Gokarna Sharma
- titre
- Calcul distribué et technologie intelligente
- article
- 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⟩
- identifiant
- hal-04371904
- Accès au bibtex
Pré-publication, Document de travail
- auteur
- Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes
- titre
- On Self-stabilizing Leader Election in Directed Networks
- article
- 2024
- identifiant
- hal-04434345
- Accès au texte intégral et bibtex
2023
Article dans une revue
- auteur
- Quentin Bramas, Pascal Lafourcade, Stéphane Devismes
- titre
- Optimal exclusive perpetual grid exploration by luminous myopic opaque robots with common chirality
- article
- Theoretical Computer Science, 2023, 977, pp.114162. ⟨10.1016/j.tcs.2023.114162⟩
- identifiant
- hal-04206069
- Accès au bibtex
- auteur
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit
- titre
- Self-stabilizing Systems in Spite of High Dynamics
- article
- Theoretical Computer Science, 2023, pp.113966. ⟨10.1016/j.tcs.2023.113966⟩
- identifiant
- hal-04109662
- Accès au bibtex
- auteur
- Stéphane Devismes, Erwan Jahier, Karine Altisen
- titre
- sasa : a SimulAtor of Self-stabilizing Algorithms
- article
- The Computer Journal, 2023, 66 (4), pp.796-814. ⟨10.1093/comjnl/bxab196⟩
- identifiant
- hal-04186596
- 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, 2023, 66 (4), pp.796-814. ⟨10.1093/comjnl/bxab196⟩
- identifiant
- hal-03603835
- Accès au texte intégral et bibtex
- 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
- Karine Altisen, Pierre Corbineau, Stéphane Devismes
- titre
- Certified Round Complexity of Self-Stabilizing Algorithms
- article
- 37th International Symposium on Distributed Computing, Oct 2023, L'Aquila, Italy. pp.1-22, ⟨10.4230/LIPIcs.DISC.2023.2⟩
- identifiant
- hal-04230513
- Accès au bibtex
- auteur
- Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel B. Sant'Anna
- titre
- Model Checking of Distributed Algorithms using Synchronous Programs
- article
- 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⟩
- identifiant
- hal-04172396
- Accès au texte intégral et bibtex
- auteur
- Erwan Jahier, Stéphane Devismes, Karine Altisen
- titre
- Exploring Worst Cases of Self-stabilizing Algorithms using Simulations
- article
- 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⟩
- identifiant
- hal-04172383
- 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
- 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, 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
Chapitre d'ouvrage
- auteur
- Erwan Jahier, Karine Altisen, Stéphane Devismes
- titre
- Exploring Worst Cases of Self-stabilizing Algorithms Using Simulations
- article
- 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⟩
- identifiant
- hal-04508145
- Accès au bibtex
- auteur
- Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel Sant’anna
- titre
- Model Checking of Distributed Algorithms Using Synchronous Programs
- article
- 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⟩
- identifiant
- hal-04508148
- Accès au bibtex
Pré-publication, Document de travail
- auteur
- Stéphane Devismes, David Ilcinkas, Colette Johnen, Frédéric Mazoit
- titre
- Trade-off between time, space workload: the case of the self-stabilizing unisson
- article
- 2023
- identifiant
- hal-04173649
- Accès au texte intégral et bibtex
- auteur
- Stéphane Devismes, David Ilcinkas, Colette Johnen, Frédéric Mazoit
- titre
- Making local algorithms efficiently self-stabilizing in arbitrary asynchronous environments
- article
- 2023
- identifiant
- hal-04159863
- Accès au texte intégral et 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, 941, pp.262-277. ⟨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
Communication dans un congrès
- 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
- 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 : 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
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 texte intégral et 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
- 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
- 9th International Conference, NETYS 2021, May 2021, Virtual, France. pp.95-110, ⟨10.1007/978-3-030-91014-3_7⟩
- identifiant
- hal-03547159
- Accès au 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
- identifiant
- hal-03130277
- Accès au texte intégral et 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
- 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. ⟨10.1007/978-3-030-50995-8⟩
- identifiant
- hal-02521149
- Accès au texte intégral et bibtex
- auteur
- Quentin Bramas, Pascal Lafourcade, Stéphane Devismes
- titre
- Finding Water on Poleless using Melomaniac Myopic Chameleon Robots
- article
- 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⟩
- identifiant
- hal-02559617
- 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
- Généralité et Efficacité dans les Systèmes Distribués Autostabilisants
- 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