Hanifa Boucheneb
Doct. d'État (U.S.T.H.B., Alger), sous la direction Gérard Berthelot (CNAM-Paris)
Full Professor
Department of Computer Engineering and Software Engineering
Department of Computer Engineering and Software Engineering
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
Journal article
Journal article
Conference paper
Ould-Yahia, Y., Yacoub, M., Bouzefrane, S., & Boucheneb, H. (2024). Self-organised map and trust-aware-based quality of service prediction for reliable services selection in distributed computing environment. International Journal of Advanced Intelligence Paradigms, 28(1-2), 169-192.
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, 35(13), 9739-9751.
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.
Parrot, R., Boucheneb, H., Briday, M., & Roux, O. H. (2022, September). Expressiveness and analysis of Delayable Timed Petri Net [Paper]. 16th IFAC Workshop on Discrete Event Systems (WODES 2022), Prague, Czech Republic. Published in IFAC PapersOnLine, 55(28).
See all publications (94)
Teaching
Systèmes d'exploitation. Systèmes temps réel. Langages de programmation. Structures de données.
Supervision at Polytechnique
COMPLETED
-
Ph.D. Thesis (9)
- El Fatimi, L. (2023). Détection, prédiction et classification des tumeurs cérébrales basées sur les modèles formels et l'apprentissage en profondeur [Ph.D. thesis, Polytechnique Montréal].
- 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].
- 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].
- Gholami, M.-R. (2016). Verifying Timed LTL Properties Using Simulink Design Verifier [Ph.D. thesis, École Polytechnique de Montréal].
- 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].
- 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].
- 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].
- 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].
- El Fatimi, L. (2023). Détection, prédiction et classification des tumeurs cérébrales basées sur les modèles formels et l'apprentissage en profondeur [Ph.D. thesis, Polytechnique Montréal].
-
Master's Thesis (11)
- Habibzadeh Motlagh, A. (2021). Detection, Classification, and Modeling Evaluation of Network Intrusions [Master's thesis, Polytechnique Montréal].
- 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].
- Ben Chahed, S. (2015). Mise en oeuvre des aspects de gestion des réseaux définis par logiciels (réseaux SDN) [Master's thesis, École Polytechnique de Montréal].
- 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].
- 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].
- Amadou, M. (2009). Modèle de placement pour les architectures nano-composantes [Master's thesis, École Polytechnique de Montréal].
- 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'éditions collaboratives distribuées [Master's thesis, École Polytechnique de Montréal].
- 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].
- Habibzadeh Motlagh, A. (2021). Detection, Classification, and Modeling Evaluation of Network Intrusions [Master's thesis, Polytechnique Montréal].