Tire pressure monitoring system with wireless communication. - Nouman Naim Hasan; Adeel Arif; Usman Pervez (CCECE, 2011)

Micro-controller Based On-Board Diagnostic (OBD) System for Non-OBD Vehicles. - Nouman Naim Hasan; Adeel Arif; Usman Pervez; Muhammad Hassam; Syed Shabeeh Ul Husnain (UKSim, 2011)

Formal reliability analysis of a typical FHIR standard based e-Health system using PRISM. - Usman Pervez; Osman Hasan; Khalid Latif 001; Sofiène Tahar; Amjad Gawanmeh; Mohamed Salah Hamdi (Healthcom, 2014)

Formal reliability analysis of Device Interoperability Middleware (DIM) based E-health system using PRISM. - Usman Pervez; Asiah Mahmood; Osman Hasan; Khalid Latif 001; Amjad Gawanmeh (HealthCom, 2015)

Improvement Strategies for Device Interoperability Middleware using Formal Reliability Analysis. - Usman Pervez; Asiah Mahmood; Osman Hasan; Khalid Latif 001; Amjad Gawanmeh (Scalable Comput. Pract. Exp., 2016)

Reliability modeling and analysis of communication networks. - Waqar Ahmad; Osman Hasan; Usman Pervez; Junaid Qadir 001 (J. Netw. Comput. Appl., 2017)

Probabliistic analysis of electrocardiogram (ECG) heart signal. - Amjad Gawanmeh; Usman Pervez; Osman Hasan (Comput. Syst. Sci. Eng., 2018)