Directory of Experts
Back to search results
Hanifa Boucheneb
Doct. d'État (U.S.T.H.B., Alger), sous la direction Gérard Berthelot (CNAM-Paris)

Research interests and affiliations

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
Expertise type(s) (NSERC subjects)
  • 2705 Software and development
  • 2706 Software engineering
  • 2714 Mathematics of computing
  • 2720 Computer systems software


Recent publications


Systèmes d'exploitation. Systèmes temps réel. Langages de programmation. Structures de données.

Supervision at Polytechnique