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
1042017
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
412015
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
342015
Towards building a blockchain framework for IoT
D Pavithran, K Shaalan, JN Al-Karaki, A Gawanmeh
Cluster Computing 23 (3), 2089-2103, 2020
322020
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
292017
Interfacing ASM with the MDG tool
A Gawanmeh, S Tahar, K Winter
International Conference on Abstract State Machines, 278-292, 2003
242003
Enabling SystemC Verification using Abstract State Machines.
A Gawanmeh, A Habibi, S Tahar
FDL, 649-661, 2004
212004
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
182014
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
172020
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
172014
Embedding and verification of ZigBee protocol stack in Event-B
A Gawanmeh
Procedia Computer Science 5, 736-741, 2011
172011
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
172004
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
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
162017
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
152016
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
152015
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
152014
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
152013
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
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
13*2017
The system can't perform the operation now. Try again later.
Articles 1–20