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

Publications

Recent publications
Journal article
Barkaoui, K., Boucheneb, H. & Li, Z. (2020). Exploiting local persistency for reduced state-space generation. Innovations in Systems and Software Engineering, 16(2), 181-197. Retrieved from https://doi.org/10.1007/s11334-020-00358-3
Conference paper
Moreno-Jimenez, L.-G., Torres-Moreno, J.-M., Boucheneb, H. & Wedemann, R.S. (2020). FLE : A fuzzy logic algorithm for classification of emotions in literary corpora. Paper presented at the 12th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2020) (pp. 202-209). Retrieved from https://doi.org/10.5220/0010110902020209
Conference paper
Kuangze, W., Boucheneb, H., Barkaoui, K. & Zhiwu, L. (2020). Towards Efficient Partial Order Techniques for Time Petri Nets. Paper presented at the 14th International Conference, on Verification and Evaluation of Computer and Communication Systems (VECoS 2020), Xi'an, China (pp. 100-115). Retrieved from https://doi.org/10.1007/978-3-030-65955-4_8
Journal article
Yassin, M., Talhi, C. & Boucheneb, H. (2019). ITADP: An inter-tenant attack detection and prevention framework for multi-tenant SaaS. Journal of Information Security and Applications, 49, 15 pages. Retrieved from https://doi.org/10.1016/j.jisa.2019.102395

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).