Saad Zafar - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 17 from 17

2023

2020

Effects of sliding mode control antiretroviral drug on HIV-1 viral loadMusharif Ahmed, Saad Zafar, Muhammad Aamer Saleem, Muhammad Zubair 0001, Ijaz Mansoor Qureshi. elektrik, 28(6), 2020. [doi]

A maturity model for secure requirements engineeringMahmood Niazi, Ashraf Mohammed Saeed, Mohammad Alshayeb, Sajjad Mahmood, Saad Zafar. compsec, 95:101852, 2020. [doi]

2019

Between-host HIV model: stability analysis and solution using memetic computingMusharif Ahmed, Ijaz Mansoor Qureshi, Muhammad Aamer Saleem, Muhammad Zubair 0001, Saad Zafar. elektrik, 27(4):2769-2783, 2019. [doi]

2018

Machine learning based decision support systems (DSS) for heart disease diagnosis: a reviewSaima Safdar, Saad Zafar, Nadeem Zafar, Naurin Farooq Khan. air, 50(4):597-623, 2018. [doi]

2017

Demonstration of TWDM-PON Backward Compatibility with Conventional GPONMuhammad Irfan Anis, Muhammad Shahbaz Qureshi, Saad Zafar. wpc, 95(2):581-592, 2017. [doi]

Evaluating Collaborative Learning Using Community of Inquiry Framework for a Blended Learning Formal Methods CourseSaad Zafar, Naurin Farooq Khan, Seema Hussain. icl 2018: 86-95 [doi]

2015

Requirements simulation for early validation using Behavior Trees and DatalogSaad Zafar, Naurin Farooq Khan, Musharif Ahmed. INFSOF, 61:52-70, 2015. [doi]

Security quality model: an extension of Dromey's modelSaad Zafar, Misbah Mehboob, Asma Naveed, Bushra Malik. sqj, 23(1):29-54, 2015. [doi]

2011

Experience with fault injection experiments for FMEALars Grunske, Kirsten Winter, Nisansala Yatapanage, Saad Zafar, Peter A. Lindsay. SPE, 41(11):1233-1258, 2011. [doi]

2010

Slicing Behavior Tree Models for VerificationNisansala Yatapanage, Kirsten Winter, Saad Zafar. ifipTCS 2010: 125-139 [doi]

2009

A Light-Weight Formal Approach for Modeling, Verifying and Integrating Role-Based Access Control RequirementsSaad Zafar. apsec 2009: 257-264 [doi]

2007

Early Validation and Verification of a Distributed Role-Based Access Control ModelSaad Zafar, Robert Colvin, Kirsten Winter, Nisansala Yatapanage, R. Geoff Dromey. apsec 2007: 430-437 [doi]

2006

Formal Verification of the IEEE 802.11i WLAN Security ProtocolElankayer Sithirasenan, Saad Zafar, Vallipuram Muthukkumarasamy. ASWEC 2006: 181-190 [doi]

2005

Integrating Safety and Security Requirements into Design of an Embedded SystemSaad Zafar, R. Geoff Dromey. apsec 2005: 629-636 [doi]

Sign in or sign up to see more results.

runs on WebDSL