Search - Archive ouverte HAL Access content directly

Filter your results

108 Results
authIdHal_s : stephane-devismes
Image document

Gradual Stabilization under τ-Dynamics

Karine Altisen , Stéphane Devismes , Anaïs Durand , Franck Petit
Euro-Par 2016 - 22nd International Conference on Parallel and Distributed Computing, Aug 2016, Grenoble, France. pp.588-602, ⟨10.1007/978-3-319-43659-3_43⟩
Conference papers hal-01215190v5
Image document

Infinite Grid Exploration by Disoriented Robots

Quentin Bramas , Stéphane Devismes , Pascal Lafourcade
8th Edition of the International Conference on NETworked and sYStems, NETYS, 2020, Marrakech, Morocco
Conference papers hal-02559612v1
Image document

Un jour sans fin

Stéphane Devismes , Pascal Lafourcade
ALGOTEL 2021 — 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2021, La Rochelle, France
Conference papers hal-03205279v2
Image document

SASA : a SimulAtor of Self-stabilizing Algorithms

Karine Altisen , Stéphane Devismes , Erwan Jahier
The Computer Journal, In press, ⟨10.1093/comjnl/bxab196⟩
Journal articles hal-03603835v1
Image document

Sur le Coloriage Auto-stabilisant dans les Réseaux Unidirectionnels Anonymes

Samuel Bernard , Stéphane Devismes , Katy Paroux , Maria Gradinariu Potop-Butucaru , Sébastien Tixeuil et al.
11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France
Conference papers inria-00384649v2

Brief Announcement: Snap-Stabilization in Message-Passing Systems

Sylvie Delaët , Stéphane Devismes , Mikhail Nesterenko , Sébastien Tixeuil
Principles of Distributed Computing (PODC 2008), Aug 2008, Toronto, Canada. pp.443-443, ⟨10.1145/1400751.1400838⟩
Conference papers hal-01303457v1
Image document

Snap-Stabilizing Committee Coordination

Borzoo Bonakdarpour , Stéphane Devismes , Franck Petit
Journal of Parallel and Distributed Computing, 2016, 87, pp.26-42. ⟨10.1016/j.jpdc.2015.09.004⟩
Journal articles hal-01347461v1
Image document

Rendez-vous d'agents amnésiques

Fabienne Carrier , Stéphane Devismes , Franck Petit , Yvan Rivierre
12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2010, Belle Dune, France. pp.8
Conference papers inria-00472219v1
Image document

Self-Stabilizing Leader Election in Polynomial Steps

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

Optimal Grid Exploration by Asynchronous Oblivious Robots

Stéphane Devismes , Anissa Lamani , Franck Petit , Pascal Raymond , Sébastien Tixeuil et al.
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⟩
Conference papers hal-00934161v1
Image document

Algorithms For Extracting Timeliness Graphs

Carole Delporte-Gallet , Stéphane Devismes , Hugues Fauconnier , Mikel Larrea
2010
Preprints, Working Papers, ... hal-00454388v2
Image document

Acyclic Strategy for Silent Self-Stabilization in Spanning Forests

Karine Altisen , Stéphane Devismes , Anaïs Durand
[Research Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2018
Reports hal-01784570v1
Image document

Robust Stabilizing Leader Election

Carole Delporte-Gallet , Stéphane Devismes , Hugues Fauconnier
2007
Preprints, Working Papers, ... hal-00167935v1
Image document

Routage par marche aléatoire à listes tabous

Karine Altisen , Stéphane Devismes , Pascal Lafourcade , Clément Ponsonnet
13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2011, Cap Estérel, France. pp.14
Conference papers hal-00588086v1
Image document

Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Opaque Robots with Common Chirality

Quentin Bramas , Pascal Lafourcade , Stéphane Devismes
International Conference on Distributed Computing and Networking, 2021, Nara, Japan. ⟨10.1145/1122445.1122456⟩
Conference papers hal-03130277v1
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 et al.
FUN 2022 - 11th International Conference on Fun with Algorithms, May 2022, Island of Favignana, Sicily, Italy. ⟨10.4230/LIPIcs.FUN.2022.7⟩
Conference papers hal-03746703v1
Image document

The expressive power of snap-stabilization

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

Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps

Stéphane Devismes , David Ilcinkas , Colette Johnen
20th International Conference on Principles of Distributed Systems (OPODIS 2016), Dec 2016, Madrid, Spain. pp.10:1-10:16, ⟨10.4230/LIPIcs.OPODIS.2016.10⟩
Conference papers hal-01544581v1
Image document

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

Arthur Rauch , Quentin Bramas , Stéphane Devismes , Pascal Lafourcade , Anissa Lamani et al.
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⟩
Conference papers hal-03657044v2

Fast Leader (Full) Recovery Despite Dynamic Faults

Ajoy Datta , Stéphane Devismes , Lawrence L. Larmore , Sébastien Tixeuil
International Conference on Distributed Computing and Networking, Jan 2013, Mumbai, India. pp.428-433, ⟨10.1007/978-3-642-35668-1_30⟩
Conference papers hal-00930061v1
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⟩
Journal articles hal-02420598v1
Image document

Comparison of Mean Hitting Times for a Degree-Biased Random Walk

Antoine Gerbaud , Karine Altisen , Stéphane Devismes , Pascal Lafourcade
Discrete Applied Mathematics, 2014, 170, pp.104 - 109. ⟨10.1016/j.dam.2014.01.021⟩
Journal articles hal-01759847v1

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⟩
Journal articles istex hal-01197403v1

Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Robots Without Common Chirality

Arthur Rauch , Quentin Bramas , Stéphane Devismes , Pascal Lafourcade , Anissa Lamani et al.
Networked Systems, 12754, Springer International Publishing, pp.95-110, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-91014-3_7⟩
Book sections hal-03547159v1
Image document

Quand le consensus est plus simple que la diffusion fiable

Carole Delporte-Gallet , Stéphane Devismes , Hugues Fauconnier , Franck Petit , Sam Toueg et al.
11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France
Conference papers inria-00383349v1

Gradual stabilization

Karine Altisen , Stéphane Devismes , Anaïs Durand , Franck Petit
Journal of Parallel and Distributed Computing, 2019, 123, pp.26-45. ⟨10.1016/j.jpdc.2018.09.002⟩
Journal articles hal-02420362v1

Silent self-stabilizing BFS tree algorithms revisited

Stéphane Devismes , Colette Johnen
Journal of Parallel and Distributed Computing, 2016, 97 (C), pp.11-23. ⟨10.1016/j.jpdc.2016.06.003⟩
Journal articles hal-01411862v1
Image document

Brief Announcement: Infinite Grid Exploration by Disoriented Robots

Quentin Bramas , Stéphane Devismes , Pascal Lafourcade
26th International Colloquium on Structural Information and Communication Complexity SIROCCO 2019, Jul 2019, L'Aquila, Italy
Conference papers hal-02145822v1

Weak vs. Self vs. Probabilistic Stabilization

Stéphane Devismes , Sébastien Tixeuil , Masafumi Yamashita
IEEE International Conference on Distributed Computing Systems (ICDCS 2008), Jun 2008, Beijing, China. pp.681-688, ⟨10.1109/ICDCS.2008.12⟩
Conference papers hal-01303470v1
Image document

Soyez efficace, rembobinez

Stéphane Devismes , Colette Johnen
ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France
Conference papers hal-02118440v1