The following publications are possibly variants of this publication:
- A Methodology for the Formal Verification of Dynamic Fault Trees Using HOL Theorem ProvingYassmeen Elderhalli, Osman Hasan, Sofiène Tahar. access, 7:136176-136192, 2019. [doi]
- Formal Dynamic Fault Trees Analysis Using an Integration of Theorem Proving and Model CheckingYassmeen Elderhalli, Osman Hasan, Waqar Ahmad, Sofiène Tahar. NFM 2018: 139-156 [doi]
- Formal Reliability Analysis Using Theorem ProvingOsman Hasan, Sofiène Tahar, Naeem Abbasi. TC, 59(5):579-592, 2010. [doi]
- Probabilistic Analysis of Dynamic Fault Trees using HOL Theorem ProvingYassmeen Elderhalli, Waqar Ahmad, Osman Hasan, Sofiène Tahar. flap, 6(3):469-512, 2019. [doi]
- Formal reliability analysis of combinational circuits using theorem provingOsman Hasan, Jigar Patel, Sofiène Tahar. japll, 9(1):41-60, 2011. [doi]
- On the Formal Analysis of HMM Using Theorem ProvingLiya Liu, Vincent Aravantinos, Osman Hasan, Sofiène Tahar. icfem 2014: 316-331 [doi]
- Formal Availability Analysis Using Theorem ProvingWaqar Ahmed, Osman Hasan. icfem 2016: 226-242 [doi]
- Probabilistic Analysis of Wireless Systems Using Theorem ProvingOsman Hasan, Sofiène Tahar. ENTCS, 242(2):43-58, 2009. [doi]