Interfacing ASM with the MDG Tool. - Amjad Gawanmeh; Sofiène Tahar; Kirsten Winter (Abstract State Machines, 2003)

Formal Verification of ASM Designs Using the MDG Tool. - Amjad Gawanmeh; Sofiène Tahar; Kirsten Winter (SEFM, 2003)

Enabling SystemC Verification using Abstract State Machines. - Amjad Gawanmeh; Ali Habibi; Sofiène Tahar (FDL, 2004)

Assertion based verification of PSL for SystemC designs. - Ali Habibi; Amjad Gawanmeh; Sofiène Tahar (SoC, 2004)

Embedding and Verification of PSL using AsmL. - Amjad Gawanmeh; Ali Habibi; Sofiène Tahar (Abstract State Machines, 2005)

Rank Theorems for Forward Secrecy in Group Key Management Protocols. - Amjad Gawanmeh; Sofiène Tahar (AINA Workshops (1), 2007)

A Design for Verification Approach Using an Embedding of PSL in aSML. - Amjad Gawanmeh; Sofiène Tahar; Haja Moinudeen; Ali Habibi (J. Circuits Syst. Comput., 2007)

Event-B based invariant checking of secrecy in group key protocols. - Amjad Gawanmeh; Sofiène Tahar; Leila Jemni Ben Ayed (LCN, 2008)

Formal verification of ASMs using MDGs. - Amjad Gawanmeh; Sofiène Tahar; Kirsten Winter (J. Syst. Archit., 2008)

Rank Functions Based Inference System for Group Key Management Protocols Verification. - Amjad Gawanmeh; Adel Bouhoula; Sofiène Tahar (Int. J. Netw. Secur., 2009)

Formal modeling and verification of DLK protocol. - Hussam M. N. Al Hamadi; Chan Yeob Yeun; Mohamed Jamal Zemerly; Mahmoud Al-Qutayri; Amjad Gawanmeh (ICITST, 2011)

Modeling and verification of firewall configurations using domain restriction method. - Amjad Gawanmeh; Sofiène Tahar (ICITST, 2011)

Embedding and Verification of ZigBee Protocol Stack in Event-B. - Amjad Gawanmeh (ANT/MobiWIS, 2011)

A Demand Side Management Traffic Shaping and Scheduling Algorithm. - Ahmed M. AlAdwani; Amjad Gawanmeh; Sebastien Nicolas (Asia International Conference on Modelling and Simulation, 2012)

Novel algorithm for detecting conflicts in firewall rules. - Amjad Gawanmeh; Sofiène Tahar (CCECE, 2012)

Formal error analysis and verification of a frequency domain equalizer. - Anis Souari; Sofiène Tahar; Amjad Gawanmeh (NEWCAS, 2012)

An axiomatic model for formal specification requirements of ubiquitous healthcare systems. - Amjad Gawanmeh (CCNC, 2013)

Extended abstract: Theorem proving verification of privacy in WBSN for healthcare systems. - Hussam M. N. Al Hamadi; Amjad Gawanmeh; Mahmoud Al-Qutayri (ICECS, 2013)

Traffic Shaping and Delay Optimization in Demand Side Management. - Ahmed M. AlAdwani; Amjad Gawanmeh; Sebastien Nicolas (UKSim, 2013)

A verification methodology for a wireless body sensor network functionality. - Hussam M. N. Al Hamadi; Amjad Gawanmeh; Mahmoud Al-Qutayri (BHI, 2014)

Real time verification of firewalls with dynamic rulebase update. - Amjad Gawanmeh; Sofiène Tahar (CCECE, 2014)

Performance evaluation of time and frequency domain equalizers. - Anis Souari; Mohamed Lassaad Ammari; Amjad Gawanmeh; Sofiène Tahar (CCECE, 2014)

Formalizing electrocardiogram (ECG) signal behavior in event-B. - Hussam M. N. Al Hamadi; Amjad Gawanmeh; Mahmoud Al-Qutayri (Healthcom, 2014)

