A Graph Transformation Approach for Testing Timed Systems. - Hiba Hachichi; Ilham Kitouni; Kenza Bouaroudj; Djamel-Eddine Saïdouni (ICIST, 2012)

A Graphical Tool for Testing Timed Systems based on Meta- Modeling and Graph Grammars - Hiba Hachichi; Ilham Kitouni; Kenza Bouaroudj; Djamel-Eddine Saïdouni (CoRR, 2012)

Extending Refusal Testing by Stochastic Refusals for Testing Non-deterministic Systems - Kenza Bouaroudj; Ilham Kitouni; Hiba Hachichi; Djamel-Eddine Saïdouni (CoRR, 2012)

Testing Stochastic Systems Using MoVoS Tool: Case Studies. - Kenza Bouaroudj; Djamel-Eddine Saïdouni; Ilham Kitouni (ICIST, 2013)

Forward Analysis of Timed Automata with Action Durations: Theory and Implementation. - Souad Guellati; Ilham Kitouni; Riadh Matmat; Djamel-Eddine Saïdouni (CyberC, 2014)

Maximality-based Region Graph: A Novel Alternative. - Riadh Matmat; Ilham Kitouni; Souad Guellati; Djamel-Eddine Saïdouni (ICAASE, 2014)

Timed Automata with Action Durations - From Theory to Implementation. - Souad Guellati; Ilham Kitouni; Riadh Matmat; Djamel-Eddine Saïdouni (ICIST, 2014)

True Concurrency Semantics: Towards a Verification of Timed Systems. - Souad Guellati; Ilham Kitouni; Riadh Matmat; Djamel-Eddine Saïdouni (Int. J. Embed. Real Time Commun. Syst., 2014)

Relative Timed Model for Coordinated Multi Agent Systems. - Said Layadi; Jean-Michel Ilié; Ilham Kitouni; Djamel-Eddine Saïdouni (CIIA, 2015)

Formal testing theory of stochastic systems under maximality semantics. - Kenza Bouaroudj; Djamel-Eddine Saïdouni; Ilham Kitouni (Int. J. Comput. Aided Eng. Technol., 2015)

Two-Level Data Collection for an Energy-Efficient Solution in Wireless Sensor Networks: Multi-Agent System Approach. - Besma Benaziz; Okba Kazar; Laid Kahloul; Ilham Kitouni; Samir Bourekkache (Int. J. Agric. Environ. Inf. Syst., 2016)

Relative time rates in dynamic timed automata. - Said Layadi; Ilham Kitouni; Nabil Belala; Djamel-Eddine Saïdouni (Int. J. Commun. Networks Distributed Syst., 2016)

Towards an Optimal Generation of Zones Graph Relating Timed Bisimulation Relation and Distribution. - Riadh Matmat; Ilham Kitouni; Djamel-Eddine Saïdouni (Int. J. Distributed Syst. Technol., 2016)

Open Fuzzy Synchronized Petri Net: Formal Specification Model for Multi-agent Systems. - Sofia Kouah; Djamel-Eddine Saïdouni; Ilham Kitouni (Int. J. Intell. Inf. Technol., 2016)

An Interaction-Centric Approach to Support Coordination in IoT-Based Enterprise Systems. - Djamel Benmerzoug; Fouzi Lezzar; Ilham Kitouni (ICIC (3), 2017)

A GRC-Centric Approach for Enhancing Management Process of IoT-Based Health Institution. - Fouzi Lezzar; Djamel Benmerzoug; Ilham Kitouni; Aomar Osmani (MSPN, 2017)

Internet of Things Agents Diagnosis Architecture : Application to Healtcare IoT System. - Sofia Kouah; Ilham Kitouni (ICAASE, 2018)

Multi-Layer Agent Based Architecture for Internet of Things Systems. - Sofia Kouah; Ilham Kitouni (J. Inf. Technol. Res., 2018)

Smart Agricultural Enterprise System Based on Integration of Internet of Things and Agent Technology. - Ilham Kitouni; Djamel Benmerzoug; Fouzi Lezzar (J. Organ. End User Comput., 2018)

An Approach Based Natural Language Processing for DNA Sequences Encoding Using the Global Vectors for Word Representation. - Brahim Matougui; Hacene Belhadef; Ilham Kitouni (IRICT, 2020)

IoT for Monitoring and Control of Water Quality Parameters. - Fouzi Lezzar; Djamel Benmerzoug; Ilham Kitouni (Int. J. Interact. Mob. Technol., 2020)

IDT: An incremental deep tree framework for biological image classification. - Wafa Mousser; Salima Ouadfel; Abdelmalik Taleb-Ahmed; Ilham Kitouni (Artif. Intell. Medicine, 2022)

Internet of Things Based Smart Healthcare System. - Sofia Kouah; Abdelghani Ababsa; Ilham Kitouni (NiDS (1), 2023)

Enhancing Container Runtime Security: A Case Study in Threat Detection. - Amina Eldjou; Moahmed Elhadi Amoura; Mohcene Soltane; Meriem Belguidoum; Samir Bennacer; Ilham Kitouni (TACC, 2023)

Quality evaluation of commercially available healthcare applications for prostate cancer management. - Kenza Bouaroudj; Ilham Kitouni; Abdelmouhsen Lechekhab; Zinelabidine Leghelimi; Issam Kara (Multim. Tools Appl., 2023)