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
Communication de conférence
Boucheneb, H., Barkaoui, K., Xing, Q., Wang, K., Liu, G. & Li, Z. (2022). Time based deadlock prevention for Petri nets. Automatica, 137, 11 pages. Tiré de https://doi.org/10.1016/j.automatica.2021.110119
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. Tiré de https://doi.org/10.1007/s11334-020-00358-3
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. Communication présentée à 12th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2020) (p. 202-209). Tiré de https://doi.org/10.5220/0010110902020209
Kuangze, W., Boucheneb, H., Barkaoui, K. & Zhiwu, L. (2020). Towards Efficient Partial Order Techniques for Time Petri Nets. Communication présentée à 14th International Conference, on Verification and Evaluation of Computer and Communication Systems (VECoS 2020), Xi'an, China (p. 100-115). Tiré de https://doi.org/10.1007/978-3-030-65955-4_8
Enseignement
Systèmes d'exploitation. Systèmes temps réel. Langages de programmation. Structures de données.
Encadrement à Polytechnique
TERMINÉ
-
Thèse de doctorat (8)
- 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). Tiré de https://publications.polymtl.ca/3986/
- 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). Tiré de https://publications.polymtl.ca/3695/
- Gholami, M.-R. (2016). Verifying Timed LTL Properties Using Simulink Design Verifier (Thèse de doctorat, École Polytechnique de Montréal). Tiré de 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 (Thèse de doctorat, École Polytechnique de Montréal). Tiré de https://publications.polymtl.ca/1542
- 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). Tiré de 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 (Thèse de doctorat, École Polytechnique de Montréal). Tiré de 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 (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). Tiré de 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 (Mémoire de maîtrise, École Polytechnique de Montréal). Tiré de 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) (Mémoire de maîtrise, École Polytechnique de Montréal). Tiré de 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 (Mémoire de maîtrise, École Polytechnique de Montréal). Tiré de 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 (Mémoire de maîtrise, École Polytechnique de Montréal). Tiré de https://publications.polymtl.ca/1654
- Amadou, M. (2009). Modèle de placement pour des architectures nano-composantes (Mémoire de maîtrise, École Polytechnique de Montréal). Tiré de 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 (Mémoire de maîtrise, École Polytechnique de Montréal). Tiré de https://publications.polymtl.ca/140
- 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).
