10 citations · 19 across the 6 of their papers we have counts for
6 papers
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…
Formal Dependability Modeling and Analysis: A Survey
Waqar Ahmed, Osman Hasan, Sofiene Tahar
Dependability is an umbrella concept that subsumes many key properties about a system, including reliability, maintainability, safety, availability, confidentiality, and integrity.…
Towards Formal Fault Tree Analysis using Theorem Proving
Waqar Ahmed, Osman Hasan
Fault Tree Analysis (FTA) is a dependability analysis technique that has been widely used to predict reliability, availability and safety of many complex engineering systems. Tradi…