Follow
Waqar Ahmad
Waqar Ahmad
Wind River Systems, Inc.
Verified email at seecs.edu.pk - Homepage
Title
Cited by
Cited by
Year
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
1522017
Formalization of reliability block diagrams in higher-order logic
W Ahmed, O Hasan, S Tahar
Journal of Applied Logic 18, 19-41, 2016
462016
Reliability block diagrams based analysis: A survey
O Hasan, W Ahmed, S Tahar, MS Hamdi
AIP Conference Proceedings 1648 (1), 2015
402015
Towards formal fault tree analysis using theorem proving
W Ahmad, O Hasan
Intelligent Computer Mathematics: International Conference, CICM 2015 …, 2015
332015
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
222014
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
182016
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
172018
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
152018
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
152015
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
142020
Formal dependability modeling and analysis: A survey
W Ahmad, O Hasan, S Tahar
Intelligent Computer Mathematics: 9th International Conference, CICM 2016 …, 2016
132016
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
122019
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
112021
Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving.
W Ahmad, O Hasan, S Tahar, M Hamdi
IWIL@ LPAR, 2015
102015
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
92020
Formal availability analysis using theorem proving
W Ahmad, O Hasan
Formal Methods and Software Engineering: 18th International Conference on …, 2016
92016
The efficient implementation of S8 AES algorithm
W Ahmed, H Mahmood, U Siddique
Proceedings of world congress on engineering, 1215-1219, 2011
82011
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
72020
Formal dependability analysis using higher-order-logic theorem proving
W Ahmad
National University of Sciences & Technology (NUST) Islamabad, Pakistan, 2017
62017
A formally verified HOL4 algebra for event trees
M Abdelghany, W Ahmad, S Tahar
arXiv preprint arXiv:2004.14384, 2020
42020
The system can't perform the operation now. Try again later.
Articles 1–20