16 citations · 57 across the 31 of their papers we have counts for
4 papers · 1 filter
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…
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…
Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper)
Adnan Rashid, Umair Siddique, Sofiene Tahar
Due to major breakthroughs in software and engineering technologies, embedded systems are increasingly being utilized in areas ranging from aerospace and next-generation transporta…
Machine Learning-Based Self-Compensating Approximate Computing
Mahmoud Masadeh, Osman Hasan, Sofiene Tahar
Dedicated hardware accelerators are suitable for parallel computational tasks. Moreover, they have the tendency to accept inexact results. These hardware accelerators are extensive…