A quantitative study for Java microprocessor architectural requirements. Part I: Instruction set design. - M. Watheq El-Kharashi; F. Elguibaly; Kin F. Li (Microprocess. Microsystems, 2000)

A quantitative study for Java microprocessor architectural requirements. Part II: high-level language support. - M. Watheq El-Kharashi; F. Elguibaly; Kin F. Li (Microprocess. Microsystems, 2000)

A robust stack folding approach for Java processors: an operand extraction-based algorithm. - M. Watheq El-Kharashi; F. Elguibaly; Kin F. Li (J. Syst. Archit., 2001)

Adapting Tomasulo's algorithm for bytecode folding based Java processors. - M. Watheq El-Kharashi; Fayez El Guibaly; Kin F. Li (SIGARCH Comput. Archit. News, 2001)

The JAFARDD processor: a Java architecture based on a Folding Algorithm, with Reservation stations, Dynamic translation, and Dual processing. - M. Watheq El-Kharashi; Fayez Gebali; Kin Fun Li; Fang Zhang (IEEE Trans. Consumer Electron., 2002)

Understanding and implementing computer network protocols through a lab project. - M. Watheq El-Kharashi; Glen Darling; Brent Marykuca; Gholamali C. Shoja (IEEE Trans. Educ., 2002)

Towards Automating Hardware/Software Co-Design. - M. Watheq El-Kharashi; M. H. El-Malaki; Sherif Hammad; Ashraf Salem; Abdel-Moniem Wahdan (IWSOC, 2004)

A fast string search algorithm for deep packet classification. - A. N. M. Ehtesham Rafiq; M. Watheq El-Kharashi; Fayez Gebali (Comput. Commun., 2004)

FPGA Based Accelerator for 3-SAT Conflict Analysis in SAT Solvers. - Mona Safar; M. Watheq El-Kharashi; Ashraf Salem (CHARME, 2005)

An FPGA Design of a Unified Hash Engine for IPSec Authentication. - Esam Khan; M. Watheq El-Kharashi; Fayez Gebali; Mostafa I. H. Abd-El-Barr (IWSOC, 2005)

Systolic Array-Based String Matching Unit for Spam Blocking. - A. N. M. Ehtesham Rafiq; M. Watheq El-Kharashi; Fayez Gebali (IWSOC, 2005)

An FPGA Based Accelerator for SAT Based Combinational Equivalence Checking. - Mona Safar; M. Watheq El-Kharashi; Ashraf Salem (IWSOC, 2005)

Distributed Layer-3 E-Mail Classification for Spam Control. - Muhammad N. Marsono; M. Watheq El-Kharashi; Fayez Gebali; Sudhakar Ganti (CCECE, 2006)

FPGA-Based SAT Solver. - Mona Safar; M. Watheq El-Kharashi; Ashraf Salem (CCECE, 2006)

Binary LNS-based naive Bayes hardware classifier for spam control. - Muhammad N. Marsono; M. Watheq El-Kharashi; Fayez Gebali (ISCAS, 2006)

An FPGA implementation of the flexible triangle search algorithm for block based motion estimation. - Mohamed M. Rehan; M. Watheq El-Kharashi; Panajotis Agathoklis; Fayez Gebali (ISCAS, 2006)

A hierarchical design methodology for full-search block matching motion estimation. - Mohamed M. Rehan; M. Watheq El-Kharashi; Fayez Gebali (Multidimens. Syst. Signal Process., 2006)

Interactive presentation: A shift register based clause evaluator for reconfigurable SAT solver. - Mona Safar; Mohamed Shalan; M. Watheq El-Kharashi; Ashraf Salem (DATE, 2007)

Modeling and Implementation of an Output-Queuing Router for Networks-on-Chips. - Haytham Elmiligi; M. Watheq El-Kharashi; Fayez Gebali (ICESS, 2007)

A Platform Approach for Hardware/Software Co-Design with Support for RTOS-Based Systems. - M. H. El-Malaki; M. Watheq El-Kharashi; Sherif Hammad; Ashraf Salem; Abdel-Moniem Wahdan (J. Circuits Syst. Comput., 2007)

