Colette JOHNEN
Colette Johnen Professeur (Université Bordeaux 1)

Équipe LaBRI : Combinatoire et Algorithmique
Fonction administrative : Resp. de la formation doctorale informatique
Page personnelle : http://www.labri.fr/~johnen
Courrier électronique : colette.johnenarobaselabri.fr
Bureau : 319
Tél : +33 (0)5 40 00 60 47


Recherche

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 dégradé 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.

Encadrement

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.

Extrait de publications


Colette Johnen, Lisa Higham. Fault-tolerant implementations of regular registers by safe registers. Vijay Garg, Roger Wattenhofer, Kishore Kothapalli. 10th International conference on Distributed Computing and Networking, ICDCN 2009, Jan 2009, Hyderabad, India. Springer, 5408, pp.337-348, 2009, LNCS.

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.

Colette Johnen, Fouzi Mekhaldi. Robust Self-Stabilizing Construction of Bounded Size Weight-Based Clusters. Pasqua D'Ambra, Mario Rosario Guarracino, Domenico Talia. 16th International Parallel Processing Conference (Euro-Par 2010), Aug 2010, Ischia, Italy. Springer, 6271, pp.535-546, 2010, LNCS.

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.

Colette Johnen, Le Huy Nguyen. Robust self-stabilizing weight-based clustering algorithm. Theoretical Computer Science, Elsevier, 2009, 410 (6-7), pp.581-594.


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.

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.


Page mise à jour le 13/08/2010 à 10:56