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)

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; Naïma Souâd Ougouti (ICSOFT (Selected Papers), 2020)

On the Improvement of R-TNCESs Verification using Distributed Cloud-based Architecture. - Chams Eddine Choucha; Mohamed Oussama Ben Salem; Mohamed Khalgui; Laid Kahloul; Naïma Souâd Ougouti (ICSOFT, 2020)

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

Enhancing Cardiac Arrest Prediction with Neural Networks. - Chams Eddine Choucha; Mohamed Ridda Laouar (PAIS, 2024)