Saad Zafar

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