Recherche - Université de Picardie Jules Verne Accéder directement au contenu

Filtrer vos résultats

38 Résultats
authIdHal_s : stephane-devismes
Image document

SASA : a SimulAtor of Self-stabilizing Algorithms

Karine Altisen , Stéphane Devismes , Erwan Jahier
The Computer Journal, In press, 66 (4), pp.796-814. ⟨10.1093/comjnl/bxab196⟩
Article dans une revue hal-03603835v1
Image document

Exploration en 3D par des robots désorientés : tu montes en bas ou tu descends en haut ?

Quentin Bramas , Stéphane Devismes , Anaïs Durand , Pascal Lafourcade , Anissa Lamani
AlgoTel 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2023, Cargese, France
Communication dans un congrès hal-04085120v1
Image document

Pour battre à l'unisson, il faut que tous les chemins viennent de Rome

Karine Altisen , Alain Cournier , Geoffrey Defalque , Stéphane Devismes
AlgoTel 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2023, Cargese (Corse), France
Communication dans un congrès hal-04076915v1
Image document

Self-Stabilizing Leader Election in Polynomial Steps

Karine Altisen , Alain Cournier , Stéphane Devismes , Anaïs Durand , Franck Petit
Information and Computation, 2017, 254 (3), pp.330-366. ⟨10.1016/j.ic.2016.09.002⟩
Article dans une revue hal-01347471v1

Optimal Grid Exploration by Asynchronous Oblivious Robots

Stéphane Devismes , Anissa Lamani , Franck Petit , Pascal Raymond , Sébastien Tixeuil
International Symposium on Stabilization, Safety, and Security of Distributed Systems, Oct 2012, Toronto, Canada. pp.64-76, ⟨10.1007/978-3-642-33536-5_7⟩
Communication dans un congrès hal-00934161v1

Optimal exclusive perpetual grid exploration by luminous myopic opaque robots with common chirality

Quentin Bramas , Pascal Lafourcade , Stéphane Devismes
Theoretical Computer Science, 2023, 977, pp.114162. ⟨10.1016/j.tcs.2023.114162⟩
Article dans une revue hal-04206069v1

Certification of an exact worst-case self-stabilization time

Karine Altisen , Pierre Corbineau , Stéphane Devismes
Theoretical Computer Science, 2022, 941, pp.262-277. ⟨10.1016/j.tcs.2022.11.019⟩
Article dans une revue hal-03862272v1
Image document

Explorer une grille avec un minimum de robots amnésiques

Franck Petit , Anissa Lamani , Stéphane Devismes , Sébastien Tixeuil , Pascal Raymond
15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4
Communication dans un congrès hal-00817123v1
Image document

Quelques Contributions à la Stabilisation Instantanée

Stéphane Devismes
Réseaux et télécommunications [cs.NI]. Université de Picardie Jules Verne, 2006. Français. ⟨NNT : ⟩
Thèse tel-00120382v2
Image document

Making local algorithms efficiently self-stabilizing in arbitrary asynchronous environments

Stéphane Devismes , David Ilcinkas , Colette Johnen , Frédéric Mazoit
2023
Pré-publication, Document de travail hal-04159863v1
Image document

Exploration perpétuelle : ça s'en va et ça revient

Arthur Rauch , Quentin Bramas , Stéphane Devismes , Pascal Lafourcade , Anissa Lamani
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⟩
Communication dans un congrès hal-03657044v2
Image document

Beedroids: How Luminous Autonomous Swarms of UAVs Can Save the World?

Quentin Bramas , Stéphane Devismes , Anaïs Durand , Pascal Lafourcade , Anissa Lamani
FUN 2022 - 11th International Conference on Fun with Algorithms, May 2022, Island of Favignana, Sicily, Italy. ⟨10.4230/LIPIcs.FUN.2022.7⟩
Communication dans un congrès hal-03746703v1

Autour de l'autostabilisation. 1. Techniques généralisant l'approche

Stéphane Devismes , Franck Petit , Vincent Villain
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2011, 30 (7), pp.873-894. ⟨10.3166/tsi.30.873-894⟩
Article dans une revue istex hal-01197403v1
Image document

Optimal torus exploration by oblivious robots

Stéphane Devismes , Anissa Lamani , Franck Petit , Sébastien Tixeuil
Computing, 2019, 101 (9), pp.1241-1264. ⟨10.1007/s00607-018-0595-8⟩
Article dans une revue hal-02420598v1
Image document

The expressive power of snap-stabilization

