26 citations · 46 across the 12 of their papers we have counts for
14 papers · 1 filter
FASiM: A Framework for Automatic Formal Analysis of Simulink Models of Linear Analog Circuits
Adnan Rashid, Ayesha Gauhar, Osman Hasan
Simulink is a graphical environment that is widely adapted for the modeling and the Laplace transform based analysis of linear analog circuits used in signal processing architectur…
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…
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…