Polytechnique > Recherche > Répertoire > Un professeur ou chercheur

Répertoire des expertises

Photo de Hanifa Boucheneb

Hanifa Boucheneb

Professeure titulaire
Département de génie informatique et génie logiciel

Recherche

Intérêts de recherche

  • Modélisation et vérification de systèmes temps réel, de politiques de sécurité, de systèmes d'édition collaborative et de workflow.
  • Model-checking de modèles temporisés
  • Techniques d'ordre partiel
  • Techniques d'abstraction
  • Software model-checking, synthèse de contrôleurs

Unité(s) de recherche

Sujets CRSNG

  • 2706 Génie logiciel
  • 2720 Logiciel de systèmes informatiques
  • 2705 Logiciels et développement
  • 2714 Mathématiques de l'informatique

 

© École Polytechnique de Montréal
Bottin | Plan du site | Recherche | Conditions