Alain Cournier , Ajoy K. Datta , Stéphane Devismes , Franck Petit , Vincent Villain
Theoretical Computer Science, 2016, 626, pp.40-66. ⟨10.1016/j.tcs.2016.01.036⟩
Article dans une revue hal-01292988v1
Image document

Trade-off between time, space workload: the case of the self-stabilizing unisson

Stéphane Devismes , David Ilcinkas , Colette Johnen , Frédéric Mazoit
2023
Pré-publication, Document de travail hal-04173649v2
Image document

Robust Stabilizing Leader Election

Carole Delporte-Gallet , Stéphane Devismes , Hugues Fauconnier
2007
Pré-publication, Document de travail hal-00167935v1

Autour de l'autostabilisation. 1. Techniques généralisant l'approche

Stéphane Devismes , Franck Petit , Vincent Villain
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2011, 30 (7), pp.873-894
Article dans une revue hal-01009447v1

Light enabling snap-stabilization of fundamental protocols

Alain Cournier , Stephane Devismes , Vincent Villain
ACM Transactions on Autonomous and Adaptive Systems, 2009, 4 (1), pp.1-27. ⟨10.1145/1462187.1462193⟩
Article dans une revue hal-03241437v1
Image document

Optimized Silent Self-Stabilizing Scheme for Tree-Based Constructions

Stéphane Devismes , David Ilcinkas , Colette Johnen
Algorithmica, 2022, 84 (1), pp.85-123. ⟨10.1007/s00453-021-00878-9⟩
Article dans une revue hal-03547132v1

Self-Stabilizing Weak Leader Election in Anonymous Trees Using Constant Memory per Edge

Ajoy Datta , Stephane Devismes , Lawrence Larmore , Vincent Villain
Parallel Processing Letters, 2017, 27 (02), pp.1750002. ⟨10.1142/S0129626417500025⟩
Article dans une revue hal-03238065v1
Image document

L'autostabilisation, ou comment un système distribué peut se réparer tout seul

Stéphane Devismes
Interstices, 2023, ⟨10.5281/zenodo.7739661⟩
Article dans une revue hal-03968455v1

Autour de l'autostabilisation. 2. Techniques spécialisant l'approche

Stéphane Devismes , Franck Petit , Vincent Villain
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2011, 30 (7), pp.895-922. ⟨10.3166/tsi.30.895-922⟩
Article dans une revue istex hal-01197405v1

Complexité certifiée d'algorithmes autostabilisants en rondes

Karine Altisen , Pierre Corbineau , Stéphane Devismes
25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2023), May 2023, Cargese, France
Communication dans un congrès hal-04081085v1
Image document

Self-Stabilizing Leader Election in Polynomial Steps

Karine Altisen , Alain Cournier , Stéphane Devismes , Anaïs Durand , Franck Petit
SSS'2014, 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Sep 2014, Paderborn, Germany. pp.106-119, ⟨10.1007/978-3-319-11764-5_8⟩
Communication dans un congrès hal-00980798v4

Self-stabilizing Synchronous Unison in Directed Networks

Altisen Karine , Alain Cournier , Geoffrey Defalque , Stéphane Devismes
ICDCN 2023: 24th International Conference on Distributed Computing and Networking, Jan 2023, Kharagpur India, France. pp.115-124, ⟨10.1145/3571306.3571397⟩
Communication dans un congrès hal-03925405v1
Image document

Model Checking of Distributed Algorithms using Synchronous Programs

Erwan Jahier , Karine Altisen , Stéphane Devismes , Gabriel B. Sant'Anna
25th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2023), Shlomi Dolev, Baruch Schieber, Oct 2023, Jersey City, NJ, United States
Communication dans un congrès hal-04172396v1

Autour de l'autostabilisation. 2. Techniques spécialisant l'approche

Stéphane Devismes , Franck Petit , Vincent Villain
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2011, 30 (7), pp.895-922
Article dans une revue hal-01009448v1
Image document

Optimal grid exploration by asynchronous oblivious robots

Stéphane Devismes , Anissa Lamani , Franck Petit , Pascal Raymond , Sébastien Tixeuil
[Research Report] ???. 2011
Rapport hal-00591963v3

sasa : a SimulAtor of Self-stabilizing Algorithms

Karine Altisen , Stéphane Devismes , Erwan Jahier
The Computer Journal, 2023, 66 (4), pp.796-814. ⟨10.1093/comjnl/bxab196⟩
Article dans une revue hal-04186596v1