Hanifa Boucheneb
Doct. d'État (U.S.T.H.B., Alger), sous la direction Gérard Berthelot (CNAM-Paris)
Professeure titulaire
Département de génie informatique et génie logiciel
Département de génie informatique et génie logiciel
Intérêts de recherche et affiliations
Intérêts de recherche
- Modélisation et vérification de systèmes temps réel, de systèmes de sécurité, de systèmes d'édition collaborative et de workflow.
- Model-checking de modèles temporisés
- Techniques d'ordre partiel
- Techniques d'abstraction
- Software model-checking, synthèse de contrôleurs
Type(s) d'expertises (sujets CRSNG)
- 2705 Logiciels et développement
- 2706 Génie logiciel
- 2714 Mathématiques de l'informatique
- 2720 Logiciel de systèmes informatiques
Publications
Publications récentes
Article de revue
Article de revue
Communication de conférence
Article de revue
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. (septembre 2022). Expressiveness and analysis of Delayable Timed Petri Net [Communication écrite]. 16th IFAC Workshop on Discrete Event Systems (WODES 2022), Prague, Czech Republic. Publié dans IFAC PapersOnLine, 55(28).
Boucheneb, H., Barkaoui, K., Xing, Q., Wang, K.Z., Liu, G.Y., & Li, Z.W. (2022). Time based deadlock prevention for Petri nets. Automatica, 137, 110119 (11 pages).
Enseignement
Systèmes d'exploitation. Systèmes temps réel. Langages de programmation. Structures de données.
Encadrement à Polytechnique
TERMINÉ
-
Thèse de doctorat (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 [Thèse de doctorat, Polytechnique Montréal].
- Yassin, M. (2019). Services de sécurité inter-locataire et multi-locataire pour les logiciels en tant que service [Thèse de doctorat, Polytechnique Montréal].
- Bande, M. (2018). Consistance et protection des données dans les systèmes collaboratifs par les méthodes formelles [Thèse de doctorat, École Polytechnique de Montréal].
- Gholami, M.-R. (2016). Verifying Timed LTL Properties Using Simulink Design Verifier [Thèse de doctorat, É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 [Thèse de doctorat, École Polytechnique de Montréal].
- Heidari, P. (2012). A Forward On-The-Fly Approach for Safety and Reachability Controller Synthesis of Timed Systems [Thèse de doctorat, É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 [Thèse de doctorat, É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 [Thèse de doctorat, École Polytechnique de Montréal].
- Hadjidj, R. (2006). Analyse et validation formelle des systèmes temps réel [Thèse de doctorat, École Polytechnique de Montréal].
-
Mémoire de maîtrise (11)
- Habibzadeh Motlagh, A. (2021). Detection, Classification, and Modeling Evaluation of Network Intrusions [Mémoire de maîtrise, 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 [Mémoire de maîtrise, É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) [Mémoire de maîtrise, É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 [Mémoire de maîtrise, É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 [Mémoire de maîtrise, École Polytechnique de Montréal].
- Amadou, M. (2009). Modèle de placement pour les architectures nano-composantes [Mémoire de maîtrise, É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 [Mémoire de maîtrise, École Polytechnique de Montréal].
- Chen, L. (2005). Verification approach for compositional hierarchical time Petri-nets [Mémoire de maîtrise, É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 [Mémoire de maîtrise, École Polytechnique de Montréal].
- Ouardani, A. (2004). Sécurité des agents mobiles : protocole sécuritaire à base d'agents sédentaires coopérants [Mémoire de maîtrise, É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 [Mémoire de maîtrise, École Polytechnique de Montréal].
- Habibzadeh Motlagh, A. (2021). Detection, Classification, and Modeling Evaluation of Network Intrusions [Mémoire de maîtrise, Polytechnique Montréal].
