ANCIENS DOCTORANTS
:
Victor Sanchez, 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
Xiaobo
Philippe Yu, 1992 "Un système formel de transformation de
programmes pour
exécution sur
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:
Ahmed
Elleuch, 1994 “Migration des processus dans les
Systèmes Massivement
Parallèles”,
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
Alba de
Melo Balaniuk, 1996 “Modèles de cohérence
multiples pour machines virtuelles à
mémoire
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;
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
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
Olivier
FAURAX, 2008 « Modèle et
Simulateur pour Attaques en Fautes des Cartes à
Puces », [R&D]
Laurent
BOBELIN, 2008 « Tomographie depuis plusieurs
sources vers multiples
destinations dans les réseaux de grilles informatiques haute
performances » (CR CNRS Lyon)