Dr. Hussam Al-Hammadi
Dr. Hussam Al-Hammadi
Research Scientist, Khalifa University
Dirección de correo verificada de ku.ac.ae
Título
Citado por
Citado por
Año
Reliability analysis of healthcare information systems: State of the art and future directions
A Gawanmeh, H Al-Hamadi, M Al-Qutayri, SK Chin, K Saleem
2015 17th International Conference on E-health Networking, Application …, 2015
312015
Efficient low cost supervisory system for Internet of Things enabled smart home
MS Kamal, S Parvin, K Saleem, H Al-Hamadi, A Gawanmeh
2017 IEEE International Conference on Communications Workshops (ICC …, 2017
212017
A verification methodology for a wireless body sensor network functionality
H Al Hamadi, A Gawanmeh, M Al-Qutayri
IEEE-EMBS International Conference on Biomedical and Health Informatics (BHI …, 2014
202014
Theorem proving verification of privacy in WBSN for healthcare systems
HMN Al Hamadi, A Gawanmeh, MA Al-Qutayri
2013 IEEE 20th International Conference on Electronics, Circuits, and …, 2013
162013
Formalizing electrocardiogram (ECG) signal behavior in Event-B
H Al-Hamadi, A Gawanmeh, M Al-Qutayri
2014 IEEE 16th International Conference on e-Health Networking, Applications …, 2014
142014
A novel security scheme for the smart grid and SCADA networks
HMN Al Hamadi, CY Yeun, MJ Zemerly
Wireless personal communications 73 (4), 1547-1559, 2013
142013
Formal validation of QRS wave within ECG
H Al-Hamadi, A Gawanmeh, M Al-Qutayri
2015 International Conference on Information and Communication Technology …, 2015
122015
Distributed lightweight kerberos protocol for mobile agent systems
HMN Al-Hamadi, CY Yeun, MJ Zemerly, M Al-Qutayri
2011 IEEE GCC Conference and Exhibition (GCC), 233-236, 2011
112011
Lightweight security protocol for ECG bio-sensors
H Al-Hamadi, A Gawanmeh, J Baek, M Al-Qutayri
Wireless Personal Communications 95 (4), 5097-5120, 2017
82017
Verifying mutual authentication for the DLK protocol using ProVerif tool
HMN Al Hamadi, CY Yeun, MJ Zemerly, MA Al-Qutayri, A Gawanmeh
International Journal for Information Security Research 2 (1), 256-265, 2012
72012
An automatic ecg generator for testing and evaluating ecg sensor algorithms
H Al-Hamadi, A Gawanmeh, M Al-Qutayri
2015 10th International Design & Test Symposium (IDT), 78-83, 2015
52015
Lightweight security protocol for health monitoring in Ambient Assisted Living environment
H Al-Hamadi, A Gawanmeh, M Al-Qutayri
2017 IEEE International Conference on Communications Workshops (ICC …, 2017
42017
Formal modeling and verification of DLK protocol
HMN Al-Hamadi, CY Yeun, MJ Zemerly, MA Al-Qutayri, A Gawanmeh
2011 International conference for internet technology and secured …, 2011
42011
A framework for the verification of an ECG biosensor algorithm
H Al-Hamadi, A Gawanmeh, M Al-Qutayri, M Ismail
Analog Integrated Circuits and Signal Processing 90 (3), 523-538, 2017
32017
Simulation Framework for a Security Protocol for Wireless Body Sensor Networks
H Al-Hamadi, A Gawanmeh, M Al-Qutayri
2016 IEEE 41st Conference on Local Computer Networks Workshops (LCN …, 2016
12016
A Novel Protocol for Security of Location Based Services in Multi-agent Systems
H Al-Hamadi, CY Yeun, MJ Zemerly, M Al-Qutayri, A Gawanmeh, ...
Wireless Personal Communications 108 (3), 1841-1868, 2019
2019
Guided Test Case Generation for Enhanced ECG Bio-Sensors Functional Verification
H Al Hamadi, A Gawanmeh, M Al-Qutayri
International Journal of E-Health and Medical Communications (IJEHMC) 8 (4 …, 2017
2017
International Journal of E-Health and Medical Communications
LC Fourati, S Boudjit, A Barbeito, M Painho, N IMS, P Cabral, A Shakdher, ...
International Journal 8 (1), 2017
2017
Assertion-based verification technique for ECG bio-sensor algorithms
H Al-Hamadi, A Gawanmeh, M Al-Qutayri
2016 IEEE 59th International Midwest Symposium on Circuits and Systems …, 2016
2016
Yeun & Mohamed Jamal Zemerly
HMN Al Hamadi, C Yeob
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20