Stéphane Devismes

Identifiants chercheurs

IdHAL :

stephane-devismes

ORCID :

0000-0002-8032-9732

IdRef :

117725161

ResearcherID :

http://www.researcherid.com/rid/ABB-6192-2021

Présentation

Stéphane Devismes est actuellement professeur à l'Université de Picardie Jules Verne (Amiens, France) et membre de l'équipe ALCO du laboratoire MIS. Il a obtenu son doctorat à l'Université de Picardie Jules Verne en 2006. En 2006-2007, il a été maître de conférences à l'Université Denis Diderot (Paris VII). En 2007, il a effectué un post-doctorat d'un an au CNRS/Université Paris-Sud. De 2008 à 2021, il a été maître de conférences à l'Université Grenoble Alpes (France) et membre de l'équipe Synchrone du laboratoire VERIMAG. Ses recherches portent sur les questions théoriques du calcul distribué tolérant aux pannes, notamment en lien avec l'autostabilisation.

Publications

Communication dans un congrès (81)

Self-stabilizing Mutual Exclusion in Dynamic Networks with Bounded Temporal Diameter Stéphane Devismes,Swan Dubois,François Malenfer,Franck Petit,Mouna Safir Stabilization, Safety, and Security of Distributed Systems (SSS 2025), Oct 2025, Katmandou, Nepal. pp.192-210, ⟨10.1007/978-3-032-11127-2_16⟩ Communication dans un congrès hal-05408295v1
Analyse de l'autostabilisation de l'unisson synchrone via la satisfiabilité propositionnelle Asma Khoualdia,Sami Cherif,Stéphane Devismes,Léo Robert Journées Francophones de Programmation par Contraintes (JFPC 2025), Jun 2025, Dijon, France Communication dans un congrès hal-05208079v1
Outils d'analyse d'algorithmes distribués spécifiés dans le modèle à états Erwan Jahier,Karine Altisen,Stéphane Devismes ALGOTEL 2025 – 27èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2025, Saint Valéry-sur-Somme, France Communication dans un congrès hal-05012468v1
Graph Exploration: The Impact of a Distance Constraint Stéphane Devismes,Yoann Dieudonné,Arnaud Labourel 52nd International Colloquium on Automata, Languages, and Programming (ICALP 2025), Jul 2025, Aarhus (Danemark), Denmark. ⟨10.4230/LIPIcs.ICALP.2025.68⟩ Communication dans un congrès hal-05135828v1
Temps, travail, espace : pourquoi choisir ? Un unisson autostabilisant et ses retombées Stéphane Devismes,David Ilcinkas,Colette Johnen,Frédéric Mazoit ALGOTEL 2025 – 27èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2025, Saint-Valéry-Sur-Somme, France Communication dans un congrès hal-05010239v1
Being Efficient in Time, Space, and Workload: a Self-stabilizing Unison and its Consequences Stéphane Devismes,David Ilcinkas,Colette Johnen,Frédéric Mazoit STACS 2025: 42nd International Symposium on Theoretical Aspects of Computer Science, Mar 2025, Jena, Germany. pp.30:1-30:18, ⟨10.4230/LIPICS.STACS.2025.30⟩ Communication dans un congrès hal-04866194v2
Analyzing Self-Stabilization of Synchronous Unison via Propositional Satisfiability Asma Khoualdia,Sami Cherif,Stéphane Devismes,Léo Robert 31st International Conference on Principles and Practice of Constraint Programming (CP 2025), Aug 2025, Glasgow, United Kingdom. pp.19:1--19:21, ⟨10.4230/LIPIcs.CP.2025.19⟩ Communication dans un congrès hal-05203873v1
Pour être César, il faut que tous les chemins viennent de la Domus Augustana Karine Altisen,Alain Cournier,Geoffrey Defalque,Stéphane Devismes AlgoTel 2024 – 26èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2024, Saint-Briac-sur-Mer, France Communication dans un congrès hal-04552810v1
Asynchronous Self-stabilization Made Fast, Simple, and Energy-efficient Stephane Devismes,David Ilcinkas,Colette Johnen,Fréderic Mazoit PODC '24: 43rd ACM Symposium on Principles of Distributed Computing, Jun 2024, Nantes, France. pp.538-548, ⟨10.1145/3662158.3662803⟩ Communication dans un congrès hal-04604488v1
Nous aussi on fait du « log * » ! Stéphane Devismes,David Ilcinkas,Colette Johnen,Frédéric Mazoit AlgoTel 2024 – 26èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2024, Saint-Briac-sur-Mer, France Communication dans un congrès hal-04566761v1
On Self-stabilizing Leader Election in Directed Networks Karine Altisen,Alain Cournier,Geoffrey Defalque,Stéphane Devismes PODC '24: 43rd ACM Symposium on Principles of Distributed Computing, Jun 2024, Nantes France, France. pp.527-537, ⟨10.1145/3662158.3662778⟩ Communication dans un congrès hal-04604485v1
Optimal Asynchronous Perpetual Grid Exploration Quentin Bramas,Stéphane Devismes,Anaïs Durand,Pascal Lafourcade,Anissa Lamani Stabilization, Safety, and Security of Distributed Systems - 26th International Symposium, SSS 2024, Toshimitsu Masuzawa; Yoshiaki Katayama; Hirotsugu Kakugawa, Oct 2024, Nagoya, Japan. pp.89-105, ⟨10.1007/978-3-031-74498-3_6⟩ Communication dans un congrès hal-04620468v1
Exploring Worst Cases of Self-stabilizing Algorithms using Simulations Erwan Jahier,Stéphane Devismes,Karine Altisen 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⟩ Communication dans un congrès hal-04172383v1
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
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
Certified Round Complexity of Self-Stabilizing Algorithms Karine Altisen,Pierre Corbineau,Stéphane Devismes 37th International Symposium on Distributed Computing, Oct 2023, L'Aquila, Italy. pp.1-22, ⟨10.4230/LIPIcs.DISC.2023.2⟩ Communication dans un congrès hal-04230513v1
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
Self-stabilizing Synchronous Unison in Directed Networks Karine Altisen,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
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. ⟨10.1007/978-3-031-44274-2⟩ Communication dans un congrès hal-04172396v1
Beedroids: How Luminous Autonomous Swarms of UAVs Can Save the World? Quentin Bramas,Stéphane Devismes,Anaïs Durand,Pascal Lafourcade,Anissa Lamani FUN : 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
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
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. pp.129-145, ⟨10.1007/978-3-030-67087-0_9⟩ Communication dans un congrès hal-02559612v1
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 Communication dans un congrès hal-03205279v2
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Robots Without Common Chirality Arthur Rauch,Quentin Bramas,Stéphane Devismes,Pascal Lafourcade,Anissa Lamani 9th International Conference, NETYS 2021, May 2021, Virtual, France. pp.95-110, ⟨10.1007/978-3-030-91014-3_7⟩ Communication dans un congrès hal-03547159v1
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. pp.76-85, ⟨10.1145/3427796.3427834⟩ Communication dans un congrès hal-03130277v1
On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics Karine Altisen,Stéphane Devismes,Anaïs Durand,Colette Johnen,Franck Petit PODC '21: ACM Symposium on Principles of Distributed Computing, Jul 2021, Virtual Event, Italy. pp.21-31, ⟨10.1145/3465084.3467917⟩ Communication dans un congrès hal-03346225v1
Certification of an Exact Worst-Case Self-Stabilization Time Karine Altisen,Pierre Corbineau,Stéphane Devismes ICDCN '21: International Conference on Distributed Computing and Networking 2021, Jan 2021, Nara Japan, France. pp.46-55, ⟨10.1145/3427796.3427832⟩ Communication dans un congrès hal-03547154v1
Self-stabilizing Systems in Spite of High Dynamics Karine Altisen,Stéphane Devismes,Anaïs Durand,Colette Johnen,Franck Petit 22nd International Conference on Distributed Computing and Networking, ICDCN'21, Jan 2021, Nara, Japan. pp.156-165, ⟨10.1145/3427796.3427838⟩ Communication dans un congrès hal-02376832v3
Élection Autostabilisante dans les Réseaux à Haute Dynamicité Karine Altisen,Stéphane Devismes,Anaïs Durand,Colette Johnen,Franck Petit ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France Communication dans un congrès hal-02791667v1
SASA: a SimulAtor of Self-stabilizing Algorithms Karine Altisen,Stéphane Devismes,Erwan Jahier 14th International Conference on Tests and Proofs, Jun 2020, Bergen, Norway. ⟨10.1007/978-3-030-50995-8⟩ Communication dans un congrès hal-02521149v5
Brief Announcement: Self-stabilizing Systems in Spite of High Dynamics Karine Altisen,Stéphane Devismes,Anaïs Durand,Colette Johnen,Franck Petit PODC 2020 - ACM Symposium on Principles of Distributed Computing, Aug 2020, Salerne / Virtual, Italy. ⟨10.1145/3382734.3404502⟩ Communication dans un congrès hal-02911071v1
Vers l'infini et au delà Quentin Bramas,Stéphane Devismes,Pascal Lafourcade ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France Communication dans un congrès hal-02791601v1
Finding Water on Poleless using Melomaniac Myopic Chameleon Robots Quentin Bramas,Pascal Lafourcade,Stéphane Devismes 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⟩ Communication dans un congrès hal-02559617v1
Squeezing Streams and Composition of Self-stabilizing Algorithms Karine Altisen,Pierre Corbineau,Stéphane Devismes 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⟩ Communication dans un congrès hal-02313746v1
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 Communication dans un congrès hal-02145822v1
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 Communication dans un congrès hal-02118440v1
Self-Stabilizing Distributed Cooperative Reset Stéphane Devismes,Colette Johnen 2019 IEEE 39th International Conference on Distributed Computing Systems (ICDCS), Jul 2019, Dallas, United States. pp.379-389, ⟨10.1109/ICDCS.2019.00045⟩ Communication dans un congrès hal-02489666v1
Infinite Grid Exploration by Disoriented Robots Quentin Bramas,Stéphane Devismes,Pascal Lafourcade 26th International Colloquium, SIROCCO 2019, Jul 2019, L'Aquila, Italy. pp.340-344, ⟨10.1007/978-3-030-24922-9_25⟩ Communication dans un congrès hal-04751905v1
Silent self-stabilizing scheme for spanning-tree-like constructions Stéphane Devismes,David Ilcinkas,Colette Johnen ICDCN 2019, Jan 2019, Bangalore, India. pp.158-167, ⟨10.1145/3288599.3288607⟩ Communication dans un congrès hal-02127131v1
Silence dans la forêt ! Karine Altisen,Stéphane Devismes,Anaïs Durand ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France Communication dans un congrès hal-02118549v2
Brief Announcement: Analysis of a Memory-Efficient Self-stabilizing BFS Spanning Tree Construction Ajoy K. Datta,Stéphane Devismes,Colette Johnen,Lawrence Larmore 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⟩ Communication dans un congrès hal-02489447v1
Stabilisation progressive Karine Altisen,Stéphane Devismes,Anaïs Durand,Franck Petit ALGOTEL 2018 - 20èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2018, Roscoff, France Communication dans un congrès hal-01779963v1
Schéma général auto-stabilisant et silencieux de constructions de type arbres couvrants Stéphane Devismes,David Ilcinkas,Colette Johnen ALGOTEL 2018 - 20èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2018, Roscoff, France Communication dans un congrès hal-01781338v1
Eviter les collisions dans les réseaux 6TiSCH Olivier Alphand,Karine Altisen,Rodolphe Bertolini,Stéphane Devismes,Ali Fahset al. 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 Communication dans un congrès hal-01785956v1
L-Exclusion autostabilisante revisitée Fabienne Carrier,Ajoy Datta,Stéphane Devismes,Lawrence Larmore ALGOTEL 2018 - 20èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2018, Roscoff, France Communication dans un congrès hal-01779647v1
Acyclic Strategy for Silent Self-Stabilization in Spanning Forests Karine Altisen,Stéphane Devismes,Anaïs Durand 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⟩ Communication dans un congrès hal-01938671v1
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⟩ Communication dans un congrès hal-01544581v1
Collision Prevention in Distributed 6TiSCH Networks Ali Fahs,Rodolphe Bertolini,Olivier Alphand,Franck Rousseau,Karine Altisenet al. IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob), Oct 2017, Rome, Italy. ⟨10.1109/WiMOB.2017.8115798⟩ Communication dans un congrès hal-01614643v1
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⟩ Communication dans un congrès hal-01215190v5
Concurrence et allocation de ressources locales instantanément stabilisante Karine Altisen,Stéphane Devismes,Anaïs Durand ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2016, Bayonne, France Communication dans un congrès hal-01302333v2
A Framework for Certified Self-Stabilization Karine Altisen,Pierre Corbineau,Stéphane Devismes 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.36-51, ⟨10.1007/978-3-319-39570-8_3⟩ Communication dans un congrès hal-01432926v1
Élection autostabilisante en un nombre polynomial de pas de calcul Karine Altisen,Alain Cournier,Stéphane Devismes,Anaïs Durand,Franck Petit ALGOTEL 2015 — 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2015, Beaune, France Communication dans un congrès hal-01145472v1
Optimal Torus Exploration by Oblivious Robots Stéphane Devismes,Anissa Lamani,Franck Petit,Sébastien Tixeuil NETYS 2015 - Third International Conference on Networked Systems, May 2015, Agadir, Morocco. pp.183-199, ⟨10.1007/978-3-319-26850-7_13⟩ Communication dans un congrès hal-00926573v3
Stabilisation Instantanée Probabiliste Karine Altisen,Stéphane Devismes ALGOTEL 2014 -- 16èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2014, Le Bois-Plage-en-Ré, France. pp.1-4 Communication dans un congrès hal-00976673v1
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
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
Algorithme autostabilisant avec convergence sûre construisant une $(f,g)$-alliance Fabienne Carrier,Ajoy Datta,Stéphane Devismes,Lawrence Larmore,Yvan Rivierre 15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.13891 Communication dans un congrès hal-00812928v1
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⟩ Communication dans un congrès istex hal-00930061v1
SR3: Secure Resilient Reputation-based Routing Karine Altisen,Stéphane Devismes,Raphaël Jamet,Pascal Lafourcade 2013 IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS), May 2013, Cambridge, France. ⟨10.1109/DCOSS.2013.33⟩ Communication dans un congrès hal-01759925v1
Routage sécurisé et résilient pour réseaux de capteurs sans fil Karine Altisen,Stéphane Devismes,Raphaël Jamet,Pascal Lafourcade 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-00813387v3
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
Analysis of Random Walks using Tabu Lists Karine Altisen,Stéphane Devismes,Antoine Gerbaud,Pascal Lafourcade Structural Information and Communication Complexity - 19th International SIROCCO'12, Jun 2012, Reykjavik, Iceland Communication dans un congrès hal-01759228v1
Algorithme de k-partitionnement auto-stabilisant et compétitif Ajoy K. Datta,Stéphane Devismes,Karel Heurtefeux,Lawrence L. Larmore,Yvan Rivierre 14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), 2012, La Grande Motte, France. pp.15 Communication dans un congrès hal-00687556v1
Snap-Stabilizing Committee Coordination Borzoo Bonakdarpour,Stéphane Devismes,Franck Petit 25th IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2011, May 2011, Anchorage, Alaska, United States. pp.231-242, ⟨10.1109/IPDPS.2011.31⟩ Communication dans un congrès hal-01286781v1
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 Communication dans un congrès hal-00588086v1
Coordination de comités instantanément stabilisante Borzoo Bonakdarpour,Stéphane Devismes,Franck Petit 13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2011, Cap Estérel, France Communication dans un congrès inria-00587166v1
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 Communication dans un congrès inria-00472219v1
A Self-Stabilizing 3-Approximation for the Maximum Leaf Spanning Tree Problem in Arbitrary Networks Sayaka Kamei,Hirotsugu Kakugawa,Stéphane Devismes,Sébastien Tixeuil COCOON 2010, Jul 2010, Na Thrang, Vietnam. pp.80-89, ⟨10.1007/978-3-642-14031-0_11⟩ Communication dans un congrès hal-01292491v1
Communications Efﬁcaces et Auto-Stabilisation Stéphane Devismes,Toshimitsu Masuzawa,Sébastien Tixeuil 12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2010, Belle-Dune, France. pp.id 19 Communication dans un congrès hal-00479860v1
Probabilistic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks Samuel Bernard,Stéphane Devismes,Katy Paroux,Maria Gradinariu Potop-Butucaru,Sébastien Tixeuil 11th International Conference on Distributed Computing and Networking, ICDCN 2010, Jan 2010, Kolkata, India. pp.167-177, ⟨10.1007/978-3-642-11322-2_19⟩ Communication dans un congrès istex hal-01292601v1
Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots Stéphane Devismes,Franck Petit,Sébastien Tixeuil Sirocco 2009, May 2009, Piran, Slovenia. pp.195-208, ⟨10.1007/978-3-642-11476-2_16⟩ Communication dans un congrès istex hal-01295189v1
Optimal deterministic self-stabilizing vertex coloring in unidirectional anonymous networks Samuel Bernard,Stéphane Devismes,Maria Gradinariu Potop-Butucaru,Sébastien Tixeuil IPDPS, May 2009, Rome, Italy. pp.1-8, ⟨10.1109/IPDPS.2009.5161053⟩ Communication dans un congrès hal-01298811v1
Exploration Optimale Probabiliste d'un Anneau par des Robots Semi-Synchrones et Amnésiques Stéphane Devismes,Franck Petit,Sébastien Tixeuil 11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France Communication dans un congrès inria-00383351v1
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 11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France Communication dans un congrès inria-00384649v2
Quand le consensus est plus simple que la diffusion fiable Carole Delporte-Gallet,Stéphane Devismes,Hugues Fauconnier,Franck Petit,Sam Toueg 11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France Communication dans un congrès inria-00383349v1
Communication Efficiency in Self-Stabilizing Silent Protocols Stéphane Devismes,Toshimitsu Masuzawa,Sébastien Tixeuil The IEEE International Conference on Distributed Computing Systems (ICDCS 2009), Jun 2009, Montreal, Canada. pp.474-481, ⟨10.1109/ICDCS.2009.24⟩ Communication dans un congrès hal-01295187v1
Stabilisation instantanée dans les systèmes à passage de messages Sylvie Delaët,Stéphane Devismes,Mikhail Nesterenko,Sébastien Tixeuil 11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel 2009), Jun 2009, Carry-Le-Rouet, France Communication dans un congrès inria-00383350v1
Space-Optimal Deterministic Rendezvous Fabienne Carrier,Stéphane Devismes,Franck Petit,Yvan Rivierre Second International Workshop on Reliability, Availability, and Security (WRAS 2009), Dec 2009, Hiroshima, Japan. pp.332-337, ⟨10.1109/PDCAT.2009.13⟩ Communication dans un congrès hal-01298724v1
Snap-Stabilization in Message-Passing Systems Sylvie Delaët,Stéphane Devismes,Mikhail Nesterenko,Sébastien Tixeuil International Conference on Distributed Computing and Networking (ICDCN 2009), Jan 2009, Hyderabad, India. pp.281-286, ⟨10.1007/978-3-540-92295-7_34⟩ Communication dans un congrès hal-01295022v1
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⟩ Communication dans un congrès hal-01303457v1
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⟩ Communication dans un congrès hal-01303470v1

