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)

New Methodology for Backward Analysis of Reconfigurable Event Control Systems using R-TNCESs. - Yousra Hafidi; Laid Kahloul; Mohamed Khalgui (ICSOFT, 2019)

Efficient Diagnosis of Reconfigurable Systems with Incorrect Behavior and Faulty Components: A Case Study on SGrids. - Yousra Hafidi; Laid Kahloul; Mohamed Khalgui (ICSOFT (Selected Papers), 2019)

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 (ICSOFT, 2020)

Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop. - Sohaib Soualah; Yousra Hafidi; Mohamed Khalgui; Allaoua Chaoui; Laid Kahloul (ICSOFT (Selected Papers), 2020)

On Methodology for the Verification of Reconfigurable Timed Net Condition/Event Systems. - Yousra Hafidi; Laïd Kahloul; Mohamed Khalgui; Zhiwu Li 001; Khalid Abdulaziz Alnowibet; Ting Qu (IEEE Trans. Syst. Man Cybern. Syst., 2020)

Fair Mutual Exclusion for N Processes (extended version). - Yousra Hafidi; Jeroen J. A. Keiren; Jan Friso Groote (CoRR, 2021)

Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets. - Yousra Hafidi; Erik P. de Vink (J. Log. Algebraic Methods Program., 2023)