Dynamic Fault Trees Analysis using an Integration of Theorem Proving and Model Checking. - Yassmeen Elderhalli; Osman Hasan; Waqar Ahmad; Sofiène Tahar (CoRR, 2017)

Formal Dynamic Fault Trees Analysis Using an Integration of Theorem Proving and Model Checking. - Yassmeen Elderhalli; Osman Hasan; Waqar Ahmad; Sofiène Tahar (NFM, 2018)

Formal Probabilistic Analysis of Dynamic Fault Trees in HOL4. - Yassmeen Elderhalli; Waqar Ahmad; Osman Hasan; Sofiène Tahar (CoRR, 2018)

A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams. - Yassmeen Elderhalli; Osman Hasan; Sofiène Tahar (ICFEM, 2019)

Formal Verification of Rewriting Rules for Dynamic Fault Trees. - Yassmeen Elderhalli; Matthias Volk 001; Osman Hasan; Joost-Pieter Katoen; Sofiène Tahar (SEFM, 2019)

A Methodology for the Formal Verification of Dynamic Fault Trees Using HOL Theorem Proving. - Yassmeen Elderhalli; Osman Hasan; Sofiène Tahar (IEEE Access, 2019)

A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams. - Yassmeen Elderhalli; Osman Hasan; Sofiène Tahar (CoRR, 2019)

Integrating DFT and DRBD Formalizations in HOL4. - Yassmeen Elderhalli; Osman Hasan; Sofiène Tahar (CoRR, 2019)

Dynamic Dependability Analysis of Shuffle-exchange Networks using HOL Theorem Proving. - Yassmeen Elderhalli; Osman Hasan; Sofiène Tahar (CoRR, 2019)

Probabilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving. - Yassmeen Elderhalli; Waqar Ahmad; Osman Hasan; Sofiène Tahar (FLAP, 2019)

A Framework for Formal Dynamic Dependability Analysis Using HOL Theorem Proving. - Yassmeen Elderhalli; Osman Hasan; Sofiène Tahar (CICM, 2020)

Dynamic Fault Tree Models for FPGA Fault Tolerance and Reliability. - Yassmeen Elderhalli; Nahla A. El-Araby; Osman Hasan; Axel Jantsch; Sofiène Tahar (ISVLSI, 2021)

A Quality-assured Approximate Hardware Accelerators-based on Machine Learning and Dynamic Partial Reconfiguration. - Mahmoud Masadeh; Yassmeen Elderhalli; Osman Hasan; Sofiène Tahar (ACM J. Emerg. Technol. Comput. Syst., 2021)

Dynamic dependability analysis of shuffle-exchange networks. - Yassmeen Elderhalli; Osman Hasan; Sofiène Tahar (Formal Methods Syst. Des., 2024)