Colette Johnen Colette Johnen, PR

Identifiants chercheurs

IdHAL :

colette-johnen

ORCID :

0000-0001-7170-4521

IdRef :

032681763

arXiv :

johnen_c_1

Présentation

Current Position: Since September 2008, I am full professor at the University of Bordeaux. I am member of Combinatorics and Algorithms team of “Laboratoire Bordelais de Recherche en Informatique” LaBRI, UMR 5800.

September 2020 to august 2021 : I was in delegation at INRIA, Paris in the Delys project - Delys is a joint research group between Inria Paris France and CNRS/Sorbonne University Paris France through the “Laboratoire d’Informatique de Paris 6”, LIP6 (UMR 7606).

Diplomas: at the University Paris-Sud (now called University Paris-Saclay)

November 2007, HdR, title of manuscript: « Some contributions to self-stabilization », reviewers: Marc Bui (EPHE, France), Shlomi Dolev (Univ. of the Negev, Israel), Masafumi Yamashita (Kyushu University, Japan)

December 1987, PhD, Title of dissertation: “Algorithmic Analysis of Petri Net: home space, rewriting systems”

My research activities are focused on:

the design of efficient self-stabilizing algorithms,

the algorithm for highly dynamic networks,

Concurrent algorithm in shared memory.

Publications

Article dans une revue (16)

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
Disconnected components detection and rooted shortest-path tree maintenance in networks Christian Glacet,Nicolas Hanusse,David Ilcinkas,Colette Johnen Journal of Parallel and Distributed Computing, 2019, 132, pp.299-309. ⟨10.1016/j.jpdc.2019.05.006⟩ Article dans une revue hal-02283167v1
Maintaining a Distributed Spanning Forest in Highly Dynamic Networks Matthieu Barjon,Arnaud Casteigts,Serge Chaumette,Colette Johnen,Yessin M Neggaz The Computer Journal, 2019, 62 (2), pp.231-246 Article dans une revue hal-01883369v1
On the complexity of basic abstractions to implement consensus Claire Capdevielle,Colette Johnen,Alessia Milani Theoretical Computer Science, 2018, 715, pp.86-96. ⟨10.1016/j.tcs.2017.12.039⟩ Article dans une revue hal-02489528v1
On the uncontended complexity of anonymous agreement Claire Capdevielle,Colette Johnen,Petr Kuznetsov,Alessia Milani Distributed Computing, 2017, 30 (6), pp.459-468. ⟨10.1007/s00446-017-0297-z⟩ Article dans une revue hal-02287767v1
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
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
Fast, silent self-stabilizing distance-k independent dominating set construction Colette Johnen Information Processing Letters, 2014, 114 (10), pp.551-555. ⟨10.1016/j.ipl.2014.04.013⟩ Article dans une revue istex hal-00990737v1
Self-stabilizing with service guarantee construction of 1-hop weight-based bounded size clusters Colette Johnen,Fouzi Mekhaldi Journal of Parallel and Distributed Computing, 2014, 74 (1), pp.1900-1913 Article dans une revue hal-00939445v1
Robust self-stabilizing weight-based clustering algorithm Colette Johnen,Le Huy Nguyen Theoretical Computer Science, 2009, 410 (6-7), pp.581-594 Article dans une revue hal-00564967v1
Safe peer-to-peer self-downloading Kajari Ghosh Dastidar,Ted Herman,Colette Johnen ACM Transactions on Autonomous and Adaptive Systems, 2008, 3 (4), pp.19. ⟨10.1145/1452001.1452009⟩ Article dans une revue hal-00564974v1
Randomized Self-Stabilizing and Space optimal Leader election under arbitrary scheduler on rings Joffroy Beauquier,Maria Gradinariu,Colette Johnen Distributed Computing, 2007, 20 (1), pp.75-93. ⟨10.1007/s00446-007-0034-0⟩ Article dans une revue istex hal-00334311v1
Strategies for peer-to-peer downloading Ted Herman,Colette Johnen Information Processing Letters, 2005, 94 (5), pp.203-209. ⟨10.1016/j.ipl.2005.02.012⟩ Article dans une revue istex hal-00336386v1
Autostabilisation et protocoles réseau Colette Johnen,Franck Petit,Sébastien Tixeuil Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2004, 23 (4), pp.1027-1056. ⟨10.3166/tsi.23.1027-1056⟩ Article dans une revue istex hal-00337547v1
Reliable Self-Stabilizing Communication for Quasi Rendezvous Colette Johnen,Ivan Lavallee,Christian Lavault Studia Informatica Universalis, 2002, 1 (1), pp.59-76 Article dans une revue hal-00465650v2
Fair and Reliable Self-Stabilizing Communication Colette Johnen,Ivan Lavallee,Christian Lavault Parallel Processing Letters, 2000, 10 (2), pp.51--59 Article dans une revue hal-00465661v3

