Yassmeen Elderhalli

According to our database, Yassmeen Elderhalli authored at least 14 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Dynamic dependability analysis of shuffle-exchange networks.

Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar

Formal Methods Syst. Des., June, 2024

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 Fault Tree Models for FPGA Fault Tolerance and Reliability.

Yassmeen Elderhalli, Nahla A. El-Araby, Osman Hasan, Axel Jantsch, Sofiène Tahar

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2021

2020

A Framework for Formal Dynamic Dependability Analysis Using HOL Theorem Proving.

Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar

Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020

2019

Probabilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving.

Yassmeen Elderhalli, Waqar Ahmad, Osman Hasan, Sofiène Tahar

FLAP, 2019

Dynamic Dependability Analysis of Shuffle-exchange Networks using HOL Theorem Proving.

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

A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams.

Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar

CoRR, 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

Formal Verification of Rewriting Rules for Dynamic Fault Trees.

Yassmeen Elderhalli, Matthias Volk, Osman Hasan, Joost-Pieter Katoen, Sofiène Tahar

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams.

Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar

Proceedings of the Formal Methods and Software Engineering, 2019

2018

Formal Probabilistic Analysis of Dynamic Fault Trees in HOL4.

Yassmeen Elderhalli, Waqar Ahmad, Osman Hasan, Sofiène Tahar

CoRR, 2018

Formal Dynamic Fault Trees Analysis Using an Integration of Theorem Proving and Model Checking.

Yassmeen Elderhalli, Osman Hasan, Waqar Ahmad, Sofiène Tahar

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

2017

Dynamic Fault Trees Analysis using an Integration of Theorem Proving and Model Checking.

Yassmeen Elderhalli, Osman Hasan, Waqar Ahmad, Sofiène Tahar

CoRR, 2017