Integrating Safety and Security Requirements into Design of an Embedded System. - Saad Zafar; R. Geoff Dromey (APSEC, 2005)

Formal Verification of the IEEE 802.11i WLAN Security Protocol. - Elankayer Sithirasenan; Saad Zafar; Vallipuram Muthukkumarasamy (ASWEC, 2006)

Early Validation and Verification of a Distributed Role-Based Access Control Model. - Saad Zafar; Robert Colvin; Kirsten Winter; Nisansala Yatapanage; R. Geoff Dromey (APSEC, 2007)

A Light-Weight Formal Approach for Modeling, Verifying and Integrating Role-Based Access Control Requirements. - Saad Zafar (APSEC, 2009)

Slicing Behavior Tree Models for Verification. - Nisansala Yatapanage; Kirsten Winter; Saad Zafar (IFIP TCS, 2010)

Experience with fault injection experiments for FMEA. - Lars Grunske; Kirsten Winter; Nisansala Yatapanage; Saad Zafar; Peter A. Lindsay (Softw. Pract. Exp., 2011)

Requirements simulation for early validation using Behavior Trees and Datalog. - Saad Zafar; Naurin Farooq Khan; Musharif Ahmed (Inf. Softw. Technol., 2015)

Security quality model: an extension of Dromey's model. - Saad Zafar; Misbah Mehboob; Asma Naveed; Bushra Malik (Softw. Qual. J., 2015)

Evaluating Collaborative Learning Using Community of Inquiry Framework for a Blended Learning Formal Methods Course. - Saad Zafar; Naurin Farooq Khan; Seema Hussain (ICL (1), 2017)

Demonstration of TWDM-PON Backward Compatibility with Conventional GPON. - Muhammad Irfan Anis; Muhammad Shahbaz Qureshi; Saad Zafar (Wirel. Pers. Commun., 2017)

Machine learning based decision support systems (DSS) for heart disease diagnosis: a review. - Saima Safdar; Saad Zafar; Nadeem Zafar; Naurin Farooq Khan (Artif. Intell. Rev., 2018)

Between-host HIV model: stability analysis and solution using memetic computing. - Musharif Ahmed; Ijaz Mansoor Qureshi; Muhammad Aamer Saleem; Muhammad Zubair 001; Saad Zafar (Turkish J. Electr. Eng. Comput. Sci., 2019)

A maturity model for secure requirements engineering. - Mahmood Niazi; Ashraf Mohammed Saeed; Mohammad R. Alshayeb; Sajjad Mahmood; Saad Zafar (Comput. Secur., 2020)

Effects of sliding mode control antiretroviral drug on HIV-1 viral load. - Musharif Ahmed; Saad Zafar; Muhammad Aamer Saleem; Muhammad Zubair 001; Ijaz Mansoor Qureshi (Turkish J. Electr. Eng. Comput. Sci., 2020)

Innovative Hardware Architecture for Zero Emission Sea Drones. - Ilya Kavalchuk; Saad Zafar; Shahid Islam (ICM, 2023)

Improving prediction of one-year mortality of acute myocardial infarction using machine learning techniques. - Mirza Touseef; Najla Raza; Adeel Zafar; Muhammad Zubair; Saad Zafar (Int. J. Medical Eng. Informatics, 2023)

Synthetic data generation: State of the art in health care domain. - Hajra Murtaza; Musharif Ahmed; Naurin Farooq Khan; Ghulam Murtaza; Saad Zafar; Ambreen Bano (Comput. Sci. Rev., 2023)

Maturity model for secure software testing. - Gulzar Alam; Sajjad Mahmood; Mohammad R. Alshayeb; Mahmood Niazi; Saad Zafar (J. Softw. Evol. Process., 2024)

Design and evaluation of TPB based anti-bullying intervention for university students. - Sumera Saleem; Naurin Farooq Khan; Saad Zafar; Musharraf Ahmed (Multim. Tools Appl., 2025)