Access content directly

Colette Johnen

69
Documents

Presentation

**Current Position:** Since September 2008, I am full professor at the University of Bordeaux. I am member of **C****ombinatorics and Algorithms** team of “Laboratoire Bordelais de Recherche en Informatique” [LaBRI](ttps://www.labri.fr), UMR 5800. September 2020 to august 2021 : I was in delegation at INRIA, Paris in the [Delys](https://team.inria.fr/delys/) project - Delys is a joint research group between [Inria](http://www.inria.fr) Paris France and CNRS/Sorbonne University Paris France through the “Laboratoire d’Informatique de Paris 6”, [LIP6](https://www.lip6.fr/?LANG=en) (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

Image document

Maintaining a Distributed Spanning Forest in Highly Dynamic Networks

Matthieu Barjon , Arnaud Casteigts , Serge Chaumette , Colette Johnen , Yessin M Neggaz et al.
The Computer Journal, 2019, 62 (2), pp.231-246
Journal articles hal-01883369v1
Image document

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

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⟩
Journal articles hal-02489528v1
Image document

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⟩
Journal articles hal-01485652v4

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

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

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
Journal articles hal-00939445v1

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

Robust self-stabilizing weight-based clustering algorithm

Colette Johnen , Le Huy Nguyen
Theoretical Computer Science, 2009, 410 (6-7), pp.581-594
Journal articles 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⟩
Journal articles 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⟩
Journal articles 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⟩
Journal articles 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⟩
Journal articles hal-00337547v1
Image document

Reliable Self-Stabilizing Communication for Quasi Rendezvous

Colette Johnen , Ivan Lavallee , Christian Lavault
Studia Informatica Universalis, 2002, 1 (1), pp.59-76
Journal articles hal-00465650v2
Image document

Fair and Reliable Self-Stabilizing Communication

Colette Johnen , Ivan Lavallee , Christian Lavault
Parallel Processing Letters, 2000, 10 (2), pp.51--59
Journal articles hal-00465661v3
Image document

Self-stabilizing Systems in Spite of High Dynamics

Karine Altisen , Stéphane Devismes , Anaïs Durand , Colette Johnen , Franck Petit et al.
22nd International Conference on Distributed Computing and Networking, ICDCN'21, Jan 2021, Nara, Japan. pp.156-165, ⟨10.1145/3427796.3427838⟩
Conference papers hal-02376832v3
Image document

Élection Autostabilisante dans les Réseaux à Haute Dynamicité

Karine Altisen , Stéphane Devismes , Anaïs Durand , Colette Johnen , Franck Petit et al.
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
Conference papers hal-02791667v1
Image document

Brief Announcement: Self-stabilizing Systems in Spite of High Dynamics

Karine Altisen , Stéphane Devismes , Anaïs Durand , Colette Johnen , Franck Petit et al.
PODC 2020 - ACM Symposium on Principles of Distributed Computing, Aug 2020, Salerne / Virtual, Italy. ⟨10.1145/3382734.3404502⟩
Conference papers hal-02911071v1
Image document

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⟩
Conference papers 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⟩
Conference papers hal-02489447v1
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

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⟩
Conference papers hal-02489666v1
Image document

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
Conference papers hal-01781338v1
Image document

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
Conference papers hal-01516163v1

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⟩
Conference papers hal-01411828v1
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

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
Conference papers hal-01304268v2
Image document

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⟩
Conference papers hal-00843995v2
Image document

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
Conference papers 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⟩
Conference papers hal-01411528v1
Image document

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 et al.
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
Conference papers hal-00986117v1

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
Conference papers hal-01410291v1

Maintaining a Spanning Forest in Highly Dynamic Networks: The Synchronous Case

Matthieu Barjon , Arnaud Casteigts , Serge Chaumette , Colette Johnen , Yessin M. Neggaz et al.
18th International Conference on Principles of Distributed Systems - OPODIS 2014, Dec 2014, Cortina d'Ampezzo, Italy. pp.277-292
Conference papers hal-01410314v1
Image document

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⟩
Conference papers hal-01111188v1

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⟩
Conference papers hal-00939428v1
Image document

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
Conference papers 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
Conference papers hal-00843638v1
Image document

É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
Conference papers inria-00586841v1

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
Conference papers hal-00647681v1

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⟩
Conference papers hal-00647854v1

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
Conference papers hal-00564951v1

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⟩
Conference papers hal-00647859v1

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
Conference papers hal-00564958v1
Image document

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
Conference papers inria-00419460v1

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
Conference papers hal-00355501v1

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⟩
Conference papers hal-00355517v1

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⟩
Conference papers 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⟩
Conference papers hal-00355516v1

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⟩
Conference papers hal-00334323v1

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⟩
Conference papers inria-00158857v1

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⟩
Conference papers hal-00336393v1

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⟩
Conference papers hal-00336391v1

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
Conference papers hal-00336397v1

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
Conference papers hal-00015786v1

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⟩
Conference papers hal-00355509v1

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⟩
Conference papers inria-00158856v1
Image document

A Self-Stabilizing Communication Primitive

Colette Johnen , Ivan Lavallee , Christian Lavault
International Conference on Principles of Distributed Systems (OPODIS), 1998, France. pp.15-23
Conference papers hal-00465672v1

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⟩
Book sections hal-00821742v1

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
Book sections hal-00821741v1
Image document

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
Reports hal-03138979v1
Image document

On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics

Karine Altisen , Stéphane Devismes , Anaïs Durand , Colette Johnen , Franck Petit et al.
[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
Reports hal-02979166v3
Image document

Self-Stabilizing Distributed Cooperative Reset

Stéphane Devismes , Colette Johnen
[Research Report] Université Grenoble Alpes (France). 2019
Reports hal-01976276v3
Image document

Silent Self-Stabilizing Scheme for Spanning-Tree-like Constructions

Stéphane Devismes , David Ilcinkas , Colette Johnen
[Research Report] VERIMAG/LaBRI. 2018
Reports hal-01667863v4
Image document

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
Reports hal-01352245v1
Image document

Silent Self-stabilizing BFS Tree Algorithms Revised

Stéphane Devismes , Colette Johnen
[Research Report] Université Grenoble Alpes. 2015
Reports hal-01197475v1
Image document

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
Reports hal-01180864v1
Image document

Fast self-stabilizing k-independent dominating set construction

Colette Johnen
2013
Reports hal-00839357v2
Image document

From self- to self-stabilizing with service guarantee 1-hop weight-based clustering

Colette Johnen , Fouzi Mekhaldi
2012
Reports hal-00716281v1