( en | de | ru )

 

Disambiguation of "Hafidi, Yousra"

Author of the publication

copydeleteadd this publication to your clipboard
Fair Mutual Exclusion for N Processes (extended version).

, , and . CoRR, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Yousra Hasan

Yousra Boubakri

Yousra Chabchoub

Yousra el Habbaj

Yousra Ahmed Reyad Nomier

 

Other publications of authors with the same name

R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable Systems., , , and . ENASE, page 159-168. SciTePress, (2019)New Methodology for Backward Analysis of Reconfigurable Event Control Systems using R-TNCESs., , and . ICSOFT, page 129-140. SciTePress, (2019)On Improving R-TNCES Rebuilding for Reconfigurable Real-Time Systems., , , and . ENASE (Selected Papers), volume 1172 of Communications in Computer and Information Science, page 267-285. Springer, (2019)Efficient Diagnosis of Reconfigurable Systems with Incorrect Behavior and Faulty Components: A Case Study on SGrids., , and . ICSOFT (Selected Papers), volume 1250 of Communications in Computer and Information Science, page 108-129. Springer, (2019)On Methodology for the Verification of Reconfigurable Timed Net Condition/Event Systems., , , , , and . IEEE Trans. Syst. Man Cybern. Syst., 50 (10): 3577-3591 (2020)Fair Mutual Exclusion for N Processes (extended version)., , and . CoRR, (2021)New Method to Reduce Verification Time of Reconfigurable Real-Time Systems Using R-TNCESs Formalism., , , and . ENASE (Selected Papers), volume 1172 of Communications in Computer and Information Science, page 246-266. Springer, (2019)Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop., , , , and . ICSOFT (Selected Papers), volume 1447 of Communications in Computer and Information Science, page 227-241. Springer, (2020)Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL., , , , and . ICSOFT, page 250-259. ScitePress, (2020)Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets., and . J. Log. Algebraic Methods Program., (2023)