Colette Johnen
- Professeur
- Université de Bordeaux
- Department
- CombAlgo
- Team
- Algorithmique Distribuée
- Administrative function
- Responsable Equipe Algorithmique Distribuée (Dpt COMBALGO)
- Personal page
- http://www.labri.fr/~johnen
- E-mail address
- colette.johnen
labri.fr - Office
- 319
- Tel
- +33 (0)5 40 00 60 47
Research
Depuis 1995, je travaille sur les algorithmes distribués, plus particulièrement sur les algorithmes auto-stabilisants. La notion d'auto-stabilisation a été introduite par Dijkstra : "Quel que soit son état initial, un système auto-stabilisant est certain d'atteindre un état cohérent en un nombre fini d'étapes".
* Conception d'algorithmes auto-stabilisant optimaux de circulation de jeton sur un anneau anonyme et unidirectionnel. Je travaille sur cette thématique avec Prof. Joffroy Beauquier (LRI) et MdC Maria Gradinariu (LIP6, Université Pierre et Marie Curie).
* Elaboration de techniques de preuve et d'analyse des algorithmes probabilistes et auto-stabilisant. Je travaille sur cette thématique avec Prof. Joffroy Beauquier et MdC Stéphane Messika (LRI, Université Paris-Sud 11).
* Conception d'algorithmes auto-stabilisants qui garantissent un service <em>dégradé</em> durant la phase de convergence, phase où le système retourne automatique dans un état correct à partir d'un état corrompu. Je travaille sur cette thématique avec mes deux doctorants Le Huy Nguyen et Fouzi Mekhaldi.
* Etude comparative des modèles de communications et construction de compilateurs tolérant aux pannes (auto-stabilisant, wait-free, obstruction-free) d'un modèle à l'autre. Je travaille sur cette thématique avec Prof. Lisa Higham, et prof. Y. Métivier (LaBRI).
* Définition de règles de téléchargement de document dans un réseau Pair à Pair (de type
BitTorrent) supportant des utilisateurs inciviques et étant tolérant aux fautes. Je travaille sur cette thématique avec Prof. Ted Herman, University of Iowa, Etat-Unis.
Supervision
Nguyen, Le Huy, thèse soutenue en 2007, doctorant BDI-PED, Université Paris-Sud 11, co-encadrée (80%) avec Pierre Fraigniaud.
Kaisser, Florent, thèse soutenue en 2010, doctorant bourse Digiteo - région Ile-de-France, Université Paris-Sud 11, co-encadrée (20%) avec Véronique Vèque.
Mekhaldi, Fouzi,en cours, doctorant bourse Digiteo - région Ile-de-France, Université Paris-Sud 11, co-encadrée (80%) avec Véronique Vèque.
Expertise
En 2009, j'ai été membre du comité de sélection pour le recrutement d'un maître de conférence à l'IUT de Bordeaux 1, en 27ième section.
En 2010, j'ai été membre du comité de sélection pour le recrutement d'un Professeur à l'IUT de Bordeaux 1, en 27ième section.
Excerpt from publications
- Stéphane Devismes, David Ilcinkas, Colette Johnen, Frédéric Mazoit. Being Efficient in Time, Space, and Workload: a Self-stabilizing Unison and its Consequences. STACS 2025: 42nd International Symposium on Theoretical Aspects of Computer Science, Mar 2025, Jena, Germany. pp.30:1-30:18,
- Stephane Devismes, David Ilcinkas, Colette Johnen, Fréderic Mazoit. Asynchronous Self-stabilization Made Fast, Simple, and Energy-efficient. PODC '24: 43rd ACM Symposium on Principles of Distributed Computing, Jun 2024, Nantes, France. pp.538-548,
- Colette Johnen, Adnane Khattabi, Alessia Milani, Jennifer L. Welch. Efficient Wait-Free Linearizable Implementations of Approximate Bounded Counters Using Read-Write Registers. LaBRI, Université de Bordeaux; Laboratoire d'informatique et des Systèmes - LIS (UMR 7020). 2024.
- Stéphane Devismes, David Ilcinkas, Colette Johnen, Frédéric Mazoit. Trade-off between time, space workload: the case of the self-stabilizing unisson. 2023.
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit. Self-stabilizing Systems in Spite of High Dynamics. Theoretical Computer Science, 2023, pp.113966.
Administration
Depuis le janvier 2011, je suis présidente de la "commission consultative" section 27, de l'Université Bordeaux 1, Bordeaux 2 et IPB.
Depuis 2009, je suis membre élue de cette commission.