Formal reliability analysis of a typical FHIR standard based e-Health system using PRISM. - Usman Pervez; Osman Hasan; Khalid Latif 001; Sofiène Tahar; Amjad Gawanmeh; Mohamed Salah Hamdi (Healthcom, 2014)

Optimizing lifetime of homogeneous wireless sensor networks for vehicular monitoring. - Amjad Gawanmeh (ICCVE, 2014)

Understanding traffic: Towards a smart traffic control architecture. - Amjad Gawanmeh; Moh'd Alwadi; Ashraf Ghawanmeh (ICCVE, 2014)

Validating connected vehicles architecture. - Amjad Gawanmeh; Moh'd Alwadi; Ashraf Ghawanmeh (ICCVE, 2014)

Automatic Verification of Security Policies in Firewalls with Dynamic Rule Sequence. - Amjad Gawanmeh (ITNG, 2014)

Design and verification of a frequency domain equalizer. - Anis Souari; Amjad Gawanmeh; Sofiène Tahar; Mohamed Lassaad Ammari (Microelectron. J., 2014)

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 (HealthCom, 2015)

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 (HealthCom, 2015)

Formal reliability analysis of Device Interoperability Middleware (DIM) based E-health system using PRISM. - Usman Pervez; Asiah Mahmood; Osman Hasan; Khalid Latif 001; Amjad Gawanmeh (HealthCom, 2015)

An automatic ECG generator for testing and evaluating ECG sensor algorithms. - Hussam M. N. Al Hamadi; Amjad Gawanmeh; Mahmoud Al-Qutayri (IDT, 2015)

Challenges in Formal Methods for Testing and Verification of Cloud Computing Systems. - Amjad Gawanmeh; Ahmad Alomari (Scalable Comput. Pract. Exp., 2015)

Open Issues in Reliability, Safety, and Efficiency of Connected Health. - Amjad Gawanmeh (CHASE, 2016)

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 (HealthCom, 2016)

Formal Analysis of Collision Prevention of Two Wireless Personal Area Networks. - Amjad Gawanmeh; Youssef Iraqi (ICCS, 2016)

Simulation Framework for a Security Protocol for Wireless Body Sensor Networks. - Hussam M. N. Al Hamadi; Amjad Gawanmeh; Mahmoud Al-Qutayri (LCN Workshops, 2016)

Assertion-based verification technique for ECG bio-sensor algorithms. - Hussam M. N. Al Hamadi; Amjad Gawanmeh; Mahmoud Al-Qutayri (MWSCAS, 2016)

Formal Verification of a Microfluidic Device for Blood Cell Separation. - Amjad Gawanmeh; Anas Alazzam; Bobby Mathew (Scalable Comput. Pract. Exp., 2016)

Improvement Strategies for Device Interoperability Middleware using Formal Reliability Analysis. - Usman Pervez; Asiah Mahmood; Osman Hasan; Khalid Latif 001; Amjad Gawanmeh (Scalable Comput. Pract. Exp., 2016)

Introduction to the Special Issue on Reliability and Security of e-Health Information Systems. - Kashif Saleem; Amjad Gawanmeh (Scalable Comput. Pract. Exp., 2016)

Lightweight security protocol for health monitoring in Ambient Assisted Living environment. - Hussam M. N. Al Hamadi; Amjad Gawanmeh; Mahmoud Al-Qutayri (ICC Workshops, 2017)

Efficient low cost supervisory system for Internet of Things enabled smart home. - Md Sarwar Kamal; Sazia Parvin; Kashif Saleem; Hussam M. N. Al Hamadi; Amjad Gawanmeh (ICC Workshops, 2017)

Formal Verification of Control Strategies for a Cyber Physical System. - Amjad Gawanmeh; Ali Alwadi; Sazia Parvin (ICDCS Workshops, 2017)

Securing Big Data Efficiently through Microaggregation Technique. - Shakila Mahjabin Tonni; Mohammad Zahidur Rahman; Sazia Parvin; Amjad Gawanmeh (ICDCS Workshops, 2017)

The Optimal Deployment, Coverage, and Connectivity Problems in Wireless Sensor Networks: Revisited. - Jamal N. Al-Karaki; Amjad Gawanmeh (IEEE Access, 2017)

