Sa'ed Abed

According to our database, Sa'ed Abed authored at least 71 papers between 2007 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Formalization of Biological Circuit Block Diagrams for formally analyzing Biomedical Control Systems in pHRI Applications.

Adnan Rashid, Sa'ed Abed, Osman Hasan

CoRR, January, 2025

2024

Formal Verification of Universal Numbers using Theorem Proving.

Adnan Rashid, Ayesha Gauhar, Osman Hasan, Sa'ed Abed, Imtiaz Ahmad

J. Electron. Test., June, 2024

A smart admission control and cache replacement approach in content delivery networks.

Lamis Abdo, Imtiaz Ahmad, Sa'ed Abed

Clust. Comput., June, 2024

2023

Two-stage framework for diabetic retinopathy diagnosis and disease stage screening with ensemble learning.

Mohammad H. Alshayeji, Sa'ed Abed, Silpa ChandraBhasi Sindhu

Expert Syst. Appl., September, 2023

Lung cancer classification and identification framework with automatic nodule segmentation screening using machine learning.

Mohammad H. Alshayeji, Sa'ed Abed

Appl. Intell., August, 2023

Viral genome prediction from raw human DNA sequence samples by combining natural language processing and machine learning techniques.

Mohammad H. Alshayeji, Silpa ChandraBhasi Sindhu, Sa'ed Abed

Expert Syst. Appl., May, 2023

A Review on Blockchain and IoT Integration from Energy, Security and Hardware Perspectives.

Sa'ed Abed, Reem Jaffal, Bassam Jamil Mohd

Wirel. Pers. Commun., April, 2023

Using an Interactive Theorem Prover for Formally Analyzing the Dynamics of the Unmanned Aerial Vehicles.

Adnan Rashid, Osman Hasan, Sa'ed Abed

Proceedings of the Mobile Robot: Motion Control and Path Planning, 2023

Early detection of diabetic foot ulcers from thermal images using the bag of features technique.

Mohammad H. Alshayeji, Silpa ChandraBhasi Sindhu, Sa'ed Abed

Biomed. Signal Process. Control., 2023

Epileptic Seizure Detection Using Novel CNN with Residual Connections.

Zainab Abualhassan, Ehtesham Hassan, Imtiaz Ahmad, Sa'ed Abed

Proceedings of the Fourth International Conference on Intelligent Data Science Technologies and Applications, 2023

Improving Energy Consumption in Content-Addressable Memory Through Precomputation.

Hanaa Alrushood, Sa'ed Abed, Asmaa Alabdulhadi

Proceedings of the International Conference on Information Technology, 2023

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

Proceedings of the 2023 International Conference on Advances in Computing Research, 2023

2022

Efficient hand vein recognition using local keypoint descriptors and directional gradients.

Mohammad H. Alshayeji, Suood Abdulaziz Al-Roomi, Sa'ed Abed

Multim. Tools Appl., 2022

Enhanced video-on-demand security in cloud computing against insider and outsider threats.

Mohammad H. Alshayeji, Sa'ed Abed

Int. J. Secur. Networks, 2022

Network Intrusion Detection With Auto-Encoder and One-Class Support Vector Machine.

Mohammad H. Alshayeji, Mousa AlSulaimi, Sa'ed Abed, Reem Jaffal

Int. J. Inf. Secur. Priv., 2022

Formal analysis of 2D image processing filters using higher-order logic theorem proving.

Adnan Rashid, Sa'ed Abed, Osman Hasan

EURASIP J. Adv. Signal Process., 2022

Computer-aided detection of breast cancer on the Wisconsin dataset: An artificial neural networks approach.

Mohammad H. Alshayeji, Hanem Ellethy, Sa'ed Abed, Renu Gupta

Biomed. Signal Process. Control., 2022

CAD systems for COVID-19 diagnosis and disease stage classification by segmentation of infected regions from CT images.

Mohammad H. Alshayeji, Silpa ChandraBhasi Sindhu, Sa'ed Abed

BMC Bioinform., 2022

2021

Run-Time Monitoring and Validation Using Reverse Function (RMVRF) for Hardware Trojans Detection.

Bassam Jamil Mohd, Sa'ed Abed, Thaier Hayajneh, Mohammad H. Alshayeji

IEEE Trans. Dependable Secur. Comput., 2021

Cluster-Based Antiphishing (CAP) Model for Smart Phones.

Mohammad Faisal, Sa'ed Abed

Sci. Program., 2021

Enhanced brain tumor classification using an optimized multi-layered convolutional neural network architecture.

Mohammad Alshayeji, Jassim Al-Buloushi, Ali Ashkanani, Sa'ed Abed

Multim. Tools Appl., 2021

SAT-based and CP-based declarative approaches for Top-Rank-K closed frequent itemset mining.

Sa'ed Abed, Areej A. Abdelaal, Mohammad H. Alshayeji, Imtiaz Ahmad

Int. J. Intell. Syst., 2021

Hardware Trojan detection for lightweight ciphers implemented on field-programmable gate arrays using the replay algorithm.

Sa'ed Abed, Bassam Jamil Mohd, Thaier Hayajneh, Mohammad H. Alshayeji

