Contact

All Stories

  1. Arabic Question Generation Using Transformers

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

    Associate Professor Sa'ed Abed

  2. Information hiding using approximate POSIT representation

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

    Associate Professor Sa'ed Abed

  3. Network traffic prediction by learning time series as images

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

    Associate Professor Sa'ed Abed

  4. Formal Verification of Universal Numbers using Theorem Proving

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

    Associate Professor Sa'ed Abed

  5. Epileptic Seizure Detection Using Novel CNN with Residual Connections

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

    Associate Professor Sa'ed Abed

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

    Article • Expert Systems with Applications, September 2023, Elsevier

    Associate Professor Sa'ed Abed

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

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

    Associate Professor Sa'ed Abed

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

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

    Associate Professor Sa'ed Abed

  9. 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

    Associate Professor Sa'ed Abed

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

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

    Associate Professor Sa'ed Abed

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

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

    Associate Professor Sa'ed Abed

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

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

    Associate Professor Sa'ed Abed

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

    Article • January 2023, Springer Science + Business Media

    Associate Professor Sa'ed Abed

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

    Article • January 2023, Springer Science + Business Media

    Associate Professor Sa'ed Abed

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

    Article • January 2023, Springer Science + Business Media

    Associate Professor Sa'ed Abed

  16. 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

    Associate Professor Sa'ed Abed

  17. 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

    Associate Professor Sa'ed Abed

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

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

    Associate Professor Sa'ed Abed

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

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

    Associate Professor Sa'ed Abed

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

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

    Associate Professor Sa'ed Abed

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

    Article • Electronics, January 2022, MDPI AG

    Associate Professor Sa'ed Abed

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

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

    Associate Professor Sa'ed Abed

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

    Article • January 2022, IGI Global

    Associate Professor Sa'ed Abed

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

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

    Associate Professor Sa'ed Abed

  25. Starvation Avoidance Task Scheduling Algorithm for Heterogeneous Computing Systems

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

    Associate Professor Sa'ed Abed

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

    Article • Scientific Programming, July 2021, Hindawi Publishing Corporation

    Associate Professor Sa'ed Abed

  27. 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

    Associate Professor Sa'ed Abed

  28. 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

    Associate Professor Sa'ed Abed

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

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

    Associate Professor Sa'ed Abed

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

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

    Associate Professor Sa'ed Abed

  31. 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

    Associate Professor Sa'ed Abed

  32. 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)

    Associate Professor Sa'ed Abed

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

    Article • January 2021, Springer Science + Business Media

    Associate Professor Sa'ed Abed

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

    Article • Expert Systems with Applications, December 2020, Elsevier

    Associate Professor Sa'ed Abed

  35. 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

    Associate Professor Sa'ed Abed

  36. An Improved Least Significant Bit Image Steganography Method

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

    Associate Professor Sa'ed Abed

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

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

    Associate Professor Sa'ed Abed

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

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

    Associate Professor Sa'ed Abed

  39. 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)

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

  40. 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)

    Associate Professor Sa'ed Abed

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

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

    Associate Professor Sa'ed Abed, Dr Osman Hasan

  42. Implementation of Edge Detection Algorithm using FPGA Reconfigurable Hardware

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

    Associate Professor Sa'ed Abed

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

    Article • PLoS ONE, January 2020, PLOS

    Associate Professor Sa'ed Abed

  44. Enhanced SAT Solvers Based Hashing Method for Bitcoin Mining

    Article • January 2020, Springer Science + Business Media

    Associate Professor Sa'ed Abed

  45. FPGA Implementation of Enhanced JPEG Algorithm for Colored Images

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

    Associate Professor Sa'ed Abed

  46. 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)

    Associate Professor Sa'ed Abed

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

    Article • Computer Networks, December 2019, Elsevier

    Associate Professor Sa'ed Abed

  48. 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

    Associate Professor Sa'ed Abed

  49. Diacritics Effect on Arabic Speech Recognition

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

    Associate Professor Sa'ed Abed

  50. 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

    Associate Professor Sa'ed Abed

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

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

    Associate Professor Sa'ed Abed

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

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

    Associate Professor Sa'ed Abed

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

    Article • Sensors, February 2019, MDPI AG

    Associate Professor Sa'ed Abed

  54. 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, Associate Professor Sa'ed Abed

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

    Article • Computers & Electrical Engineering, October 2018, Elsevier

    Associate Professor Sa'ed Abed

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

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

    Associate Professor Sa'ed Abed

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

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

    Associate Professor Sa'ed Abed

  58. 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

    Associate Professor Sa'ed Abed

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

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

    Associate Professor Sa'ed Abed

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

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

    Associate Professor Sa'ed Abed

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

    Article • January 2018, IGI Global

    Associate Professor Sa'ed Abed

  62. Energy-Efficient Virtual Machine Placement Algorithm

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

    Associate Professor Sa'ed Abed

  63. Security approach for LSB steganography based FPGA implementation

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

    Associate Professor Sa'ed Abed

  64. Fault tolerance design for NoCs

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

    Associate Professor Sa'ed Abed

  65. 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)

    Associate Professor Sa'ed Abed

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

    Article • Security and Communication Networks, December 2016, Wiley

    Associate Professor Sa'ed Abed

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

    Article • Security and Communication Networks, December 2016, Wiley

    Associate Professor Sa'ed Abed

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

    Article • Applied Soft Computing, December 2016, Elsevier

    Associate Professor Sa'ed Abed

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

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

    Associate Professor Sa'ed Abed

  70. 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)

    Associate Professor Sa'ed Abed

  71. 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.

    Associate Professor Sa'ed Abed

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

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

    Associate Professor Sa'ed Abed

  73. 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, Associate Professor Sa'ed Abed

  74. Software comprehension based on database relational algebra

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

    Associate Professor Sa'ed Abed

  75. MPLS technology in wireless networks

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

    Associate Professor Sa'ed Abed

  76. Carry-based reduction parallel counter design

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

    Associate Professor Sa'ed Abed

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

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

    Associate Professor Sa'ed Abed

  78. Synthesizing a Heart Rate Analyzer Chip QRS

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

    Associate Professor Sa'ed Abed

  79. Four dimensional entertainment machine

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

    Dr Mohammad Salah, Associate Professor Sa'ed Abed

  80. An Energy-Aware Virtual Machine Migration Algorithm

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

    Associate Professor Sa'ed Abed

  81. FPGA hardware of the LSB steganography method

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

    Dr Thaier Hayajneh, Associate Professor Sa'ed Abed

  82. Relational database approach for execution trace analysis

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

    Associate Professor Sa'ed Abed

  83. Hierarchical steganography using novel optimum quantization technique

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

    Dr Thaier Hayajneh, Associate Professor Sa'ed Abed

  84. A novel approach to enhance distributed virtual memory

    Article • Computers & Electrical Engineering, March 2012, Elsevier

    Associate Professor Sa'ed Abed

  85. Design and implementation of interfacing two FPGAs

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

    Associate Professor Sa'ed Abed

  86. Automatic verification of reduction techniques in Higher Order Logic

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

    Associate Professor Sa'ed Abed

  87. Image Steganography Optimization Technique

    Article • January 2012, Springer Science + Business Media

    Associate Professor Sa'ed Abed

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

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

    Associate Professor Sa'ed Abed

  89. Abstract property language for MDG model checking methodology

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

    Associate Professor Sa'ed Abed

  90. 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

    Associate Professor Sa'ed Abed

  91. Low power Wallace multiplier design based on wide counters

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

    Associate Professor Sa'ed Abed

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

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

    Associate Professor Sa'ed Abed

  93. A Methodology for Distributed Virtual Memory Improvement

    Article • January 2011, Springer Science + Business Media

    Associate Professor Sa'ed Abed

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

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

    Associate Professor Sa'ed Abed

  95. SAT based model checking for MDG models

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

    Associate Professor Sa'ed Abed

  96. MDGs Reduction Technique Based on the HOL Theorem Prover

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

    Associate Professor Sa'ed Abed

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

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

    Associate Professor Sa'ed Abed

  98. Reliability of recursive concentrator

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

    Associate Professor Sa'ed Abed

  99. LCF-style Platform based on Multiway Decision Graphs

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

    Associate Professor Sa'ed Abed

  100. 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

    Associate Professor Sa'ed Abed

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

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

    Associate Professor Sa'ed Abed

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

    Article • July 2008, BCS Learning and Development Limited

    Associate Professor Sa'ed Abed

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

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

    Associate Professor Sa'ed Abed

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

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

    Associate Professor Sa'ed Abed

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

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

    Associate Professor Sa'ed Abed

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

    Article • May 2007, BCS Learning and Development Limited

    Associate Professor Sa'ed Abed

  107. Towards First-Order Symbolic Trajectory Evaluation

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

    Associate Professor Sa'ed Abed

  108. 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)

    Associate Professor Sa'ed Abed

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

    Article • Springer Science + Business Media

    Associate Professor Sa'ed Abed