M. Watheq El-Kharashi

ORCID

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 53

Top Venues

Publications

Hala Ibrahim, Haytham Azmi, M. Watheq El-Kharashi, Mona Safar
Non-Invasive Hardware Trojans Modeling and Insertion: A Formal Verification Approach. J. Electron. Test. 40 (1) (2024)
Abrar A. Ibrahim, Ahmed M. Y. Ibrahim, M. Watheq El-Kharashi, Mona Safar
Adaptive SAT Modeling for Optimal Pattern Retargeting in IEEE 1687 Networks. IEEE Trans. Computers 73 (2) (2024)
Hala Ibrahim, Haytham Azmi, M. Watheq El-Kharashi, Mona Safar
Hardware Security Analysis of Arbiters: Trojan Modeling and Formal Verification. VLSI-SoC (2023)
Mahmoud Osama, Sherif Hammad, Nancy E. ElHady, M. Watheq El-Kharashi
A Multicore Implementation of an AUTOSAR-based XCP Module. MECO (2023)
Abrar A. Ibrahim, Ahmed M. Y. Ibrahim, M. Watheq El-Kharashi, Mona Safar
Optimal Pattern Retargeting in IEEE 1687 Networks: A SAT-based Upper-Bound Computation. ACM Trans. Design Autom. Electr. Syst. 28 (4) (2023)
Abdelrahman Elbahnihy, M. Watheq El-Kharashi, Mona Safar
Hardware-accelerated service-oriented communication for AUTOSAR platforms. Des. Autom. Embed. Syst. 27 (3) (2023)
Basma H. Mohamed, Esmail Hany, Mahmoud El-Tahawy, Mohamed Abdel Salam, M. Watheq El-Kharashi, Mona Safar
A Novel Architecture of CXL Protocol Data Link Layer for Low Latency Memory Access. ICM (2023)
Hussam Murad, Fatma Newagy, M. Watheq El-Kharashi
Improved Dynamic Collision Recovery in Wireless Ad-Hoc Networks: System and RTL Modeling. ICCCNT (2023)
Haytham Metawie, Mona Safar, M. Watheq El-Kharashi
An Evaluation Method for Embedded Software Dependability Using QEMU-Based Fault Injection Framework. ICSRS (2022)
Mostafa Khamis, Sameh El-Ashry, Mohamed Abdelsalam, M. Watheq El-Kharashi, Ahmed Shalaby
Emulation and verification framework for MPSoC based on NoC and RISC-V. Des. Autom. Embed. Syst. 26 (3) (2022)
Ahmed M. Hamed, M. Watheq El-Kharashi, Ashraf Salem, Mona Safar
A Multicycle Pipelined GCM-Based AUTOSAR Communication ASIP. IEEE Access 10 (2022)
Essraa Massoud, Mohamed Abdelsalam, Mona Safar, M. Watheq El-Kharashi
A Reusable UVM-SystemC Verification Environment for Simulation, Hardware Emulation, and FPGA Prototyping: Case Studies. ICM (2022)
Tasneem A. Awaad, M. Watheq El-Kharashi, Mohamed Taher, Khalid Ali Ammar
An Intelligent, Two-Stage, In-Vehicle Diagnostic-Based Secured Framework. IEEE Access 10 (2022)
Mahmoud Selim, Amr Alanwar, M. Watheq El-Kharashi, Hazem M. Abbas, Karl Henrik Johansson
Safe Reinforcement Learning using Data-Driven Predictive Control. CoRR (2022)
Mahmoud Selim, Amr Al-Anwar, M. Watheq El-Kharashi, Hazem M. Abbas, Karl Henrik Johansson
Safe Reinforcement Learning using Data-Driven Predictive Control. ICCSPA (2022)
Kareem Elsaid, Mona Safar, M. Watheq El-Kharashi
Optimized FPGA Architecture for Machine Learning Applications using Posit Multipliers. ICM (2022)
Adel Mahmoud, Samuel Medhat, Mark Maged, Othman Mohamed, Reham Karam, Khaled Salah, M. Watheq El-Kharashi
An Efficient Hardware Accelerator For Lossless Data Compression. ICCSPA (2022)
Sawsan Emad, Amr Alanwar, Yousra Alkabani, M. Watheq El-Kharashi, Henrik Sandberg, Karl Henrik Johansson
Privacy Guarantees for Cloud-based State Estimation using Partially Homomorphic Encryption. ECC (2022)
Moaz Mostafa, M. Watheq El-Kharashi, Mohamed Dessouky, Ahmed M. Zaki
A Novel Flow for Reducing Dynamic Power and Conditional Performance Improvement. IEEE Trans. Circuits Syst. I Regul. Pap. 68 (5) (2021)
Hisham M. Mubarak, Mohsen F. Elkhweski, Yehia Hamdy Yehia, M. Watheq El-Kharashi, Ahmed M. Zaki
Adaptation of PAM4 Serial Link Transceiver Equalizers using Eye Diagram Monitoring. ICM (2021)
Sarah Hesham, Mohamed Shalan, M. Watheq El-Kharashi, Mohamed Dessouky
Digital ASIC Implementation of RISC-V: OpenLane and Commercial Approaches in Comparison. MWSCAS (2021)
Tasneem A. Awaad, M. Watheq El-Kharashi, Mohamed Taher
Lightweight Diagnostic-based Secure Framework for Electronic Control Units in Vehicles. ISNCC (2021)
Sawsan Emad, Amr Alanwar, Yousra Alkabani, M. Watheq El-Kharashi, Henrik Sandberg, Karl Henrik Johansson
Privacy Guarantees for Cloud-based State Estimation using Partially Homomorphic Encryption. CoRR (2021)
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
Developing AI Agent with Functional Mockup Units for Car Autonomous Navigation. ICECS (2021)
Ahmed A. Morgan, Ahmed S. Hassan, M. Watheq El-Kharashi, Ayman Tawfik
: An Efficient Interfacing Approach for Heavily-Communicating NoC-Based Systems. IEEE Access 8 (2020)
Abdelrahman Elbahnihy, Mona Safar, M. Watheq El-Kharashi
Hardware-accelerated SOME/IP-based Serialization for AUTOSAR Platforms. DTIS (2020)
Khaled Khalifa, Mona Safar, M. Watheq El-Kharashi
Verification of Neural Networks for Safety Critical Applications. ICM (2020)
Bassma Alabassy, Mona Safar, M. Watheq El-Kharashi
A High-Accuracy Implementation for Softmax Layer in Deep Neural Networks. DTIS (2020)
Sameh El-Ashry, Mostafa Khamis, Hala Ibrahim, Ahmed Shalaby, Mohamed Abdelsalam, M. Watheq El-Kharashi
On Error Injection for NoC Platforms: A UVM-Based Generic Verification Environment. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (5) (2020)
Fayez Gebali, Mohamed Taher, Ahmed M. Zaki, M. Watheq El-Kharashi, Ayman Tawfik
Parallel Multidimensional Lookahead Sorting Algorithm. IEEE Access 7 (2019)
Ahmed M. Y. Ibrahim, Hans G. Kerkhoff, Abrar Ibrahim, Mona Safar, M. Watheq El-Kharashi
Efficient Structured Scan Patterns Retargeting for Hierarchical IEEE 1687 Networks. VTS (2019)
Tasneem A. Awaad, Abdelrahman M. Elbehery, Amany Abdelhamid, Salma K. Elsokkary, Youssef M. Ali, Khaled Salah, Mohamed Abdel Salam, M. Watheq El-Kharashi
An ultrafast neural network-based hardware acceleration for nonlinear systems' simulators. Comput. Electr. Eng. 79 (2019)
Moaz Mostafa, Ahmed M. Zaki, M. Watheq El-Kharashi, Mohamed Dessouky
A Dynamic Power Reduction Methodology based on Reducing Output Transition Rate. PACRIM (2019)
Mohamed Hossam, Amr Wassal, M. Watheq El-Kharashi
Reduction of Variations Using Chemometric Model Transfer: A Case Study Using FT-NIR Miniaturized Sensors. AMLTA (2019)
Mahmoud A. Elmohr, Ahmed S. Eissa, Moamen Ibrahim, Mostafa Khamis, Sameh El-Ashry, Ahmed Shalaby, Mohamed Abdelsalam, M. Watheq El-Kharashi
RVNoC: A Framework for Generating RISC-V NoC-Based MPSoC. PDP (2018)
Muhammad K. Ibrahim, Mahmoud H. Ismail, M. Watheq El-Kharashi
Novel Distributed Scheduling Algorithms for mmWave Mesh Networks. J. Circuits Syst. Comput. 27 (8) (2018)
Mostafa Khamis, Sameh El-Ashry, Ahmed Shalaby, Mohamed Abdelsalam, M. Watheq El-Kharashi
A Configurable RISC-V for NoC-Based MPSoCs: A Framework for Hardware Emulation. NoCArc@MICRO (2018)
Ahmed S. Hassan, Ahmed A. Morgan, M. Watheq El-Kharashi
: Interconnecting NoC-based Systems through Ethernet. FNC/MobiSPC (2017)
Michel Naim Gerguis, Cherif R. Salama, M. Watheq El-Kharashi
WikiTrends: Unstructured Wikipedia-Based Text Analytics Framework. NLDB (2017)
Reem Khairy, Mona Safar, M. Watheq El-Kharashi
Bloom filter acceleration: A high level synthesis approach. CCECE (2017)
Amr Al-Anwar, Mona A. Aboelnaga, Yousra Alkabani, M. Watheq El-Kharashi, Hassan Bedour
Dynamic FPGA Detection and Protection of Hardware Trojan: A Comparative Analysis. CoRR (2017)
Sameh El-Ashry, Hala Ibrahim, Moamen A. Ibrahem, Mostafa Khamis, Ahmed Shalaby, Mohamed Abdelsalam, M. Watheq El-Kharashi
On Error Injection for NoC Platforms: A UVM-based Practical Case Study. NoCArc@MICRO (2017)
Mostafa A. Al-Dosuky, Mona Safar, M. Watheq El-Kharashi
A kernel-based solution for overload in mixed criticality multicore systems. PACRIM (2017)
Haytham Elmiligi, Mohamed Sallam, M. Watheq El-Kharashi
A power-optimized, area-efficient implementation of Connection-Then-Credit NoC physical layer. Microelectron. J. 68 (2017)
Michel Naim Gerguis, Cherif R. Salama, M. Watheq El-Kharashi
ASU: An Experimental Study on Applying Deep Learning in Twitter Named Entity Recognition. NUT@COLING (2016)
Haytham Elmiligi, M. Watheq El-Kharashi, Fayez Gebali
Design and implementation of BPSK MODEM for IEEE 802.15.4/ZigBee devices. CCECE (2016)
Sherif M. Saif, Mohamed Dessouky, M. Watheq El-Kharashi, Hazem M. Abbas, Salwa M. Nassar
Pareto front analog layout placement using Satisfiability Modulo Theories. DATE (2016)
Sherif M. Saif, Mohamed Dessouky, M. Watheq El-Kharashi, Hazem M. Abbas, Salwa M. Nassar
A Platform for Placement of Analog Integrated Circuits Using Satisfiability Modulo Theories. J. Circuits Syst. Comput. 25 (5) (2016)
Ahmed Hamed, Mona Safar, M. Watheq El-Kharashi, Ashraf Salem
AUTOSAR-based communication coprocessor for automotive ECUs. DATE (2016)
Ahmed S. Hassan, Ahmed A. Morgan, M. Watheq El-Kharashi
An Enhanced Network-on-chip Simulation for Cluster-based Routing. FNC/MobiSPC (2016)
Haytham Saafan, M. Watheq El-Kharashi, Ashraf Salem
Formal Based Methodology for Inferring Memory Mapped Registers. MTV (2016)
Haytham Elmiligi, Fayez Gebali, M. Watheq El-Kharashi
Multi-dimensional analysis of embedded systems security. Microprocess. Microsystems 41 (2016)
Haytham Saafan, M. Watheq El-Kharashi, Ashraf Salem
SoC connectivity specification extraction using incomplete RTL design: An approach for Formal connectivity Verification. IDT (2016)
Haytham Elmiligi, Fayez Gebali, M. Watheq El-Kharashi, Ahmed A. Morgan
Traffic analysis of multi-core body sensor networks based on Wireless NoC infrastructure. PACRIM (2015)
M. Tarek Ibn Ziad, Mohamed Hossam, Mohamad A. Masoud, Mohamed Nagy, Hesham A. Adel, Yousra Alkabani, M. Watheq El-Kharashi, Khaled Salah, Mohamed Abdel Salam
On kernel acceleration of electromagnetic solvers via hardware emulation. Comput. Electr. Eng. 47 (2015)
Muhammad K. Ibrahim, Mahmoud H. Ismail, M. Watheq El-Kharashi
A novel scheduling algorithm for mmWave mesh networks using packet aggregation. ICECS (2015)
M. Tarek Ibn Ziad, Mohamed Hossam, Mohamad A. Masoud, Mohamed Nagy, Hesham A. Adel, Yousra Alkabani, M. Watheq El-Kharashi, Khaled Salah, Mohamed Abdel Salam
Finite element emulation-based solver for electromagnetic computations. ISCAS (2015)
M. Tarek Ibn Ziad, Amr Al-Anwar, Yousra Alkabani, M. Watheq El-Kharashi, Hassan Bedour
Homomorphic Data Isolation for Hardware Trojan Protection. ISVLSI (2015)
M. Tarek Ibn Ziad, Amr Al-Anwar, Yousra Alkabani, M. Watheq El-Kharashi, Hassan Bedour
Homomorphic Data Isolation for Hardware Trojan Protection. CoRR (2015)
Anup Patel, Mai Daftedar, Mohamed Shalan, M. Watheq El-Kharashi
Embedded Hypervisor Xvisor: A Comparative Analysis. PDP (2015)
Eman Kamel Gawish, M. Watheq El-Kharashi, Mohamed Fathy Abu Elyazeed
Process variability-induced NoC link failure: A probabilistic model. Microelectron. J. 46 (3) (2015)
Sherif M. Saif, Mohamed Dessouky, Hazem M. Abbas, M. Watheq El-Kharashi, Salwa M. Nassar
Analog layout constraints resolution and shape function generation using Satisfiability Modulo Theories. DTIS (2015)
M. Tarek Ibn Ziad, Yousra Alkabani, M. Watheq El-Kharashi, Khaled Salah, Mohamed Abdelsalam
Accelerating electromagnetic simulations: A hardware emulation approach. ICECS (2015)
M. Tarek Ibn Ziad, Yousra Alkabani, M. Watheq El-Kharashi
On hardware solution of dense linear systems via Gauss-Jordan Elimination. PACRIM (2015)
Hanan Tawfik, Mona Safar, Mohamed Abdel Salam, M. Watheq El-Kharashi, Ashraf Salem
Toward the interfacing of systemC-AMS models with hardware-emulated platforms. IDT (2015)
Moaz Mostafa, Mona Safar, M. Watheq El-Kharashi, Mohamed Dessouky
SystemVerilog assertion debugging: A visualization and pattern matching model. PACRIM (2015)
Sherif M. Saif, Mohamed Dessouky, Salwa M. Nassar, Hazem M. Abbas, M. Watheq El-Kharashi, Mohammad Abdulaziz
Exploiting satisfiability modulo theories for analog layout automation. IDT (2014)
Eman Kamel Gawish, M. Watheq El-Kharashi, Mohamed Fathy Abu Elyazeed
Variability-tolerant routing algorithms for Networks-on-Chip. Microprocess. Microsystems 38 (8) (2014)
Moaz Mostafa, Mona Safar, M. Watheq El-Kharashi, Mohamed Dessouky
System Verilog Assertion Debugging Based on Visualization, Simulation Results, and Mutation. MTV (2014)
Mohamed Sallam, M. Watheq El-Kharashi, Mohamed Dessouky
The Connection-Then-Credit Flow Control Protocol for Networks-On-Chips: Implementation Trade-offs. NoCArc@MICRO (2014)
M. Tarek Ibn Ziad, Amr Al-Anwar, Yousra Alkabani, M. Watheq El-Kharashi, Hassan Bedour
E-Voting Attacks and Countermeasures. AINA Workshops (2014)
Mostafa Elhoushi, M. Watheq El-Kharashi, Hatem Elrefaei
Model of a hybrid processor executing C++ with additional quantum functions. Microprocess. Microsystems 38 (8) (2014)
Haytham Elmiligi, Fayez Gebali, M. Watheq El-Kharashi
Power-aware Mapping for 3D-NoC Designs Using Genetic Algorithms. FNC/MobiSPC (2014)
Ahmed M. Allam, Hazem M. Abbas, M. Watheq El-Kharashi
Authenticated key exchange protocol using neural cryptography with secret boundaries. IJCNN (2013)
Haytham Elmiligi, M. Watheq El-Kharashi, Fayez Gebali
Power consumption of 3D networks-on-chips: Modeling and optimization. Microprocess. Microsystems 37 (6-7) (2013)
Yasser Shoukry, Ajay Kumar, M. Watheq El-Kharashi, Gahda Bahig, Sherif Hammad
Graph-based approach for software allocation in automotive networked embedded systems: A partition-and-map algorithm. FDL (2013)
Yasser Shoukry, M. Watheq El-Kharashi, Sherif Hammad
An embedded implementation of the Generalized Predictive Control algorithm applied to automotive active suspension systems. Comput. Electr. Eng. 39 (2) (2013)
Ahmed A. Morgan, Haytham Elmiligi, M. Watheq El-Kharashi, Fayez Gebali
Unified multi-objective mapping and architecture customisation of networks-on-chip. IET Comput. Digit. Tech. 7 (6) (2013)
Amr Al-Anwar, Yousra Alkabani, M. Watheq El-Kharashi, Hassan Bedour
Hardware Trojan Protection for Third Party IPs. DSD (2013)
Eman Kamel Gawish, M. Watheq El-Kharashi, Mohamed Fathy Abu Elyazeed
Variability-tolerant NoC link design. NoCArc@MICRO (2012)
Haytham Elmiligi, Ahmed A. Morgan, M. Watheq El-Kharashi, Fayez Gebali
Improving Networks-on-Chip performability: A topology-based approach. Int. J. Circuit Theory Appl. 39 (6) (2011)
Mona Safar, M. Watheq El-Kharashi, Mohamed Shalan, Ashraf Salem
A reconfigurable, pipelined, conflict directed jumping search SAT solver. DATE (2011)
Haytham Elmiligi, Ahmed A. Morgan, M. Watheq El-Kharashi, Fayez Gebali
Networks-on-chip topology optimization subject to power, delay, and reliability constraints. ISCAS (2010)
Ahmed A. Morgan, Haytham Elmiligi, M. Watheq El-Kharashi, Fayez Gebali
Multi-objective optimization for Networks-on-Chip architectures using Genetic Algorithms. ISCAS (2010)
Ahmed A. Morgan, Haytham Elmiligi, M. Watheq El-Kharashi, Fayez Gebali
Multi-objective optimization of NoC standard architectures using Genetic Algorithms. ISSPIT (2010)
Yasser Shoukry, M. Watheq El-Kharashi, Sherif Hammad
MPC-On-Chip: An Embedded GPC Coprocessor for Automotive Active Suspension Systems. IEEE Embed. Syst. Lett. 2 (2) (2010)
Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem
A novel conflict directed jumping algorithm for hardware-based SAT solvers. IDT (2010)
Muhammad N. Marsono, M. Watheq El-Kharashi, Fayez Gebali
Targeting spam control on middleboxes: Spam detection based on layer-3 e-mail content classification. Comput. Networks 53 (6) (2009)
Haytham Elmiligi, Ahmed A. Morgan, M. Watheq El-Kharashi, Fayez Gebali
Power optimization for application-specific networks-on-chips: A topology-based approach. Microprocess. Microsystems 33 (5-6) (2009)
Mona Safar, M. Watheq El-Kharashi, Mohamed Shalan, Ashraf Salem
A Reconfigurable Five-Stage Pipelined SAT Solver. MTV (2009)
Muhammad N. Marsono, M. Watheq El-Kharashi, Fayez Gebali
A spam rejection scheme during SMTP sessions based on layer-3 e-mail classification. J. Netw. Comput. Appl. 32 (1) (2009)
Esam Khan, M. Watheq El-Kharashi, Fayez Gebali, Mostafa I. H. Abd-El-Barr
Corrections to "Design and Performance Analysis of a Unified, Reconfigurable HMAC-Hash Unit" [Dec 07 2683-2695]. IEEE Trans. Circuits Syst. I Regul. Pap. (2) (2008)
Esam Khan, M. Watheq El-Kharashi, Fayez Gebali, Mostafa I. H. Abd-El-Barr
Design Space Exploration of a Reconfigurable HMAC-Hash Unit. J. Res. Pract. Inf. Technol. 40 (2) (2008)
Muhammad N. Marsono, M. Watheq El-Kharashi, Fayez Gebali
Prioritized e-mail servicing to reduce non-spam delay and loss: A performance analysis. Int. J. Netw. Manag. 18 (4) (2008)
Ahmed A. Morgan, Haytham Elmiligi, M. Watheq El-Kharashi, Fayez Gebali
Application-specific networks-on-chip topology customization using network partitioning. IFMT (2008)
Muhammad N. Marsono, M. Watheq El-Kharashi, Fayez Gebali
Binary LNS-based naive Bayes inference engine for spam control: noise analysis and FPGA implementation. IET Comput. Digit. Tech. 2 (1) (2008)
Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem
Hardware based algorithm for conflict diagnosis in SAT solver. AICCSA (2008)
Haytham Elmiligi, Ahmed A. Morgan, M. Watheq El-Kharashi, Fayez Gebali
Power-aware topology optimization for networks-on-chips. ISCAS (2008)
Mohamed M. Sabry, M. Watheq El-Kharashi, Hassan Shehata Bedor, Ashraf Salem
TLM-Based Verification of a Combined Switching Networks-on-Chip Router. FDL (2008)
Haytham Elmiligi, M. Watheq El-Kharashi, Fayez Gebali
Queue Modeling and Implementation for Networks-on-Chip Routers. J. Circuits Syst. Comput. 16 (6) (2007)

M. Watheq El-Kharashi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

M. Watheq El-Kharashi