| 2023 | ICINCO | Decentralized Federated Learning Architecture for Networked Microgrids. | Ilyes Naidji, Chams Eddine Choucha, Mohamed Ramdani |
| 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 |
| 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 | On Improving Parallel Rebuilding of R-TNCESs. | Mohamed Ramdani, Laid Kahloul, Mohamed Khalgui |
| 2018 | ICSoft | Automatic Properties Classification Approach for Guiding the Verification of Complex Reconfigurable Systems. | Mohamed Ramdani, Laid Kahloul, Mohamed Khalgui |