Saad Zafar

According to our database, Saad Zafar authored at least 17 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., May, 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

Innovative Hardware Architecture for Zero Emission Sea Drones.

Ilya Kavalchuk, Saad Zafar, Shahid Islam

Proceedings of the International Conference on Microelectronics, 2023

2020

Effects of sliding mode control antiretroviral drug on HIV-1 viral load.

Musharif Ahmed, Saad Zafar, Muhammad Aamer Saleem, Muhammad Zubair, Ijaz Mansoor Qureshi

Turkish J. Electr. Eng. Comput. Sci., 2020

A maturity model for secure requirements engineering.

Mahmood Niazi, Ashraf Mohammed Saeed, Mohammad R. Alshayeb, Sajjad Mahmood, Saad Zafar

Comput. Secur., 2020

2019

Between-host HIV model: stability analysis and solution using memetic computing.

Musharif Ahmed, Ijaz Mansoor Qureshi, Muhammad Aamer Saleem, Muhammad Zubair, Saad Zafar

Turkish J. Electr. Eng. Comput. Sci., 2019

2018

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

2017

Demonstration of TWDM-PON Backward Compatibility with Conventional GPON.

Muhammad Irfan Anis, Muhammad Shahbaz Qureshi, Saad Zafar

Wirel. Pers. Commun., 2017

Evaluating Collaborative Learning Using Community of Inquiry Framework for a Blended Learning Formal Methods Course.

Saad Zafar, Naurin Farooq Khan, Seema Hussain

Proceedings of the Teaching and Learning in a Digital World - Proceedings of the 20th International Conference on Interactive Collaborative Learning, 2017

2015

Security quality model: an extension of Dromey's model.

Saad Zafar, Misbah Mehboob, Asma Naveed, Bushra Malik

Softw. Qual. J., 2015

Requirements simulation for early validation using Behavior Trees and Datalog.

Saad Zafar, Naurin Farooq Khan, Musharif Ahmed

Inf. Softw. Technol., 2015

2011

Experience with fault injection experiments for FMEA.

Lars Grunske, Kirsten Winter, Nisansala Yatapanage, Saad Zafar, Peter A. Lindsay

Softw. Pract. Exp., 2011

2010

Slicing Behavior Tree Models for Verification.

Nisansala Yatapanage, Kirsten Winter, Saad Zafar

Proceedings of the Theoretical Computer Science, 2010

2009

A Light-Weight Formal Approach for Modeling, Verifying and Integrating Role-Based Access Control Requirements.

Saad Zafar

Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009

2007

Early Validation and Verification of a Distributed Role-Based Access Control Model.

Saad Zafar, Robert Colvin, Kirsten Winter, Nisansala Yatapanage, R. Geoff Dromey

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006

Formal Verification of the IEEE 802.11i WLAN Security Protocol.

Elankayer Sithirasenan, Saad Zafar, Vallipuram Muthukkumarasamy

Proceedings of the 17th Australian Software Engineering Conference (ASWEC 2006), 2006

2005

Integrating Safety and Security Requirements into Design of an Embedded System.

Saad Zafar, R. Geoff Dromey

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005