| 2026 | ENASE | TrustTranslate: A Multi-Dimensional Framework for Trustworthy Emotion-Aware Machine Translation with Hallucination Detection, Bias Mitigation, and Green AI. | Nour El Houda Ben Chaabene, Laid Kahloul, Hamza Hammami, Mohamed Khalgui |
| 2022 | ENASE | New Energy Efficient and Fault Tolerant Methodology based on a Multi-agent Architecture in Reconfigurable Wireless Sensor Networks. | Hanene Rouainia, Hanen Grichi, Laid Kahloul, Mohamed Khalgui |
| 2022 | ICSoft | Reconfigurable Wireless Sensor Networks Simulator (RWSNSim): A New Discrete-event Simulator. | Hanene Rouainia, Hanen Grichi, Laid Kahloul, Mohamed Khalgui |
| 2022 | ICSoft | A New Simulation Tool for Sensor Networks Based on an Energy-Efficient and Fault-Tolerant Methodology. | Hanene Rouainia, Hanen Grichi, Laid Kahloul, Mohamed Khalgui |
| 2021 | CIT | Leveraging the Power of Machine Learning for Performance Evaluation Prediction in Wireless Sensor Networks. | Siham Zroug, Ikram Remadna, Laid Kahloul, Saber Benharzallah, Labib Sadek Terrissa |
| 2020 | ENASE | A Novel Approach for Repairing Reconfigurable Hierarchical Timed Automata. | Roufaida Bettira, Laid Kahloul, Mohamed Khalgui |
| 2020 | ENASE | Smart Grid Reconfiguration based on Prediction Model for Technical Teams Intervention Integration and Recovery Enhancement. | Leila Ziouche, Syrine Ben Meskina, Mohamed Khalgui, Laid Kahloul |
| 2020 | ICSoft | On Decomposing Formal Verification of CTL-based Properties on IaaS Cloud Environment. | Chams Eddine Choucha, Mohamed Ramdani, Mohamed Khalgui, Laid Kahloul |
| 2020 | ICSoft | On Improvement of Formal Verification of Reconfigurable Real-Time Systems Using TCTL and CTL-Based Properties on IaaS Cloud Environment. | Chams Eddine Choucha, Mohamed Ramdani, Mohamed Khalgui, Laid Kahloul |
| 2020 | ICSoft | R-TNCES State Space Generation Using Ontology-Based Method on a Distributed Cloud-Based Architecture. | Chams Eddine Choucha, Mohamed Oussama Ben Salem, Mohamed Khalgui, Laid Kahloul, Nama Soud Ougouti |
| 2020 | ICSoft | On the Improvement of R-TNCESs Verification using Distributed Cloud-based Architecture. | Chams Eddine Choucha, Mohamed Oussama Ben Salem, Mohamed Khalgui, Laid Kahloul, Nama Soud Ougouti |
| 2020 | ICSoft | 3D Mobility, Resizing and Mobile Sink Nodes in Reconfigurable Wireless Sensor Networks based on Multi-agent Architecture under Energy Harvesting Constraints. | Hanene Rouainia, Hanen Grichi, Laid Kahloul, Mohamed Khalgui |
| 2020 | ICSoft | Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL. | Sohaib Soualah, Yousra Hafidi, Mohamed Khalgui, Allaoua Chaoui, Laid Kahloul |
| 2020 | ICSoft | Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop. | Sohaib Soualah, Yousra Hafidi, Mohamed Khalgui, Allaoua Chaoui, Laid Kahloul |
| 2019 | ENASE | On Improved Verification of Reconfigurable Real-Time Systems. | Yousra Hafidi, Laid Kahloul, Mohamed Khalgui, Mohamed Ramdani |
| 2019 | ENASE | New Method to Reduce Verification Time of Reconfigurable Real-Time Systems Using R-TNCESs Formalism. | Yousra Hafidi, Laid Kahloul, Mohamed Khalgui, Mohamed Ramdani |
| 2019 | ENASE | R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable Systems. | Mohamed Ramdani, Laid Kahloul, Mohamed Khalgui, Yousra Hafidi |
| 2019 | ENASE | On Improving R-TNCES Rebuilding for Reconfigurable Real-Time Systems. | Mohamed Ramdani, Laid Kahloul, Mohamed Khalgui, Yousra Hafidi |
| 2019 | ICSoft | New Methodology for Backward Analysis of Reconfigurable Event Control Systems using R-TNCESs. | Yousra Hafidi, Laid Kahloul, Mohamed Khalgui |
| 2019 | ICSoft | Efficient Diagnosis of Reconfigurable Systems with Incorrect Behavior and Faulty Components: A Case Study on SGrids. | Yousra Hafidi, Laid Kahloul, Mohamed Khalgui |
| 2019 | ICSoft | On Improving Parallel Rebuilding of R-TNCESs. | Mohamed Ramdani, Laid Kahloul, Mohamed Khalgui |
| 2019 | SMC | Reconfigurable Hierarchical Timed Automata: Modeling and Stochastic Verification. | Roufaida Bettira, Laid Kahloul, Mohamed Khalgui, Zhiwu Li |
| 2019 | SMC | Smart Grid Rebuilding based on Cloud Computing Architecture. | Leila Ziouche, Syrine Ben Meskina, Mohamed Khalgui, Laid Kahloul, ZhiWu Li |
| 2018 | ICSoft | Automatic Properties Classification Approach for Guiding the Verification of Complex Reconfigurable Systems. | Mohamed Ramdani, Laid Kahloul, Mohamed Khalgui |
| 2017 | CoDIT | A new hybrid access control model for multi-domain systems. | Ben Attia Hasiba, Laid Kahloul, Saber Benharzallah |
| 2016 | VECoS | Statistical Model Checking of CSMA/CA in WSNs. | Zohra Hmidi, Laid Kahloul, Saber Benharzallah, Cherifa Othmane |
| 2015 | FNC | Wireless Sensor Networks for the Surveillance of Wide Date Palm Forests: (Specification and Verification Levels). | Laid Kahloul |
| 2010 | TASE | Modeling and Analysis of Reconfigurable Systems Using Flexible Petri Nets. | Laid Kahloul, Allaoua Chaoui, Karim Djouani |
| 2005 | AICCSA | Using AUML to derive formal modeling agents interactions. | Laid Kahloul, Kamel Barkaoui, Zadi Sahnoun |