IRIT - UMR 5505

English
CNRS
INPT
UPS
UT1
UTM
  Bandeau IRIT
 

  Bonenfant Armelle


  Statut : Permanent
  Service / Equipe :  groupe de Recherche en Architecture et Compilation pour les Systèmes EmbarquĂ©s
  Contact : bonenfant@irit.fr
  Localisation : IRIT2 / Niveau 4, Pièce: 467
  TĂ©lĂ©phone : 05 61 55 6360
  Publications : Publications

 

 

 

Recherche

 Thèmes de recherche

Bornes de boucles, Langage d'annotation, Chemins infaisables, Calcul Worst-Case Execution Time, Analyse Statique, Modèle de coût, Interprétation abstraite, Systèmes embarqués...

 Recherches actuelles

  • Analyse statique des bornes de boucles
  • Langage d'annotations
  • ANR W-SEPT AmĂ©lioration de la prĂ©cision du WCET en prenant en compte le haut niveau (mĂ©thodes de design) et le code C (analyse statique).

 Parcours de recherche

 Collaborations

  • University of St Andrews
  • Technical University of Vienna
  • Verimag, Grenoble et Inria (ALF), Rennes et Continental, Toulouse

 

Haut de page

 

Enseignement

La majorité de mes enseignements se fait sur la programmation et l'algorithmique. En master, j'interviens sur l'aspect compilation et analyse statique.

Licence

  • Licence 1 SFA : Ada
  • Licence 2 Informatique : Architecture
  • Licence 3 Informatique : Projet de Programmation
  • IUP STRI (L3) : JAVA

Master

  • Master 1 Informatique : Traduction des Langages
  • Master 2 Informatique CAMSI : Architecture matĂ©rielle/logicielle
Pour plus de détails, se rendre sur la plateforme Moodle.

 

Haut de page