2 citations · 3 across the 3 of their papers we have counts for
3 papers · 1 filter
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…