Encadrement de la Recherche  -  Former PhD Students (partial list)

Les thèses de doctorat suivantes ont été soutenues sous ma direction à: UJF & INPG-Grenoble, Université Aix-Marseille (entre parenthèses droites les fonctions actuelles des anciens doctorants).

Victor German Sanchez Arias, 1984 "Un noyau pour systèmes répartis"; [Prof. l'UNAM ; chercheur LANIA, Mexique]

Cécile Roisin, 1985 "Spécification de protocoles de communication à l'aide de CSP" [MdC, U2-Grenoble]

Michel Riveill, 1987 "CONKER: noyau pour systèmes de processus communicants"; [PR à l’UNSA-Nice]

Jacques Eudes, 1990 "PDS: un environnement de développement de programmes parallèles" [IR à l’UJF]

Philippe Waille, 1991 "Architectures Parallèles à Connectique Programmable: Reconfiguration et Routage"; [MC –UJF Grenoble]

Yves Langué, 1991 “Parx: Architecture de noyau de Système d'Exploitation Parallèle”; [Dir. Entreprise]

Néstor Gonzalez, 1991 “Parx: Noyau de système pour les ordinateurs massivement parallèles; contrôle de la communication entre processus”,  [Prof. Univ. Santiago de Chile]

Xiaobo Philippe Yu, 1992 "Un système formel de transformation de programmes pour exécution sur machines parallèles"; [R&D, Ericson France]

El-Ghazali. Talbi, 1993 "Allocation de processus sur architectures parallèles à mémoire distribuée";[Prof. Univ. Lille]

François Menneteau, 1993 "ParObj, un noyau pour système parallèle à objets", [R&D Industrie]

Léon Mugwaneza, 1993 "Contrôle des communications dans les machines parallèles à mémoire distribuée: contribution au routage automatique des messages”, [MdC-ESIL Marseille]

Ahmed Elleuch, 1994 “Migration des processus dans les Systèmes Massivement Parallèles”, [MdC ENSI Tunis]

Harold Castro, 1995 “Entrées-Sorties dans les Systèmes Massivement Parallèles”, [prof. Univ. des Andes]

Leila Baccouche, 1995 “Mécanisme d'ordonnancement distribué de tâches temps-réel dans les systèmes parallèles”,  [enseignante Univ. Tunis]

Alba de Melo Balaniuk, 1996 “Modèles de cohérence multiples pour machines virtuelles à mémoire distribuée dans les architectures massivement parallèles”, [prof. Universidade de Brasilia]

Robert Despons, 96 “Conception d'une Machine Virtuelle pour Systèmes Parallèles à Diffusion”[R&D]
Christophe Aussagues, 1998 “Placement optimal de tâches pour systèmes parallèles temps critiques; application à un système de contrôle nucléaire”, 
[IR CEA LIST-Saclay]

Stéphane Rivas, 1999 “Communications adaptatives dans les réseaux généraux”,  [R&D]

Cristian ENE, 2001 “Un modèle formel pour les systèmes mobiles à diffusion”,  [MdC-UJF Grenoble]

Ludovic CASSET, 2002 “Construction correcte de logiciels pour cartes-à-puce ; développement formel d’un vérifieur de byte code Java à l’aide de la Méthode B”, [R&D, PSA]

Javier GARMENDIA-TORRES, 2003 "MobiRouting : Un modèle de routage pour réseaux mobiles" [R&D Cegetel]

Jean-Louis LANET, HdR 2004 " Produire des Logiciels Sûrs; Contribution pour la construction de systèmes enfouis – Application aux cartes-à-puce", [Prof. Univ. Limoges]

Laurent BOBELIN, 2008 « Tomographie depuis plusieurs sources vers multiples destinations dans les réseaux de grilles informatiques haute performances » (CR CNRS Lyon)
Olivier FAURAX, 2008 « Modèle et Simulateur pour Attaques en Fautes des Cartes à Puces », [R&D]

Laurent VALLET, 2012 «Contribution au renforcement de la protection de la vie privée ; Application à l'édition collaborative et anonyme des documents »

Irfana MEMON, 2013, "Energy efficient secure and privacy preserving data aggregation in Wireless Sensor Networks" (enseignante universitaire Pakistan)

 

On-going PhD candidates (>2010):

Alexandre ANTUNES

Kévin ATIGHEHCHI

Gabriel RISTERUCCI

Rick GHANEM