| Reliability modeling and analysis of communication networks W Ahmad, O Hasan, U Pervez, J Qadir Journal of Network and Computer Applications 78, 191-215, 2017 | 152 | 2017 |
| Formalization of reliability block diagrams in higher-order logic W Ahmed, O Hasan, S Tahar Journal of Applied Logic 18, 19-41, 2016 | 46 | 2016 |
| Reliability block diagrams based analysis: A survey O Hasan, W Ahmed, S Tahar, MS Hamdi AIP Conference Proceedings 1648 (1), 2015 | 40 | 2015 |
| Towards formal fault tree analysis using theorem proving W Ahmad, O Hasan Intelligent Computer Mathematics: International Conference, CICM 2015 …, 2015 | 33 | 2015 |
| Towards the formal reliability analysis of oil and gas pipelines W Ahmad, O Hasan, S Tahar, MS Hamdi Intelligent Computer Mathematics: International Conference, CICM 2014 …, 2014 | 22 | 2014 |
| Formalization of fault trees in higher-order logic: a deep embedding approach W Ahmad, O Hasan Dependable Software Engineering: Theories, Tools, and Applications: Second …, 2016 | 18 | 2016 |
| Formal reliability analysis of oil and gas pipelines W Ahmad, O Hasan, S Tahar, MS Hamdi Proceedings of the Institution of Mechanical Engineers, Part O: Journal of …, 2018 | 17 | 2018 |
| Formal dynamic fault trees analysis using an integration of theorem proving and model checking Y Elderhalli, O Hasan, W Ahmad, S Tahar NASA Formal Methods Symposium, 139-156, 2018 | 15 | 2018 |
| Formal reliability analysis of wireless sensor network data transport protocols using HOL W Ahmed, O Hasan, S Tahar 2015 IEEE 11th International Conference on Wireless and Mobile Computing …, 2015 | 15 | 2015 |
| Formal reliability and failure analysis of ethernet based communication networks in a smart grid substation W Ahmad, O Hasan, S Tahar Formal aspects of computing 32 (1), 71-111, 2020 | 14 | 2020 |
| Formal dependability modeling and analysis: A survey W Ahmad, O Hasan, S Tahar Intelligent Computer Mathematics: 9th International Conference, CICM 2016 …, 2016 | 13 | 2016 |
| Probabilistic analysis of dynamic fault trees using HOL theorem proving Y Elderhalli, W Ahmad, O Hasan, S Tahar Journal of Applied Logics—IfCoLog Journal of Logics and their Applications …, 2019 | 12 | 2019 |
| 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 | 11 | 2021 |
| Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving. W Ahmad, O Hasan, S Tahar, M Hamdi IWIL@ LPAR, 2015 | 10 | 2015 |
| 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 | 9 | 2020 |
| Formal availability analysis using theorem proving W Ahmad, O Hasan Formal Methods and Software Engineering: 18th International Conference on …, 2016 | 9 | 2016 |
| The efficient implementation of S8 AES algorithm W Ahmed, H Mahmood, U Siddique Proceedings of world congress on engineering, 1215-1219, 2011 | 8 | 2011 |
| Formal reliability analysis of an integrated power generation system using theorem proving W Ahmad, O Hasan, F Awwad, N Bastaki, SR Hasan IEEE Systems Journal 14 (4), 4820-4831, 2020 | 7 | 2020 |
| Formal dependability analysis using higher-order-logic theorem proving W Ahmad National University of Sciences & Technology (NUST) Islamabad, Pakistan, 2017 | 6 | 2017 |
| A formally verified HOL4 algebra for event trees M Abdelghany, W Ahmad, S Tahar arXiv preprint arXiv:2004.14384, 2020 | 4 | 2020 |
Osman HasanProfessor of Electrical Engineering, National University of Sciences and Technologyایمیل تأیید شده در seecs.edu.pk