Saad Zafar

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 10

Top Topics

Disease Diagnosis

Data Generation

Top Venues

Turkish J. Electr. Eng. Comput. Sci.

Int. J. Medical Eng. Informatics

Inf. Softw. Technol.

Artif. Intell. Rev.

Publications

Gulzar Alam, Sajjad Mahmood, Mohammad R. Alshayeb, Mahmood Niazi, Saad Zafar
Maturity model for secure software testing. J. Softw. Evol. Process. 36 (5) (2024)
Mirza Touseef, Najla Raza, Adeel Zafar, Muhammad Zubair, Saad Zafar
Improving prediction of one-year mortality of acute myocardial infarction using machine learning techniques. Int. J. Medical Eng. Informatics 15 (3) (2023)
Ilya Kavalchuk, Saad Zafar, Shahid Islam
Innovative Hardware Architecture for Zero Emission Sea Drones. ICM (2023)
Hajra Murtaza, Musharif Ahmed, Naurin Farooq Khan, Ghulam Murtaza, Saad Zafar, Ambreen Bano
Synthetic data generation: State of the art in health care domain. Comput. Sci. Rev. 48 (2023)
Musharif Ahmed, Saad Zafar, Muhammad Aamer Saleem, Muhammad Zubair, Ijaz Mansoor Qureshi
Effects of sliding mode control antiretroviral drug on HIV-1 viral load. Turkish J. Electr. Eng. Comput. Sci. 28 (6) (2020)
Mahmood Niazi, Ashraf Mohammed Saeed, Mohammad Alshayeb, Sajjad Mahmood, Saad Zafar
A maturity model for secure requirements engineering. Comput. Secur. 95 (2020)
Musharif Ahmed, Ijaz Mansoor Qureshi, Muhammad Aamer Saleem, Muhammad Zubair, Saad Zafar
Between-host HIV model: stability analysis and solution using memetic computing. Turkish J. Electr. Eng. Comput. Sci. 27 (4) (2019)
Saima Safdar, Saad Zafar, Nadeem Zafar, Naurin Farooq Khan
Machine learning based decision support systems (DSS) for heart disease diagnosis: a review. Artif. Intell. Rev. 50 (4) (2018)
Muhammad Irfan Anis, Muhammad Shahbaz Qureshi, Saad Zafar
Demonstration of TWDM-PON Backward Compatibility with Conventional GPON. Wirel. Pers. Commun. 95 (2) (2017)
Saad Zafar, Naurin Farooq Khan, Seema Hussain
Evaluating Collaborative Learning Using Community of Inquiry Framework for a Blended Learning Formal Methods Course. ICL (1) (2017)
Saad Zafar, Misbah Mehboob, Asma Naveed, Bushra Malik
Security quality model: an extension of Dromey's model. Softw. Qual. J. 23 (1) (2015)
Saad Zafar, Naurin Farooq Khan, Musharif Ahmed
Requirements simulation for early validation using Behavior Trees and Datalog. Inf. Softw. Technol. 61 (2015)
Lars Grunske, Kirsten Winter, Nisansala Yatapanage, Saad Zafar, Peter A. Lindsay
Experience with fault injection experiments for FMEA. Softw. Pract. Exp. 41 (11) (2011)
Nisansala Yatapanage, Kirsten Winter, Saad Zafar
Slicing Behavior Tree Models for Verification. IFIP TCS (2010)
Saad Zafar
A Light-Weight Formal Approach for Modeling, Verifying and Integrating Role-Based Access Control Requirements. APSEC (2009)
Saad Zafar, Robert Colvin, Kirsten Winter, Nisansala Yatapanage, R. Geoff Dromey
Early Validation and Verification of a Distributed Role-Based Access Control Model. APSEC (2007)
Elankayer Sithirasenan, Saad Zafar, Vallipuram Muthukkumarasamy
Formal Verification of the IEEE 802.11i WLAN Security Protocol. ASWEC (2006)
Saad Zafar, R. Geoff Dromey
Integrating Safety and Security Requirements into Design of an Embedded System. APSEC (2005)