Yousra Hafidi

According to our database, Yousra Hafidi authored at least 11 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

2021

Fair Mutual Exclusion for N Processes (extended version).

Yousra Hafidi, Jeroen J. A. Keiren, Jan Friso Groote

CoRR, 2021

2020

On Methodology for the Verification of Reconfigurable Timed Net Condition/Event Systems.

Yousra Hafidi, Laïd Kahloul, Mohamed Khalgui, Zhiwu Li, Khalid Abdulaziz Alnowibet, Ting Qu

IEEE Trans. Syst. Man Cybern. Syst., 2020

Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop.

Sohaib Soualah, Yousra Hafidi, Mohamed Khalgui, Allaoua Chaoui, Laïd Kahloul

Proceedings of the Software Technologies - 15th International Conference, 2020

Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL.

Sohaib Soualah, Yousra Hafidi, Mohamed Khalgui, Allaoua Chaoui, Laïd Kahloul

Proceedings of the 15th International Conference on Software Technologies, 2020

2019

Efficient Diagnosis of Reconfigurable Systems with Incorrect Behavior and Faulty Components: A Case Study on SGrids.

Yousra Hafidi, Laïd Kahloul, Mohamed Khalgui

Proceedings of the Software Technologies - 14th International Conference, 2019

New Methodology for Backward Analysis of Reconfigurable Event Control Systems using R-TNCESs.

Yousra Hafidi, Laïd Kahloul, Mohamed Khalgui

Proceedings of the 14th International Conference on Software Technologies, 2019

On Improving R-TNCES Rebuilding for Reconfigurable Real-Time Systems.

Mohamed Ramdani, Laïd Kahloul, Mohamed Khalgui, Yousra Hafidi

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2019

R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable Systems.

Mohamed Ramdani, Laïd Kahloul, Mohamed Khalgui, Yousra Hafidi

Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

New Method to Reduce Verification Time of Reconfigurable Real-Time Systems Using R-TNCESs Formalism.

Yousra Hafidi, Laïd Kahloul, Mohamed Khalgui, Mohamed Ramdani

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2019

On Improved Verification of Reconfigurable Real-Time Systems.

Yousra Hafidi, Laïd Kahloul, Mohamed Khalgui, Mohamed Ramdani

Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019