Queue Modeling and Implementation for Networks-on-Chip Routers. - Haytham Elmiligi; M. Watheq El-Kharashi; Fayez Gebali (J. Circuits Syst. Comput., 2007)

Design and Performance Analysis of a Unified, Reconfigurable HMAC-Hash Unit. - Esam Khan; M. Watheq El-Kharashi; Fayez Gebali; Mostafa I. H. Abd-El-Barr (IEEE Trans. Circuits Syst. I Regul. Pap., 2007)

Hardware based algorithm for conflict diagnosis in SAT solver. - Mona Safar; Mohamed Shalan; M. Watheq El-Kharashi; Ashraf Salem (AICCSA, 2008)

TLM-Based Verification of a Combined Switching Networks-on-Chip Router. - Mohamed M. Sabry; M. Watheq El-Kharashi; Hassan Shehata Bedor; Ashraf Salem (FDL, 2008)

Application-specific networks-on-chip topology customization using network partitioning. - Ahmed A. Morgan; Haytham Elmiligi; M. Watheq El-Kharashi; Fayez Gebali (IFMT, 2008)

Power-aware topology optimization for networks-on-chips. - Haytham Elmiligi; Ahmed A. Morgan; M. Watheq El-Kharashi; Fayez Gebali (ISCAS, 2008)

Design Space Exploration of a Reconfigurable HMAC-Hash Unit. - Esam Khan; M. Watheq El-Kharashi; Fayez Gebali; Mostafa I. H. Abd-El-Barr (J. Res. Pract. Inf. Technol., 2008)

Binary LNS-based naive Bayes inference engine for spam control: noise analysis and FPGA implementation. - Muhammad N. Marsono; M. Watheq El-Kharashi; Fayez Gebali (IET Comput. Digit. Tech., 2008)

Prioritized e-mail servicing to reduce non-spam delay and loss: A performance analysis. - Muhammad N. Marsono; M. Watheq El-Kharashi; Fayez Gebali (Int. J. Netw. Manag., 2008)

Corrections to "Design and Performance Analysis of a Unified, Reconfigurable HMAC-Hash Unit" [Dec 07 2683-2695]. - Esam Khan; M. Watheq El-Kharashi; Fayez Gebali; Mostafa I. H. Abd-El-Barr (IEEE Trans. Circuits Syst. I Regul. Pap., 2008)

A Reconfigurable Five-Stage Pipelined SAT Solver. - Mona Safar; M. Watheq El-Kharashi; Mohamed Shalan; Ashraf Salem (MTV, 2009)

Targeting spam control on middleboxes: Spam detection based on layer-3 e-mail content classification. - Muhammad N. Marsono; M. Watheq El-Kharashi; Fayez Gebali (Comput. Networks, 2009)

A spam rejection scheme during SMTP sessions based on layer-3 e-mail classification. - Muhammad N. Marsono; M. Watheq El-Kharashi; Fayez Gebali (J. Netw. Comput. Appl., 2009)

Power optimization for application-specific networks-on-chips: A topology-based approach. - Haytham Elmiligi; Ahmed A. Morgan; M. Watheq El-Kharashi; Fayez Gebali (Microprocess. Microsystems, 2009)

A novel conflict directed jumping algorithm for hardware-based SAT solvers. - Mona Safar; Mohamed Shalan; M. Watheq El-Kharashi; Ashraf Salem (IDT, 2010)

Networks-on-chip topology optimization subject to power, delay, and reliability constraints. - Haytham Elmiligi; Ahmed A. Morgan; M. Watheq El-Kharashi; Fayez Gebali (ISCAS, 2010)

Multi-objective optimization for Networks-on-Chip architectures using Genetic Algorithms. - Ahmed A. Morgan; Haytham Elmiligi; M. Watheq El-Kharashi; Fayez Gebali (ISCAS, 2010)

