Amjad Gawanmeh

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 55

Top Topics

Formal Verification

Sensor Networks

Top Venues

Scalable Comput. Pract. Exp.

Publications

Oussama Kerdjidj, Yassine Himeur, Shahab Saquib Sohail, Abbes Amira, Fodil Fadli, Shadi Atalla, Wathiq Mansoor, Abigail Copiaco, Amjad Gawanmeh, Sami Miniaoui, Diana Dawoud
Uncovering the Potential of Indoor Localization: Role of Deep and Transfer Learning. IEEE Access 12 (2024)
Marwa Chendeb El Rai, Muna Darweesh, Aïcha Beya Far, Amjad Gawanmeh
Multi-Source Attention-Based Fusion for Segmentation of Natural Disasters. IEEE Geosci. Remote. Sens. Lett. 21 (2024)
Shadi Atalla, Saed Tarapiah, Amjad Gawanmeh, Mohammad Daradkeh, Husameldin Mukhtar, Yassine Himeur, Wathiq Mansoor, Kamarul Faizal Bin Hashim, Motaz Daadoo
IoT-Enabled Precision Agriculture: Developing an Ecosystem for Optimized Crop Management. Inf. 14 (4) (2023)
Amjad Gawanmeh, Sa'ed Abed, Sara Abdul Aziz AlAwadh, Wathiq Mansoor, Shadi Atalla, Ahmad Alomari, Eric Yocam
Enhanced Not Recently Used Algorithm for Cache Memory Systems in Mobile Computing. ACR (2023)
Salwa Razaulla, Claude Fachkha, Christine Markarian, Amjad Gawanmeh, Wathiq Mansoor, Benjamin C. M. Fung, Chadi Assi
The Age of Ransomware: A Survey on the Evolution, Taxonomy, and Research Directions. IEEE Access 11 (2023)
Aisha Almaazmi, Shadi Atalla, Hamzah Ali Alkhazaleh, Wathiq Mansoor, Amjad Gawanmeh
Predicting Student Dropout in Online Learning Platforms Using Deep Learning Techniques. DASC/PiCom/CBDCom/CyberSciTech (2023)
Meryeme Ayache, Ikram El Asri, Jamal N. Al-Karaki, Mohamed Bellouch, Amjad Gawanmeh, Karim Tazzi
Enhanced DASS-CARE 2.0: a blockchain-based and decentralized FL framework. Ann. des Télécommunications 78 (11-12) (2023)
Oussama Kerdjidj, Yassine Himeur, Shadi Atalla, Abigail Copiaco, Shahab Saquib Sohail, Fodil Fadli, Abbes Amira, Wathiq Mansoor, Amjad Gawanmeh
Exploring 2D Representation and Transfer Learning Techniques for People Identification in Indoor Localization. ICSPIS (2023)
Jamal N. Al-Karaki, Amjad Gawanmeh, Claude Fachkha
Blockchain for Email Security: A Perspective on Existing and Potential Solutions for Phishing Attacks. BCCA (2023)
Marwa Chendeb El Rai, Sabina Abdul Hadi, Haitham Abu Damis, Amjad Gawanmeh
Prediction of Electric Vehicle Charging Stations Distribution Using Machine Learning. ICSPIS (2022)
Jamal N. Al-Karaki, Amjad Gawanmeh, Islam T. Almalkawi, Omar Alfandi
Probabilistic analysis of security attacks in cloud environment using hidden Markov models. Trans. Emerg. Telecommun. Technol. 33 (4) (2022)
Mohammad Daradkeh, Amjad Gawanmeh, Wathiq Mansoor
Information Adoption Patterns and Online Knowledge Payment Behavior: The Moderating Role of Product Type. Inf. 13 (9) (2022)
Dina Shehada, Amjad Gawanmeh, Chan Yeob Yeun, M. Jamal Zemerly
Fog-based distributed trust and reputation management system for internet of things. J. King Saud Univ. Comput. Inf. Sci. 34 (Issue) (2022)
Jamal N. Al-Karaki, Amjad Gawanmeh, Sanaa El-Yassami
GoSafe: On the practical characterization of the overall security posture of an organization information system using smart auditing and ranking. J. King Saud Univ. Comput. Inf. Sci. 34 (6 Part A) (2022)
Meryeme Ayache, Amjad Gawanmeh, Jamal N. Al-Karaki
DASS-CARE 2.0: Blockchain-Based Healthcare Framework for Collaborative Diagnosis in CIoMT Ecosystem. CIoT (2022)
Amjad Gawanmeh, Wathiq Mansoor, Sa'ed Abed, Darin Kablaoui, Hala Al-Faisal
Starvation Avoidance Task Scheduling Algorithm for Heterogeneous Computing Systems. CSCI (2021)
Sara Suleymanova, Amjad Gawanmeh, Wathiq Mansoor
The Mental Challenges of Emergency Remote Learning: UAE Engineering Students Case Study. CSCI (2021)
Karl Biron, Wael Bazzaza, Khalid Yaqoob, Amjad Gawanmeh, Claude Fachkha
A Big Data Fusion to Profile CPS Security Threats Against Operational Technology. WoWMoM (2020)
Haitham Abu Damis, Dina Shehada, Claude Fachkha, Amjad Gawanmeh, Jamal N. Al-Karaki
A Microservices Architecture for ADS-B Data Security Using Blockchain. ICSPIS (2020)
Dina Shehada, Amjad Gawanmeh, Claude Fachkha, Haitham Abu Damis
Performance Evaluation of a Lightweight IoT Authentication Protocol. ICSPIS (2020)
Deepa Pavithran, Khaled Shaalan, Jamal N. Al-Karaki, Amjad Gawanmeh
Towards building a blockchain framework for IoT. Clust. Comput. 23 (3) (2020)
Maha Al Hosani, Hamda Al Marzouqi, Shoug Al Junaibi, Amna Al Hmoudi, Jamal N. Al-Karaki, Amjad Gawanmeh
RAASID: A Multipurpose Crowd Sensing Smart System With Sentimental Analysis. ICSPIS (2020)
Thandar Thein, Myint Myat Myo, Sazia Parvin, Amjad Gawanmeh
Reinforcement learning based methodology for energy-efficient resource allocation in cloud data centers. J. King Saud Univ. Comput. Inf. Sci. 32 (10) (2020)
Amjad Gawanmeh, Swapnoneel Roy, Alain April
A Distributed Algorithm with Optimum Communication for Cyber Physical Systems: Multi-tank Process Case Study. SysCon (2019)
Jamal N. Al-Karaki, Amjad Gawanmeh, Meryeme Ayache, Ashraf Mashaleh
DASS-CARE: A Decentralized, Accessible, Scalable, and Secure Healthcare Framework using Blockchain. IWCMC (2019)
Meryeme Ayache, Amjad Gawanmeh, Jamal N. Al-Karaki
XBAC: A Unified Access Control Model for Heterogeneous Multi-Tenancy Cloud Environments. IWCMC (2019)
Youssef Iraqi, Tajje-eddine Rachidi, Amjad Gawanmeh
Collision-Prevention Conditions for Wireless Personal Area Networks. IEEE Netw. Lett. 1 (1) (2019)
Hussam M. N. Al Hamadi, Chan Yeob Yeun, Mohamed Jamal Zemerly, Mahmoud Al-Qutayri, Amjad Gawanmeh, Yousof Al-Hammadi, Ernesto Damiani
A Novel Protocol for Security of Location Based Services in Multi-agent Systems. Wirel. Pers. Commun. 108 (3) (2019)
Jamal N. Al-Karaki, Amjad Gawanmeh
Security and Privacy Challenges of Integrated Disruptive Technologies. ICSPIS (2019)
Amjad Gawanmeh, Sazia Parvin, Sitalakshmi Venkatraman, Tony de Souza-Daw, James Jin Kang, Samuel Kaspi, Joanna Jackson
A Framework for Integrating Big Data Security Into Agricultural Supply Chain. BigDataService (2019)
Negar Mohammadi-Koushki, Amjad Gawanmeh
Analysis of MAC Protocols for Real-Time Monitoring of Heart and Respiratory Signals. LCN Workshops (2018)
Amjad Gawanmeh, Usman Pervez, Osman Hasan
Probabliistic analysis of electrocardiogram (ECG) heart signal. Comput. Syst. Sci. Eng. 33 (1) (2018)
Ahmad Alomari, Alain April, Carlos Monsalve, Amjad Gawanmeh
Integrating a decision tree perspective at the operational-level of BPM+. Comput. Syst. Sci. Eng. 33 (3) (2018)
Sazia Parvin, Amjad Gawanmeh, Sitalakshmi Venkatraman
Optimised Sensor Based Smart System for Efficient Monitoring of Grain Storage. ICC Workshops (2018)
Pavan Kumar C., Amjad Gawanmeh, Selvakumar R.
Sensing-as-a-Service Decentralized Data Access Control Mechanism for Cyber Physical Systems. ICC Workshops (2018)
Amjad Gawanmeh, Ahmad Alomari
Taxonomy Analysis of Security Aspects in Cyber Physical Systems Applications. ICC Workshops (2018)
Jamal N. Al-Karaki, Amjad Gawanmeh
The Optimal Deployment, Coverage, and Connectivity Problems in Wireless Sensor Networks: Revisited. IEEE Access 5 (2017)
Amjad Gawanmeh, Abdullah Abu Omar, Alain April
Design and analysis of control strategies for a cyber physical system. Comput. Syst. Sci. Eng. 32 (5) (2017)
Hussam M. N. Al Hamadi, Amjad Gawanmeh, Joonsang Baek, Mahmoud Al-Qutayri
Lightweight Security Protocol for ECG Bio-Sensors. Wirel. Pers. Commun. 95 (4) (2017)
Hussam M. N. Al Hamadi, Amjad Gawanmeh, Mahmoud Al-Qutayri
Guided Test Case Generation for Enhanced ECG Bio-Sensors Functional Verification. Int. J. E Health Medical Commun. 8 (4) (2017)
Hussam M. N. Al Hamadi, Amjad Gawanmeh, Mahmoud Al-Qutayri
Lightweight security protocol for health monitoring in Ambient Assisted Living environment. ICC Workshops (2017)
Shakila Mahjabin Tonni, Mohammad Zahidur Rahman, Sazia Parvin, Amjad Gawanmeh
Securing Big Data Efficiently through Microaggregation Technique. ICDCS Workshops (2017)
Ali Alwadi, Amjad Gawanmeh, Sazia Parvin, Jamal N. Al-Karaki
Smart Solutions for RFID based Inventory Management Systems: A Survey. Scalable Comput. Pract. Exp. 18 (4) (2017)
Amjad Gawanmeh, Ali Alwadi, Sazia Parvin
Formal Verification of Control Strategies for a Cyber Physical System. ICDCS Workshops (2017)
Md Sarwar Kamal, Sazia Parvin, Kashif Saleem, Hussam M. N. Al Hamadi, Amjad Gawanmeh
Efficient low cost supervisory system for Internet of Things enabled smart home. ICC Workshops (2017)
Amjad Gawanmeh, Anas Alazzam, Bobby Mathew
Design and Verification of a Blood Cell Separation Microfluidic Device. Int. J. Online Eng. 13 (6) (2017)
Amjad Gawanmeh, Kashif Saleem
Introduction to the Special Issue on Communication, Computing, and Networking in Cyber-Physical Systems. Scalable Comput. Pract. Exp. 18 (4) (2017)
Amjad Gawanmeh, Anas Alazzam, Bobby Mathew
Formal Verification of a Microfluidic Device for Blood Cell Separation. Scalable Comput. Pract. Exp. 17 (3) (2016)
Kashif Saleem, Khan Zeb, Abdelouahid Derhab, Haider Abbas, Jalal Al-Muhtadi, Mehmet A. Orgun, Amjad Gawanmeh
Survey on cybersecurity issues in wireless mesh networks based eHealthcare. HealthCom (2016)
Amjad Gawanmeh, Youssef Iraqi
Formal Analysis of Collision Prevention of Two Wireless Personal Area Networks. ICCS (2016)
Usman Pervez, Asiah Mahmood, Osman Hasan, Khalid Latif, Amjad Gawanmeh
Improvement Strategies for Device Interoperability Middleware using Formal Reliability Analysis. Scalable Comput. Pract. Exp. 17 (3) (2016)
Amjad Gawanmeh
Open Issues in Reliability, Safety, and Efficiency of Connected Health. CHASE (2016)
Hussam M. N. Al Hamadi, Amjad Gawanmeh, Mahmoud Al-Qutayri
Simulation Framework for a Security Protocol for Wireless Body Sensor Networks. LCN Workshops (2016)
Hussam M. N. Al Hamadi, Amjad Gawanmeh, Mahmoud Al-Qutayri
Assertion-based verification technique for ECG bio-sensor algorithms. MWSCAS (2016)
Kashif Saleem, Amjad Gawanmeh
Introduction to the Special Issue on Reliability and Security of e-Health Information Systems. Scalable Comput. Pract. Exp. 17 (3) (2016)
Amjad Gawanmeh, Ahmad Alomari
Challenges in Formal Methods for Testing and Verification of Cloud Computing Systems. Scalable Comput. Pract. Exp. 16 (3) (2015)
Amjad Gawanmeh, Anas Alazzam, Bobby Mathew, Mohammad Abutayeh, Hyung Jin Sung
Formalizing the movement of microparticles in a continuous flow microfluidic device for field flow fractionation. HealthCom (2015)
Hussam M. N. Al Hamadi, Amjad Gawanmeh, Mahmoud Al-Qutayri
An automatic ECG generator for testing and evaluating ECG sensor algorithms. IDT (2015)
Usman Pervez, Asiah Mahmood, Osman Hasan, Khalid Latif, Amjad Gawanmeh
Formal reliability analysis of Device Interoperability Middleware (DIM) based E-health system using PRISM. HealthCom (2015)
Amjad Gawanmeh, Hussam M. N. Al Hamadi, Mahmoud Al-Qutayri, Shiu-Kai Chin, Kashif Saleem
Reliability analysis of healthcare information systems: State of the art and future directions. HealthCom (2015)
Anis Souari, Mohamed Lassaad Ammari, Amjad Gawanmeh, Sofiène Tahar
Performance evaluation of time and frequency domain equalizers. CCECE (2014)
Amjad Gawanmeh
Automatic Verification of Security Policies in Firewalls with Dynamic Rule Sequence. ITNG (2014)
Amjad Gawanmeh, Moh'd Alwadi, Ashraf Ghawanmeh
Validating connected vehicles architecture. ICCVE (2014)
Hussam M. N. Al Hamadi, Amjad Gawanmeh, Mahmoud Al-Qutayri
Formalizing electrocardiogram (ECG) signal behavior in event-B. Healthcom (2014)
Amjad Gawanmeh
Optimizing lifetime of homogeneous wireless sensor networks for vehicular monitoring. ICCVE (2014)
Usman Pervez, Osman Hasan, Khalid Latif, Sofiène Tahar, Amjad Gawanmeh, Mohamed Salah Hamdi
Formal reliability analysis of a typical FHIR standard based e-Health system using PRISM. Healthcom (2014)
Amjad Gawanmeh, Moh'd Alwadi, Ashraf Ghawanmeh
Understanding traffic: Towards a smart traffic control architecture. ICCVE (2014)
Amjad Gawanmeh, Sofiène Tahar
Real time verification of firewalls with dynamic rulebase update. CCECE (2014)
Anis Souari, Amjad Gawanmeh, Sofiène Tahar, Mohamed Lassaad Ammari
Design and verification of a frequency domain equalizer. Microelectron. J. 45 (2) (2014)
Hussam M. N. Al Hamadi, Amjad Gawanmeh, Mahmoud Al-Qutayri
A verification methodology for a wireless body sensor network functionality. BHI (2014)
Amjad Gawanmeh
An axiomatic model for formal specification requirements of ubiquitous healthcare systems. CCNC (2013)
Hussam M. N. Al Hamadi, Amjad Gawanmeh, Mahmoud Al-Qutayri
Extended abstract: Theorem proving verification of privacy in WBSN for healthcare systems. ICECS (2013)
Ahmed M. AlAdwani, Amjad Gawanmeh, Sebastien Nicolas
Traffic Shaping and Delay Optimization in Demand Side Management. UKSim (2013)
Ahmed M. AlAdwani, Amjad Gawanmeh, Sebastien Nicolas
A Demand Side Management Traffic Shaping and Scheduling Algorithm. Asia International Conference on Modelling and Simulation (2012)
Amjad Gawanmeh, Sofiène Tahar
Novel algorithm for detecting conflicts in firewall rules. CCECE (2012)
Anis Souari, Sofiène Tahar, Amjad Gawanmeh
Formal error analysis and verification of a frequency domain equalizer. NEWCAS (2012)
Hussam M. N. Al Hamadi, Chan Yeob Yeun, Mohamed Jamal Zemerly, Mahmoud Al-Qutayri, Amjad Gawanmeh
Formal modeling and verification of DLK protocol. ICITST (2011)
Amjad Gawanmeh
Embedding and Verification of ZigBee Protocol Stack in Event-B. ANT/MobiWIS (2011)
Amjad Gawanmeh, Sofiène Tahar
Modeling and verification of firewall configurations using domain restriction method. ICITST (2011)
Amjad Gawanmeh, Adel Bouhoula, Sofiène Tahar
Rank Functions Based Inference System for Group Key Management Protocols Verification. Int. J. Netw. Secur. 8 (2) (2009)
Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter
Formal verification of ASMs using MDGs. J. Syst. Archit. 54 (1-2) (2008)
Amjad Gawanmeh, Sofiène Tahar, Leila Jemni Ben Ayed
Event-B based invariant checking of secrecy in group key protocols. LCN (2008)
Amjad Gawanmeh, Sofiène Tahar
Rank Theorems for Forward Secrecy in Group Key Management Protocols. AINA Workshops (1) (2007)
Amjad Gawanmeh, Sofiène Tahar, Haja Moinudeen, Ali Habibi
A Design for Verification Approach Using an Embedding of PSL in aSML. J. Circuits Syst. Comput. 16 (6) (2007)
Amjad Gawanmeh, Ali Habibi, Sofiène Tahar
Embedding and Verification of PSL using AsmL. Abstract State Machines (2005)
Ali Habibi, Amjad Gawanmeh, Sofiène Tahar
Assertion based verification of PSL for SystemC designs. SoC (2004)
Amjad Gawanmeh, Ali Habibi, Sofiène Tahar
Enabling SystemC Verification using Abstract State Machines. FDL (2004)
Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter
Interfacing ASM with the MDG Tool. Abstract State Machines (2003)
Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter
Formal Verification of ASM Designs Using the MDG Tool. SEFM (2003)