Pré-publication, Document de travail (9)

77 Shades of Grey Quentin Bramas,Stéphane Devismes,Anaïs Durand,Pascal Lafourcade,Anissa Lamani 2026 Pré-publication, Document de travail hal-05504522v1
Can Like Attract Like? A Study of Homonymous Gathering in Networks Stéphane Devismes,Yoann Dieudonné,Arnaud Labourel 2025 Pré-publication, Document de travail hal-05356504v1
Graph Exploration: The Impact of a Distance Constraint Stéphane Devismes,Yoann Dieudonné,Arnaud Labourel 2024 Pré-publication, Document de travail hal-04800273v1
On Self-stabilizing Leader Election in Directed Networks Karine Altisen,Alain Cournier,Geoffrey Defalque,Stéphane Devismes 2024 Pré-publication, Document de travail hal-04434345v4
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
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
Algorithms For Extracting Timeliness Graphs Carole Delporte-Gallet,Stéphane Devismes,Hugues Fauconnier,Mikel Larrea 2010 Pré-publication, Document de travail hal-00454388v2
Self-stabilizing K-out-of-L exclusion on tree network Ajoy Datta,Stéphane Devismes,Florian Horn,Lawrence Larmore 2008 Pré-publication, Document de travail hal-00344193v4
Robust Stabilizing Leader Election Carole Delporte-Gallet,Stéphane Devismes,Hugues Fauconnier 2007 Pré-publication, Document de travail hal-00167935v1

