Amjad Gawanmeh

102 papers B 5C 8Misc 1Journal 33Unranked 55

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