Stéphane DEVISMES

Professeur des Universités

Equipe Systèmes Distribués, Mots et Applications - SDMA
Bureau 409
Téléphone : 03 22 82 70 57

 

Résumé

Professeur à l'Université de Picardie Jules Verne

Mots-clés : Distributed Computing, Distributed Algorithms, Fault-tolerance, Self-stabilization, Autonomous Mobile Robots

Publications - Liste HAL (5 dernières années)

2024

Proceedings/Recueil des communications

auteur
Stéphane Devismes, Partha Sarathi Mandal, V. Vijaya Saradhi, Bhanu Prasad, Anisur Rahaman Molla, Gokarna Sharma
titre
Distributed Computing and Intelligent Technology
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
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
https://hal.science/hal-04434345/file/main.pdf 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
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
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-04186596
Accès au bibtex
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
https://hal.science/hal-03603835/file/main.pdf 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
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
https://hal.science/hal-03968455/file/main.pdf 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
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
identifiant
hal-04172383
Accès au texte intégral et bibtex
https://cnrs.hal.science/hal-04172383/file/main.pdf 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
identifiant
hal-04172396
Accès au texte intégral et bibtex
https://cnrs.hal.science/hal-04172396/file/main.pdf 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
https://hal.science/hal-04076915/file/main.pdf 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
https://hal.science/hal-04085120/file/Exploration%20en%203D%20par%20des%20robots%20d%C3%A9sorient%C3%A9s.pdf 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
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
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
https://hal.science/hal-04173649/file/unisson.pdf 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
https://hal.science/hal-04159863/file/sync2async.pdf 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
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
https://hal.science/hal-03547132/file/algorithmica.pdf 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
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
https://uca.hal.science/hal-03746703/file/Beedroids-FUN2022.pdf 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
https://hal.science/hal-03657044/file/Exploration%20perp_e-accent-aigu_tuelle%2C%20_c-cedille_a%20s%27en%20va%20et%20_c-cedille_a%20revient.pdf 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
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
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
https://hal.science/hal-02363013/file/TEGONAO20.pdf 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
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
https://hal.science/hal-03205279/file/algotel.pdf 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
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
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
https://hal.science/hal-02376832/file/ADDJP2020.pdf 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
https://uca.hal.science/hal-03130277/file/BDL21.pdf 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
https://uca.hal.science/hal-03452675/file/JPDC20.pdf BibTex

Communication dans un congrès

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
https://hal.science/hal-02791667/file/algotel.pdf BibTex
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
https://hal.science/hal-02791601/file/algotel.pdf 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
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
https://hal.science/hal-02911071/file/mainShortPodc20.pdf 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
https://cnrs.hal.science/hal-02521149/file/main.pdf 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
https://hal.science/hal-02559612/file/BDL20-NETYS.pdf 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
https://hal.science/tel-03080444/file/hdr.pdf 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
https://hal.science/hal-02979166/file/evolvingSourceElection.pdf 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
https://hal.science/hal-02420598/file/HAL-version.pdf 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
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
https://arxiv.org/pdf/1907.07944 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
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
https://hal.science/hal-02145822/file/brief.pdf 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
https://inria.hal.science/hal-02313746/file/478668_1_En_2_Chapter.pdf 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
https://hal.science/hal-02118440/file/reset-algotel.pdf 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
https://hal.science/hal-02118549/file/main.pdf 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
https://hal.science/hal-02127131/file/ICDCN2019.pdf 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
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
https://hal.science/hal-01976276/file/main.pdf BibTex

UPJV