| Automatic Properties Classification Approach for Guiding the Verification of Complex Reconfigurable Systems. M Ramdani, L Kahloul, M Khalgui ICSOFT, 625-632, 2018 | 12 | 2018 |
| Rctl: New temporal logic for improved formal verification of reconfigurable discrete-event systems M Ramdani, L Kahloul, M Khalgui, Z Li, MC Zhou IEEE Transactions on Automation Science and Engineering 18 (3), 1392-1405, 2020 | 7 | 2020 |
| New method to reduce verification time of reconfigurable real-time systems using R-TNCESs formalism Y Hafidi, L Kahloul, M Khalgui, M Ramdani Evaluation of Novel Approaches to Software Engineering: 14th International …, 2020 | 5 | 2020 |
| On Decomposing Formal Verification of CTL-based Properties on IaaS Cloud Environment. CE Choucha, M Ramdani, M Khalgui, L Kahloul ICSOFT, 544-551, 2020 | 4 | 2020 |
| R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable Systems YH Mohamed Ramdani, Laid Kahloul, Mohamed Khalgui Proceedings of the International Conference on Evaluation of Novel …, 2019 | 4* | 2019 |
| On Improved Verification of Reconfigurable Real-Time Systems. Y Hafidi, L Kahloul, M Khalgui, M Ramdani ENASE, 394-401, 2019 | 2 | 2019 |
| Decentralized Federated Learning Architecture for Networked Microgrids. I Naidji, CE Choucha, M Ramdani ICINCO (1), 291-294, 2023 | 1 | 2023 |
| On Improvement of Formal Verification of Reconfigurable Real-Time Systems Using TCTL and CTL-Based Properties on IaaS Cloud Environment CE Choucha, M Ramdani, M Khalgui, L Kahloul Software Technologies: 15th International Conference, ICSOFT 2020, Online …, 2021 | 1 | 2021 |
| Conception and realization of a parabolic dish DEM Benbaziz, H Abdellatif, M Ramdani 2019 International Conference on Advanced Systems and Emergent Technologies …, 2019 | 1 | 2019 |
| Electricity Theft Detection Techniques Using Artificial Intelligence: A Survey I Naidji, CE Choucha, M Ramdani 2024 IEEE International Conference on Advanced Systems and Emergent …, 2024 | | 2024 |
| On Improving R-TNCES Rebuilding for Reconfigurable Real-Time Systems M Ramdani, L Kahloul, M Khalgui, Y Hafidi Evaluation of Novel Approaches to Software Engineering: 14th International …, 2020 | | 2020 |
| On Improving Parallel Rebuilding of R-TNCESs. M Ramdani, L Kahloul, M Khalgui ICSOFT, 315-322, 2019 | | 2019 |
| Organizing chair O Tibermacine, S Ayad, M Zouai, A Ammari, A Aloui, M Ramdani, ... | | |
Laid KahloulUniversité de Biskra在 univ-biskra.dz 的电子邮件经过验证
