115 citations · 161 across the 10 of their papers we have counts for
10 papers
ETMA: A New Software for Event Tree Analysis with Application to Power Protection
Mohamed Abdelghany, Waqar Ahmad, Sofiene Tahar +1
Event Tree (ET) analysis is a widely used forward deductive safety analysis technique for decision-making at a system design stage. Existing ET tools usually provide Graphical User…
A Formally Verified HOL4 Algebra for Event Trees
Mohamed Abdelghany, Waqar Ahmad, Sofiene Tahar
Event Tree (ET) analysis is widely used as a forward deductive safety analysis technique for decision-making at the critical-system design stage. ET is a schematic diagram represen…
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…
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…
Reliability Modeling and Analysis of Communication Networks
Waqar Ahmed, Osman Hasan, Usman Pervez +1
In recent times, the functioning of various aspects of modern society---ranging from the various infrastructural utilities such as electrical power, water to socio-economical aspec…
Formalization of Fault Trees in Higher-order Logic: A Deep Embedding Approach
Waqar Ahmed, Osman Hasan
Fault Tree (FT) is a standard failure modeling technique that has been extensively used to predict reliability, availability and safety of many complex engineering systems. In orde…
Formal Availability Analysis using Theorem Proving
Waqar Ahmed, Osman Hasan
Availability analysis is used to assess the possible failures and their restoration process for a given system. This analysis involves the calculation of instantaneous and steady-s…
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…
Towards the Formal Reliability Analysis of Oil and Gas Pipelines
Waqar Ahmed, Osman Hasan, Sofiene Tahar +1
It is customary to assess the reliability of underground oil and gas pipelines in the presence of excessive loading and corrosion effects to ensure a leak-free transport of hazardo…