115 citations · 146 across the 8 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
cs.NI2016★ 115 cited
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…
cs.LO2016★ 17 cited
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…
cs.LO2016★ 1 cited
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…