Multi-objective optimization of NoC standard architectures using Genetic Algorithms. - Ahmed A. Morgan; Haytham Elmiligi; M. Watheq El-Kharashi; Fayez Gebali (ISSPIT, 2010)

MPC-On-Chip: An Embedded GPC Coprocessor for Automotive Active Suspension Systems. - Yasser Shoukry; M. Watheq El-Kharashi; Sherif Hammad (IEEE Embed. Syst. Lett., 2010)

A reconfigurable, pipelined, conflict directed jumping search SAT solver. - Mona Safar; M. Watheq El-Kharashi; Mohamed Shalan; Ashraf Salem (DATE, 2011)

Improving Networks-on-Chip performability: A topology-based approach. - Haytham Elmiligi; Ahmed A. Morgan; M. Watheq El-Kharashi; Fayez Gebali (Int. J. Circuit Theory Appl., 2011)

Variability-tolerant NoC link design. - Eman Kamel Gawish; M. Watheq El-Kharashi; Mohamed Fathy Abu-ElYazeed (NoCArc@MICRO, 2012)

Hardware Trojan Protection for Third Party IPs. - Amr Al-Anwar 001; Yousra Alkabani; M. Watheq El-Kharashi; Hassan Bedour (DSD, 2013)

Graph-based approach for software allocation in automotive networked embedded systems: A partition-and-map algorithm. - Yasser Shoukry; Ajay Kumar; M. Watheq El-Kharashi; Gahda Bahig; Sherif Hammad (FDL, 2013)

Authenticated key exchange protocol using neural cryptography with secret boundaries. - Ahmed M. Allam; Hazem M. Abbas; M. Watheq El-Kharashi (IJCNN, 2013)

An embedded implementation of the Generalized Predictive Control algorithm applied to automotive active suspension systems. - Yasser Shoukry; M. Watheq El-Kharashi; Sherif Hammad (Comput. Electr. Eng., 2013)

Unified multi-objective mapping and architecture customisation of networks-on-chip. - Ahmed A. Morgan; Haytham Elmiligi; M. Watheq El-Kharashi; Fayez Gebali (IET Comput. Digit. Tech., 2013)

Power consumption of 3D networks-on-chips: Modeling and optimization. - Haytham Elmiligi; M. Watheq El-Kharashi; Fayez Gebali (Microprocess. Microsystems, 2013)

E-Voting Attacks and Countermeasures. - M. Tarek Ibn Ziad; Amr Al-Anwar 001; Yousra Alkabani; M. Watheq El-Kharashi; Hassan Bedour (AINA Workshops, 2014)

Power-aware Mapping for 3D-NoC Designs Using Genetic Algorithms. - Haytham Elmiligi; Fayez Gebali; M. Watheq El-Kharashi (FNC/MobiSPC, 2014)

Exploiting satisfiability modulo theories for analog layout automation. - Sherif M. Saif; Mohamed Dessouky; Salwa M. Nassar; Hazem M. Abbas; M. Watheq El-Kharashi; Mohammad Abdulaziz (IDT, 2014)

The Connection-Then-Credit Flow Control Protocol for Networks-On-Chips: Implementation Trade-offs. - Mohamed Sallam; M. Watheq El-Kharashi; Mohamed Dessouky (NoCArc@MICRO, 2014)

System Verilog Assertion Debugging Based on Visualization, Simulation Results, and Mutation. - Moaz Mostafa; Mona Safar; M. Watheq El-Kharashi; Mohamed Dessouky (MTV, 2014)

Model of a hybrid processor executing C++ with additional quantum functions. - Mostafa Elhoushi; M. Watheq El-Kharashi; Hatem Elrefaei (Microprocess. Microsystems, 2014)

Variability-tolerant routing algorithms for Networks-on-Chip. - Eman Kamel Gawish; M. Watheq El-Kharashi; Mohamed Fathy Abu-ElYazeed (Microprocess. Microsystems, 2014)

