Nafees Qamar
Title
Cited by
Cited by
Year
Weathering COVID-19 storm: Successful control measures of five Asian countries
N Lu, KW Cheng, N Qamar, KC Huang, JA Johnson
American journal of infection control 48 (7), 851-852, 2020
772020
Taking into account functional models in the validation of is security policies
Y Ledru, A Idani, J Milhau, N Qamar, R Laleau, JL Richier, MA Labiadh
International Conference on Advanced Information Systems Engineering, 592-606, 2011
312011
Social networks and collective intelligence: a return to the agora
M Mazzara, L Biselli, PP Greco, N Dragoni, A Marraffa, N Qamar, ...
Social Network Engineering for Secure Web Data and Services, 88-113, 2013
272013
Validation of security-design models using Z
N Qamar, Y Ledru, A Idani
International Conference on Formal Engineering Methods, 259-274, 2011
252011
Medshare: a novel hybrid cloud for medical resource sharing among autonomous healthcare providers
Y Yang, X Li, N Qamar, P Liu, W Ke, B Shen, Z Liu
IEEE Access 6, 46949-46961, 2018
192018
Validation of security policies by the animation of z specifications
Y Ledru, N Qamar, A Idani, JL Richier, MA Labiadh
Proceedings of the 16th ACM symposium on Access control models and …, 2011
152011
Evaluating rbac supported techniques and their validation and verification
N Qamar, Y Ledru, A Idani
2011 Sixth International Conference on Availability, Reliability and …, 2011
142011
Towards a formal analysis of dynamic reconfiguration in WS-BPEL
F Abouzaid, M Mazzara, J Mullins, N Qamar
Intelligent Decision Technologies 7 (3), 213-224, 2013
132013
ServeNet: A Deep Neural Network for Web Services Classification
Y Yang, N Qamar, P Liu, K Grolinger, W Wang, Z Li, Z Liao
2020 IEEE International Conference on Web Services (ICWS), 168-175, 2020
112020
Validation of IS security policies featuring authorisation constraints
Y Ledru, A Idani, J Milhau, N Qamar, R Laleau, JL Richier, MA Labiadh
International Journal of Information System Modeling and Design (IJISMD) 6 …, 2015
112015
On Social Network Engineering for Secure Web Data and Services
L Caviglione, M Coccoli, A Merlo
Social Network Engineering for Secure Web Data and Services, 1-4, 2013
102013
Principles of the coupling between UML and formal notations
A Idani, Y Ledru, J Richier, MA Labiadh, N Qamar, F Gervais, R Laleau, ...
ANR-08-SEGI-018, 2011
92011
Composition Analysis of Multiple Aspects in Aspect-Oriented Programs
N Qamar
2009 16th Asia-Pacific Software Engineering Conference, 223-230, 2009
92009
Automated reviewing of healthcare security policies
N Qamar, J Faber, Y Ledru, Z Liu
International Symposium on Foundations of Health Informatics Engineering and …, 2012
82012
A quantitative analysis of the performance and scalability of de-identification tools for medical data
Z Liu, N Qamar, J Qian
International Symposium on Foundations of Health Informatics Engineering and …, 2013
62013
An Approach to Test Aspect-oriented Programs.
MN Qamar, A Nadeem, R Aziz
World Congress on Engineering, 211-216, 2007
62007
Querying medical datasets while preserving privacy
N Qamar, Y Yang, A Nadas, Z Liu
Procedia Computer Science 98, 324-331, 2016
52016
An automated routine childhood immunization approach using openEHR.
Z Liu, N Qamar, J Qian
Studies in health technology and informatics 192, 1075-1075, 2013
52013
Predicting Influential Blogger’s by a Novel, Hybrid and Optimized Case Based Reasoning Approach With Balanced Random Forest Using Imbalanced Data
Y Asim, AK Malik, B Raza, AR Shahid, N Qamar
IEEE Access 9, 6836-6854, 2020
22020
Bio-inspired Approach to Thwart Against Insider Threats: An Access Control Policy Regulation Framework
U Rauf, M Shehab, N Qamar, S Sameen
International Conference on Bio-inspired Information and Communication, 39-57, 2019
22019
The system can't perform the operation now. Try again later.
Articles 1–20