Yassmeen Elderhalli

Orcid: 0000-0003-4437-2933

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Dynamic dependability analysis of shuffle-exchange networks.
Formal Methods Syst. Des., June, 2024

2021
A Quality-assured Approximate Hardware Accelerators-based on Machine Learning and Dynamic Partial Reconfiguration.
ACM J. Emerg. Technol. Comput. Syst., 2021

Dynamic Fault Tree Models for FPGA Fault Tolerance and Reliability.
Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2021

2020
A Framework for Formal Dynamic Dependability Analysis Using HOL Theorem Proving.
Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020

2019
Probabilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving.
FLAP, 2019

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

Integrating DFT and DRBD Formalizations in HOL4.
CoRR, 2019

A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams.
CoRR, 2019

A Methodology for the Formal Verification of Dynamic Fault Trees Using HOL Theorem Proving.
IEEE Access, 2019

Formal Verification of Rewriting Rules for Dynamic Fault Trees.
Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams.
Proceedings of the Formal Methods and Software Engineering, 2019

2018
Formal Probabilistic Analysis of Dynamic Fault Trees in HOL4.
CoRR, 2018

Formal Dynamic Fault Trees Analysis Using an Integration of Theorem Proving and Model Checking.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

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


  Loading...