Pin-Count and Wire Length Optimization for Electrowetting-on-Dielectric Chips: A Metaheuristics-Based Routing Algorithm. - Mohamed N. Ibrahim; Cherif R. Salama; M. Watheq El-Kharashi; Ayman Wahba (Computational Intelligence in Digital and Network Designs and Applications, 2015)

Analog layout constraints resolution and shape function generation using Satisfiability Modulo Theories. - Sherif M. Saif; Mohamed Dessouky; Hazem M. Abbas; M. Watheq El-Kharashi; Salwa M. Nassar (DTIS, 2015)

A novel scheduling algorithm for mmWave mesh networks using packet aggregation. - Muhammad K. Ibrahim; Mahmoud H. Ismail; M. Watheq El-Kharashi (ICECS, 2015)

Accelerating electromagnetic simulations: A hardware emulation approach. - M. Tarek Ibn Ziad; Yousra Alkabani; M. Watheq El-Kharashi; Khaled Salah 001; Mohamed Abdelsalam (ICECS, 2015)

Toward the interfacing of systemC-AMS models with hardware-emulated platforms. - Hanan Tawfik; Mona Safar; Mohamed Abdel Salam; M. Watheq El-Kharashi; Ashraf Salem (IDT, 2015)

Finite element emulation-based solver for electromagnetic computations. - M. Tarek Ibn Ziad; Mohamed Hossam; Mohamad A. Masoud; Mohamed Nagy; Hesham A. Adel; Yousra Alkabani; M. Watheq El-Kharashi; Khaled Salah 001; Mohamed Abdel Salam (ISCAS, 2015)

Homomorphic Data Isolation for Hardware Trojan Protection. - M. Tarek Ibn Ziad; Amr Al-Anwar 001; Yousra Alkabani; M. Watheq El-Kharashi; Hassan Bedour (ISVLSI, 2015)

Traffic analysis of multi-core body sensor networks based on Wireless NoC infrastructure. - Haytham Elmiligi; Fayez Gebali; M. Watheq El-Kharashi; Ahmed A. Morgan (PACRIM, 2015)

SystemVerilog assertion debugging: A visualization and pattern matching model. - Moaz Mostafa; Mona Safar; M. Watheq El-Kharashi; Mohamed Dessouky (PACRIM, 2015)

On hardware solution of dense linear systems via Gauss-Jordan Elimination. - M. Tarek Ibn Ziad; Yousra Alkabani; M. Watheq El-Kharashi (PACRIM, 2015)

Embedded Hypervisor Xvisor: A Comparative Analysis. - Anup Patel; Mai Daftedar; Mohamed Shalan; M. Watheq El-Kharashi (PDP, 2015)

On kernel acceleration of electromagnetic solvers via hardware emulation. - M. Tarek Ibn Ziad; Mohamed Hossam; Mohamad A. Masoud; Mohamed Nagy; Hesham A. Adel; Yousra Alkabani; M. Watheq El-Kharashi; Khaled Salah 001; Mohamed Abdel Salam (Comput. Electr. Eng., 2015)

Process variability-induced NoC link failure: A probabilistic model. - Eman Kamel Gawish; M. Watheq El-Kharashi; Mohamed Fathy Abu-ElYazeed (Microelectron. J., 2015)

ASU: An Experimental Study on Applying Deep Learning in Twitter Named Entity Recognition. - Michel Naim Gerguis; Cherif R. Salama; M. Watheq El-Kharashi (NUT@COLING, 2016)

Design and implementation of BPSK MODEM for IEEE 802.15.4/ZigBee devices. - Haytham Elmiligi; M. Watheq El-Kharashi; Fayez Gebali (CCECE, 2016)

AUTOSAR-based communication coprocessor for automotive ECUs. - Ahmed M. Hamed; Mona Safar; M. Watheq El-Kharashi; Ashraf Salem (DATE, 2016)

Pareto front analog layout placement using Satisfiability Modulo Theories. - Sherif M. Saif; Mohamed Dessouky; M. Watheq El-Kharashi; Hazem M. Abbas; Salwa M. Nassar (DATE, 2016)

