Répertoire des expertises

Vous êtes ici

Retour aux résultats de recherche
Hanifa Boucheneb
Doct. d'État (U.S.T.H.B., Alger), sous la direction Gérard Berthelot (CNAM-Paris

Intérêts de recherche et affiliations

Intérêts de recherche
  • Modélisation et vérification de systèmes temps réel, de politiques 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

Affiliation(s)
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
Chapitre de livre
Ould-Yahia, Y., Banerjee, S., Bouzefrane, S. & Boucheneb, H. (2017). Exploring Formal Strategy Framework for the Security in IoT towards e-Health Context using Computational Intelligence. Dans Internet of Things and Big Data Technologies for Next Generation Healthcare (Vol. 23, p. 63-90). Tiré de https://doi.org/10.1007/978-3-319-49736-5_4
Communication de conférence
Boucheneb, H., Lime, D., Parquier, B., Roux, O.H. & Seidner, C. (2017). Optimal reachability in cost time Petri nets. Communication présentée à 15th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2017), Berlin, Germany (p. 58-73). Tiré de https://doi.org/10.1007/978-3-319-65765-3_4
Communication de conférence
Yassin, M., Ould-Slimane, H., Talhi, C. & Boucheneb, H. (2017). SQLIIDaaS: A SQL injection intrusion detection framework as a service for SAAS providers. Communication présentée à 4th IEEE International Conference on Cyber Security and Cloud Computing (CSCloud 2017), New York, New York (p. 163-170). Tiré de https://doi.org/10.1109/CSCloud.2017.27
Communication de conférence
Barkaoui, K., Boucheneb, H., Mili, A. & Tahar, S. (2017). Verification and evaluation of computer and communication systems. Communication présentée à 11th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2017), Montreal, QC, Canada (p. 3-4). Tiré de https://doi.org/10.1007/978-3-319-66176-6

Enseignement

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

Encadrement à Polytechnique

TERMINÉ

  • Thèse de doctorat (6)

    • Gholami, M.-R. (2016). Verifying Timed LTL Properties Using Simulink Design Verifier (Thèse de doctorat, École Polytechnique de Montréal). Tiré de http://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 http://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 http://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 http://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 (9)

    • 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). Tiré de http://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 http://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 http://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 http://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 http://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).