Article dans une revue (35)

Model Checking of Distributed Algorithms using Synchronous Programs Erwan Jahier,Karine Altisen,Stéphane Devismes,Gabriel Sant'Anna Theoretical Computer Science, 2025, pp.115292. ⟨10.1016/j.tcs.2025.115292⟩ Article dans une revue hal-05062225v1
Infinite grid exploration with synchronous myopic robots without chirality Quentin Bramas,Pascal Lafourcade,Stéphane Devismes Discrete Applied Mathematics, 2025, 375, pp.193-214. ⟨10.1016/j.dam.2025.05.031⟩ Article dans une revue hal-05117554v1
Self-stabilizing synchronous unison in directed networks Karine Altisen,Alain Cournier,Geoffrey Defalque,Stéphane Devismes Theoretical Computer Science, 2024, 1001, pp.114577. ⟨10.1016/J.TCS.2024.114577⟩ Article dans une revue hal-04580574v1
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
Analysis of a Memory-Efficient Self-stabilizing BFS Spanning Tree Construction Ajoy Datta,Stéphane Devismes,Colette Johnen,Lawrence Larmore Theoretical Computer Science, 2023, pp.113804. ⟨10.1016/j.tcs.2023.113804⟩ Article dans une revue hal-04031478v1
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
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
Self-stabilizing Systems in Spite of High Dynamics Karine Altisen,Stéphane Devismes,Anaïs Durand,Colette Johnen,Franck Petit Theoretical Computer Science, 2023, pp.113966. ⟨10.1016/j.tcs.2023.113966⟩ Article dans une revue hal-04109662v1
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
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
Terminating Exploration Of A Grid By An Optimal Number Of Asynchronous Oblivious Robots Stéphane Devismes,Anissa Lamani,Franck Petit,Pascal Raymond,Sébastien Tixeuil The Computer Journal, 2021, The Computer Journal, 64 (1), pp.132-154. ⟨10.1093/comjnl/bxz166⟩ Article dans une revue hal-02363013v1
Election in unidirectional rings with homonyms Karine Altisen,Ajoy K Datta,Stéphane Devismes,Anaïs Durand,Lawrence L Larmore Journal of Parallel and Distributed Computing, 2020, 146, pp.79-95. ⟨10.1016/j.jpdc.2020.08.004⟩ Article dans une revue hal-03452675v1
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⟩ Article dans une revue hal-02420362v1
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
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
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
SR3: secure resilient reputation-based routing Karine Altisen,Raphaël Jamet,Stéphane Devismes,Pascal Lafourcade Wireless Networks, 2017, 23 (7), pp.2111 - 2133. ⟨10.1007/s11276-016-1273-4⟩ Article dans une revue hal-01707698v1
Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps Stéphane Devismes,David Ilcinkas,Colette Johnen Discrete Mathematics and Theoretical Computer Science, 2017, Vol. 19 no. 3, pp.14 - 14. ⟨10.23638/DMTCS-19-3-14⟩ Article dans une revue hal-01485652v4
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⟩ Article dans une revue hal-01347461v1
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⟩ Article dans une revue istex hal-01411862v1
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
Concurrency in Snap-Stabilizing Local Resource Allocation Karine Altisen,Stéphane Devismes,Anaïs Durand Journal of Parallel and Distributed Computing, 2016 Article dans une revue hal-01099186v8
Thermal behavior of PVDF/PMMA blends by differential scanning calorimetry and vibrational spectroscopies (Raman and Fourier-Transform Infrared) Marie Veitmann,David Chapron,S. Bizet,S. Devismes,J. Guilmentet al. Polymer Testing, 2015, 48, pp.120-124. ⟨10.1016/j.polymertesting.2015.10.004⟩ Article dans une revue istex hal-01227888v1
Weak vs. Self vs. Probabilistic Stabilization Stéphane Devismes,Sébastien Tixeuil,Masafumi Yamashita International Journal of Foundations of Computer Science, 2015, 26 (3), pp.293-319. ⟨10.1142/S0129054115500173⟩ Article dans une revue hal-01198945v1
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⟩ Article dans une revue hal-01759847v1
Optimal probabilistic ring exploration by semi-synchronous oblivious robots Stéphane Devismes,Franck Petit,Sébastien Tixeuil Theoretical Computer Science, 2013, 498, pp.10-27. ⟨10.1016/j.tcs.2013.05.031⟩ Article dans une revue istex hal-00930045v1
A self-stabilizing 3-approximation for the maximum leaf spanning tree problem in arbitrary networks Sayaka Kamei,Hirostugu Kakugawa,Stéphane Devismes,Sébastien Tixeuil Journal of Combinatorial Optimization, 2013, 25 (3), pp.430-459. ⟨10.1007/s10878-011-9383-5⟩ Article dans une revue hal-00930035v1
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
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
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
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
Asymptotically Optimal Deterministic Rendezvous Fabienne Carrier,Stéphane Devismes,Franck Petit,Yvan Rivierre International Journal of Foundations of Computer Science, 2011, 22 (5), pp.1143-1159. ⟨10.1142/s012905411100860x⟩ Article dans une revue hal-01197399v1
Snap-Stabilization in Message-Passing Systems Sylvie Delaët,Stéphane Devismes,Mikhail Nesterenko,Sébastien Tixeuil Journal of Parallel and Distributed Computing, 2010, 70 (12), pp.1220-1230. ⟨10.1016/j.jpdc.2010.04.002⟩ Article dans une revue hal-01154466v1
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
Snap-Stabilizing Depth-First Search on Arbitrary Networks Alain Cournier,Stéphane Devismes,Franck Petit,Vincent Villain The Computer Journal, 2005, 49 (3), pp.268-280. ⟨10.1093/comjnl/bxh154⟩ Article dans une revue hal-03244364v1

