| 2025 | HealthCom | Explainable Federated Learning and Quantum-based Secure Remote Patient Monitoring Framework. | Megh H. Shah, Karm Dave, Khushi Trivedi, Dev Mehta, Rajesh Gupta, Sudeep Tanwar, Amjad Gawanmeh, Joel J. P. C. Rodrigues |
| 2025 | HealthCom | Quantum-based Edge Intelligence Framework for Wearable Health IoT Device Networks. | Riya Upadhyay, Param Desai, Ansh Vachhani, Lakshit Pathak, Rajesh Gupta, Sudeep Tanwar, Aparna Kumari, Jitendra Bhatia, Amjad Gawanmeh, Joel J. P. C. Rodrigues |
| 2023 | DASC | Predicting Student Dropout in Online Learning Platforms Using Deep Learning Techniques. | Aisha Almaazmi, Shadi Atalla, Hamzah Ali Alkhazaleh, Wathiq Mansoor, Amjad Gawanmeh |
| 2020 | WoWMoM | A Big Data Fusion to Profile CPS Security Threats Against Operational Technology. | Karl Biron, Wael Bazzaza, Khalid Yaqoob, Amjad Gawanmeh, Claude Fachkha |
| 2019 | IWCMC | DASS-CARE: A Decentralized, Accessible, Scalable, and Secure Healthcare Framework using Blockchain. | Jamal N. Al-Karaki, Amjad Gawanmeh, Meryeme Ayache, Ashraf S. Mashaleh |
| 2019 | IWCMC | XBAC: A Unified Access Control Model for Heterogeneous Multi-Tenancy Cloud Environments. | Meryeme Ayache, Amjad Gawanmeh, Jamal N. Al-Karaki |
| 2018 | LCN | Analysis of MAC Protocols for Real-Time Monitoring of Heart and Respiratory Signals. | Negar Mohammadi-Koushki, Amjad Gawanmeh |
| 2016 | CHASE | Open Issues in Reliability, Safety, and Efficiency of Connected Health. | Amjad Gawanmeh |
| 2016 | HealthCom | Survey on cybersecurity issues in wireless mesh networks based eHealthcare. | Kashif Saleem, Khan Zeb, Abdelouahid Derhab, Haider Abbas, Jalal Al-Muhtadi, Mehmet A. Orgun, Amjad Gawanmeh |
| 2016 | ICCS | Formal Analysis of Collision Prevention of Two Wireless Personal Area Networks. | Amjad Gawanmeh, Youssef Iraqi |
| 2016 | LCN | Simulation Framework for a Security Protocol for Wireless Body Sensor Networks. | Hussam M. N. Al Hamadi, Amjad Gawanmeh, Mahmoud Al-Qutayri |
| 2015 | HealthCom | Reliability analysis of healthcare information systems: State of the art and future directions. | Amjad Gawanmeh, Hussam M. N. Al Hamadi, Mahmoud Al-Qutayri, Shiu-Kai Chin, Kashif Saleem |
| 2015 | HealthCom | Formalizing the movement of microparticles in a continuous flow microfluidic device for field flow fractionation. | Amjad Gawanmeh, Anas Alazzam, Bobby Mathew, Mohammad Abutayeh, Hyung Jin Sung |
| 2015 | HealthCom | Formal reliability analysis of Device Interoperability Middleware (DIM) based E-health system using PRISM. | Usman Pervez, Asiah Mahmood, Osman Hasan, Khalid Latif, Amjad Gawanmeh |
| 2014 | HealthCom | Formalizing electrocardiogram (ECG) signal behavior in event-B. | Hussam M. N. Al Hamadi, Amjad Gawanmeh, Mahmoud Al-Qutayri |
| 2014 | HealthCom | Formal reliability analysis of a typical FHIR standard based e-Health system using PRISM. | Usman Pervez, Osman Hasan, Khalid Latif, Sofine Tahar, Amjad Gawanmeh, Mohamed Salah Hamdi |
| 2008 | LCN | Event-B based invariant checking of secrecy in group key protocols. | Amjad Gawanmeh, Sofine Tahar, Leila Jemni Ben Ayed |
| 2007 | AINA | Rank Theorems for Forward Secrecy in Group Key Management Protocols. | Amjad Gawanmeh, Sofine Tahar |
| 2004 | FDL | Enabling SystemC Verification using Abstract State Machines. | Amjad Gawanmeh, Ali Habibi, Sofine Tahar |
| 2003 | SEFM | Formal Verification of ASM Designs Using the MDG Tool. | Amjad Gawanmeh, Sofine Tahar, Kirsten Winter |