Amjad Gawanmeh
Amjad Gawanmeh
University of Dubai and Concordia University
Verified email at
Cited by
Cited by
The Optimal Deployment, Coverage, and Connectivity Problems in Wireless Sensor Networks: Revisited
JN Al-Karaki, A Gawanmeh
IEEE Access 5 (1), 18051-18065, 2017
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
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
Towards building a blockchain framework for IoT
D Pavithran, K Shaalan, JN Al-Karaki, A Gawanmeh
Cluster Computing 23 (3), 2089-2103, 2020
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
Interfacing ASM with the MDG tool
A Gawanmeh, S Tahar, K Winter
International Conference on Abstract State Machines, 278-292, 2003
Enabling SystemC Verification using Abstract State Machines.
A Gawanmeh, A Habibi, S Tahar
FDL, 649-661, 2004
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
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 32 (10), 1127-1139, 2020
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
Embedding and verification of ZigBee protocol stack in Event-B
A Gawanmeh
Procedia Computer Science 5, 736-741, 2011
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
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
Smart solutions for RFID based inventory management systems: A survey
A Alwadi, A Gawanmeh, S Parvin, JN Al-Karaki
Scalable Computing: Practice and Experience 18 (4), 347-360, 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
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
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
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
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
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
The system can't perform the operation now. Try again later.
Articles 1–20