16 citations · 57 across the 31 of their papers we have counts for
6 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…
Error Analysis of Approximate Array Multipliers
Mahmoud Masadeh, Osman Hasan, Sofiene Tahar
Approximate computing is a nascent energy-efficient computing paradigm suitable for error-tolerant applications. However, the value of approximation error depends on the applied in…
On the Formalization of Importance Measures using HOL Theorem Proving
Waqar Ahmed, Shahid Ali Murtza, Osman Hasan +1
Importance measures provide a systematic approach to scrutinize critical system components, which are extremely beneficial in making important decisions, such as prioritizing relia…
Stochastic Computing with Integrated Optics
Hassnaa El-Derhalli, Sébastien Le Beux, Sofiene Tahar
Stochastic computing (SC) allows reducing hardware complexity and improving energy efficiency of error resilient applications. However, a main limitation of the computing paradigm…