2 papers
cs.SE2021
Using Bayesian Modelling to Predict Software Incidents
Chris Hobbs, Waqar Ahmed
Traditionally, fault- or event-tree analyses or FMEAs have been used to estimate the probability of a safety-critical device creating a dangerous condition. However, these analysis…
cs.FL2019
On the Formalization of Importance Measures using HOL Theorem Proving
Waqar Ahmed, Shahid Ali Murtza, Osman Hasan +1
Importance measures provide a systematic approach to scrutinize critical system components, which are extremely beneficial in making important decisions, such as prioritizing relia…