Saad Zafar
Title
Cited by
Cited by
Year
Evaluation of use of e-learning in undergraduate radiology education: a review
S Zafar, S Safdar, AN Zafar
European journal of radiology 83 (12), 2277-2287, 2014
652014
Machine learning based decision support systems (DSS) for heart disease diagnosis: a review
S Safdar, S Zafar, N Zafar, NF Khan
Artificial Intelligence Review 50 (4), 597-623, 2018
552018
Integrating safety and security requirements into design of an embedded system
S Zafar, RG Dromey
12th Asia-Pacific Software Engineering Conference (APSEC'05), 8 pp., 2005
462005
Experience with fault injection experiments for FMEA
L Grunske, K Winter, N Yatapanage, S Zafar, PA Lindsay
Software: Practice and Experience 41 (11), 1233-1258, 2011
442011
Formal verification of the ieee 802.11 i wlan security protocol
E Sithirasenan, S Zafar, V Muthukkumarasamy
Australian Software Engineering Conference (ASWEC'06), 10 pp.-190, 2006
342006
Slicing behavior tree models for verification
N Yatapanage, K Winter, S Zafar
IFIP International Conference on Theoretical Computer Science, 125-139, 2010
252010
A systematic mapping study on software engineering education
B Malik, S Zafar
International Journal of Educational and Pedagogical Sciences 6 (11), 3343-3353, 2012
212012
Early validation and verification of a distributed role-based access control model
S Zafar, R Colvin, K Winter, N Yatapanage, RG Dromey
14th Asia-Pacific Software Engineering Conference (APSEC'07), 430-437, 2007
92007
Internet addiction or problematic internet use: Current issues and challenges in conceptualization, measurement and treatment
SN Zafar
Journal of Islamic International Medical College 11 (2), 46-47, 2016
82016
Requirements simulation for early validation using Behavior Trees and Datalog
S Zafar, N Farooq-Khan, M Ahmed
Information and Software Technology 61, 52-70, 2015
82015
Online behaviour of students in a new blended learning course: An experience report
S Zafar, S Safdar, B Malik
2014 IEEE International Conference on Teaching, Assessment and Learning for†…, 2014
72014
Security quality model: an extension of Dromey’s model
S Zafar, M Mehboob, A Naveed, B Malik
Software Quality Journal 23 (1), 29-54, 2015
52015
Verification of an Integrated Role-Based Access Control Model
S Zafar, K Winter, R Colvin, RG Dromey
1st Asian Working Conderence on Verified Software 130, 2006
52006
Managing Complexity in Modelling Embedded Systems
S Zafar, G Dromey
Ice Australia, 2005
52005
Current Challenges of Digital Health Interventions in Pakistan: Mixed Methods Analysis
AM Kazi, SA Qazi, N Ahsan, S Khawaja, F Sameen, M Saqib, ...
Journal of medical Internet research 22 (9), e21691, 2020
32020
A light-weight formal approach for modeling, verifying and integrating role-based access control requirements
S Zafar
2009 16th Asia-Pacific Software Engineering Conference, 257-264, 2009
32009
Integration of Access Control Requirements into System Specifications
S Zafar
Griffith University, 2009
32009
Analysis of IEEE 802.11 i WLAN Security Protocol
E Sithirasenan, S Zafar, V Muthukkumarasamy
ISAST Transactions on Computers and Software Engineering 2 (1), 13-25, 2008
22008
A maturity model for secure requirements engineering
M Niazi, AM Saeed, M Alshayeb, S Mahmood, S Zafar
Computers & Security 95, 101852, 2020
12020
Between-host HIV model: stability analysis and solution using memetic computing
M Ahmed, IM Qureshi, MA Saleem, M Zubair, S Zafar
Turkish Journal of Electrical Engineering & Computer Sciences 27 (4), 2769-2783, 2019
12019
The system can't perform the operation now. Try again later.
Articles 1–20