Design and analysis of control strategies for a cyber physical system. - Amjad Gawanmeh; Abdullah Abu Omar; Alain April (Comput. Syst. Sci. Eng., 2017)

Guided Test Case Generation for Enhanced ECG Bio-Sensors Functional Verification. - Hussam M. N. Al Hamadi; Amjad Gawanmeh; Mahmoud Al-Qutayri (Int. J. E Health Medical Commun., 2017)

Design and Verification of a Blood Cell Separation Microfluidic Device. - Amjad Gawanmeh; Anas Alazzam; Bobby Mathew (Int. J. Online Eng., 2017)

Smart Solutions for RFID based Inventory Management Systems: A Survey. - Ali Alwadi; Amjad Gawanmeh; Sazia Parvin; Jamal N. Al-Karaki (Scalable Comput. Pract. Exp., 2017)

Introduction to the Special Issue on Communication, Computing, and Networking in Cyber-Physical Systems. - Amjad Gawanmeh; Kashif Saleem (Scalable Comput. Pract. Exp., 2017)

Lightweight Security Protocol for ECG Bio-Sensors. - Hussam M. N. Al Hamadi; Amjad Gawanmeh; Joonsang Baek; Mahmoud Al-Qutayri (Wirel. Pers. Commun., 2017)

Sensing-as-a-Service Decentralized Data Access Control Mechanism for Cyber Physical Systems. - Pavan Kumar C. 001; Amjad Gawanmeh; Selvakumar R. 001 (ICC Workshops, 2018)

Taxonomy Analysis of Security Aspects in Cyber Physical Systems Applications. - Amjad Gawanmeh; Ahmad Alomari (ICC Workshops, 2018)

Optimised Sensor Based Smart System for Efficient Monitoring of Grain Storage. - Sazia Parvin; Amjad Gawanmeh; Sitalakshmi Venkatraman (ICC Workshops, 2018)

Analysis of MAC Protocols for Real-Time Monitoring of Heart and Respiratory Signals. - Negar Mohammadi-Koushki; Amjad Gawanmeh (LCN Workshops, 2018)

Integrating a decision tree perspective at the operational-level of BPM+. - Ahmad Alomari; Alain April; Carlos Monsalve; Amjad Gawanmeh (Comput. Syst. Sci. Eng., 2018)

Probabliistic analysis of electrocardiogram (ECG) heart signal. - Amjad Gawanmeh; Usman Pervez; Osman Hasan (Comput. Syst. Sci. Eng., 2018)

A Framework for Integrating Big Data Security Into Agricultural Supply Chain. - Amjad Gawanmeh; Sazia Parvin; Sitalakshmi Venkatraman; Tony de Souza-Daw; James Jin Kang; Samuel Kaspi; Joanna Jackson (BigDataService, 2019)

Security and Privacy Challenges of Integrated Disruptive Technologies. - Jamal N. Al-Karaki; Amjad Gawanmeh (ICSPIS, 2019)

DASS-CARE: A Decentralized, Accessible, Scalable, and Secure Healthcare Framework using Blockchain. - Jamal N. Al-Karaki; Amjad Gawanmeh; Meryeme Ayache; Ashraf S. Mashaleh (IWCMC, 2019)

XBAC: A Unified Access Control Model for Heterogeneous Multi-Tenancy Cloud Environments. - Meryeme Ayache; Amjad Gawanmeh; Jamal N. Al-Karaki (IWCMC, 2019)

A Distributed Algorithm with Optimum Communication for Cyber Physical Systems: Multi-tank Process Case Study. - Amjad Gawanmeh; Swapnoneel Roy; Alain April (SysCon, 2019)

Collision-Prevention Conditions for Wireless Personal Area Networks. - Youssef Iraqi; Tajje-eddine Rachidi; Amjad Gawanmeh (IEEE Netw. Lett., 2019)

A Novel Protocol for Security of Location Based Services in Multi-agent Systems. - Hussam M. N. Al Hamadi; Chan Yeob Yeun; Mohamed Jamal Zemerly; Mahmoud Al-Qutayri; Amjad Gawanmeh; Yousof Al-Hammadi; Ernesto Damiani (Wirel. Pers. Commun., 2019)