Int. J. Circuit Theory Appl., 2021

Performance evaluation of the SM4 cipher based on field-programmable gate array implementation.

Sa'ed Abed, Reem Jaffal, Bassam Jamil Mohd, Mohammad Alshayeji

IET Circuits Devices Syst., 2021

HVoC: a Hybrid Model Checking - Interactive Theorem Proving Approach for Functional Verification of Digital Circuits.

Mishal Fatima Minhas, Osman Hasan, Sa'ed Abed

J. Electron. Test., 2021

Customized frequent patterns mining algorithms for enhanced Top-Rank-K frequent pattern mining.

Areej Ahmad Abdelaal, Sa'ed Abed, Mohammad Alshayeji, Mohammad Al-laho

Expert Syst. Appl., 2021

An analysis and evaluation of lightweight hash functions for blockchain-based IoT devices.

Sa'ed Abed, Reem Jaffal, Bassam Jamil Mohd, Mohammad H. Al Shayeji

Clust. Comput., 2021

Starvation Avoidance Task Scheduling Algorithm for Heterogeneous Computing Systems.

Amjad Gawanmeh, Wathiq Mansoor, Sa'ed Abed, Darin Kablaoui, Hala Al-Faisal

Proceedings of the International Conference on Computational Science and Computational Intelligence, 2021

2020

Formal Analysis of Unmanned Aerial Vehicles Using Higher-Order-Logic Theorem Proving.

Sa'ed Abed, Adnan Rashid, Osman Hasan

J. Aerosp. Inf. Syst., September, 2020

Reducing Write Latency by Integrating Advanced PreSET Technique and Two-Stage-Write with Inversion Schemes.

Sa'ed Abed

J. Comput., 2020

Enhanced GPU-based anti-noise hybrid edge detection method.

Sa'ed Abed, Mohammed H. Ali, Mohammad H. Al Shayeji

Comput. Syst. Sci. Eng., 2020

Formal analysis of the biological circuits using higher-order-logic theorem proving.

Sa'ed Abed, Adnan Rashid, Osman Hasan

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

2019

FPGA Modeling and Optimization of a SIMON Lightweight Block Cipher.

Sa'ed Abed, Reem Jaffal, Bassam Jamil Mohd, Mohammad Alshayeji

Sensors, 2019

An Automated Security Approach of Video Steganography-Based LSB Using FPGA Implementation.

Sa'ed Abed, Mohammed Al-Mutairi, Abdullah Al-Watyan, Omar Al-Mutairi, Wesam Alenizy, Aisha Al-Noori

J. Circuits Syst. Comput., 2019

Implementation of speech feature extraction for low-resource devices.

Sa'ed Abed, Bassam Jamil Mohd, Mohammad H. Al Shayeji

IET Circuits Devices Syst., 2019

Efficient cover image selection based on spatial block analysis and DCT embedding.

Sa'ed Abed, Suood Abdulaziz Al-Roomi, Mohammad H. Al Shayeji

EURASIP J. Image Video Process., 2019

A secure and energy-efficient platform for the integration of Wireless Sensor Networks and Mobile Cloud Computing.

Sa'ed Abed, Mohammad H. Al Shayeji, Fahad Ebrahim

Comput. Networks, 2019

A comprehensive study and analysis on SAT-solvers: advances, usages and achievements.

Sahel Alouneh, Sa'ed Abed, Mohammad H. Al Shayeji, Raed Mesleh

Artif. Intell. Rev., 2019

2018

Leakage/Temperature-Aware Dynamic Voltage Scaling and Dynamic Cache Reconfiguration to Reduce Power Consumption.

Sa'ed Abed, Haya Alahmad, Maryam Safar

J. Low Power Electron., 2018

High-performance low-power approximate Wallace tree multiplier.

Sa'ed Abed, Yasser H. Khalil, Mahdi Modhaffar, Imtiaz Ahmad

Int. J. Circuit Theory Appl., 2018

An efficient multiple sclerosis segmentation and detection system using neural networks.

Mohammad H. Alshayeji, Mohammad A. Al-Rousan, Hanem Ellethy, Sa'ed Abed

Comput. Electr. Eng., 2018

2017

Optic disc detection in retinal fundus images using gravitational law-based edge detection.

Mohammad Alshayeji, Suood Abdulaziz Al-Roomi, Sa'ed Abed

Medical Biol. Eng. Comput., 2017

Automatic verification of single-electron transistor arrays based on multiway decision graphs.

Sa'ed Abed, Imtiaz Ahmad, Mohammad H. Al Shayeji, Sari Sultan

IET Circuits Devices Syst., 2017

An adaptive edge detection operator for noisy images based on a total variation approach restoration.

Sa'ed Abed, Mohammed H. Ali, Mohammad H. Al Shayeji

Comput. Syst. Sci. Eng., 2017

Fault tolerance design for NoCs: partial virtual-channel sharing.

Sa'ed Abed, Mohammad H. Al Shayeji, Zahra'a Abdullah, Zainab AlSaeed

Proceedings of the 6th International Conference on Software and Computer Applications, 2017

2016

