Towards First-Order Symbolic Trajectory Evaluation. - Donglin Li; Otmane Aït Mohamed; Sa'ed Abed (ISMVL, 2007)

The Performance of Combining Multiway Decision Graphs and HOL Theorem Prover. - Sa'ed Abed; Otmane Aït Mohamed; Ghiath Al Sammane (FDL, 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 (ICTAC, 2008)

Reachability analysis using multiway decision graphs in the HOL theorem prover. - Sa'ed Abed; Otmane Aït Mohamed; Ghiath Al Sammane (SAC, 2008)

LCF-style Platform based on Multiway Decision Graphs. - Sa'ed Abed; Otmane Aït Mohamed (WFLP, 2008)

LCF-style for Secure Verification Platform based on Multiway Decision Graphs. - Sa'ed Abed; Otmane Aït Mohamed (CIIA, 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)

MDGs Reduction Technique Based on the HOL Theorem Prover. - Sa'ed Abed; Otmane Aït Mohamed (ISMVL, 2010)

Image Steganography Optimization Technique. - Bassam Jamil Mohd; Sa'ed Abed; Bassam Al-Naami; Sahel Alouneh (SPIT/IPC, 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)

A novel approach to enhance distributed virtual memory. - Sa'ed Abed; Ashraf Hasan Bqerat; Sahel Alouneh; Bassam Jamil Mohd (Comput. Electr. Eng., 2012)

Abstract property language for MDG model checking methodology. - Sa'ed Abed; Kamran Hussain; Otmane Aït Mohamed (Int. J. Comput. Appl. Technol., 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)

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)

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)

Automatic verification of reduction techniques in Higher Order Logic. - Sa'ed Abed; Otmane Aït Mohamed; Ghiath Al Sammane (Formal Aspects Comput., 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)

Hierarchical steganography using novel optimum quantization technique. - Bassam Jamil Mohd; Sa'ed Abed; Bassam Na'ami; Thaier Hayajneh (Signal Image Video Process., 2013)

Software comprehension based on database relational algebra. - Sahel Alouneh; Sa'ed Abed; Bassam Jamil Mohd; Ahmad Al-Khasawneh (Int. J. Inf. Commun. Technol., 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)

MPLS technology in wireless networks. - Sahel Alouneh; Sa'ed Abed; Mazen Kharbutli; Bassam Jamil Mohd (Wirel. Networks, 2014)

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)

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)

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)

Security of VoIP traffic over low or limited bandwidth networks. - Sahel Alouneh; Sa'ed Abed; George Ghinea (Secur. Commun. Networks, 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)

Fault tolerance design for NoCs: partial virtual-channel sharing. - Sa'ed Abed; Mohammad H. Al Shayeji; Zahra'a Abdullah; Zainab AlSaeed (ICSCA, 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)

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)

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)

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)

High-performance low-power approximate Wallace tree multiplier. - Sa'ed Abed; Yasser H. Khalil; Mahdi Modhaffar; Imtiaz Ahmad (Int. J. Circuit Theory Appl., 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)

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)

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)

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)

Implementation of speech feature extraction for low-resource devices. - Sa'ed Abed; Bassam Jamil Mohd; Mohammad H. Al Shayeji (IET Circuits Devices Syst., 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)

FPGA Modeling and Optimization of a SIMON Lightweight Block Cipher. - Sa'ed Abed; Reem Jaffal; Bassam Jamil Mohd; Mohammad Alshayeji (Sensors, 2019)

Formal analysis of the biological circuits using higher-order-logic theorem proving. - Sa'ed Abed; Adnan Rashid; Osman Hasan (SAC, 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)

Reducing Write Latency by Integrating Advanced PreSET Technique and Two-Stage-Write with Inversion Schemes. - Sa'ed Abed (J. Comput., 2020)

Formal Analysis of Unmanned Aerial Vehicles Using Higher-Order-Logic Theorem Proving. - Sa'ed Abed; Adnan Rashid; Osman Hasan (J. Aerosp. Inf. Syst., 2020)

Starvation Avoidance Task Scheduling Algorithm for Heterogeneous Computing Systems. - Amjad Gawanmeh; Wathiq Mansoor; Sa'ed Abed; Darin Kablaoui; Hala Al-Faisal (CSCI, 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)

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)

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)

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)

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)

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)

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)

Cluster-Based Antiphishing (CAP) Model for Smart Phones. - Mohammad Faisal; Sa'ed Abed (Sci. Program., 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)

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)

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)

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)

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)

Enhanced video-on-demand security in cloud computing against insider and outsider threats. - Mohammad H. Alshayeji; Sa'ed Abed (Int. J. Secur. Networks, 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 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)

Improving Energy Consumption in Content-Addressable Memory Through Precomputation. - Hanaa Alrushood; Sa'ed Abed; Asmaa Alabdulhadi (ICIT, 2023)

Epileptic Seizure Detection Using Novel CNN with Residual Connections. - Zainab Abualhassan; Ehtesham Hassan; Imtiaz Ahmad; Sa'ed Abed (IDSTA, 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)

Using an Interactive Theorem Prover for Formally Analyzing the Dynamics of the Unmanned Aerial Vehicles. - Adnan Rashid; Osman Hasan; Sa'ed Abed (Mobile Robot: Motion Control and Path Planning, 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., 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., 2023)

Lung cancer classification and identification framework with automatic nodule segmentation screening using machine learning. - Mohammad H. Alshayeji; Sa'ed Abed (Appl. Intell., 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., 2023)

Information hiding using approximate POSIT representation. - Sa'ed Abed; Ghadeer Aldamkhi; Imtiaz Ahmad (IET Image Process., 2024)

A smart admission control and cache replacement approach in content delivery networks. - Lamis Abdo; Imtiaz Ahmad; Sa'ed Abed (Clust. Comput., 2024)

Formal Verification of Universal Numbers using Theorem Proving. - Adnan Rashid; Ayesha Gauhar; Osman Hasan; Sa'ed Abed; Imtiaz Ahmad (J. Electron. Test., 2024)

Formalization of Biological Circuit Block Diagrams for Formally Analyzing Biomedical Control Systems in pHRI Applications. - Adnan Rashid; Sa'ed Abed; Osman Hasan (ICMRE, 2025)

Arabic Question Generation Using Transformers. - Anwar Alajmi; Haniah Altabaa; Sa'ed Abed; Imtiaz Ahmad (ACM Trans. Asian Low Resour. Lang. Inf. Process., 2025)

Automatic arabic handwritten characters Recognition using ensemble of convolutional neural networks from scratch. - Mohammad H. Alshayeji; Sa'ed Abed; Silpa ChandraBhasi Sindhu (Multim. Tools Appl., 2025)