A Microservices Architecture for ADS-B Data Security Using Blockchain. - Haitham Abu Damis; Dina Shehada; Claude Fachkha; Amjad Gawanmeh; Jamal N. Al-Karaki (ICSPIS, 2020)

RAASID: A Multipurpose Crowd Sensing Smart System With Sentimental Analysis. - Maha Al Hosani; Hamda Al Marzouqi; Shoug Al Junaibi; Amna Al Hmoudi; Jamal N. Al-Karaki; Amjad Gawanmeh (ICSPIS, 2020)

Performance Evaluation of a Lightweight IoT Authentication Protocol. - Dina Shehada; Amjad Gawanmeh; Claude Fachkha; Haitham Abu Damis (ICSPIS, 2020)

A Big Data Fusion to Profile CPS Security Threats Against Operational Technology. - Karl Biron; Wael Bazzaza; Khalid Yaqoob; Amjad Gawanmeh; Claude Fachkha (WoWMoM, 2020)

Towards building a blockchain framework for IoT. - Deepa Pavithran; Khaled Shaalan; Jamal N. Al-Karaki; Amjad Gawanmeh (Clust. Comput., 2020)

Reinforcement learning based methodology for energy-efficient resource allocation in cloud data centers. - Thandar Thein; Myint Myat Myo; Sazia Parvin; Amjad Gawanmeh (J. King Saud Univ. Comput. Inf. Sci., 2020)

Starvation Avoidance Task Scheduling Algorithm for Heterogeneous Computing Systems. - Amjad Gawanmeh; Wathiq Mansoor; Sa'ed Abed; Darin Kablaoui; Hala Al-Faisal (CSCI, 2021)

The Mental Challenges of Emergency Remote Learning: UAE Engineering Students Case Study. - Sara Suleymanova; Amjad Gawanmeh; Wathiq Mansoor (CSCI, 2021)

DASS-CARE 2.0: Blockchain-Based Healthcare Framework for Collaborative Diagnosis in CIoMT Ecosystem. - Meryeme Ayache; Amjad Gawanmeh; Jamal N. Al-Karaki (CIoT, 2022)

Prediction of Electric Vehicle Charging Stations Distribution Using Machine Learning. - Marwa Chendeb El Rai; Sabina Abdul Hadi; Haitham Abu Damis; Amjad Gawanmeh (ICSPIS, 2022)

Probabilistic analysis of security attacks in cloud environment using hidden Markov models. - Jamal N. Al-Karaki; Amjad Gawanmeh; Islam T. Almalkawi; Omar Alfandi (Trans. Emerg. Telecommun. Technol., 2022)

Information Adoption Patterns and Online Knowledge Payment Behavior: The Moderating Role of Product Type. - Mohammad Daradkeh 001; Amjad Gawanmeh; Wathiq Mansoor (Inf., 2022)

GoSafe: On the practical characterization of the overall security posture of an organization information system using smart auditing and ranking. - Jamal N. Al-Karaki; Amjad Gawanmeh; Sanaa El-Yassami (J. King Saud Univ. Comput. Inf. Sci., 2022)

Fog-based distributed trust and reputation management system for internet of things. - Dina Shehada; Amjad Gawanmeh; Chan Yeob Yeun; M. Jamal Zemerly (J. King Saud Univ. Comput. Inf. Sci., 2022)

Enhanced Not Recently Used Algorithm for Cache Memory Systems in Mobile Computing. - Amjad Gawanmeh; Sa'ed Abed; Sara Abdul Aziz AlAwadh; Wathiq Mansoor; Shadi Atalla; Ahmad Alomari; Eric Yocam (ACR, 2023)

Blockchain for Email Security: A Perspective on Existing and Potential Solutions for Phishing Attacks. - Jamal N. Al-Karaki; Amjad Gawanmeh; Claude Fachkha (BCCA, 2023)

