Mohamed Abdelghany

15 papers C 2Journal 7Unranked 6
YearRankTypeTitle / Venue / Authors
2024 — conf
16-Bit SABP: Quasi-Stochastic Data Representation Unit for AI Hardware Using FPGA.
SOCC
Marwan A. Abdelfattah, Hossam O. Ahmed, Mohamed Abdelghany
2024 C conf
A Framework for Formal Probabilistic Risk Assessment Using HOL Theorem Proving.
CICM
Mohamed Abdelghany, Adnan Rashid, Sofiène Tahar
2022 J jnl
Event Tree Reliability Analysis of Safety-Critical Systems Using Theorem Proving.
IEEE Syst. J.
Mohamed Abdelghany, Waqar Ahmad, Sofiène Tahar
2022 — conf
Formal Probabilistic Risk Assessment of a Nuclear Power Plant.
FTSCS
Mohamed Abdelghany, Sofiène Tahar
2022 — conf
Formalization of Functional Block Diagrams Using HOL Theorem Proving.
SBMF
Mohamed Abdelghany, Sofiène Tahar
2021 J jnl
Cause-Consequence Diagram Reliability Analysis Using Formal Techniques With Application to Electrical Power Networks.
IEEE Access
Mohamed Abdelghany, Sofiène Tahar
2021 J jnl
Formal FT-based Cause-Consequence Reliability Analysis using Theorem Proving.
CoRR
Mohamed Abdelghany, Sofiène Tahar
2021 C conf
Formalization of RBD-Based Cause Consequence Analysis in HOL.
CICM
Mohamed Abdelghany, Sofiène Tahar
2020 J jnl
A Formally Verified HOL4 Algebra for Event Trees.
CoRR
Mohamed Abdelghany, Waqar Ahmad, Sofiène Tahar
2020 J jnl
ETMA: A New Software for Event Tree Analysis with Application to Power Protection.
CoRR
Mohamed Abdelghany, Waqar Ahmad, Sofiène Tahar, Sowmith Nethula
2020 — conf
ETMA: An Efficient Tool for Event Trees Modeling and Analysis.
SysCon
Mohamed Abdelghany, Waqar Ahmad, Sofiène Tahar, Sowmith Nethula
2019 J jnl
FPGA implementation of dynamically reconfigurable IoT security module using algorithm hopping.
Integr.
Shady M. Soliman, Mohammed A. Jaela, Abdelrhman Mohamed Abotaleb, Youssef Hassan, Mohamed Abdelghany, Amr Talaat Abdel-Hamid, Khaled N. Salama, Hassan Mostafa
2018 — conf
Dynamically reconfigurable power efficient security for Internet of Things devices.
MOCAST
Khaled Khatib, Mostafa Ahmed, Ahmed Kamaleldin, Mohamed Abdelghany, Hassan Mostafa
2018 — conf
Resource Aware Space Mission Routing.
ICCA
Sameh A. Ibrahim, Ahmed K. F. Khattab, Hassanein H. Amer, Mohamed Abdelghany, Ramez M. Daoud
2013 J jnl
All-pMOS 50-V Charge Pumps Using Low-Voltage Capacitors.
IEEE Trans. Ind. Electron.
Ahmed Emira, Mohamed Abdelghany, Mohannad Elsayed, Amro M. Elshurafa, Sherif Sedky, Khaled N. Salama