115 citations · 161 across the 10 of their papers we have counts for
4 papers · 1 filter
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.…