Thèses projet SEMBA

 Méthodes et outils pour l'ingénierie à base de composants embarqués
Doctorant : CHKOURI Mohamed Yassin
Directeur de thèse : J. Sifakis laboratoire VERIMAG UJF Grenoble
(2005)

Liste des publications

Génération de code embarqué tolérant aux fautes basé sur modèle pour des plateformes réparties et hétérogènes
Doctorant : Mouaiad Alras
Directeurs : P. Raymond VERIMAG UJF Grenoble
Co-directeur : A. Girault INRIA Rhône-Alpes
(2006)

Systèmes distribués et logiques
Doctorant : Muhammad Humayoun
Directeur : Ch. Raffali LAMA Université de Savoie
Co-directeur : Aarne Ranta,Chalmers (Suède)
(2006)

Gestion du risque et sécurisation de réseaux de capteurs de surveillance
Doctorant : Wassim Znaidi
Directeur : M. Minier, laboratoire CITI INSA Lyon
Co-directeur : Cl. Castelluccia, INRIA Rhône-Alpes
(2007)

Génération automatique d'architectures efficaces pour des algorithmes d'imagerie multispectrales
Doctorant : Tan Junyan
Directeur : Virginie Fresse, LHC Université J. Monnet St Etienne
Co-directeur : Frederic Rousseau, laboratoire TIMA INPGrenoble
(2008)