Les Thèses réalisées dans le cadre du projet

Thèses soutenues

Quelques propositions de solutions pour la sécurité des réseaux de capteurs sans fil
Wassim ZNAIDI (CITI, INRIA-Planète)
Thèses soutenue: 15 Oct 2010
Encadrants: Marine Minier (CITI Lyon), Claude Castelluccia (INRIA Planète Grenoble)

Méthodes et outils pour l'ingénierie à base de composants embarqués
Mohamed Yassin CHKOURI (VERIMAG)
Thèse soutenue: 07Avril 2010
Encadrant: Joseph Sifakis (VERIMAG UJF Grenoble)




Thèses en cours

Machine virtuelle pour la radio cognitive
Nom : Mickaël Daradaillon (Laboratoire CITI)
Début : Octobre 2011
Encadrants: Tanguy Risset (CITI/Insa-lyon), Antoine Fraboulet (HiKoB/CITI/Insa-Lyon) et Jérôme Martin (CEA Grenoble)

Générateurs de suites binaires aléatoires sécurisés enfouis dans des circuits logiques asynchrones
Karim CHERKAOUI
Démarrage en 2010
Encadrants: Viktor Fisher (Laboratoire Hubert Curien), Laurent Fesquet (Laboratoire TIMA) et Alain Aubert (Laboratoire Hubert Curien)

Impact de la technologie des NoC sur les performances système dans un contexte de co-design mixte optique/CMOS
Yun Jie WU (Grenoble-INP/GIPSA Lab)
Démarrage en 2009
Encadrant: D. Houzet (GIPSA) et I. O'Connor (INL)

Modélisation et validation de services domotiques
Yves GRASLAND (LCIS/CTSYS & LIG/VASCO)
Démarrage en 2009
Encadrants: I. Parissis (LCIS) et R. Groz (LIG)

Génération automatique d'architectures efficaces pour des algorithmes d'imagerie multispectrale
Junyan TAN (TIMA-LaHC)
Démarrage: Oct 2008
Encadrants: Virginie Freysse (LHC St Etienne), Frédéric Rousseau (TIMA Grenoble)

Spécification de systèmes en langage naturel
Muhammad HUMAYOUN (LAMA, LIP)
Démarrage: Oct 2006
Encadrants: Christophe Raffali (LAMA Savoie), Aarne Ranta (Chalmers, Suède)

Génération de code embarqué tolérant aux fautes basé sur des modèles pour des plateformes réparties et hétérogènes
Mouaiad ALRAS (VERIMAG/INRIA Pop-Art)
Démarrage: Oct 2006
Encadrants: Pascal Raymond (VERIMAG), Alain Girault (INRIA Grenoble)