Proceedings/Recueil des communications (2)

Distributed Computing and Intelligent Technology - 21st International Conference, ICDCIT 2025 Quentin Bramas,Bapi Chatterjee,Stéphane Devismes,Malcolm Egan,Partha Sarathi Mandalet al. Distributed Computing and Intelligent Technology ICDCIT 2025, 15507, Springer Nature Switzerland, 2025, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-81404-4⟩ Proceedings/Recueil des communications hal-04889714v1
Distributed Computing and Intelligent Technology Stéphane Devismes,Partha Sarathi Mandal,V. Vijaya Saradhi,Bhanu Prasad,Anisur Rahaman Mollaet al. 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⟩ Proceedings/Recueil des communications hal-04371904v1

Chapitre d'ouvrage (2)

Exploring Worst Cases of Self-stabilizing Algorithms Using Simulations Erwan Jahier,Karine Altisen,Stéphane Devismes 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⟩ Chapitre d'ouvrage hal-04508145v1
Model Checking of Distributed Algorithms Using Synchronous Programs Erwan Jahier,Karine Altisen,Stéphane Devismes,Gabriel Sant’anna 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⟩ Chapitre d'ouvrage hal-04508148v1

Ouvrages (3)

Stabilization, Safety, and Security of Distributed Systems Stéphane Devismes,Franck Petit,Karine Altisen,Giuseppe Antonio Di Luna,Antonio Fernandez Anta Springer International Publishing, 13751, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-21017-4⟩ Ouvrages hal-03852361v1
Introduction to Distributed Self-Stabilizing Algorithms Karine Altisen,Stéphane Devismes,Swan Dubois,Franck Petit Morgan & Claypool, 8 (1), pp.1-165, 2019, Synthesis Lectures on Distributed Computing Theory, Michel Raynal, ⟨10.2200/S00908ED1V01Y201903DCT015⟩ Ouvrages hal-02178659v1
Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre Pascal Lafourcade,Stéphane Devismes,Michel Lévy 2012 Ouvrages hal-01874862v1