An Enhanced Network-on-chip Simulation for Cluster-based Routing. - Ahmed S. Hassan; Ahmed A. Morgan; M. Watheq El-Kharashi (FNC/MobiSPC, 2016)

SoC connectivity specification extraction using incomplete RTL design: An approach for Formal connectivity Verification. - Haytham Saafan; M. Watheq El-Kharashi; Ashraf Salem (IDT, 2016)

Formal Based Methodology for Inferring Memory Mapped Registers. - Haytham Saafan; M. Watheq El-Kharashi; Ashraf Salem (MTV, 2016)

A Platform for Placement of Analog Integrated Circuits Using Satisfiability Modulo Theories. - Sherif M. Saif; Mohamed Dessouky; M. Watheq El-Kharashi; Hazem M. Abbas; Salwa M. Nassar (J. Circuits Syst. Comput., 2016)

Multi-dimensional analysis of embedded systems security. - Haytham Elmiligi; Fayez Gebali; M. Watheq El-Kharashi (Microprocess. Microsystems, 2016)

Bloom filter acceleration: A high level synthesis approach. - Reem Khairy; Mona Safar; M. Watheq El-Kharashi (CCECE, 2017)

Introducing NoC2: Interconnecting NoC-based Systems through Ethernet. - Ahmed S. Hassan; Ahmed A. Morgan; M. Watheq El-Kharashi (FNC/MobiSPC, 2017)

On Error Injection for NoC Platforms: A UVM-based Practical Case Study. - Sameh El-Ashry; Hala Ibrahim; Moamen A. Ibrahem; Mostafa Khamis; Ahmed Shalaby 001; Mohamed Abdelsalam; M. Watheq El-Kharashi (NoCArc@MICRO, 2017)

WikiTrends: Unstructured Wikipedia-Based Text Analytics Framework. - Michel Naim Gerguis; Cherif R. Salama; M. Watheq El-Kharashi (NLDB, 2017)

A kernel-based solution for overload in mixed criticality multicore systems. - Mostafa A. Al-Dosuky; Mona Safar; M. Watheq El-Kharashi (PACRIM, 2017)

Dynamic FPGA Detection and Protection of Hardware Trojan: A Comparative Analysis. - Amr Al-Anwar 001; Mona A. Aboelnaga; Yousra Alkabani; M. Watheq El-Kharashi; Hassan Bedour (CoRR, 2017)

A power-optimized, area-efficient implementation of Connection-Then-Credit NoC physical layer. - Haytham Elmiligi; Mohamed Sallam; M. Watheq El-Kharashi (Microelectron. J., 2017)

A Configurable RISC-V for NoC-Based MPSoCs: A Framework for Hardware Emulation. - Mostafa Khamis; Sameh El-Ashry; Ahmed Shalaby 001; Mohamed Abdelsalam; M. Watheq El-Kharashi (NoCArc@MICRO, 2018)

RVNoC: A Framework for Generating RISC-V NoC-Based MPSoC. - Mahmoud A. Elmohr; Ahmed S. Eissa; Moamen Ibrahim; Mostafa Khamis; Sameh El-Ashry; Ahmed Shalaby 001; Mohamed Abdelsalam; M. Watheq El-Kharashi (PDP, 2018)

Novel Distributed Scheduling Algorithms for mmWave Mesh Networks. - Muhammad K. Ibrahim; Mahmoud H. Ismail; M. Watheq El-Kharashi (J. Circuits Syst. Comput., 2018)

Reduction of Variations Using Chemometric Model Transfer: A Case Study Using FT-NIR Miniaturized Sensors. - Mohamed Hossam; Amr Wassal; M. Watheq El-Kharashi (AMLTA, 2019)

A Dynamic Power Reduction Methodology based on Reducing Output Transition Rate. - Moaz Mostafa; Ahmed M. Zaki; M. Watheq El-Kharashi; Mohamed Dessouky (PACRIM, 2019)

