Yousra Hafidi

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 10

Top Topics

Real Time Embedded

Timing Constraints

Mutual Exclusion

Top Venues

ENASE (Selected Papers)

ICSOFT (Selected Papers)

Publications

Yousra Hafidi, Jeroen J. A. Keiren, Jan Friso Groote
Fair Mutual Exclusion for N Processes (extended version). CoRR (2021)
Yousra Hafidi, Laïd Kahloul, Mohamed Khalgui, Zhiwu Li, Khalid Abdulaziz Alnowibet, Ting Qu
On Methodology for the Verification of Reconfigurable Timed Net Condition/Event Systems. IEEE Trans. Syst. Man Cybern. Syst. 50 (10) (2020)
Sohaib Soualah, Yousra Hafidi, Mohamed Khalgui, Allaoua Chaoui, Laïd Kahloul
Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop. ICSOFT (Selected Papers) (2020)
Sohaib Soualah, Yousra Hafidi, Mohamed Khalgui, Allaoua Chaoui, Laïd Kahloul
Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL. ICSOFT (2020)
Mohamed Ramdani, Laïd Kahloul, Mohamed Khalgui, Yousra Hafidi
On Improving R-TNCES Rebuilding for Reconfigurable Real-Time Systems. ENASE (Selected Papers) (2019)
Yousra Hafidi, Laïd Kahloul, Mohamed Khalgui, Mohamed Ramdani
On Improved Verification of Reconfigurable Real-Time Systems. ENASE (2019)
Yousra Hafidi, Laïd Kahloul, Mohamed Khalgui, Mohamed Ramdani
New Method to Reduce Verification Time of Reconfigurable Real-Time Systems Using R-TNCESs Formalism. ENASE (Selected Papers) (2019)
Yousra Hafidi, Laïd Kahloul, Mohamed Khalgui
Efficient Diagnosis of Reconfigurable Systems with Incorrect Behavior and Faulty Components: A Case Study on SGrids. ICSOFT (Selected Papers) (2019)
Mohamed Ramdani, Laïd Kahloul, Mohamed Khalgui, Yousra Hafidi
R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable Systems. ENASE (2019)
Yousra Hafidi, Laïd Kahloul, Mohamed Khalgui
New Methodology for Backward Analysis of Reconfigurable Event Control Systems using R-TNCESs. ICSOFT (2019)