| 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 |