Efficient Structured Scan Patterns Retargeting for Hierarchical IEEE 1687 Networks. - Ahmed M. Y. Ibrahim; Hans G. Kerkhoff; Abrar Ibrahim; Mona Safar; M. Watheq El-Kharashi (VTS, 2019)

Parallel Multidimensional Lookahead Sorting Algorithm. - Fayez Gebali; Mohamed Taher; Ahmed M. Zaki; M. Watheq El-Kharashi; Ayman Tawfik (IEEE Access, 2019)

An ultrafast neural network-based hardware acceleration for nonlinear systems' simulators. - Tasneem A. Awaad; Abdelrahman M. Elbehery; Amany Abdelhamid; Salma K. Elsokkary; Youssef M. Ali; Khaled Salah 001; Mohamed Abdel Salam; M. Watheq El-Kharashi (Comput. Electr. Eng., 2019)

A High-Accuracy Implementation for Softmax Layer in Deep Neural Networks. - Bassma Alabassy; Mona Safar; M. Watheq El-Kharashi (DTIS, 2020)

Hardware-accelerated SOME/IP-based Serialization for AUTOSAR Platforms. - Abdelrahman Elbahnihy; Mona Safar; M. Watheq El-Kharashi (DTIS, 2020)

Verification of Neural Networks for Safety Critical Applications. - Khaled Khalifa; Mona Safar; M. Watheq El-Kharashi (ICM, 2020)

NoC2: An Efficient Interfacing Approach for Heavily-Communicating NoC-Based Systems. - Ahmed A. Morgan; Ahmed S. Hassan; M. Watheq El-Kharashi; Ayman Tawfik (IEEE Access, 2020)

