Nafees Qamar
Nafees Qamar
Governors State University
Verified email at isis.vanderbilt.edu
Title
Cited by
Cited by
Year
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
302011
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
252013
Validation of security-design models using Z
N Qamar, Y Ledru, A Idani
International Conference on Formal Engineering Methods, 259-274, 2011
232011
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
222020
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
162011
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
Evaluating RBAC supported techniques and their validation and verification
N Qamar, Y Ledru, A Idani
2011 Sixth International Conference on Availability, Reliability and …, 2011
132011
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
112018
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
102015
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
92013
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
82011
Automated reviewing of healthcare security policies
N Qamar, J Faber, Y Ledru, Z Liu
International Symposium on Foundations of Health Informatics Engineering and …, 2012
72012
Composition Analysis of Multiple Aspects in Aspect-Oriented Programs
N Qamar
2009 16th Asia-Pacific Software Engineering Conference, 223-230, 2009
72009
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 automated routine childhood immunization approach using openEHR.
Z Liu, N Qamar, J Qian
Studies in health technology and informatics 192, 1075-1075, 2013
52013
An Approach to Test Aspect-oriented Programs.
MN Qamar, A Nadeem, R Aziz
World Congress on Engineering, 211-216, 2007
52007
Querying medical datasets while preserving privacy
N Qamar, Y Yang, A Nadas, Z Liu
Procedia Computer Science 98, 324-331, 2016
42016
Actualizing a mobile integrated system for geriatric care.
HE Chew, J Faber, Z Liu, V Madera, N Qamar
Studies in health technology and informatics 192, 1109, 2013
42013
Anonymously Analyzing Clinical Datasets
N Qamar, Y Yang, A Nadas, Z Liu, J Sztipanovits
arXiv preprint arXiv:1501.05916, 2014
22014
An experimental evaluation of de-identification tools for electronic health records
J Qian, N Qamar
arXiv preprint arXiv:1211.3836, 2012
22012
The system can't perform the operation now. Try again later.
Articles 1–20