2 citations · 3 across the 3 of their papers we have counts for
5 papers
Dynamic Dependability Analysis of Shuffle-exchange Networks using HOL Theorem Proving
Yassmeen Elderhalli, Osman Hasan, Sofiene Tahar
Dynamic dependability models, such as dynamic fault trees (DFTs) and dynamic reliability block diagrams (DRBDs), are introduced to overcome the modeling limitations of traditional…
Integrating DFT and DRBD Formalizations in HOL4
Yassmeen Elderhalli, Osman Hasan, Sofiene Tahar
Dynamic Fault Trees (DFT) and Dynamic Reliability Block Diagrams (DRBD) are two modeling approaches that capture the dynamic failure behavior of engineering systems for their relia…
A Formally Verified HOL Algebra for Dynamic Reliability Block Diagrams
Yassmeen Elderhalli, Osman Hasan, Sofiene Tahar
Dynamic reliability block diagrams (DRBDs) are introduced to overcome the modeling limitations of traditional reliability block diagrams, such as the inability to capture redundant…
Formal Probabilistic Analysis of Dynamic Fault Trees in HOL4
Yassmeen Elderhalli, Waqar Ahmad, Osman Hasan +1
Dynamic Fault Trees (DFTs) is a widely used failure modeling technique that allows capturing the dynamic failure characteristics of systems in a very effective manner. Simulation a…
Dynamic Fault Trees Analysis using an Integration of Theorem Proving and Model Checking
Yassmeen Elderhalli, Osman Hasan, Waqar Ahmad +1
Dynamic fault trees (DFTs) have emerged as an important tool for capturing the dynamic behavior of system failure. These DFTs are then analyzed qualitatively and quantitatively usi…