Contact

All Stories

  1. Epileptic seizure detection by learning EEG as images using vision transformers

    Article • Journal of Engineering Research, November 2025, Elsevier

    Professor Sa'ed Abed

  2. An Approach for Hardware Trojan Detection Using Triple Modular Redundancy in Approximate Synthesis (HT-TRAPS)

    Article • IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences, November 2025, Institute of Electronics, Information and Communications Engineers (IEICE)

    Professor Sa'ed Abed

  3. Heart disease prediction by tabular modeling with deep learning network and interpretability

    Article • Machine Learning Science and Technology, August 2025, Institute of Physics Publishing

    Professor Sa'ed Abed

  4. Context-Aware Advisor System for Crowded Environments

    Article • August 2025, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  5. Enhanced POSIT Constant Multiplier Implementation using FPGA

    Article • April 2025, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  6. Arabic Question Generation Using Transformers

    Article • ACM Transactions on Asian and Low-Resource Language Information Processing, March 2025, ACM (Association for Computing Machinery)

    Professor Sa'ed Abed

  7. Formalization of Biological Circuit Block Diagrams for Formally Analyzing Biomedical Control Systems in pHRI Applications

    Article • February 2025, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  8. ASIP Design Flow Automation with Node-Based Programming

    Article • January 2025, Springer Science + Business Media

    Professor Sa'ed Abed

  9. Automatic arabic handwritten characters Recognition using ensemble of convolutional neural networks from scratch

    Article • Multimedia Tools and Applications, October 2024, Springer Science + Business Media

    Professor Sa'ed Abed

  10. Information hiding using approximate POSIT representation

    Article • IET Image Processing, September 2024, the Institution of Engineering and Technology (the IET)

    Professor Sa'ed Abed

  11. Network traffic prediction by learning time series as images

    Article • Engineering Science and Technology an International Journal, July 2024, Elsevier

    Professor Sa'ed Abed

  12. Formal Verification of Universal Numbers using Theorem Proving

    Article • Journal of Electronic Testing, June 2024, Springer Science + Business Media

    Professor Sa'ed Abed

  13. IoT Lightweight Session Key Exchange to Improve Security Scheme

    Article • December 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  14. Epileptic Seizure Detection Using Novel CNN with Residual Connections

    Article • October 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

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

    Article • Expert Systems with Applications, September 2023, Elsevier

    Professor Sa'ed Abed

  16. Improving Energy Consumption in Content-Addressable Memory Through Precomputation

    Article • August 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

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

    Article • Cluster Computing, July 2023, Springer Science + Business Media

    Professor Sa'ed Abed

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

    Article • Expert Systems with Applications, May 2023, Elsevier

    Professor Sa'ed Abed

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

    Article • Applied Intelligence, March 2023, Springer Science + Business Media

    Professor Sa'ed Abed

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

    Article • Wireless Personal Communications, March 2023, Springer Science + Business Media

    Professor Sa'ed Abed

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

    Article • Biomedical Signal Processing and Control, January 2023, Elsevier

    Professor Sa'ed Abed

  22. Enhanced Not Recently Used Algorithm for Cache Memory Systems in Mobile Computing

    Article • January 2023, Springer Science + Business Media

    Professor Sa'ed Abed

  23. Formal Stability Analysis of Two-Dimensional Digital Image Processing Filters

    Article • January 2023, Springer Science + Business Media

    Professor Sa'ed Abed

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

    Article • January 2023, Springer Science + Business Media

    Professor Sa'ed Abed

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

    Article • BMC Bioinformatics, July 2022, Springer Science + Business Media

    Professor Sa'ed Abed

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

    Article • EURASIP Journal on Advances in Signal Processing, June 2022, Springer Science + Business Media

    Professor Sa'ed Abed

  27. Runtime Trojan Detection using Step-Based Reverse Function Redundancy Algorithm

    Article • March 2022, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

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

    Article • International Journal of Information Security and Privacy, March 2022, IGI Global

    Professor Sa'ed Abed

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

    Article • Multimedia Tools and Applications, February 2022, Springer Science + Business Media

    Professor Sa'ed Abed

  30. POSIT vs. Floating Point in Implementing IIR Notch Filter by Enhancing Radix-4 Modified Booth Multiplier

    Article • Electronics, January 2022, MDPI AG

    Professor Sa'ed Abed

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

    Article • Biomedical Signal Processing and Control, January 2022, Elsevier

    Professor Sa'ed Abed

  32. DSM for Energy Optimization and Communications Within Smart Grid CPSs

    Article • January 2022, IGI Global

    Professor Sa'ed Abed

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

    Article • International Journal of Security and Networks, January 2022, Inderscience Publishers

    Professor Sa'ed Abed

  34. Starvation Avoidance Task Scheduling Algorithm for Heterogeneous Computing Systems

    Article • December 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

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

    Article • Scientific Programming, July 2021, Hindawi Publishing Corporation

    Professor Sa'ed Abed

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

    Article • International Journal of Circuit Theory and Applications, July 2021, Wiley

    Professor Sa'ed Abed

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

    Article • Journal of Electronic Testing, June 2021, Springer Science + Business Media

    Professor Sa'ed Abed

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

    Article • Multimedia Tools and Applications, June 2021, Springer Science + Business Media

    Professor Sa'ed Abed

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

    Article • Cluster Computing, June 2021, Springer Science + Business Media

    Professor Sa'ed Abed

  40. Enhancement in data security and integrity using minhash technique

    Article • Indonesian Journal of Electrical Engineering and Computer Science, March 2021, Institute of Advanced Engineering and Science

    Professor Sa'ed Abed

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

    Article • IET Circuits Devices & Systems, January 2021, the Institution of Engineering and Technology (the IET)

    Professor Sa'ed Abed

  42. A KNN Approach for Blockchain Based Electronic Health Record Analysis

    Article • January 2021, Springer Science + Business Media

    Professor Sa'ed Abed

  43. Customized Frequent Patterns Mining Algorithms for Enhanced Top-Rank-K Frequent Pattern Mining

    Article • Expert Systems with Applications, December 2020, Elsevier

    Professor Sa'ed Abed

  44. Approximate Population Count Using the Harley-Seal Method for Error-Tolerant Applications

    Article • International Journal of Computing and Digital Systems, November 2020, Scientific Publishing Center

    Professor Sa'ed Abed

  45. An Improved Least Significant Bit Image Steganography Method

    Article • October 2020, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

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

    Article • International Journal of Intelligent Systems, October 2020, Wiley

    Professor Sa'ed Abed

  47. Verification of Non-linear Arithmetic Circuits using Functionally Reduced And-Inverter-Graph (FRAIG)

    Article • September 2020, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

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

    Article • Journal of Aerospace Information Systems, September 2020, American Institute of Aeronautics and Astronautics (AIAA)

    Professor Sa'ed Abed, Adnan Rashid, Dr Osman Hasan

  49. Formal reasoning about synthetic biology using higher-order-logic theorem proving

    Article • IET Systems Biology, August 2020, the Institution of Engineering and Technology (the IET)

    Professor Sa'ed Abed

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

    Article • March 2020, ACM (Association for Computing Machinery)

    Professor Sa'ed Abed, Dr Osman Hasan

  51. Implementation of Edge Detection Algorithm using FPGA Reconfigurable Hardware

    Article • Journal of Engineering Research, March 2020, Journal of Engineering Research

    Professor Sa'ed Abed

  52. Error metrics determination in functionally approximated circuits using SAT solvers

    Article • PLOS One, January 2020, PLOS

    Professor Sa'ed Abed

  53. Enhanced SAT Solvers Based Hashing Method for Bitcoin Mining

    Article • January 2020, Springer Science + Business Media

    Professor Sa'ed Abed

  54. FPGA Implementation of Enhanced JPEG Algorithm for Colored Images

    Article • International Journal of Computing and Digital Systems, January 2020, Scientific Publishing Center

    Professor Sa'ed Abed

  55. Run-time Monitoring and Validation using Reverse Function (RMVRF) for Hardware Trojans Detection

    Article • IEEE Transactions on Dependable and Secure Computing, January 2020, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

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

    Article • Computer Networks, December 2019, Elsevier

    Professor Sa'ed Abed

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

    Article • EURASIP Journal on Image and Video Processing, December 2019, Springer Science + Business Media

    Professor Sa'ed Abed

  58. Diacritics Effect on Arabic Speech Recognition

    Article • Arabian Journal for Science and Engineering, July 2019, Springer Science + Business Media

    Professor Sa'ed Abed

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

    Article • Journal of Circuits System and Computers, May 2019, World Scientific Pub Co Pte Lt

    Professor Sa'ed Abed

  60. Implementation of Speech Feature Extraction For Low-Resource Devices

    Article • IET Circuits Devices & Systems, April 2019, the Institution of Engineering and Technology (the IET)

    Professor Sa'ed Abed

  61. Enhanced JPEG Algorithm for Colored Images Based on FPGA Implementation

    Article • April 2019, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  62. FPGA Modeling and Optimization of a SIMON Lightweight Block Cipher

    Article • Sensors, February 2019, MDPI AG

    Professor Sa'ed Abed

  63. Infection control measures in neonatal units: implementation of change in the Gaza-Strip

    Article • The Journal of Maternal-Fetal & Neonatal Medicine, February 2019, Taylor & Francis

    Nahil Alrumi, Professor Sa'ed Abed

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

    Article • Computers & Electrical Engineering, October 2018, Elsevier

    Professor Sa'ed Abed

  65. Enhancement of Task Scheduling Technique of Big Data Cloud Computing

    Article • August 2018, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  66. High-performance low-power approximate Wallace tree multiplier

    Article • International Journal of Circuit Theory and Applications, July 2018, Wiley

    Professor Sa'ed Abed

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

    Article • Journal of Low Power Electronics, June 2018, American Scientific Publishers

    Professor Sa'ed Abed

  68. A novel approach to classify and detect bean diseases based on image processing

    Article • April 2018, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

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

    Article • Artificial Intelligence Review, March 2018, Springer Science + Business Media

    Professor Sa'ed Abed

  70. DSM for Energy Optimization and Communications Within Smart Grid CPSs

    Article • January 2018, IGI Global

    Professor Sa'ed Abed

  71. Energy-Efficient Virtual Machine Placement Algorithm

    Article • International Journal of Computer Science Issues, September 2017, SoftwareFirst, Ltd.

    Professor Sa'ed Abed

  72. Security approach for LSB steganography based FPGA implementation

    Article • April 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  73. Fault tolerance design for NoCs

    Article • January 2017, ACM (Association for Computing Machinery)

    Professor Sa'ed Abed

  74. Automatic Verification of Single-Electron Transistor Arrays Based on Multiway Decision Graphs

    Article • IET Circuits Devices & Systems, December 2016, the Institution of Engineering and Technology (the IET)

    Professor Sa'ed Abed

  75. Security of VoIP traffic over low or limited bandwidth networks

    Article • Security and Communication Networks, December 2016, Wiley

    Professor Sa'ed Abed

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

    Article • Security and Communication Networks, December 2016, Wiley

    Professor Sa'ed Abed

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

    Article • Applied Soft Computing, December 2016, Elsevier

    Professor Sa'ed Abed

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

    Article • Medical & Biological Engineering & Computing, September 2016, Springer Science + Business Media

    Professor Sa'ed Abed

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

    Article • IET Computers & Digital Techniques, March 2016, the Institution of Engineering and Technology (the IET)

    Professor Sa'ed Abed

  80. FPGA-based Implementation of Novel Dual-Slope Method for QRS Complex Detection

    Article • International Journal of Engineering Research and, November 2015, ESRSA Publications Pvt. Ltd.

    Professor Sa'ed Abed

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

    Article • International Journal of Computer Applications in Technology, January 2015, Inderscience Publishers

    Professor Sa'ed Abed

  82. ANALYSIS AND MODELING OF FPGA IMPLEMENTATIONS OF SPATIAL STEGANOGRAPHY METHODS

    Article • Journal of Circuits System and Computers, February 2014, World Scientific Pub Co Pte Lt

    Dr Thaier Hayajneh, Professor Sa'ed Abed

  83. Software comprehension based on database relational algebra

    Article • International Journal of Information and Communication Technology, January 2014, Inderscience Publishers

    Professor Sa'ed Abed

  84. MPLS technology in wireless networks

    Article • Wireless Networks, November 2013, Springer Science + Business Media

    Professor Sa'ed Abed

  85. Carry-based reduction parallel counter design

    Article • International Journal of Electronics, November 2013, Taylor & Francis

    Professor Sa'ed Abed

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

    Article • Journal of Computers, November 2013, International Academy Publishing (IAP)

    Professor Sa'ed Abed

  87. Synthesizing a Heart Rate Analyzer Chip QRS

    Article • International Journal of Advancements in Computing Technology, July 2013, AICIT

    Professor Sa'ed Abed

  88. Four dimensional entertainment machine

    Article • April 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Mohammad Salah, Professor Sa'ed Abed

  89. An Energy-Aware Virtual Machine Migration Algorithm

    Article • August 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  90. FPGA hardware of the LSB steganography method

    Article • May 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Thaier Hayajneh, Professor Sa'ed Abed

  91. Relational database approach for execution trace analysis

    Article • May 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  92. Hierarchical steganography using novel optimum quantization technique

    Article • Signal Image and Video Processing, March 2012, Springer Science + Business Media

    Dr Thaier Hayajneh, Professor Sa'ed Abed

  93. A novel approach to enhance distributed virtual memory

    Article • Computers & Electrical Engineering, March 2012, Elsevier

    Professor Sa'ed Abed

  94. Design and implementation of interfacing two FPGAs

    Article • March 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  95. Automatic verification of reduction techniques in Higher Order Logic

    Article • Formal Aspects of Computing, February 2012, Springer Science + Business Media

    Professor Sa'ed Abed

  96. Image Steganography Optimization Technique

    Article • January 2012, Springer Science + Business Media

    Professor Sa'ed Abed

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

    Article • International Journal of Critical Computer-Based Systems, January 2012, Inderscience Publishers

    Professor Sa'ed Abed

  98. Abstract property language for MDG model checking methodology

    Article • International Journal of Computer Applications in Technology, January 2012, Inderscience Publishers

    Professor Sa'ed Abed

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

    Article • International Journal of Computer Applications in Technology, January 2012, Inderscience Publishers

    Professor Sa'ed Abed

  100. Low power Wallace multiplier design based on wide counters

    Article • International Journal of Circuit Theory and Applications, May 2011, Wiley

    Professor Sa'ed Abed

  101. NuMDG: A New Tool for Multiway Decision Graphs Construction

    Article • Journal of Computer Science and Technology, January 2011, Springer Science + Business Media

    Professor Sa'ed Abed

  102. A Methodology for Distributed Virtual Memory Improvement

    Article • January 2011, Springer Science + Business Media

    Professor Sa'ed Abed

  103. An automated SAT encoding-verification approach for efficient model checking

    Article • December 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  104. SAT based model checking for MDG models

    Article • June 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  105. MDGs Reduction Technique Based on the HOL Theorem Prover

    Article • January 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  106. Processing APL properties to generate verification-ready MDG model

    Article • December 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  107. Reliability of recursive concentrator

    Article • October 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  108. LCF-style Platform based on Multiway Decision Graphs

    Article • Electronic Notes in Theoretical Computer Science, August 2009, Elsevier

    Professor Sa'ed Abed

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

    Article • Journal of Computer Science and Technology, January 2009, Springer Science + Business Media

    Professor Sa'ed Abed

  110. The performance of combining multiway decision graphs and HOL theorem prover

    Article • September 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  111. Multiway Decision Graphs Reduction Approach based on the HOL Theorem Prover

    Article • July 2008, BCS Learning and Development Limited

    Professor Sa'ed Abed

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

    Article • January 2008, ACM (Association for Computing Machinery)

    Professor Sa'ed Abed

  113. Integrating SAT with Multiway Decision Graphs for efficient model checking

    Article • December 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  114. On The Integration of Decision Diagrams in High Order Logic Based Theorem Provers:a Survey

    Article • Journal of Computer Science, October 2007, Science Publications

    Professor Sa'ed Abed

  115. High Level Reduction Technique for Multiway Decision Graphs Based Model Checking

    Article • May 2007, BCS Learning and Development Limited

    Professor Sa'ed Abed

  116. Towards First-Order Symbolic Trajectory Evaluation

    Article • May 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  117. Closed-loop control system robustness improvement by a parameterised state feedback

    Article • IEE Proceedings - Control Theory and Applications, January 1998, the Institution of Engineering and Technology (the IET)

    Professor Sa'ed Abed

  118. A New Approach for the Construction of Multiway Decision Graphs

    Article • Springer Science + Business Media

    Professor Sa'ed Abed