| The Optimal Deployment, Coverage, and Connectivity Problems in Wireless Sensor Networks: Revisited JN Al-Karaki, A Gawanmeh IEEE Access 5 (1), 18051-18065, 2017 | 88 | 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 | 37 | 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 | 31 | 2015 |
| 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 | 25 | 2017 |
| Interfacing ASM with the MDG tool A Gawanmeh, S Tahar, K Winter International Conference on Abstract State Machines, 278-292, 2003 | 23 | 2003 |
| Enabling SystemC Verification using Abstract State Machines. A Gawanmeh, A Habibi, S Tahar FDL, 649-661, 2004 | 21 | 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 | 19 | 2014 |
| 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 | 17 | 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 | 17 | 2004 |
| Embedding and verification of ZigBee protocol stack in Event-B A Gawanmeh Procedia Computer Science 5, 736-741, 2011 | 16 | 2011 |
| 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 | 15 | 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 | 15 | 2013 |
| 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 | 14 | 2018 |
| 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 | 14 | 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 | 14 | 2014 |
| 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 | 13 | 2015 |
| 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 | 13 | 2013 |
| Towards building a blockchain framework for IoT D Pavithran, K Shaalan, JN Al-Karaki, A Gawanmeh Cluster Computing 23 (3), 2089-2103, 2020 | 12 | 2020 |
| 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 | 12 | 2016 |
| Formal validation of QRS wave within ECG H Al-Hamadi, A Gawanmeh, M Al-Qutayri 2015 International Conference on Information and Communication Technology …, 2015 | 12 | 2015 |
