26 citations · 46 across the 12 of their papers we have counts for
4 papers · 1 filter
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…
Formal Analysis of Continuous-time Systems using Fourier Transform
Adnan Rashid, Osman Hasan
To study the dynamical behaviour of the engineering and physical systems, we often need to capture their continuous behaviour, which is modeled using differential equations, and pe…
Formalization of Transform Methods using HOL Light
Adnan Rashid, Osman Hasan
Transform methods, like Laplace and Fourier, are frequently used for analyzing the dynamical behaviour of engineering and physical systems, based on their transfer function, and fr…
Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems
Muhammad Usama Sardar, Osman Hasan
Cell injection is a technique in the domain of biological cell micro-manipulation for the delivery of small volumes of samples into the suspended or adherent cells. It has been wid…