Yassmeen Elderhalli

14 papers B 1C 2Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2024 J jnl
Dynamic dependability analysis of shuffle-exchange networks.
Formal Methods Syst. Des.
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar
2021 J jnl
A Quality-assured Approximate Hardware Accelerators-based on Machine Learning and Dynamic Partial Reconfiguration.
ACM J. Emerg. Technol. Comput. Syst.
Mahmoud Masadeh, Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar
2021 — conf
Dynamic Fault Tree Models for FPGA Fault Tolerance and Reliability.
ISVLSI
Yassmeen Elderhalli, Nahla A. El-Araby, Osman Hasan, Axel Jantsch, Sofiène Tahar
2020 C conf
A Framework for Formal Dynamic Dependability Analysis Using HOL Theorem Proving.
CICM
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar
2019 C conf
A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams.
ICFEM
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar
2019 J jnl
A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams.
CoRR
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar
2019 J jnl
A Methodology for the Formal Verification of Dynamic Fault Trees Using HOL Theorem Proving.
IEEE Access
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar
2019 J jnl
Dynamic Dependability Analysis of Shuffle-exchange Networks using HOL Theorem Proving.
CoRR
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar
2019 B conf
Formal Verification of Rewriting Rules for Dynamic Fault Trees.
SEFM
Yassmeen Elderhalli, Matthias Volk, Osman Hasan, Joost-Pieter Katoen, Sofiène Tahar
2019 J jnl
Integrating DFT and DRBD Formalizations in HOL4.
CoRR
Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar
2019 J jnl
Probabilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving.
FLAP
Yassmeen Elderhalli, Waqar Ahmad, Osman Hasan, Sofiène Tahar
2018 — conf
Formal Dynamic Fault Trees Analysis Using an Integration of Theorem Proving and Model Checking.
NFM
Yassmeen Elderhalli, Osman Hasan, Waqar Ahmad, Sofiène Tahar
2018 J jnl
Formal Probabilistic Analysis of Dynamic Fault Trees in HOL4.
CoRR
Yassmeen Elderhalli, Waqar Ahmad, Osman Hasan, Sofiène Tahar
2017 J jnl
Dynamic Fault Trees Analysis using an Integration of Theorem Proving and Model Checking.
CoRR
Yassmeen Elderhalli, Osman Hasan, Waqar Ahmad, Sofiène Tahar