Skip to Main content
Number of documents

69

Colette Johnen, PR


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)

My research activities are focused on:


Journal articles15 documents

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

Conference papers42 documents

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

Book sections2 documents

  • Véronique Vèque, Florent Kaisser, Colette Johnen, Anthony Busson. CONVOY: a new Cluster-based routing Protocol for Vehicular Networks. 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⟩. ⟨hal-00821742⟩
  • Véronique Vèque, Florent Kaisser, Colette Johnen, Anthony Busson. CONVOI : un protocole de formation de clusters pour les réseaux de véhicules. Labiod, H. and Beylot, A.L. Modèles et algorithmes pour les réseaux véhiculaires, Hermès, pp.1-15, 2013, Traité IC2. ⟨hal-00821741⟩

Preprints, Working Papers, ...1 document

  • Mohammed Haddad, Colette Johnen, Sven Köhler. Polynomial Silent Self-Stabilizing p-Star Decomposition. 2016. ⟨hal-01514323⟩

Reports9 documents

  • Colette Johnen, Mohammed Haddad. Efficient self-stabilizing construction of disjoint MDSs in distance-2 model. [Research Report] Inria Paris, Sorbonne Université; LaBRI, CNRS UMR 5800; LIRIS UMR CNRS 5205. 2021. ⟨hal-03138979⟩
  • Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit. On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics. [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. ⟨hal-02979166v3⟩
  • Stéphane Devismes, Colette Johnen. Self-Stabilizing Distributed Cooperative Reset. [Research Report] Université Grenoble Alpes (France). 2019. ⟨hal-01976276v3⟩
  • Stéphane Devismes, David Ilcinkas, Colette Johnen. Silent Self-Stabilizing Scheme for Spanning-Tree-like Constructions. [Research Report] VERIMAG/LaBRI. 2018. ⟨hal-01667863v4⟩
  • Christian Glacet, Nicolas Hanusse, David Ilcinkas, Colette Johnen. Disconnected components detection and rooted shortest-path tree maintenance in networks - extended version. [Research Report] LaBRI, CNRS UMR 5800. 2016. ⟨hal-01352245⟩
  • Claire Capdevielle, Colette Johnen, Petr Kuznetsov, Alessia Milani. On the Uncontended Complexity of Anonymous Consensus. [Research Report] University of Bordeaux LaBRI, UMR 5800, F-33400 Talence, France Telecom ParisTech. 2015. ⟨hal-01180864⟩
  • Stéphane Devismes, Colette Johnen. Silent Self-stabilizing BFS Tree Algorithms Revised. [Research Report] Université Grenoble Alpes. 2015. ⟨hal-01197475⟩
  • Colette Johnen. Fast self-stabilizing k-independent dominating set construction. 2013. ⟨hal-00839357v2⟩
  • Colette Johnen, Fouzi Mekhaldi. From self- to self-stabilizing with service guarantee 1-hop weight-based clustering. 2012. ⟨hal-00716281⟩