Page de Stéphane DEVISMES

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

Stabilization, Safety, and Security of Distributed Systems - 26th International Symposium, SSS 2024, Toshimitsu Masuzawa; Yoshiaki Katayama; Hirotsugu Kakugawa, Oct 2024, Nagoya, Japon, France. pp.89-105, ⟨10.1007/978-3-031-74498-3_6⟩

identifiant

hal-04764038

Accès au bibtex

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

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 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

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

Karine Altisen, 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

Quentin Bramas, Stéphane Devismes, Pascal Lafourcade

titre

Infinite Grid Exploration by Disoriented Robots

article

26th International Colloquium, SIROCCO 2019, Jul 2019, L'Aquila, Italy. pp.340-344, ⟨10.1007/978-3-030-24922-9_25⟩

identifiant

hal-04751905

Accès au 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