Directory of Experts
Back to search results
Edit my profile
Help
  Publications
  Link(s)
Hanifa Boucheneb
Doct. d'État (U.S.T.H.B., Alger), sous la direction Gérard Berthelot (CNAM-Paris)
  Publications
  Link(s)
Full Professor
Department of Computer Engineering and Software Engineering
Phone: (514) 340-4711 Ext. 4101 Fax: (514) 340-5139 Room: M-4107
Areas of expertise
Software and development Software engineering Mathematics of computing Computer systems software Cybersecurity

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

Publications

Recent publications
Journal article
El Fatimi, L. & Boucheneb, H. (2023). Tumor growth prediction and classification based on the KNN algorithm and discrete-time Markov chains (DTMC). Neural Computing and Applications, 13 pages. Retrieved from https://doi.org/10.1007/s00521-023-08212-w
Journal article
Ould-yahia, Y., Bouzefrane, S., Boucheneb, H. & Banerjee, S. (2022). A data-owner centric privacy model with blockchain and adapted attribute-based encryption for internet-of-things and cloud environment. International Journal of Information and Computer Security, 17(3-4), 261-84. Retrieved from https://doi.org/10.1504/IJICS.2022.122374
Conference paper
Parrot, R., Boucheneb, H., Briday, M. & Roux, O.H. (2022). Expressiveness and analysis of Delayable Timed Petri Net. Paper presented at the 16th IFAC Workshop on Discrete Event Systems (WODES 2022), Prague, Czech Republic. (Published in IFAC PapersOnLine, 55, 284-290). Retrieved from https://doi.org/10.1016/j.ifacol.2022.10.355
See all publications (91)

Teaching

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

Supervision at Polytechnique

COMPLETED

  • Ph.D. Thesis (8)

    • Yassin, M. (2019). Services de sécurité inter-locataire et multi-locataire pour les logiciels en tant que service (Ph.D. Thesis, Polytechnique Montréal). Retrieved from https://publications.polymtl.ca/3986/
    • Bande, M. (2018). Consistance et protection des données dans les systèmes collaboratifs par les méthodes formelles (Ph.D. Thesis, École Polytechnique de Montréal). Retrieved from https://publications.polymtl.ca/3695/
    • Gholami, M.-R. (2016). Verifying Timed LTL Properties Using Simulink Design Verifier (Ph.D. Thesis, École Polytechnique de Montréal). Retrieved from https://publications.polymtl.ca/2120/
    • Randolph, A.J.O. (2014). Convergence et sécurité d'accès dans les systèmes d'édition collaborative massivement répartis (Ph.D. Thesis, École Polytechnique de Montréal). Retrieved from https://publications.polymtl.ca/1542
    • Heidari, P. (2012). A Forward On-The-Fly Approach for Safety and Reachability Controller Synthesis of Timed Systems (Ph.D. Thesis, École Polytechnique de Montréal). Retrieved from https://publications.polymtl.ca/979
    • Rakkay, H. (2009). Approches formelles pour la modélisation et la vérification du contrôle d'accès et des contraintes temporelles dans les systèmes d'information (Ph.D. Thesis, École Polytechnique de Montréal). Retrieved from https://publications.polymtl.ca/123
    • Baaziz, A. (2008). Cadre global pour la coopération dans les réseaux ad hoc impliquant les fournisseurs de services (Ph.D. Thesis, École Polytechnique de Montréal).
    • Hadjidj, R. (2006). Analyse et validation formelle des systèmes temps réel (Ph.D. Thesis, École Polytechnique de Montréal).

  • Master's Thesis (11)

    • Habibzadeh Motlagh, A. (2021). Detection, Classification, and Modeling Evaluation of Network Intrusions (Master's Thesis, Polytechnique Montréal). Retrieved from https://publications.polymtl.ca/9091/
    • Hétier, G. (2018). Étendre la spécification de programmes C concurrents et les vérifier par une transformation de source à source (Master's Thesis, École Polytechnique de Montréal). Retrieved from https://publications.polymtl.ca/2965/
    • Ben Chahed, S. (2015). Mise en œuvre des aspects de gestion des réseaux définis par logiciels (réseaux SDN) (Master's Thesis, École Polytechnique de Montréal). Retrieved from https://publications.polymtl.ca/1924/
    • Moussa, M. (2014). Vérification et configuration automatiques de pare-feux par Model Checking et synthèse de contrôleur (Master's Thesis, École Polytechnique de Montréal). Retrieved from https://publications.polymtl.ca/1548
    • Weslati, M.K. (2014). Vers l'intégration de paramètres temporels statiques et dynamiques dans les techniques de vérification par ordre partiel (Master's Thesis, École Polytechnique de Montréal). Retrieved from https://publications.polymtl.ca/1654
    • Amadou, M. (2009). Modèle de placement pour des architectures nano-composantes (Master's Thesis, École Polytechnique de Montréal). Retrieved from https://publications.polymtl.ca/237
    • Najem, M. (2009). Model-checking symbolique pour la vérification de systèmes et son application aux tables de décision et aux systèmes d'étidtions collaboratives distribuées (Master's Thesis, École Polytechnique de Montréal). Retrieved from https://publications.polymtl.ca/140
    • Chen, L. (2005). Verification approach for compositional hierarchical time petri-nets (Master's Thesis, École Polytechnique de Montréal).
    • Rakkay, H. (2005). Modélisation et vérification du contrôle de flots d'information au moyen de réseaux de Pétri colorés temporisés (Master's Thesis, École Polytechnique de Montréal).
    • Ouardani, A. (2004). Sécurité des agents mobiles : protocole sécuritaire à base d'agents sédentaires coopérants (Master's Thesis, École Polytechnique de Montréal).
    • El Rhazi, A. (2003). Sécurité des agents mobiles : protocole sécuritaire basé sur un agent sédentaire parfaitement coopérant (Master's Thesis, École Polytechnique de Montréal).