Yassmeen Elderhalli

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 14

Top Topics

Formal Verification

Theorem Proving

Rewriting Rules

Top Venues

Publications

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