Établissement : École Nationale des Sciences Appliquées de Tan
ger– Université Abdelmalek Essaâdi
Département : Systèmes d’information et de communication
Laboratoire : Laboratoire des Technologies de l’Information et de
la Communication (LABTIC)
Email : h.belmokadem@uae.ac.ma
Maître de conférences au département Système d’Information et de Communication (SIC) de l’Ecole Nationale des Sciences Appliquées, Université Abdelmalek Essaâdi (UAE), depuis le septembre 2007. Grade : Professeur habilité à diriger des recherches (HDR).
MembrePermanent au Laboratoire des Technologies de l’Information et de la Communication (LabTIC).
• Chef dudépartement Systèmes d’information et de communication (SIC) depuis 2023.
• Membre du Conseil de l’Établissement del’ENSA de Tanger depuis 2023.
Membre depuis 2023 des commissions pédagogique, recherche et coopération, suivi
budgétaire, ainsi que du Conseil de coordination de l’ENSA de Tanger.
Habilitation à diriger des recherches (HDR) en informatique.
au Laboratoire Spécification et Vérification (LSV)
École Normale Supérieure de Cachan- CNRS UMR 8643
Sujet : “ Vérification de propriétés temporisées des automates programmables indus
triels”
Co-encadrée par Béatrice Bérard, Professeur à l’Université Paris Dauphine et François
Laroussinie, Maître de conférences à l’ENS de Cachan.
Qualification aux fonctions de maître de conférences en informatique par le Conseil national des universités.
DEAIntelligence Artificielle et Algorithmique, option Algorithmique, Uni
versité de Caen.
avril 2003–sept. 2003 : Stage de DEA au laboratoire GREYC de l’université de Caen
sur la détection d’intrusion, sous la direction de Brigitte Vallée.
DESS de mathématiques appliquées option Signal-Statistiques, Univer
sité de Caen.
Stage de DESS dans l’entreprise Valiosys à Caen sur la vérification formelle, sous la direction de Jean-Luc Lambert.
Maîtrise de mathématiques pures, Université de Caen.
Maître de conférences, École Nationale des Sciences Appli
quées de Tanger, Université Abdelmalek Essaâdi.
Attachée Temporaire d’Enseignement et de Recherche (ATER), Uni
versité Paris 7.
Monitrice d’enseignement (Chargée de TD/TP, Université Denis Dide
rot (Paris 7).
Enseignante Vacataire, Université de Caen.
2025 : Bouziane, I., Belmokadem, H., Moussaoui, M. (2025). Formal methods-based security for the Internet of Medical Things (IoMT). In Security and Privacy in IoMT : Challenges and Solutions (Book chapter). ISBN : 9788770041676 / 9788770041379. pp. 57–86. Elsevier.
2025 : El Jbari, M. Moussaoui, M., Rivenq, A. Bel Mokadem, H. (2025). Robust FD DFE equalization for optical OTFS-based NOMA multi user MIMO in visible light communication systems. Optics and Laser Technology, 190, 113214. https://doi.org/10.1016/j.optlastec.2025.113214
2017 : M. Achkari Begdouri, H. Bel Mokadem, M. EL Haddad, « Symbolique model checking for abstractiong inevitability modalities over transient states », International Journal of Control and Automation, vol. 10, No. 12, Decembre 2017. DOI : 10.14257/ijca.2017.10.12.04. http://www.sersc.org/jourals/IJCA/vol10_no12/4.pdf.
2010 : H. Bel Mokadem, B. Berard, V. Gourcuff, O. De Smet, JM. Roussel, «Verification of a Timed Multitask System With Uppaal », IEEE Transactions on Automation Science and Engineering, Vol. 7, No 4, pages 921- 932, 01 July 2010. https://ieeexplore.ieee.org/document/5499449/authors#authors
2023 :I. Bouziane, H.Belmokadem, et M.Moussaoui, A Review of Formal Security Verification of Common Internet of Things (IoT) Communication Protocols. In : 2023 7th IEEE Congress on Information Science and Technology (CiSt). IEEE, 2023. p.334-341.
2017 : M. Achkari Begdouri, H. Bel Mokadem, M. EL Haddad :« An optimal algorithm for abstracting the reachability modality over transient states », 6th International Conference on Innovation and News Trends in Information Systems (INTIS’ 2017), Casablanca, Morocco.
2015 : M. Achkari Begdouri, H. Bel Mokadem : « Verification of a timed concurrent system with uppaal », 11th International Pluridisciplinary Congress on Quality, De pendability and Sustainability (QUALITA’ 2015), Nancy, France, pages 50- 57. https://hal.archives ouvertes.fr/hal-01149806
2006 : H. Bel Mokadem, B. Bérard, P. Bouyer and F. Laroussinie. « Timed temporal logics for abstracting transient states ». In Proceedings of the 4th International Sym posium on Automated Technology for Verification and Analysis (ATVA’06), Beijing, ROC, October 2006, LNCS 4218. Springer.
2005 : H. Bel Mokadem, B. Bérard, V. Gourcuff, J.-M. Roussel and O. de Smet. « Verification of a timed multitask system with Uppaal ». In Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (ET FA’05), Catania, Italy, September 2005, pages 347-354. IEEE Industrial Electronics Society.
2005 : H. Bel Mokadem, B. Bérard, P. Bouyer and F. Laroussinie. «A New Modality for Almost Everywhere Properties in Timed Automata ». In Proceedings of the 16th In ternational Conference on Concurrency Theory (CONCUR’05), San Francisco, CA, USA, August 2005, LNCS 3653, pages 110-124. Springer.
