GECCOO
|
Résumé: Ce document présente le rapport à mi-parcours de l'ACI sécurité GECCOO. Il met en évidence les activités de collaboration ayant pris place au sein du projet, en particulier dans le développement de synergies entre les outils, l'étude des mêmes applications suivant les différentes approches. Il résume les principales avancées et conclut en indiquant les perspectives pour la fin du projet.
Bellegarde Françoise | Professeur |
Bouquet Fabrice | MCF |
Dadeau Frédéric | Doctorant (2ème année) |
Allocation ministère liée à l'ACI | |
Giorgetti Alain | MCF |
Groslambert Julien | Doctorant (1ère année) |
Allocation ministère | |
Julliand Jacques | Professeur |
Kouchnarenko Olga | MCF (HDR) |
Legeard Bruno | Professeur |
Masson Pierre-Alain | MCF |
Silvio Ranise | CR INRIA |
Calogero Zarba | Post-doc INRIA lié à l'ACI |
Gilles Barthe | DR INRIA |
Julien Charles | Stagiaire M2 Recherche 2005 |
Thibault Dupont | Stagiaire M2 Recherche 2005 |
Marieke Huisman | CR INRIA |
Nicolas Ayache | Stagiaire M2 Recherche 2005 |
Sylvain Conchon | MCF |
Evelyne Contejean | CR CNRS |
Jean-Christophe Filliâtre | CR CNRS |
Claude Marché | MCF |
Christine Paulin | Professeur |
Haddad Amal | Stagiaire M2 Recherche 2005 |
Didier Bert | CR CNRS |
Sylvain Boulmé | MDC Ensimag |
Marie-Laure Potet | MDC Ensimag |
Nicolas Stouls | Doctorant 2ème année |
BDI cofinancée STMicroelectronics |
Ce document a été traduit de LATEX par HEVEA