Responsable

Permanents

Postdoctorants

  • David GRUENEWALD (Univ. Sydney)
  • Abdelaaziz EL HIBAOUI (Univ. Tanger-Tetouan)
  • Anna Rimoldi (Univ. Trento) : (Anna's seminars)

Doctorants actuels et passés :

ALUMNI & Anciens Doctorants

  • Antoine RAUZY, Chercheur CNRS, LIX-Laboratoire d'Informatique de l'Ecole Polytechnique
  • Jean-Louis LANET, HdR 2004 "Produire des Logiciels Sûrs; Contribution pour la construction de systèmes enfouis – Application aux cartes-à-puce", Professeur Univ. Limoges
  • Laurent BOBELIN, 2008 « Tomographie depuis plusieurs sources vers multiples destinations dans les réseaux de grilles informatiques haute performances » [ATER, UJF Grenoble]
  • Olivier FAURAX, 2008 « Modèle et Simulateur pour Attaques en Fautes des Cartes à Puces »,[R&D]
  • Javier GARMENDIA-TORRES, 2003 "MobiRouting : Un modèle de routage pour réseaux mobiles" [R&D]
  • 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]
  • Cristian ENE, 2001 “Un modèle formel pour les systèmes mobiles à diffusion”, [MdC-UJF Grenoble]
  • Stéphane Rivas, 1999 “Communications adaptatives dans les réseaux généraux” [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-Saclay]
  • 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 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]
  • El-Ghazali. Talbi, 1993 "Allocation de processus sur architectures parallèles à mémoire distribuée";[PR.-Polytech 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 Cristina Magalhaes Alves Melo, 1996 “Modèles de cohérence multiples pour machines virtuelles à mémoire distribuée dans les architectures massivement parallèles”, [prof. University of Brasilia - Department of Computer Science]
  • Robert Despons, 96 “Conception d'une Machine Virtuelle pour Systèmes Parallèles à Diffusion” [R&D]