On Error Injection for NoC Platforms: A UVM-Based Generic Verification Environment. - Sameh El-Ashry; Mostafa Khamis; Hala Ibrahim; Ahmed Shalaby 001; Mohamed Abdelsalam; M. Watheq El-Kharashi (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Developing AI Agent with Functional Mockup Units for Car Autonomous Navigation. - Alaa Muhammed; Hadeer Essam; Beshoy Alber; Kirolos Samuel; Hagar Muhammed; Mina Wagdy; Nouran Khaled; Hadeer Fawzy; Aya Tarek; Mohamed Abdel Salam; M. Watheq El-Kharashi (ICECS, 2021)

Adaptation of PAM4 Serial Link Transceiver Equalizers using Eye Diagram Monitoring. - Hisham M. Mubarak; Mohsen F. Elkhweski; Yehia Hamdy Yehia; M. Watheq El-Kharashi; Ahmed M. Zaki (ICM, 2021)

Lightweight Diagnostic-based Secure Framework for Electronic Control Units in Vehicles. - Tasneem A. Awaad; M. Watheq El-Kharashi; Mohamed Taher (ISNCC, 2021)

Digital ASIC Implementation of RISC-V: OpenLane and Commercial Approaches in Comparison. - Sarah Hesham; Mohamed Shalan; M. Watheq El-Kharashi; Mohamed Dessouky (MWSCAS, 2021)

A Novel Flow for Reducing Dynamic Power and Conditional Performance Improvement. - Moaz Mostafa; M. Watheq El-Kharashi; Mohamed Dessouky; Ahmed M. Zaki (IEEE Trans. Circuits Syst. I Regul. Pap., 2021)

Privacy Guarantees for Cloud-based State Estimation using Partially Homomorphic Encryption. - Sawsan Emad; Amr Alanwar 001; Yousra Alkabani; M. Watheq El-Kharashi; Henrik Sandberg; Karl Henrik Johansson (ECC, 2022)

An Efficient Hardware Accelerator For Lossless Data Compression. - Adel Mahmoud; Samuel Medhat; Mark Maged; Othman Mohamed; Reham Karam; Khaled Salah 002; M. Watheq El-Kharashi (ICCSPA, 2022)

Safe Reinforcement Learning using Data-Driven Predictive Control. - Mahmoud Selim; Amr Al-Anwar 001; M. Watheq El-Kharashi; Hazem M. Abbas; Karl Henrik Johansson (ICCSPA, 2022)

Optimized FPGA Architecture for Machine Learning Applications using Posit Multipliers. - Kareem Elsaid; Mona Safar; M. Watheq El-Kharashi (ICM, 2022)

A Reusable UVM-SystemC Verification Environment for Simulation, Hardware Emulation, and FPGA Prototyping: Case Studies. - Essraa Massoud; Mohamed Abdelsalam; Mona Safar; M. Watheq El-Kharashi (ICM, 2022)

An Evaluation Method for Embedded Software Dependability Using QEMU-Based Fault Injection Framework. - Haytham Metawie; Mona Safar; M. Watheq El-Kharashi (ICSRS, 2022)

An Intelligent, Two-Stage, In-Vehicle Diagnostic-Based Secured Framework. - Tasneem A. Awaad; M. Watheq El-Kharashi; Mohamed Taher; Khalid Ammar (IEEE Access, 2022)

A Multicycle Pipelined GCM-Based AUTOSAR Communication ASIP. - Ahmed M. Hamed; M. Watheq El-Kharashi; Ashraf Salem; Mona Safar (IEEE Access, 2022)

Emulation and verification framework for MPSoC based on NoC and RISC-V. - Mostafa Khamis; Sameh El-Ashry; Mohamed Abdelsalam; M. Watheq El-Kharashi; Ahmed Shalaby 001 (Des. Autom. Embed. Syst., 2022)

Improved Dynamic Collision Recovery in Wireless Ad-Hoc Networks: System and RTL Modeling. - Hussam Murad; Fatma Newagy; M. Watheq El-Kharashi (ICCCNT, 2023)

A Novel Architecture of CXL Protocol Data Link Layer for Low Latency Memory Access. - Basma H. Mohamed; Esmail Hany; Mahmoud El-Tahawy; Mohamed Abdel Salam; M. Watheq El-Kharashi; Mona Safar (ICM, 2023)

A Multicore Implementation of an AUTOSAR-based XCP Module. - Mahmoud Osama; Sherif Hammad; Nancy E. ElHady; M. Watheq El-Kharashi (MECO, 2023)

Hardware Security Analysis of Arbiters: Trojan Modeling and Formal Verification. - Hala Ibrahim; Haytham Azmi; M. Watheq El-Kharashi; Mona Safar (VLSI-SoC, 2023)

Optimal Pattern Retargeting in IEEE 1687 Networks: A SAT-based Upper-Bound Computation. - Abrar A. Ibrahim; Ahmed M. Y. Ibrahim; M. Watheq El-Kharashi; Mona Safar (ACM Trans. Design Autom. Electr. Syst., 2023)

Hardware-accelerated service-oriented communication for AUTOSAR platforms. - Abdelrahman Elbahnihy; M. Watheq El-Kharashi; Mona Safar (Des. Autom. Embed. Syst., 2023)

Detecting Cyber Attacks In-Vehicle Diagnostics Using an Intelligent Multistage Framework. - Tasneem A. Awaad; Mohamed Watheq El-Kharashi; Mohamed Taher; Ayman Tawfik (Sensors, 2023)

Apply Balancing Technique Utilizing Standard Cells Decoupling Caps to Mitigate Side-Channel Attacks. - Muhammad Ewais; Ahmed Shalaby 001; M. Watheq El-Kharashi (ICM, 2024)

Non-Invasive Hardware Trojans Modeling and Insertion: A Formal Verification Approach. - Hala Ibrahim; Haytham Azmi; M. Watheq El-Kharashi; Mona Safar (J. Electron. Test., 2024)

Adaptive SAT Modeling for Optimal Pattern Retargeting in IEEE 1687 Networks. - Abrar A. Ibrahim; Ahmed M. Y. Ibrahim; M. Watheq El-Kharashi; Mona Safar (IEEE Trans. Computers, 2024)

Generating Synthetic Layout Test Patterns using Deep Learning. - Adel Mahmoud; M. Watheq El-Kharashi; Cherif R. Salama (J. Electron. Test., 2024)