Predicting Student Dropout in Online Learning Platforms Using Deep Learning Techniques. - Aisha Almaazmi; Shadi Atalla; Hamzah Ali Alkhazaleh; Wathiq Mansoor; Amjad Gawanmeh (DASC/PiCom/CBDCom/CyberSciTech, 2023)

Exploring 2D Representation and Transfer Learning Techniques for People Identification in Indoor Localization. - Oussama Kerdjidj; Yassine Himeur; Shadi Atalla; Abigail Copiaco; Shahab Saquib Sohail; Fodil Fadli; Abbes Amira; Wathiq Mansoor; Amjad Gawanmeh (ICSPIS, 2023)

Advancing CyberSecurity Education and Training: Practical Case Study of Running Capture the Flag (CTF) on the Metaverse vs. Physical Settings. - Jamal N. Al-Karaki; Marwan Omar; Amjad Gawanmeh; Angel Jones (iMETA, 2023)

Metaverse Adoption in UAE Higher Education: A Hybrid SEM-ANN Approach. - Boshra AlDhanhani; Mohammad Daradkeh 001; Amjad Gawanmeh; Shadi Atalla; Sami Miniaoui (iMETA, 2023)

The Age of Ransomware: A Survey on the Evolution, Taxonomy, and Research Directions. - Salwa Razaulla; Claude Fachkha; Christine Markarian; Amjad Gawanmeh; Wathiq Mansoor; Benjamin C. M. Fung; Chadi Assi (IEEE Access, 2023)

IoT-Enabled Precision Agriculture: Developing an Ecosystem for Optimized Crop Management. - Shadi Atalla; Saed Tarapiah; Amjad Gawanmeh; Mohammad Daradkeh 001; Husameldin Mukhtar; Yassine Himeur; Wathiq Mansoor; Kamarul Faizal Bin Hashim; Motaz Daadoo (Inf., 2023)

Enhanced DASS-CARE 2.0: a blockchain-based and decentralized FL framework. - Meryeme Ayache; Ikram El Asri; Jamal N. Al-Karaki; Mohamed Bellouch; Amjad Gawanmeh; Karim Tazzi (Ann. des Télécommunications, 2023)

Scalable and Feasible Honeypot Solution for SMEs in Cloud Environments. - Xiaodong Wang; Sazia Parvin; Sitalakshmi Venkatraman; Kiran Fahd; Amjad Gawanmeh (DSC, 2024)

Behavioral Economics Influences On Decision Decision-making In Online Electronics Retail. - Fares Al Ahbabi; Hamzah Ali Alkhazaleh; Amjad Gawanmeh (ICISDM, 2024)

An Intrusion Detection System For Detecting DDoS Attacks In Blockchain-Enabled IoMT Networks. - Maroua Akkal; Sarra Cherbal; Kamir Kharoubi; Boubakeur Annane; Amjad Gawanmeh; Hicham Lakhlef (ICSPIS, 2024)

Uncovering the Potential of Indoor Localization: Role of Deep and Transfer Learning. - Oussama Kerdjidj; Yassine Himeur; Shahab Saquib Sohail; Abbes Amira; Fodil Fadli; Shadi Atalla; Wathiq Mansoor; Abigail Copiaco; Amjad Gawanmeh; Sami Miniaoui; Diana Dawoud (IEEE Access, 2024)

Multi-Source Attention-Based Fusion for Segmentation of Natural Disasters. - Marwa Chendeb El Rai; Muna Darweesh; Aïcha Beya Far; Amjad Gawanmeh (IEEE Geosci. Remote. Sens. Lett., 2024)

Hybrid Deep Neural Network Optimization with Particle Swarm and Grey Wolf Algorithms for Sunburst Attack Detection. - Mohammad Almseidin; Amjad Gawanmeh; Maen Alzubi; Jamil Al-Sawwa; Ashraf S. Mashaleh; Mouhammd Alkasassbeh 001 (Comput., 2025)

Network Intrusion Detection System Using Convolutional Neural Networks: NIDS-DL-CNN for IoT Security. - Kamir Kharoubi; Sarra Cherbal; Djamila Mechta; Amjad Gawanmeh (Clust. Comput., 2025)