Communication dans un congrès (44)

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
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
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
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
É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
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
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
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
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
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
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
Polynomial Silent Self-Stabilizing Maximal p-Star Decomposition Mohammed Haddad,Colette Johnen,Sven Köhler ALGOTEL 2017 - 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2017, Quiberon, France Communication dans un congrès hal-01516163v1
Complexité du consensus anonyme en l'absence de concurrence Claire Capdevielle,Colette Johnen,Petr Kuznetsov,Alessia Milani ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2016, Bayonne, France Communication dans un congrès hal-01304268v2
Polynomial Silent Self-Stabilizing p-Star Decomposition (Short Paper) Mohammed Haddad,Colette Johnen,Sven Köhler 18th International Symposium on Stabilization, Safety, and Security of Distributed Systems - SSS 2016, Nov 2016, Lyon, France. ⟨10.1007/978-3-319-49259-9_15⟩ Communication dans un congrès hal-01411828v1
Brief Announcement: On the Uncontended Complexity of Anonymous Consensus Claire Capdevielle,Colette Johnen,Petr Kuznetsov,Alessia Milani DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan Communication dans un congrès hal-01207895v1
On the Uncontended Complexity of Anonymous Consensus Claire Capdevielle,Colette Johnen,Petr Kuznetsov,Alessia Milani 19th International Conference on Principles of Distributed Systems - OPODIS 2015, Dec 2015, Rennes, France. ⟨10.4230/LIPIcs.OPODIS.2015.12⟩ Communication dans un congrès hal-01411528v1
Memory Efficient Self-Stabilizing k-Independent Dominating Set Construction Colette Johnen Third International Conference on Networked Systems - NETYS 2015, May 2015, Agadir, Morocco. ⟨10.1007/978-3-319-26850-7_24⟩ Communication dans un congrès hal-00843995v2
Maintaining a Spanning Forest in Highly Dynamic Networks: The Synchronous Case Matthieu Barjon,Arnaud Casteigts,Serge Chaumette,Colette Johnen,Yessin M. Neggaz 18th International Conference on Principles of Distributed Systems - OPODIS 2014, Dec 2014, Cortina d'Ampezzo, Italy. pp.277-292 Communication dans un congrès hal-01410314v1
Solo-Fast Universal Constructions for Deterministic Abortable Objects Claire Capdevielle,Colette Johnen,Alessia Milani 28th International Symposium Distributed Computing - DISC 2014, Oct 2014, Austin, United States Communication dans un congrès hal-01410291v1
Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Networks Christian Glacet,Nicolas Hanusse,David Ilcinkas,Colette Johnen Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2014), Sep 2014, Paderborn, Germany. pp.120 - 134, ⟨10.1007/978-3-319-11764-5_9⟩ Communication dans un congrès hal-01111188v1
Un algorithme de test pour la connexité temporelle des graphes dynamiques de faible densité Matthieu Barjon,Arnaud Casteigts,Serge Chaumette,Colette Johnen,Yessin M. Neggaz 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-00986117v1
Brief Announcement : Memory Efficient Self-Stabilizing k-Independent Dominating Set Construction Colette Johnen 15th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'13), Nov 2013, Osaka, Japan. pp.341-343, ⟨10.1007/978-3-319-03089-0_24⟩ Communication dans un congrès istex hal-00939428v1
Hiérarchisation dans les réseaux ad hoc de véhicules Véronique Vèque,Colette Johnen 8èmes journées francophones Mobilité et Ubiquité, UBIMOB 2012, Jun 2012, Bayonne, France. pp.45-52 Communication dans un congrès hal-00781267v1
From Self- to Self-stabilizing with Service Guarantee 1-hop Weight-Based Clustering Colette Johnen,Fouzi Mekhaldi 4th International Symposium Stabilization, Safety, and Security of Distributed Systems (SSS 2012), Oct 2012, Toronto, Canada. pp.163-178 Communication dans un congrès hal-00843638v1
Self-stabilization versus Robust Self-stabilization for Clustering in Ad-Hoc Network Colette Johnen,Fouzi Mekhaldi Euro-Par 2011, Aug 2011, Bordeaux, France. pp.117-129 Communication dans un congrès hal-00647681v1
Étude de la formation de convois dans un réseau de véhicules sur autoroute Florent Kaisser,Colette Johnen,Véronique Vèque CFIP 2011 - Colloque Francophone sur l Ingénierie des Protocoles, UTC, May 2011, Sainte Maxime, France Communication dans un congrès inria-00586841v1
Self-Stabilizing Computation and Preservation of Knowledge of Neighbor Clusters Colette Johnen,Fouzi Mekhaldi SASO 2011, Oct 2011, Ann Arbor, United States. pp.41-50, ⟨10.1109/SASO.2011.15⟩ Communication dans un congrès hal-00647854v1
Quantitative model for evaluate routing protocols in a vehicular ad hoc networks on highway Florent Kaisser,Colette Johnen,Véronique Vèque VNC 2010, Dec 2010, Jersey City, United States. pp.330-337, ⟨10.1109/VNC.2010.5698255⟩ Communication dans un congrès hal-00647859v1
Robust Self-Stabilizing Construction of Bounded Size Weight-Based Clusters Colette Johnen,Fouzi Mekhaldi 16th International Parallel Processing Conference (Euro-Par 2010), Aug 2010, Ischia, Italy. pp.535-546 Communication dans un congrès hal-00564951v1
Fault-tolerant implementations of regular registers by safe registers Colette Johnen,Lisa Higham 10th International conference on Distributed Computing and Networking, ICDCN 2009, Jan 2009, Hyderabad, India. pp.337-348 Communication dans un congrès hal-00355501v1
Brief Announcement: Robust Self-stabilizing Construction of Bounded Size Weight-Based Clusters Colette Johnen,Fouzi Mekhaldi 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), Nov 2009, Lyon, France. pp.787-788 Communication dans un congrès hal-00564958v1
Vers une modélisation robuste des protocoles de routage pour réseaux de véhicules Florent Kaisser,Colette Johnen,Véronique Vèque CFIP'2009, Oct 2009, Strasbourg, France Communication dans un congrès inria-00419460v1
Fault-tolerant implementations of atomic registers by safe registers in networks Colette Johnen,Lisa Higham ACM Symposium on Principles of Distributed Computing, PODC 2008, Aug 2008, Toronto, Canada. pp.449, ⟨10.1145/1400751.1400845⟩ Communication dans un congrès hal-00334322v1
Self-Stabilizing Construction of Bounded Size Clusters Colette Johnen,Le Huy Nguyen The 2008 IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2008, Dec 2008, Sydney, Australia. pp.43-50, ⟨10.1109/ISPA.2008.43⟩ Communication dans un congrès hal-00355516v1
Analyze of Probabilistic Algorithms under Indeterministic Scheduler Colette Johnen,Joffroy Beauquier International Symposium on Advances in Parallel and Distributed Computing Techniques (APDCT-08), Dec 2008, Sydney, Australia. pp.553-558, ⟨10.1109/ISPA.2008.21⟩ Communication dans un congrès hal-00355517v1
Safe Peer-to-Peer Self-downloading Kajari Ghosh Dastidar,Ted Herman,Colette Johnen 8th International Symposium, SSS 2006, Nov 2006, Dallas, Texas, United States. pp.324-334, ⟨10.1007/978-3-540-49823-0_23⟩ Communication dans un congrès istex hal-00336393v1
Fault-Tolerant Implementations of the Atomic-State Communication Model in Weaker Networks Colette Johnen,Lisa Higham 21st International Symposium on Distributed Computing, DISC 2007, Sep 2007, Limassol, Cyprus. pp.485-487, ⟨10.1007/978-3-540-75142-7_38⟩ Communication dans un congrès istex hal-00334323v1
All k -Bounded Policies Are Equivalent for Self-stabilization Joffroy Beauquier,Colette Johnen,Stéphane Messika 8th International Symposium, SSS 2006, Nov 2006, Dallas, Texas, United States. pp.82-94, ⟨10.1007/978-3-540-49823-0_6⟩ Communication dans un congrès istex hal-00336391v1
Robust Self-Stabilizing Clustering Algorithm Colette Johnen,Le Huy Nguyen 10th International Conference Principles of Distributed Systems, Dec 2006, Bordeaux, France. pp.410-424, ⟨10.1007/11945529_29⟩ Communication dans un congrès istex inria-00158856v1
Relationships between communication models in networks using atomic registers Lisa Higham,Colette Johnen 20th EEE International Parallel & Distributed Processing Symposium, Apr 2006, Rhodes Island, Greece. pp.+1 Communication dans un congrès hal-00336397v1
Brief Announcement: Computing Automatically the Stabilization Time Against the Worst and the Best Schedules Joffroy Beauquier,Colette Johnen,Stéphane Messika 20th International Symposium of Distributed Computing, DISC 2006, Oct 2006, Stockholm, Sweden. pp.543-547, ⟨10.1007/11864219_40⟩ Communication dans un congrès istex hal-00355509v1
Self-Stabilizing weight-based Clustering Algorithm for Ad hoc sensor Networks Colette Johnen,Le Huy Nguyen Second International Workshop on Algorithmic Aspects of Wireless Sensor Networks, Jun 2006, Venice, Italy. pp.83-94, ⟨10.1007/11963271_8⟩ Communication dans un congrès istex inria-00158857v1
Bounded Service Time and Memory Space Optimal Self-Stabilizing Token Circulation Protocol on unidirectional rings Colette Johnen 18th International Parallel and Distributed Processing Symposium, Apr 2006, Santa Fe, New Mexico, United States. pp.+1 Communication dans un congrès hal-00015786v1
A Self-Stabilizing Communication Primitive Colette Johnen,Ivan Lavallee,Christian Lavault International Conference on Principles of Distributed Systems (OPODIS), 1998, France. pp.15-23 Communication dans un congrès hal-00465672v1