A high-capacity and secure least significant bit embedding approach based on word and letter frequencies.

Mohammad H. Alshayeji, Suood Abdulaziz Al-Roomi, Sa'ed Abed

Secur. Commun. Networks, 2016

Security of VoIP traffic over low or limited bandwidth networks.

Sahel Alouneh, Sa'ed Abed, George Ghinea

Secur. Commun. Networks, 2016

Hybrid approach based on partial tag comparison technique and search methods to improve cache performance.

Sa'ed Abed, Mohammad Alshayeji, Sari Sultan, Nesreen Mohammad

IET Comput. Digit. Tech., 2016

Effective optic disc detection method based on swarm intelligence techniques and novel pre-processing steps.

Sa'ed Abed, Suood Abdulaziz Al-Roomi, Mohammad Alshayeji

Appl. Soft Comput., 2016

2015

Towards improving the performance of distributed virtual memory based reversal cache approach.

Sa'ed Abed, Ashraf Hasan Bqerat, Ahmad Al-Khasawneh, Ayoub Alsarhan, Ibrahim Obeidat

Int. J. Comput. Appl. Technol., 2015

2014

MPLS technology in wireless networks.

Sahel Alouneh, Sa'ed Abed, Mazen Kharbutli, Bassam Jamil Mohd

Wirel. Networks, 2014

Analysis and Modeling of FPGA Implementations of Spatial Steganography Methods.

Bassam Jamil Mohd, Thaier Hayajneh, Sa'ed Abed, Awni Itradat

J. Circuits Syst. Comput., 2014

Software comprehension based on database relational algebra.

Sahel Alouneh, Sa'ed Abed, Bassam Jamil Mohd, Ahmad Al-Khasawneh

Int. J. Inf. Commun. Technol., 2014

2013

Hierarchical steganography using novel optimum quantization technique.

Bassam Jamil Mohd, Sa'ed Abed, Bassam Na'ami, Thaier Hayajneh

Signal Image Video Process., 2013

An Efficient Backup Technique for Database Systems Based on Threshold Sharing.

Sahel Alouneh, Sa'ed Abed, Bassam Jamil Mohd, Mazen Kharbutli

J. Comput., 2013

Automatic verification of reduction techniques in Higher Order Logic.

Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane

Formal Aspects Comput., 2013

2012

Low power Wallace multiplier design based on wide counters.

Sa'ed Abed, Bassam Jamil Mohd, Zaid Al-bayati, Sahel Alouneh

Int. J. Circuit Theory Appl., 2012

MDG-SAT: an automated methodology for efficient safety checking.

Khaza Anuarul Hoque, Otmane Aït Mohamed, Sa'ed Abed, Mounir Boukadoum

Int. J. Crit. Comput. Based Syst., 2012

Towards an FPGA implementation and performance evaluation of a digital carrier synchronizer with a portable emulation environment.

Asif Iqbal Ahmed, Sayed Hafizur Rahman, Otmane Aït Mohamed, Sa'ed Abed

Int. J. Comput. Appl. Technol., 2012

Abstract property language for MDG model checking methodology.

Sa'ed Abed, Kamran Hussain, Otmane Aït Mohamed

Int. J. Comput. Appl. Technol., 2012

A novel approach to enhance distributed virtual memory.

Sa'ed Abed, Ashraf Hasan Bqerat, Sahel Alouneh, Bassam Jamil Mohd

Comput. Electr. Eng., 2012

2011

NuMDG: A New Tool for Multiway Decision Graphs Construction.

Sa'ed Abed, Yassine Mokhtari, Otmane Aït Mohamed, Sofiène Tahar

J. Comput. Sci. Technol., 2011

Image Steganography Optimization Technique.

Bassam Jamil Mohd, Sa'ed Abed, Bassam Al-Naami, Sahel Alouneh

Proceedings of the Signal Processing and Information Technology, 2011

2010

MDGs Reduction Technique Based on the HOL Theorem Prover.

Sa'ed Abed, Otmane Aït Mohamed

Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010

2009

An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs.

Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane

J. Comput. Sci. Technol., 2009

LCF-style for Secure Verification Platform based on Multiway Decision Graphs.

Sa'ed Abed, Otmane Aït Mohamed

Proceedings of the 2nd Conférence Internationale sur l'Informatique et ses Applications (CIIA'09), 2009

2008

LCF-style Platform based on Multiway Decision Graphs.

Sa'ed Abed, Otmane Aït Mohamed

Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, 2008

Reachability analysis using multiway decision graphs in the HOL theorem prover.

Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

A New Approach for the Construction of Multiway Decision Graphs.

Yassine Mokhtari, Sa'ed Abed, Otmane Aït Mohamed, Sofiène Tahar, Xiaoyu Song

Proceedings of the Theoretical Aspects of Computing, 2008

The Performance of Combining Multiway Decision Graphs and HOL Theorem Prover.

Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane

Proceedings of the Forum on specification and Design Languages, 2008

2007

Towards First-Order Symbolic Trajectory Evaluation.

Donglin Li, Otmane Aït Mohamed, Sa'ed Abed

Proceedings of the 37th International Symposium on Multiple-Valued Logic, 2007