Mohamed Abdelghany

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 13

Top Topics

Nuclear Power Plant

Theorem Proving

Reliability Analysis

Top Venues

Publications

Mohamed Abdelghany, Adnan Rashid, Sofiène Tahar
A Framework for Formal Probabilistic Risk Assessment Using HOL Theorem Proving. CICM (2024)
Mohamed Abdelghany, Sofiène Tahar
Formalization of Functional Block Diagrams Using HOL Theorem Proving. SBMF (2022)
Mohamed Abdelghany, Sofiène Tahar
Formal Probabilistic Risk Assessment of a Nuclear Power Plant. FTSCS (2022)
Mohamed Abdelghany, Waqar Ahmad, Sofiène Tahar
Event Tree Reliability Analysis of Safety-Critical Systems Using Theorem Proving. IEEE Syst. J. 16 (2) (2022)
Mohamed Abdelghany, Sofiène Tahar
Formal FT-based Cause-Consequence Reliability Analysis using Theorem Proving. CoRR (2021)
Mohamed Abdelghany, Sofiène Tahar
Formalization of RBD-Based Cause Consequence Analysis in HOL. CICM (2021)
Mohamed Abdelghany, Sofiène Tahar
Cause-Consequence Diagram Reliability Analysis Using Formal Techniques With Application to Electrical Power Networks. IEEE Access 9 (2021)
Mohamed Abdelghany, Waqar Ahmad, Sofiène Tahar, Sowmith Nethula
ETMA: A New Software for Event Tree Analysis with Application to Power Protection. CoRR (2020)
Mohamed Abdelghany, Waqar Ahmad, Sofiène Tahar
A Formally Verified HOL4 Algebra for Event Trees. CoRR (2020)
Mohamed Abdelghany, Waqar Ahmad, Sofiène Tahar, Sowmith Nethula
ETMA: An Efficient Tool for Event Trees Modeling and Analysis. SysCon (2020)
Shady M. Soliman, Mohammed A. Jaela, Abdelrhman M. Abotaleb, Youssef Hassan, Mohamed Abdelghany, Amr T. Abdel-Hamid, Khaled N. Salama, Hassan Mostafa
FPGA implementation of dynamically reconfigurable IoT security module using algorithm hopping. Integr. 68 (2019)
Sameh A. Ibrahim, Ahmed Khattab, Hassanein Amer, Mohamed Abdelghany, Ramez M. Daoud
Resource Aware Space Mission Routing. ICCA (2018)
Khaled Khatib, Mostafa Ahmed, Ahmed Kamaleldin, Mohamed Abdelghany, Hassan Mostafa
Dynamically reconfigurable power efficient security for Internet of Things devices. MOCAST (2018)