| 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 | 147 | 2017 |
| Software testing: A survey and tutorial on white and black-box testing of C/C++ programs M Nouman, U Pervez, O Hasan, K Saghar 2016 IEEE Region 10 Symposium (TENSYMP), 225-230, 2016 | 25 | 2016 |
| Formal reliability analysis of a typical fhir standard based e-health system using prism U Pervez, O Hasan, K Latif, S Tahar, A Gawanmeh, MS Hamdi 2014 IEEE 16th International Conference on e-Health Networking, Applications …, 2014 | 20 | 2014 |
| Formal Reliability analysis of Device Interoperability Middleware (DIM) based E-health system using PRISM U Pervez, A Mahmood, O Hasan, K Latif, A Gawanmeh 2015 17th International Conference on E-health Networking, Application …, 2015 | 13 | 2015 |
| Improvement strategies for device interoperability middleware using formal reliability analysis U Pervez, A Mahmood, O Hasan, K Latif, A Gawanmeh Scalable Computing: Practice and Experience 17 (3), 150-170, 2016 | 4 | 2016 |
| Probabilistic analysis of electrocardiogram (ECG) heart signal A Gawanmeh, U Pervez, O Hasan COMPUTER SYSTEMS SCIENCE AND ENGINEERING 33 (1), 21-29, 2018 | 1 | 2018 |
