3 citations · 5 across the 3 of their papers we have counts for
3 papers
cs.FL2021★ 1 cited
Formal FT-based Cause-Consequence Reliability Analysis using Theorem Proving
Mohamed Abdelghany, Sofiene Tahar
Cause-consequence Diagram (CCD) is widely used as a deductive safety analysis technique for decision-making at the critical-system design stage. This approach models the causes of…
eess.SP2020★ 1 cited
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…
eess.SY2020★ 3 cited
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…