Ikram Saadaoui - MEDTECH - Private University

Qualifications: PhD in Intelligent Science and Systems, Macau University of Science and Technology, China + Engineering Degree in Software Engineering, National Institute of Applied Science and Technology (INSAT), Tunis, Tunisia

Biography

Ikram Saadaoui is an Assistant Professor at the Mediterranean Institute of Technology (MedTech), Tunisia. She holds a PhD in Intelligent Science and Systems from Macau University of Science and Technology, China, and an engineering degree in Software Engineering from INSAT, Tunis. Her research focuses on the security of discrete event systems and formal verification methods.

Areas of Expertise

Software Engineering Formal Verification Methods Discrete Event Systems Security of Networked Systems

Research Interest

Supervisory Control of Discrete Event Systems Security of Networked Systems

Publications

Labed A., Saadaoui I., E H., El-Meligy M.A., Li Z., & Sharaf M. (2023). Language recovery in discrete-event systems against sensor deception attacks. Mathematics, 11(10), 2313.
Saadaoui I., Labed A., Li Z., El-Sherbeeny A.M., & Du H. (2023). Language-based opacity verification in partially observed Petri nets through linear constraints. Mathematics, 11(18), 3880.
Labed A., Saadaoui I., Wu N., Yu J., & Li Z. (2022). Current-state opacity verification in discrete-event systems using an observer net. Scientific Reports, 12(1), 21572.
Saadaoui, Ikram, Zhiwu Li, and Naiqi Wu. Current-state opacity modelling and verification in partially observed Petri nets. Automatica 116 (2020): 108907.
Saadaoui, I., Z. Li, N. Wu, and M. Khalgui. Depth-first search approach for language-based opacity verification using Petri nets. IFAC-PapersOnLine 53, no. 4 (2020): 378-383.

Courses

Data Structures
Introduction to Operating Systems
Operating Systems
System Programming
Software Analysis & Design
Object-Oriented Design