Stéphane DEVISMES

Professeur des Universités

Equipe Systèmes Distribués, Mots et Applications - SDMATé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)

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, Elsevier, 2022, ⟨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, Springer Verlag, 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.archives-ouvertes.fr/hal-03547132/file/algorithmica.pdf BibTex
auteur
Karine Altisen, Stéphane Devismes, Erwan Jahier
titre
SASA : a SimulAtor of Self-stabilizing Algorithms
article
The Computer Journal, Oxford University Press (UK), In press, ⟨10.1093/comjnl/bxab196⟩
identifiant
hal-03603835
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03603835/file/main.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
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
https://hal.uca.fr/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.archives-ouvertes.fr/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, Oxford University Press (UK), 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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-03205279/file/algotel.pdf 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.archives-ouvertes.fr/hal-02376832/file/ADDJP2020.pdf 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
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
https://hal.uca.fr/hal-03130277/file/BDL21.pdf 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
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, Elsevier, 2020, 146, pp.79-95. ⟨10.1016/j.jpdc.2020.08.004⟩
identifiant
hal-03452675
Accès au texte intégral et bibtex
https://hal.uca.fr/hal-03452675/file/JPDC20.pdf 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
https://hal.archives-ouvertes.fr/hal-02791601/file/algotel.pdf 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
https://hal.archives-ouvertes.fr/hal-02791667/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.archives-ouvertes.fr/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://hal-cnrs.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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, Springer Verlag, 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.archives-ouvertes.fr/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, Elsevier, 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.archives-ouvertes.fr/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://hal.inria.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-01976276/file/main.pdf 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
https://hal.archives-ouvertes.fr/hal-01938671/file/dag-sss-notlncs.pdf 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
https://hal.archives-ouvertes.fr/hal-01779963/file/algotel.pdf 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
https://hal.archives-ouvertes.fr/hal-01781338/file/AlgotelFinaleV2.pdf 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
https://hal.archives-ouvertes.fr/hal-01779647/file/main.pdf 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
https://hal.archives-ouvertes.fr/hal-01785956/file/cores.pdf 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
https://hal.archives-ouvertes.fr/hal-01667863/file/main.pdf 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
https://hal.archives-ouvertes.fr/hal-01784570/file/dagKarine.pdf BibTex

2017

Article dans une revue

auteur
Stéphane Devismes, David Ilcinkas, Colette Johnen
titre
Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps
article
Discrete Mathematics and Theoretical Computer Science, DMTCS, 2017, Vol. 19 no. 3, pp.14 - 14. ⟨10.23638/DMTCS-19-3-14⟩
identifiant
hal-01485652
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01485652/file/dmtcs.pdf BibTex
auteur
Karine Altisen, Raphaël Jamet, Stéphane Devismes, Pascal Lafourcade
titre
SR3: secure resilient reputation-based routing
article
Wireless Networks, Springer Verlag, 2017, 23 (7), pp.2111 - 2133. ⟨10.1007/s11276-016-1273-4⟩
identifiant
hal-01707698
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01707698/file/WirelessNetworks16.pdf BibTex
auteur
Ajoy Datta, Stephane Devismes, Lawrence Larmore, Vincent Villain
titre
Self-Stabilizing Weak Leader Election in Anonymous Trees Using Constant Memory per Edge
article
Parallel Processing Letters, World Scientific Publishing, 2017, 27 (02), pp.1750002. ⟨10.1142/S0129626417500025⟩
identifiant
hal-03238065
Accès au bibtex
BibTex
auteur
Karine Altisen, Alain Cournier, Stéphane Devismes, Anaïs Durand, Franck Petit
titre
Self-Stabilizing Leader Election in Polynomial Steps
article
Information and Computation, Elsevier, 2017, 254 (3), pp.330-366. ⟨10.1016/j.ic.2016.09.002⟩
identifiant
hal-01347471
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-01347471/file/main.pdf BibTex

Communication dans un congrès

auteur
Ali Fahs, Rodolphe Bertolini, Olivier Alphand, Franck Rousseau, Karine Altisen, Stéphane Devismes
titre
Collision Prevention in Distributed 6TiSCH Networks
article
IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob), Oct 2017, Rome, Italy. ⟨10.1109/WiMOB.2017.8115798⟩
identifiant
hal-01614643
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01614643/file/fahs_6tisch.pdf BibTex

UPJV