| On methodology for the verification of reconfigurable timed net condition/event systems Y Hafidi, L Kahloul, M Khalgui, Z Li, K Alnowibet, T Qu IEEE Transactions on Systems, Man, and Cybernetics: Systems 50 (10), 3577-3591, 2018 | 35 | 2018 |
| Bi-objective framework for planning a supply chain process in reconfigurable manufacturing systems L Belaiche, L Kahloul, S Benharzallah, Y Hafidi IFAC-PapersOnLine 52 (13), 1675-1680, 2019 | 12 | 2019 |
| Multi-objective optimization-based approach for throughput maximization in reconfigurable manufacturing systems L Belaiche, L Kahloul, S Benharzallah, Y Hafidi 2018 Fifth International Symposium on Innovation in Information and …, 2018 | 10 | 2018 |
| 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 |
| R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable Systems M Ramdani, L Kahloul, M Khalgui, Y Hafidi 14th International Conference on Evaluation of Novel Approaches to Software …, 2019 | 4 | 2019 |
| Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL. S Soualah, Y Hafidi, M Khalgui, A Chaoui, L Kahloul ICSOFT, 250-259, 2020 | 2 | 2020 |
| On Improved Verification of Reconfigurable Real-Time Systems Y Hafidi, L Kahloul, M Khalgui, M Ramdani 14th International Conference on Evaluation of Novel Approaches to Software …, 2019 | 2 | 2019 |
| New Methodology for Backward Analysis of Reconfigurable Event Control Systems using R-TNCESs Y Hafidi, L Kahloul, M Khalgui 14th International Conference on Software Technologies, 2019 | 1 | 2019 |
| Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets Y Hafidi, EP de Vink Journal of Logical and Algebraic Methods in Programming 130, 100813, 2023 | | 2023 |
| Fair Mutual Exclusion for N Processes Y Hafidi, JJA Keiren, JF Groote International Conference on Software Testing, Machine Learning and Complex …, 2021 | | 2021 |
| Fair Mutual Exclusion for N Processes (extended version) Y Hafidi, JJA Keiren, JF Groote arXiv preprint arXiv:2111.02251, 2021 | | 2021 |
| Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop S Soualah, Y Hafidi, M Khalgui, A Chaoui, L Kahloul Software Technologies: 15th International Conference, ICSOFT 2020, Online …, 2021 | | 2021 |
| Efficient Diagnosis of Reconfigurable Systems with Incorrect Behavior and Faulty Components: A Case Study on SGrids Y Hafidi, L Kahloul, M Khalgui Software Technologies: 14th International Conference, ICSOFT 2019, Prague …, 2020 | | 2020 |
| 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 |
