Yousra Hafidi

11 papers B 2C 2Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
2023 J jnl
Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets.
J. Log. Algebraic Methods Program.
Yousra Hafidi, Erik P. de Vink
2021 J jnl
Fair Mutual Exclusion for N Processes (extended version).
CoRR
Yousra Hafidi, Jeroen J. A. Keiren, Jan Friso Groote
2020 — conf
Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop.
ICSOFT (Selected Papers)
Sohaib Soualah, Yousra Hafidi, Mohamed Khalgui, Allaoua Chaoui, Laid Kahloul
2020 C conf
Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL.
ICSOFT
Sohaib Soualah, Yousra Hafidi, Mohamed Khalgui, Allaoua Chaoui, Laid Kahloul
2020 J jnl
On Methodology for the Verification of Reconfigurable Timed Net Condition/Event Systems.
IEEE Trans. Syst. Man Cybern. Syst.
Yousra Hafidi, Laïd Kahloul, Mohamed Khalgui, ZhiWu Li, Khalid Abdulaziz Alnowibet, Ting Qu
2019 — conf
Efficient Diagnosis of Reconfigurable Systems with Incorrect Behavior and Faulty Components: A Case Study on SGrids.
ICSOFT (Selected Papers)
Yousra Hafidi, Laid Kahloul, Mohamed Khalgui
2019 — conf
New Method to Reduce Verification Time of Reconfigurable Real-Time Systems Using R-TNCESs Formalism.
ENASE (Selected Papers)
Yousra Hafidi, Laid Kahloul, Mohamed Khalgui, Mohamed Ramdani
2019 C conf
New Methodology for Backward Analysis of Reconfigurable Event Control Systems using R-TNCESs.
ICSOFT
Yousra Hafidi, Laid Kahloul, Mohamed Khalgui
2019 B conf
On Improved Verification of Reconfigurable Real-Time Systems.
ENASE
Yousra Hafidi, Laid Kahloul, Mohamed Khalgui, Mohamed Ramdani
2019 — conf
On Improving R-TNCES Rebuilding for Reconfigurable Real-Time Systems.
ENASE (Selected Papers)
Mohamed Ramdani, Laid Kahloul, Mohamed Khalgui, Yousra Hafidi
2019 B conf
R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable Systems.
ENASE
Mohamed Ramdani, Laid Kahloul, Mohamed Khalgui, Yousra Hafidi