26 citations · 46 across the 12 of their papers we have counts for
7 papers · 1 filter
Formal Analysis of the Biological Circuits using Higher-order-logic Theorem Proving
Sa'ed Abed, Adnan Rashid, Osman Hasan
Synthetic Biology is an interdisciplinary field that utilizes well-established engineering principles, ranging from electrical, control and computer systems, for analyzing the biol…
FANNet: Formal Analysis of Noise Tolerance, Training Bias and Input Sensitivity in Neural Networks
Mahum Naseer, Mishal Fatima Minhas, Faiq Khalid +3
With a constant improvement in the network architectures and training methodologies, Neural Networks (NNs) are increasingly being deployed in real-world Machine Learning systems. H…
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…