Amjad Gawanmeh
Amjad Gawanmeh
University of Dubai and Concordia University
Verified email at ud.ac.ae
Title
Cited by
Cited by
Year
The Optimal Deployment, Coverage, and Connectivity Problems in Wireless Sensor Networks: Revisited
JN Al-Karaki, A Gawanmeh
IEEE Access 5 (1), 18051-18065, 2017
752017
Modeling the trajectory of microparticles subjected to dielectrophoresis in a microfluidic device for field flow fractionation
B Mathew, A Alazzam, M Abutayeh, A Gawanmeh, S Khashan
Chemical Engineering Science 138, 266-280, 2015
372015
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
Communications (ICC Workshops), 2017 IEEE International Conference on, 864-869, 2017
242017
Interfacing ASM with the MDG tool
A Gawanmeh, S Tahar, K Winter
International Conference on Abstract State Machines, 278-292, 2003
232003
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
Enabling SystemC Verification using Abstract State Machines.
A Gawanmeh, A Habibi, S Tahar
FDL, 649-661, 2004
192004
An executable operational semantics for SystemC using Abstract State Machines
A Gawanmeh, A Habibi, S Tahar
Technical report, Department of Electrical and Computer Engineering …, 2004
172004
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
Assertion based verification of PSL for SystemC designs
A Habibi, A Gawanmeh, S Tahar
2004 International Symposium on System-on-Chip, 2004. Proceedings., 177-180, 2004
162004
Embedding and verification of ZigBee protocol stack in Event-B
A Gawanmeh
Procedia Computer Science 5, 736-741, 2011
152011
Challenges in Formal Methods for Testing and Verification of Cloud Computing Systems
A Gawanmeh, A Alomari
Scalable Computing: Practice and Experience 16 (3), 321-332, 2015
142015
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
Formal reliability analysis of a typical fhir standard based e-health system using prism
U Pervez, O Hasan, K Latif, S Tahar, A Gawanmeh, MS Hamdi
2014 IEEE 16th International Conference on e-Health Networking, Applications …, 2014
142014
An axiomatic model for formal specification requirements of ubiquitous healthcare systems
A Gawanmeh
2013 IEEE 10th Consumer Communications and Networking Conference (CCNC), 898-902, 2013
142013
Reinforcement Learning based Methodology for Energy-efficient Resource Allocation in Cloud Data Centers
T Thein, MM Myo, S Parvin, A Gawanmeh
Computer and Information Sciences, Elsevier, In press, 2018
132018
Formal Reliability analysis of Device Interoperability Middleware (DIM) based E-health system using PRISM
U Pervez, A Mahmood, O Hasan, K Latif, A Gawanmeh
2015 17th International Conference on E-health Networking, Application …, 2015
132015
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
Optimizing Resource Allocation Scheduling in Cloud Computing services
A Gawanmeh, A Alomari, A April
Journal of Theoretical and Applied Information Technology 95 (1), 31-39, 2017
11*2017
Survey on cybersecurity issues in wireless mesh networks based eHealthcare
K Saleem, K Zeb, A Derhab, H Abbas, J Al-Muhtadi, MA Orgun, ...
2016 IEEE 18th International Conference on e-Health Networking, Applications …, 2016
112016
The system can't perform the operation now. Try again later.
Articles 1–20