Page de Stéphane DEVISMES

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