Sa'ed Abed

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 49

Top Topics

Theorem Proving

Top Venues

IET Circuits Devices Syst.

Comput. Syst. Sci. Eng.

Expert Syst. Appl.

Biomed. Signal Process. Control.

Publications

Adnan Rashid, Ayesha Gauhar, Osman Hasan, Sa'ed Abed, Imtiaz Ahmad
Formal Verification of Universal Numbers using Theorem Proving. J. Electron. Test. 40 (3) (2024)
Lamis Abdo, Imtiaz Ahmad, Sa'ed Abed
A smart admission control and cache replacement approach in content delivery networks. Clust. Comput. 27 (3) (2024)
Sa'ed Abed, Reem Jaffal, Bassam Jamil Mohd
A Review on Blockchain and IoT Integration from Energy, Security and Hardware Perspectives. Wirel. Pers. Commun. 129 (3) (2023)
Mohammad H. Alshayeji, Sa'ed Abed
Lung cancer classification and identification framework with automatic nodule segmentation screening using machine learning. Appl. Intell. 53 (16) (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)
Mohammad H. Alshayeji, Silpa ChandraBhasi Sindhu, Sa'ed Abed
Viral genome prediction from raw human DNA sequence samples by combining natural language processing and machine learning techniques. Expert Syst. Appl. 218 (2023)
Hanaa Alrushood, Sa'ed Abed, Asmaa Alabdulhadi
Improving Energy Consumption in Content-Addressable Memory Through Precomputation. ICIT (2023)
Mohammad H. Alshayeji, Silpa ChandraBhasi Sindhu, Sa'ed Abed
Early detection of diabetic foot ulcers from thermal images using the bag of features technique. Biomed. Signal Process. Control. 79 (Part) (2023)
Mohammad H. Alshayeji, Sa'ed Abed, Silpa ChandraBhasi Sindhu
Two-stage framework for diabetic retinopathy diagnosis and disease stage screening with ensemble learning. Expert Syst. Appl. 225 (2023)
Zainab Abualhassan, Ehtesham Hassan, Imtiaz Ahmad, Sa'ed Abed
Epileptic Seizure Detection Using Novel CNN with Residual Connections. IDSTA (2023)
Mohammad H. Alshayeji, Suood Abdulaziz Al-Roomi, Sa'ed Abed
Efficient hand vein recognition using local keypoint descriptors and directional gradients. Multim. Tools Appl. 81 (11) (2022)
Adnan Rashid, Sa'ed Abed, Osman Hasan
Formal analysis of 2D image processing filters using higher-order logic theorem proving. EURASIP J. Adv. Signal Process. 2022 (1) (2022)
Mohammad H. Alshayeji, Mousa AlSulaimi, Sa'ed Abed, Reem Jaffal
Network Intrusion Detection With Auto-Encoder and One-Class Support Vector Machine. Int. J. Inf. Secur. Priv. 16 (1) (2022)
Mohammad H. Alshayeji, Hanem Ellethy, Sa'ed Abed, Renu Gupta
Computer-aided detection of breast cancer on the Wisconsin dataset: An artificial neural networks approach. Biomed. Signal Process. Control. 71 (Part) (2022)
Mohammad H. Alshayeji, Silpa ChandraBhasi Sindhu, Sa'ed Abed
CAD systems for COVID-19 diagnosis and disease stage classification by segmentation of infected regions from CT images. BMC Bioinform. 23 (1) (2022)
Mohammad H. Alshayeji, Sa'ed Abed
Enhanced video-on-demand security in cloud computing against insider and outsider threats. Int. J. Secur. Networks 17 (1) (2022)
Mohammad Faisal, Sa'ed Abed
Cluster-Based Antiphishing (CAP) Model for Smart Phones. Sci. Program. 2021 (2021)
Sa'ed Abed, Areej A. Abdelaal, Mohammad H. Alshayeji, Imtiaz Ahmad
SAT-based and CP-based declarative approaches for Top-Rank-K closed frequent itemset mining. Int. J. Intell. Syst. 36 (1) (2021)
Sa'ed Abed, Bassam Jamil Mohd, Thaier Hayajneh, Mohammad H. Alshayeji
Hardware Trojan detection for lightweight ciphers implemented on field-programmable gate arrays using the replay algorithm. Int. J. Circuit Theory Appl. 49 (11) (2021)
Bassam Jamil Mohd, Sa'ed Abed, Thaier Hayajneh, Mohammad H. Alshayeji
Run-Time Monitoring and Validation Using Reverse Function (RMVRF) for Hardware Trojans Detection. IEEE Trans. Dependable Secur. Comput. 18 (6) (2021)
Sa'ed Abed, Reem Jaffal, Bassam Jamil Mohd, Mohammad Alshayeji
Performance evaluation of the SM4 cipher based on field-programmable gate array implementation. IET Circuits Devices Syst. 15 (2) (2021)
Mohammad Alshayeji, Jassim Al-Buloushi, Ali Ashkanani, Sa'ed Abed
Enhanced brain tumor classification using an optimized multi-layered convolutional neural network architecture. Multim. Tools Appl. 80 (19) (2021)
Mishal Fatima Minhas, Osman Hasan, Sa'ed Abed
HVoC: a Hybrid Model Checking - Interactive Theorem Proving Approach for Functional Verification of Digital Circuits. J. Electron. Test. 37 (4) (2021)
Areej Ahmad Abdelaal, Sa'ed Abed, Mohammad Alshayeji, Mohammad Al-laho
Customized frequent patterns mining algorithms for enhanced Top-Rank-K frequent pattern mining. Expert Syst. Appl. 169 (2021)
Sa'ed Abed, Reem Jaffal, Bassam Jamil Mohd, Mohammad H. Al Shayeji
An analysis and evaluation of lightweight hash functions for blockchain-based IoT devices. Clust. Comput. 24 (4) (2021)
Amjad Gawanmeh, Wathiq Mansoor, Sa'ed Abed, Darin Kablaoui, Hala Al-Faisal
Starvation Avoidance Task Scheduling Algorithm for Heterogeneous Computing Systems. CSCI (2021)
Sa'ed Abed, Mohammed H. Ali, Mohammad H. Al Shayeji
Enhanced GPU-based anti-noise hybrid edge detection method. Comput. Syst. Sci. Eng. 35 (1) (2020)
Sa'ed Abed
Reducing Write Latency by Integrating Advanced PreSET Technique and Two-Stage-Write with Inversion Schemes. J. Comput. 15 (1) (2020)
Sa'ed Abed, Adnan Rashid, Osman Hasan
Formal analysis of the biological circuits using higher-order-logic theorem proving. SAC (2020)
Sa'ed Abed, Adnan Rashid, Osman Hasan
Formal Analysis of Unmanned Aerial Vehicles Using Higher-Order-Logic Theorem Proving. J. Aerosp. Inf. Syst. 17 (9) (2020)
Sa'ed Abed, Reem Jaffal, Bassam Jamil Mohd, Mohammad Alshayeji
FPGA Modeling and Optimization of a SIMON Lightweight Block Cipher. Sensors 19 (4) (2019)
Sa'ed Abed, Suood Abdulaziz Al-Roomi, Mohammad H. Al Shayeji
Efficient cover image selection based on spatial block analysis and DCT embedding. EURASIP J. Image Video Process. 2019 (2019)
Sa'ed Abed, Bassam Jamil Mohd, Mohammad H. Al Shayeji
Implementation of speech feature extraction for low-resource devices. IET Circuits Devices Syst. 13 (6) (2019)
Sa'ed Abed, Mohammad H. Al Shayeji, Fahad Ebrahim
A secure and energy-efficient platform for the integration of Wireless Sensor Networks and Mobile Cloud Computing. Comput. Networks 165 (2019)
Sahel Alouneh, Sa'ed Abed, Mohammad H. Al Shayeji, Raed Mesleh
A comprehensive study and analysis on SAT-solvers: advances, usages and achievements. Artif. Intell. Rev. 52 (4) (2019)
Sa'ed Abed, Adnan Rashid, Osman Hasan
Formal Analysis of the Biological Circuits using Higher-order-logic Theorem Proving. CoRR (2019)
Sa'ed Abed, Mohammed Al-Mutairi, Abdullah Al-Watyan, Omar Al-Mutairi, Wesam Alenizy, Aisha Al-Noori
An Automated Security Approach of Video Steganography-Based LSB Using FPGA Implementation. J. Circuits Syst. Comput. 28 (5) (2019)
Mohammad H. Alshayeji, Mohammad A. Al-Rousan, Hanem Ellethy, Sa'ed Abed
An efficient multiple sclerosis segmentation and detection system using neural networks. Comput. Electr. Eng. 71 (2018)
Sa'ed Abed, Yasser H. Khalil, Mahdi Modhaffar, Imtiaz Ahmad
High-performance low-power approximate Wallace tree multiplier. Int. J. Circuit Theory Appl. 46 (12) (2018)
Sa'ed Abed, Haya Alahmad, Maryam Safar
Leakage/Temperature-Aware Dynamic Voltage Scaling and Dynamic Cache Reconfiguration to Reduce Power Consumption. J. Low Power Electron. 14 (2) (2018)
Mohammad Alshayeji, Suood Abdulaziz Al-Roomi, Sa'ed Abed
Optic disc detection in retinal fundus images using gravitational law-based edge detection. Medical Biol. Eng. Comput. 55 (6) (2017)
Sa'ed Abed, Imtiaz Ahmad, Mohammad H. Al Shayeji, Sari Sultan
Automatic verification of single-electron transistor arrays based on multiway decision graphs. IET Circuits Devices Syst. 11 (4) (2017)
Sa'ed Abed, Mohammed H. Ali, Mohammad H. Al Shayeji
An adaptive edge detection operator for noisy images based on a total variation approach restoration. Comput. Syst. Sci. Eng. 32 (3) (2017)
Sa'ed Abed, Mohammad H. Al Shayeji, Zahra'a Abdullah, Zainab AlSaeed
Fault tolerance design for NoCs: partial virtual-channel sharing. ICSCA (2017)
Sa'ed Abed, Mohammed H. Ali, Mohammad H. Al Shayeji
An adaptive edge detection operator for noisy images based on a total variation approach restoration. Comput. Syst. Sci. Eng. 32 (1) (2017)
Sahel Alouneh, Sa'ed Abed, George Ghinea
Security of VoIP traffic over low or limited bandwidth networks. Secur. Commun. Networks 9 (18) (2016)
Sa'ed Abed, Mohammad Alshayeji, Sari Sultan, Nesreen Mohammad
Hybrid approach based on partial tag comparison technique and search methods to improve cache performance. IET Comput. Digit. Tech. 10 (2) (2016)
Sa'ed Abed, Suood Abdulaziz Al-Roomi, Mohammad Alshayeji
Effective optic disc detection method based on swarm intelligence techniques and novel pre-processing steps. Appl. Soft Comput. 49 (2016)
Mohammad H. Alshayeji, Suood Abdulaziz Al-Roomi, Sa'ed Abed
A high-capacity and secure least significant bit embedding approach based on word and letter frequencies. Secur. Commun. Networks 9 (18) (2016)
Sa'ed Abed, Ashraf Hasan Bqerat, Ahmad Al-Khasawneh, Ayoub Alsarhan, Ibrahim Obeidat
Towards improving the performance of distributed virtual memory based reversal cache approach. Int. J. Comput. Appl. Technol. 51 (3) (2015)
Sahel Alouneh, Sa'ed Abed, Mazen Kharbutli, Bassam Jamil Mohd
MPLS technology in wireless networks. Wirel. Networks 20 (5) (2014)
Sahel Alouneh, Sa'ed Abed, Bassam Jamil Mohd, Ahmad Al-Khasawneh
Software comprehension based on database relational algebra. Int. J. Inf. Commun. Technol. 6 (1) (2014)
Bassam Jamil Mohd, Thaier Hayajneh, Sa'ed Abed, Awni Itradat
Analysis and Modeling of FPGA Implementations of Spatial Steganography Methods. J. Circuits Syst. Comput. 23 (2) (2014)
Sahel Alouneh, Sa'ed Abed, Bassam Jamil Mohd, Mazen Kharbutli
An Efficient Backup Technique for Database Systems Based on Threshold Sharing. J. Comput. 8 (11) (2013)
Bassam Jamil Mohd, Sa'ed Abed, Bassam Na'ami, Thaier Hayajneh
Hierarchical steganography using novel optimum quantization technique. Signal Image Video Process. 7 (6) (2013)
Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane
Automatic verification of reduction techniques in Higher Order Logic. Formal Aspects Comput. 25 (6) (2013)
Sa'ed Abed, Ashraf Hasan Bqerat, Sahel Alouneh, Bassam Jamil Mohd
A novel approach to enhance distributed virtual memory. Comput. Electr. Eng. 38 (2) (2012)
Asif Iqbal Ahmed, Sayed Hafizur Rahman, Otmane Aït Mohamed, Sa'ed Abed
Towards an FPGA implementation and performance evaluation of a digital carrier synchronizer with a portable emulation environment. Int. J. Comput. Appl. Technol. 45 (1) (2012)
Khaza Anuarul Hoque, Otmane Aït Mohamed, Sa'ed Abed, Mounir Boukadoum
MDG-SAT: an automated methodology for efficient safety checking. Int. J. Crit. Comput. Based Syst. 3 (1/2) (2012)
Sa'ed Abed, Kamran Hussain, Otmane Aït Mohamed
Abstract property language for MDG model checking methodology. Int. J. Comput. Appl. Technol. 44 (1) (2012)
Sa'ed Abed, Bassam Jamil Mohd, Zaid Al-bayati, Sahel Alouneh
Low power Wallace multiplier design based on wide counters. Int. J. Circuit Theory Appl. 40 (11) (2012)
Bassam Jamil Mohd, Sa'ed Abed, Bassam Al-Naami, Sahel Alouneh
Image Steganography Optimization Technique. SPIT/IPC (2011)
Sa'ed Abed, Yassine Mokhtari, Otmane Aït Mohamed, Sofiène Tahar
NuMDG: A New Tool for Multiway Decision Graphs Construction. J. Comput. Sci. Technol. 26 (1) (2011)
Sa'ed Abed, Otmane Aït Mohamed
MDGs Reduction Technique Based on the HOL Theorem Prover. ISMVL (2010)
Sa'ed Abed, Otmane Aït Mohamed
LCF-style Platform based on Multiway Decision Graphs. Electron. Notes Theor. Comput. Sci. 246 (2009)
Sa'ed Abed, Otmane Aït Mohamed
LCF-style for Secure Verification Platform based on Multiway Decision Graphs. CIIA (2009)
Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane
An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs. J. Comput. Sci. Technol. 24 (1) (2009)
Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane
The Performance of Combining Multiway Decision Graphs and HOL Theorem Prover. FDL (2008)
Yassine Mokhtari, Sa'ed Abed, Otmane Aït Mohamed, Sofiène Tahar, Xiaoyu Song
A New Approach for the Construction of Multiway Decision Graphs. ICTAC (2008)
Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane
Reachability analysis using multiway decision graphs in the HOL theorem prover. SAC (2008)
Donglin Li, Otmane Aït Mohamed, Sa'ed Abed
Towards First-Order Symbolic Trajectory Evaluation. ISMVL (2007)