| Cause-consequence diagram reliability analysis using formal techniques with application to electrical power networks M Abdelghany, S Tahar IEEE Access 9, 23929-23943, 2021 | 6 | 2021 |
| Event tree reliability analysis of safety-critical systems using theorem proving M Abdelghany, W Ahmad, S Tahar IEEE Systems Journal 16 (2), 2899-2910, 2021 | 5 | 2021 |
| Event tree reliability analysis of electrical power generation network using formal techniques M Abdelghany, W Ahmad, S Tahar 2020 IEEE Electric Power and Energy Conference (EPEC), 1-7, 2020 | 4 | 2020 |
| Reliability analysis of smart grids using formal methods M Abdelghany, S Tahar Handbook of Smart Energy Systems, 147-163, 2023 | 3 | 2023 |
| Formal probabilistic risk assessment using theorem proving with applications in power systems MWE Abdelghany Concordia University, 2021 | 2 | 2021 |
| Formal Probabilistic Risk Assessment of a Nuclear Power Plant M Abdelghany, S Tahar Proceedings of the 8th ACM SIGPLAN International Workshop on Formal …, 2022 | | 2022 |
| Optimal Demand Management for Smart Distribution Networks M Wagdy, A Magd, W El-Khattam 2020 IEEE Electric Power and Energy Conference (EPEC), 1-6, 2020 | | 2020 |