Chapitre d'ouvrage (2)

CONVOI : un protocole de formation de clusters pour les réseaux de véhicules Véronique Vèque,Florent Kaisser,Colette Johnen,Anthony Busson Labiod, H. and Beylot, A.L. Modèles et algorithmes pour les réseaux véhiculaires, Hermès, pp.1-15, 2013, Traité IC2 Chapitre d'ouvrage hal-00821741v1
CONVOY: a new Cluster-based routing Protocol for Vehicular Networks Véronique Vèque,Florent Kaisser,Colette Johnen,Anthony Busson Labiod, H. and Beylot, A.L. Vehicular Networks: Models and Algorithms, ISTE Publishing Knowledge /John Wiley and Sons Inc, pp.91-129, 2013, 9781848214897. ⟨10.1002/9781118648759.ch3⟩ Chapitre d'ouvrage hal-00821742v1

Pré-publication, Document de travail (3)

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
Polynomial Silent Self-Stabilizing p-Star Decomposition Mohammed Haddad,Colette Johnen,Sven Köhler 2016 Pré-publication, Document de travail hal-01514323v1

Rapport (10)

Efficient Wait-Free Linearizable Implementations of Approximate Bounded Counters Using Read-Write Registers Colette Johnen,Adnane Khattabi,Alessia Milani,Jennifer L. Welch LaBRI, Université de Bordeaux; Laboratoire d'informatique et des Systèmes - LIS (UMR 7020). 2024 Rapport hal-04454806v1
Efficient self-stabilizing construction of disjoint MDSs in distance-2 model Colette Johnen,Mohammed Haddad [Research Report] Inria Paris, Sorbonne Université; LaBRI, CNRS UMR 5800; LIRIS UMR CNRS 5205. 2021 Rapport (rapport de recherche) hal-03138979v1
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
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
Disconnected components detection and rooted shortest-path tree maintenance in networks - extended version Christian Glacet,Nicolas Hanusse,David Ilcinkas,Colette Johnen [Research Report] LaBRI, CNRS UMR 5800. 2016 Rapport (rapport de recherche) hal-01352245v1
Silent Self-stabilizing BFS Tree Algorithms Revised Stéphane Devismes,Colette Johnen [Research Report] Université Grenoble Alpes. 2015 Rapport (rapport de recherche) hal-01197475v1
On the Uncontended Complexity of Anonymous Consensus Claire Capdevielle,Colette Johnen,Petr Kuznetsov,Alessia Milani [Research Report] University of Bordeaux LaBRI, UMR 5800, F-33400 Talence, France Telecom ParisTech. 2015 Rapport (rapport de recherche) hal-01180864v1
Fast self-stabilizing k-independent dominating set construction Colette Johnen 2013 Rapport hal-00839357v2
From self- to self-stabilizing with service guarantee 1-hop weight-based clustering Colette Johnen,Fouzi Mekhaldi 2012 Rapport hal-00716281v1