Polytechnique > Research > Directory > A professor or researcher

Directory of Expertises

Photo of Hanifa Boucheneb

Hanifa Boucheneb

Department of Computer Engineering


Research interests

  • Modeling and verification of real-time systems, security policies, systems and collaborative editing and workflow.
  • Model-checking techniques for timed models
  • Partial order techniques
  • Abstraction techniques
  • Software model-checking, controller synthesis

Research unit(s)

NSERC subjects

  • 2706 Software engineering
  • 2720 Computer systems software
  • 2705 Software and development
  • 2714 Mathematics of computing


© École Polytechnique de Montréal
Find Peoble or units | Site plan | Key word search | Conditions(*) this link leads to a section in french.