Amjad Gawanmeh
Amjad Gawanmeh
Verified email at - Homepage
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
Towards building a blockchain framework for IoT
D Pavithran, K Shaalan, JN Al-Karaki, A Gawanmeh
Cluster Computing 23 (3), 2089-2103, 2020
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
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
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
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
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
Evaluating the Effectiveness of Distance Learning in Higher Education during COVID-19 Global Crisis: UAE Educators' Perspectives.
JN Al-Karaki, N Ababneh, Y Hamid, A Gawanmeh
Contemporary Educational Technology 13 (3), 2021
Interfacing ASM with the MDG tool
A Gawanmeh, S Tahar, K Winter
International Conference on Abstract State Machines, 278-292, 2003
DASS-CARE: a decentralized, accessible, scalable, and secure healthcare framework using blockchain
JN Al-Karaki, A Gawanmeh, M Ayache, A Mashaleh
2019 15th International Wireless Communications & Mobile Computing …, 2019
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
Embedding and verification of ZigBee protocol stack in event-B
A Gawanmeh
Procedia Computer Science 5, 736-741, 2011
Taxonomy analysis of security aspects in cyber physical systems applications
A Gawanmeh, A Alomari
2018 IEEE International Conference on Communications Workshops (ICC …, 2018
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
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
A lightweight cyber security framework with context-awareness for pervasive computing environments
J Al-Muhtadi, K Saleem, S Al-Rabiaah, M Imran, A Gawanmeh, ...
Sustainable Cities and Society 66, 102610, 2021
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
The system can't perform the operation now. Try again later.
Articles 1–20