Automatic Properties Classification Approach for Guiding the Verification of Complex Reconfigurable Systems. - Mohamed Ramdani 001; Laid Kahloul; Mohamed Khalgui (ICSOFT, 2018)

On Improved Verification of Reconfigurable Real-Time Systems. - Yousra Hafidi; Laid Kahloul; Mohamed Khalgui; Mohamed Ramdani 001 (ENASE, 2019)

New Method to Reduce Verification Time of Reconfigurable Real-Time Systems Using R-TNCESs Formalism. - Yousra Hafidi; Laid Kahloul; Mohamed Khalgui; Mohamed Ramdani 001 (ENASE (Selected Papers), 2019)

R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable Systems. - Mohamed Ramdani 001; Laid Kahloul; Mohamed Khalgui; Yousra Hafidi (ENASE, 2019)

On Improving R-TNCES Rebuilding for Reconfigurable Real-Time Systems. - Mohamed Ramdani 001; Laid Kahloul; Mohamed Khalgui; Yousra Hafidi (ENASE (Selected Papers), 2019)

On Improving Parallel Rebuilding of R-TNCESs. - Mohamed Ramdani 001; Laid Kahloul; Mohamed Khalgui (ICSOFT, 2019)

On Decomposing Formal Verification of CTL-based Properties on IaaS Cloud Environment. - Chams Eddine Choucha; Mohamed Ramdani 001; Mohamed Khalgui; Laid Kahloul (ICSOFT, 2020)

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 001; Mohamed Khalgui; Laid Kahloul (ICSOFT (Selected Papers), 2020)

RCTL: New Temporal Logic for Improved Formal Verification of Reconfigurable Discrete-Event Systems. - Mohamed Ramdani 001; Laid Kahloul; Mohamed Khalgui; Zhiwu Li 001; MengChu Zhou (IEEE Trans Autom. Sci. Eng., 2021)

Decentralized Federated Learning Architecture for Networked Microgrids. - Ilyes Naidji; Chams Eddine Choucha; Mohamed Ramdani 001 (ICINCO (1), 2023)