Emplois & stages


2015


  • [PhD octobre 2015] Exploration et optimisation d'architecture logicielle pour les applications temps-réel embarquées / Exploration and optimization of software architecture for real-time embedded applications (FR,EN)
  • [Ingénieur/Master II 2014-2015] Définition d'un DSL (Langage dédié domaine) avionique dans BIP (PDF )
  • [Ingénieur/Master II 2014-2015] Génération de code d'une application temps réel embarquées à partir d'un langage de modélisation de haut niveau (PDF )

2014


  • [Ingénieur 2013-2014] Génération de code d'une application temps réel embarquées à partir d'un langage de modélisation de haut niveau (PDF )

2012


  • [Master 2R 2011-2012] Formalisation de la stratégie de génération de structure des tâches d’une application temps réel embarquée: une approche basée sur le modèle d’agents OASIS (PDF )
  • [Master 2R 2011-2012] Test et généralisation du langage de description de sémantique du plateforme d’analyse statique du code pour supporter divers RTOS (PDF )
  • [PhD octobre 2012] Génération d'une application multitâche temps-réel à partir de spécifications de haut-niveau (sujet)
  • [PhD octobre 2012] Validation des spécifications des applications temps-réel (sujet)