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
942017
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
382015
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
332015
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
272017
Interfacing ASM with the MDG tool
A Gawanmeh, S Tahar, K Winter
International Conference on Abstract State Machines, 278-292, 2003
232003
Enabling SystemC Verification using Abstract State Machines.
A Gawanmeh, A Habibi, S Tahar
FDL, 649-661, 2004
212004
Towards building a blockchain framework for IoT
D Pavithran, K Shaalan, JN Al-Karaki, A Gawanmeh
Cluster Computing 23 (3), 2089-2103, 2020
202020
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
192014
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
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
162020
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
162014
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
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
142016
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
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
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
Taxonomy analysis of security aspects in cyber physical systems applications
A Gawanmeh, A Alomari
2018 IEEE International Conference on Communications Workshops (ICC …, 2018
122018
The system can't perform the operation now. Try again later.
Articles 1–20