N°spécial de revue/special issue (1)

Special issue of SSS 2020 Stéphane Devismes,Neeraj Mittal Information and Computation, pp.104955, 2022, ⟨10.1016/j.ic.2022.104955⟩ N°spécial de revue/special issue hal-03792395v1

HDR (1)

Versatility and Efficiency in Self-Stabilizing Distributed Systems Stéphane Devismes Distributed, Parallel, and Cluster Computing [cs.DC]. Université Grenoble Alpes, 2020 HDR tel-03080444v6

Rapport (12)

On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics Karine Altisen,Stéphane Devismes,Anaïs Durand,Colette Johnen,Franck Petit [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 Rapport (rapport de recherche) hal-02979166v3
Self-Stabilizing Distributed Cooperative Reset Stéphane Devismes,Colette Johnen [Research Report] Université Grenoble Alpes (France). 2019 Rapport (rapport de recherche) hal-01976276v3
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 Rapport (rapport de recherche) hal-01784570v1
Silent Self-Stabilizing Scheme for Spanning-Tree-like Constructions Stéphane Devismes,David Ilcinkas,Colette Johnen [Research Report] VERIMAG/LaBRI. 2018 Rapport (rapport de recherche) hal-01667863v4
A Framework for Certified Self-Stabilization Karine Altisen,Pierre Corbineau,Stéphane Devismes [Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2016 Rapport (rapport technique) hal-01272158v2
Silent Self-stabilizing BFS Tree Algorithms Revised Stéphane Devismes,Colette Johnen [Research Report] Université Grenoble Alpes. 2015 Rapport (rapport de recherche) hal-01197475v1
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
Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots Stéphane Devismes,Franck Petit,Sébastien Tixeuil [Research Report] RR-6838, INRIA. 2009, pp.29 Rapport (rapport de recherche) inria-00360305v1
Snap-Stabilization in Message-Passing Systems Sylvie Delaët,Stéphane Devismes,Mikhail Nesterenko,Sébastien Tixeuil [Research Report] RR-6446, INRIA. 2008, pp.29 Rapport (rapport de recherche) inria-00248465v2
Bounds for self-stabilization in unidirectional networks Samuel Bernard,Stéphane Devismes,Maria Gradinariu Potop-Butucaru,Sébastien Tixeuil [Research Report] RR-6524, INRIA. 2008, pp.24 Rapport (rapport de recherche) inria-00277661v2
Communication Efficiency in Self-stabilizing Silent Protocols Stéphane Devismes,Toshimitsu Masuzawa,Sébastien Tixeuil [Research Report] RR-6731, INRIA. 2008, pp.33 Rapport (rapport de recherche) inria-00340805v1
Weak vs. Self vs. Probabilistic Stabilization Stéphane Devismes,Sébastien Tixeuil,Masafumi Yamashita [Research Report] RR-6366, INRIA. 2007 Rapport (rapport de recherche) inria-00189952v2

Autre publication scientifique (1)

Consensus is Easier Than Reliable Broadcast Carole Delporte-Gallet,Stéphane Devismes,Hugues Fauconnier,Franck Petit,Sam Toueg 2008 Autre publication scientifique hal-00325470v1

Thèse (1)

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