Langages et Atelier Intégré pour le Développement de Composants Embarqués Sûrs Ce projet est une ACI "Sécurité & Informatique"

Au menu Accueil / Home Participants Liens / Links Réunions Paris, ma. 07 Grenoble, ju. 06 Grenoble, sep. 05 Paris, mai 05 Grenoble, fév. 05 Paris, oct. 04 Documents Rapport à mi-parcours (html) (pdf) Poster présenté aux journées PaRI-STIC, nov. 2006 (format a4) (format a1) Publications

Liste des participants et des équipes impliquées LRI (Orsay) Marc Pouzet, (coordinateur) Professeur (MdC au LIP6 jusqu'à septembre 2005); Louis Mandel, doctorant (LIP6, jusqu'à octobre 2005); Florence Plateau, doctorante depuis septembre 2005, support MENRT. VERIMAG (Grenoble) Paul Caspi (DR CNRS); Florence Maraninchi (Professeur ENSIMAG); Pascal Raymond (CR CNRS); Erwan Jahier (IR CNRS); Louis Mandel, post-doctorant jusqu'à octobre 2006; David Stauch, doctorant. INRIA POPART (Grenoble) Pascal Fradet (CR INRIA); Alain Girault (CR INRIA); Gregor Goessler (CR INRIA); Massimo Tivoli (Post-doctorant depuis le 15 octobre 2005, financement INRIA); Gwenaël Delaval (Doctorant INPG depuis le 1 octobre 2004, bourse MENRT); INRIA Mimosa (Sophia-Antipolis) Frédéric Boussinot (CR Ecole des Mines). LAMI (Evry) Jean-Marc Delosme (Professeur); Bachir Djafri (Maitre de Conférences).