M. Watheq El-Kharashi

According to our database, M. Watheq El-Kharashi authored at least 119 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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, February, 2024

2023

Detecting Cyber Attacks In-Vehicle Diagnostics Using an Intelligent Multistage Framework.

Tasneem A. Awaad, Mohamed Watheq El-Kharashi, Mohamed Taher, Ayman Tawfik

Sensors, September, 2023

Hardware-accelerated service-oriented communication for AUTOSAR platforms.

Abdelrahman Elbahnihy, M. Watheq El-Kharashi, Mona Safar

Des. Autom. Embed. Syst., September, 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., July, 2023

Hardware Security Analysis of Arbiters: Trojan Modeling and Formal Verification.

Hala Ibrahim, Haytham Azmi, M. Watheq El-Kharashi, Mona Safar

Proceedings of the 31st IFIP/IEEE International Conference on Very Large Scale Integration, 2023

A Multicore Implementation of an AUTOSAR-based XCP Module.

Mahmoud Osama, Sherif Hammad, Nancy E. ElHady, M. Watheq El-Kharashi

Proceedings of the 12th Mediterranean Conference on Embedded Computing, 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

Proceedings of the International Conference on Microelectronics, 2023

Improved Dynamic Collision Recovery in Wireless Ad-Hoc Networks: System and RTL Modeling.

Hussam Murad, Fatma Newagy, M. Watheq El-Kharashi

Proceedings of the 14th International Conference on Computing Communication and Networking Technologies, 2023

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

Des. Autom. Embed. Syst., December, 2022

A Multicycle Pipelined GCM-Based AUTOSAR Communication ASIP.

Ahmed M. Hamed, M. Watheq El-Kharashi, Ashraf Salem, Mona Safar

IEEE Access, 2022

An Intelligent, Two-Stage, In-Vehicle Diagnostic-Based Secured Framework.

Tasneem A. Awaad, M. Watheq El-Kharashi, Mohamed Taher, Khalid Ali Ammar

IEEE Access, 2022

An Evaluation Method for Embedded Software Dependability Using QEMU-Based Fault Injection Framework.

Haytham Metawie, Mona Safar, M. Watheq El-Kharashi

Proceedings of the 6th International Conference on System Reliability and Safety, 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

Proceedings of the International Conference on Microelectronics, 2022

Optimized FPGA Architecture for Machine Learning Applications using Posit Multipliers.

Kareem Elsaid, Mona Safar, M. Watheq El-Kharashi

Proceedings of the International Conference on Microelectronics, 2022

Safe Reinforcement Learning using Data-Driven Predictive Control.

Mahmoud Selim, Amr Al-Anwar, M. Watheq El-Kharashi, Hazem M. Abbas, Karl Henrik Johansson

Proceedings of the 5th International Conference on Communications, 2022

An Efficient Hardware Accelerator For Lossless Data Compression.

Adel Mahmoud, Samuel Medhat, Mark Maged, Othman Mohamed, Reham Karam, Khaled Salah, M. Watheq El-Kharashi

Proceedings of the 5th International Conference on Communications, 2022

Privacy Guarantees for Cloud-based State Estimation using Partially Homomorphic Encryption.

Sawsan Emad, Amr Alanwar, Yousra Alkabani, M. Watheq El-Kharashi, Henrik Sandberg, Karl Henrik Johansson

Proceedings of the European Control Conference, 2022

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

Digital ASIC Implementation of RISC-V: OpenLane and Commercial Approaches in Comparison.

Sarah Hesham, Mohamed Shalan, M. Watheq El-Kharashi, Mohamed Dessouky

Proceedings of the 64th IEEE International Midwest Symposium on Circuits and Systems, 2021

Lightweight Diagnostic-based Secure Framework for Electronic Control Units in Vehicles.

Tasneem A. Awaad, M. Watheq El-Kharashi, Mohamed Taher

Proceedings of the International Symposium on Networks, Computers and Communications, 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

Proceedings of the International Conference on Microelectronics, 2021

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

Proceedings of the 28th IEEE International Conference on Electronics, 2021

2020

On Error Injection for NoC Platforms: A UVM-Based Generic Verification Environment.

Sameh El-Ashry, Mostafa Khamis, Hala Ibrahim, Ahmed Shalaby, Mohamed Abdelsalam, M. Watheq El-Kharashi

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

NoC²: 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

Verification of Neural Networks for Safety Critical Applications.

Khaled Khalifa, Mona Safar, M. Watheq El-Kharashi

Proceedings of the 32nd International Conference on Microelectronics, 2020

Hardware-accelerated SOME/IP-based Serialization for AUTOSAR Platforms.

Abdelrahman Elbahnihy, Mona Safar, M. Watheq El-Kharashi

Proceedings of the 15th Design & Technology of Integrated Systems in Nanoscale Era, 2020

A High-Accuracy Implementation for Softmax Layer in Deep Neural Networks.

Bassma Alabassy, Mona Safar, M. Watheq El-Kharashi

Proceedings of the 15th Design & Technology of Integrated Systems in Nanoscale Era, 2020

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, Mohamed Abdel Salam, M. Watheq El-Kharashi

Comput. Electr. Eng., 2019

Parallel Multidimensional Lookahead Sorting Algorithm.

Fayez Gebali, Mohamed Taher, Ahmed M. Zaki, M. Watheq El-Kharashi, Ayman Tawfik

IEEE Access, 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

Proceedings of the 37th IEEE VLSI Test Symposium, 2019

A Dynamic Power Reduction Methodology based on Reducing Output Transition Rate.

Moaz Mostafa, Ahmed M. Zaki, M. Watheq El-Kharashi, Mohamed Dessouky

Proceedings of the IEEE Pacific Rim Conference on Communications, 2019

Reduction of Variations Using Chemometric Model Transfer: A Case Study Using FT-NIR Miniaturized Sensors.

Mohamed Hossam, Amr Wassal, M. Watheq El-Kharashi

Proceedings of the International Conference on Advanced Machine Learning Technologies and Applications, 2019

2018

Novel Distributed Scheduling Algorithms for mmWave Mesh Networks.

Muhammad K. Ibrahim, Mahmoud H. Ismail, M. Watheq El-Kharashi

J. Circuits Syst. Comput., 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, Mohamed Abdelsalam, M. Watheq El-Kharashi

Proceedings of the 26th Euromicro International Conference on Parallel, 2018

A Configurable RISC-V for NoC-Based MPSoCs: A Framework for Hardware Emulation.

Mostafa Khamis, Sameh El-Ashry, Ahmed Shalaby, Mohamed Abdelsalam, M. Watheq El-Kharashi

Proceedings of the 11th International Workshop on Network on Chip Architectures, 2018

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

Dynamic FPGA Detection and Protection of Hardware Trojan: A Comparative Analysis.

Amr Al-Anwar, Mona A. Aboelnaga, Yousra Alkabani, M. Watheq El-Kharashi, Hassan Bedour

CoRR, 2017

A kernel-based solution for overload in mixed criticality multicore systems.

Mostafa A. Al-Dosuky, Mona Safar, M. Watheq El-Kharashi

Proceedings of the IEEE Pacific Rim Conference on Communications, 2017

WikiTrends: Unstructured Wikipedia-Based Text Analytics Framework.

Michel Naim Gerguis, Cherif R. Salama, M. Watheq El-Kharashi

Proceedings of the Natural Language Processing and Information Systems, 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, Mohamed Abdelsalam, M. Watheq El-Kharashi

Proceedings of the 10th International Workshop on Network on Chip Architectures, 2017

Introducing NoC²: Interconnecting NoC-based Systems through Ethernet.

Ahmed S. Hassan, Ahmed A. Morgan, M. Watheq El-Kharashi

Proceedings of the 14th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2017) / 12th International Conference on Future Networks and Communications (FNC 2017) / Affiliated Workshops, 2017

Bloom filter acceleration: A high level synthesis approach.

Reem Khairy, Mona Safar, M. Watheq El-Kharashi

Proceedings of the 30th IEEE Canadian Conference on Electrical and Computer Engineering, 2017

2016

Multi-dimensional analysis of embedded systems security.

Haytham Elmiligi, Fayez Gebali, M. Watheq El-Kharashi

Microprocess. Microsystems, 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

Formal Based Methodology for Inferring Memory Mapped Registers.

Haytham Saafan, M. Watheq El-Kharashi, Ashraf Salem

Proceedings of the 17th International Workshop on Microprocessor and SOC Test and Verification, 2016

SoC connectivity specification extraction using incomplete RTL design: An approach for Formal connectivity Verification.

Haytham Saafan, M. Watheq El-Kharashi, Ashraf Salem

Proceedings of the 11th International Design & Test Symposium, 2016

An Enhanced Network-on-chip Simulation for Cluster-based Routing.

Ahmed S. Hassan, Ahmed A. Morgan, M. Watheq El-Kharashi

Proceedings of the 11th International Conference on Future Networks and Communications (FNC 2016) / The 13th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2016) / Affiliated Workshops, 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

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

AUTOSAR-based communication coprocessor for automotive ECUs.

Ahmed M. Hamed, Mona Safar, M. Watheq El-Kharashi, Ashraf Salem

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Design and implementation of BPSK MODEM for IEEE 802.15.4/ZigBee devices.

Haytham Elmiligi, M. Watheq El-Kharashi, Fayez Gebali

Proceedings of the 2016 IEEE Canadian Conference on Electrical and Computer Engineering, 2016

ASU: An Experimental Study on Applying Deep Learning in Twitter Named Entity Recognition.

Michel Naim Gerguis, Cherif R. Salama, M. Watheq El-Kharashi

Proceedings of the 2nd Workshop on Noisy User-generated Text, 2016

2015

Process variability-induced NoC link failure: A probabilistic model.

Eman Kamel Gawish, M. Watheq El-Kharashi, Mohamed Fathy Abu Elyazeed

Microelectron. J., 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, Mohamed Abdel Salam

Comput. Electr. Eng., 2015

Embedded Hypervisor Xvisor: A Comparative Analysis.

Anup Patel, Mai Daftedar, Mohamed Shalan, M. Watheq El-Kharashi

Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

On hardware solution of dense linear systems via Gauss-Jordan Elimination.

M. Tarek Ibn Ziad, Yousra Alkabani, M. Watheq El-Kharashi

Proceedings of the IEEE Pacific Rim Conference on Communications, 2015

SystemVerilog assertion debugging: A visualization and pattern matching model.

Moaz Mostafa, Mona Safar, M. Watheq El-Kharashi, Mohamed Dessouky

Proceedings of the IEEE Pacific Rim Conference on Communications, 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

Proceedings of the IEEE Pacific Rim Conference on Communications, 2015

Homomorphic Data Isolation for Hardware Trojan Protection.

M. Tarek Ibn Ziad, Amr Al-Anwar, Yousra Alkabani, M. Watheq El-Kharashi, Hassan Bedour

Proceedings of the 2015 IEEE Computer Society Annual Symposium on VLSI, 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, Mohamed Abdel Salam

Proceedings of the 2015 IEEE International Symposium on Circuits and Systems, 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

Proceedings of the 10th International Design & Test Symposium, 2015

Accelerating electromagnetic simulations: A hardware emulation approach.

M. Tarek Ibn Ziad, Yousra Alkabani, M. Watheq El-Kharashi, Khaled Salah, Mohamed Abdelsalam

Proceedings of the 2015 IEEE International Conference on Electronics, 2015

A novel scheduling algorithm for mmWave mesh networks using packet aggregation.

Muhammad K. Ibrahim, Mahmoud H. Ismail, M. Watheq El-Kharashi

Proceedings of the 2015 IEEE International Conference on Electronics, 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

Proceedings of the 10th International Conference on Design & Technology of Integrated Systems in Nanoscale Era, 2015

Pin-Count and Wire Length Optimization for Electrowetting-on-Dielectric Chips: A Metaheuristics-Based Routing Algorithm.

Mohamed Ibrahim, Cherif R. Salama, M. Watheq El-Kharashi, Ayman Wahba

Proceedings of the Computational Intelligence in Digital and Network Designs and Applications, 2015

2014

Variability-tolerant routing algorithms for Networks-on-Chip.

Eman Kamel Gawish, M. Watheq El-Kharashi, Mohamed Fathy Abu Elyazeed

Microprocess. Microsystems, 2014

Model of a hybrid processor executing C++ with additional quantum functions.

Mostafa Elhoushi, M. Watheq El-Kharashi, Hatem Elrefaei

Microprocess. Microsystems, 2014

System Verilog Assertion Debugging Based on Visualization, Simulation Results, and Mutation.

Moaz Mostafa, Mona Safar, M. Watheq El-Kharashi, Mohamed Dessouky

Proceedings of the 15th International Microprocessor Test and Verification Workshop, 2014

The Connection-Then-Credit Flow Control Protocol for Networks-On-Chips: Implementation Trade-offs.

Mohamed Sallam, M. Watheq El-Kharashi, Mohamed Dessouky

Proceedings of the 2014 International Workshop on Network on Chip Architectures, 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

Proceedings of the 9th International Design and Test Symposium, 2014

Power-aware Mapping for 3D-NoC Designs Using Genetic Algorithms.

Haytham Elmiligi, Fayez Gebali, M. Watheq El-Kharashi

Proceedings of the 9th International Conference on Future Networks and Communications (FNC'14) / The 11th International Conference on Mobile Systems and Pervasive Computing (MobiSPC'14) / Affiliated Workshops, 2014

E-Voting Attacks and Countermeasures.

M. Tarek Ibn Ziad, Amr Al-Anwar, Yousra Alkabani, M. Watheq El-Kharashi, Hassan Bedour

Proceedings of the 28th International Conference on Advanced Information Networking and Applications Workshops, 2014

2013

Power consumption of 3D networks-on-chips: Modeling and optimization.

Haytham Elmiligi, M. Watheq El-Kharashi, Fayez Gebali

Microprocess. Microsystems, 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

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

Authenticated key exchange protocol using neural cryptography with secret boundaries.

Ahmed M. Allam, Hazem M. Abbas, M. Watheq El-Kharashi

Proceedings of the 2013 International Joint Conference on Neural Networks, 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

Proceedings of the 2013 Forum on specification and Design Languages, 2013

Hardware Trojan Protection for Third Party IPs.

Amr Al-Anwar, Yousra Alkabani, M. Watheq El-Kharashi, Hassan Bedour

Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

2012

Variability-tolerant NoC link design.

Eman Kamel Gawish, M. Watheq El-Kharashi, Mohamed Fathy Abu Elyazeed

Proceedings of the Fifth International Workshop on Network on Chip Architectures, 2012

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

A reconfigurable, pipelined, conflict directed jumping search SAT solver.

Mona Safar, M. Watheq El-Kharashi, Mohamed Shalan, Ashraf Salem

Proceedings of the Design, Automation and Test in Europe, 2011

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

Multi-objective optimization of NoC standard architectures using Genetic Algorithms.

Ahmed A. Morgan, Haytham Elmiligi, M. Watheq El-Kharashi, Fayez Gebali

Proceedings of the IEEE International Symposium on Signal Processing and Information Technology, 2010

Multi-objective optimization for Networks-on-Chip architectures using Genetic Algorithms.

Ahmed A. Morgan, Haytham Elmiligi, M. Watheq El-Kharashi, Fayez Gebali

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2010), May 30, 2010

Networks-on-chip topology optimization subject to power, delay, and reliability constraints.

Haytham Elmiligi, Ahmed A. Morgan, M. Watheq El-Kharashi, Fayez Gebali

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2010), May 30, 2010

A novel conflict directed jumping algorithm for hardware-based SAT solvers.

Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem

Proceedings of the 5th International Design and Test Workshop, 2010

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

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 Reconfigurable Five-Stage Pipelined SAT Solver.

Mona Safar, M. Watheq El-Kharashi, Mohamed Shalan, Ashraf Salem

Proceedings of the 10th International Workshop on Microprocessor Test and Verification, 2009

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

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

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

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

Power-aware topology optimization for networks-on-chips.

Haytham Elmiligi, Ahmed A. Morgan, M. Watheq El-Kharashi, Fayez Gebali

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2008), 2008

Application-specific networks-on-chip topology customization using network partitioning.

Ahmed A. Morgan, Haytham Elmiligi, M. Watheq El-Kharashi, Fayez Gebali

Proceedings of the 1st international forum on Next-generation multicore/manycore technologies, 2008

TLM-Based Verification of a Combined Switching Networks-on-Chip Router.

Mohamed M. Sabry, M. Watheq El-Kharashi, Hassan Shehata Bedor, Ashraf Salem

Proceedings of the Forum on specification and Design Languages, 2008

Hardware based algorithm for conflict diagnosis in SAT solver.

Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem

Proceedings of the 6th ACS/IEEE International Conference on Computer Systems and Applications, 2008

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

Queue Modeling and Implementation for Networks-on-Chip Routers.

Haytham Elmiligi, M. Watheq El-Kharashi, Fayez Gebali

J. Circuits Syst. Comput., 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

Modeling and Implementation of an Output-Queuing Router for Networks-on-Chips.

Haytham Elmiligi, M. Watheq El-Kharashi, Fayez Gebali

Proceedings of the Embedded Software and Systems, [Third] International Conference, 2007

Interactive presentation: A shift register based clause evaluator for reconfigurable SAT solver.

Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

2006

A hierarchical design methodology for full-search block matching motion estimation.

Mohamed Rehan, M. Watheq El-Kharashi, Fayez Gebali

Multidimens. Syst. Signal Process., 2006

An FPGA implementation of the flexible triangle search algorithm for block based motion estimation.

Mohamed Rehan, M. Watheq El-Kharashi, Panajotis Agathoklis, Fayez Gebali

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2006), 2006

Binary LNS-based naive Bayes hardware classifier for spam control.

Muhammad N. Marsono, M. Watheq El-Kharashi, Fayez Gebali

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2006), 2006

FPGA-Based SAT Solver.

Mona Safar, M. Watheq El-Kharashi, Ashraf Salem

Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006

Distributed Layer-3 E-Mail Classification for Spam Control.

Muhammad N. Marsono, M. Watheq El-Kharashi, Fayez Gebali, Sudhakar Ganti

Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006

2005

An FPGA Based Accelerator for SAT Based Combinational Equivalence Checking.

Mona Safar, M. Watheq El-Kharashi, Ashraf Salem

Proceedings of the 5th IEEE International Workshop on System-on-Chip for Real-Time Applications (IWSOC 2005), 2005

Systolic Array-Based String Matching Unit for Spam Blocking.

A. N. M. Ehtesham Rafiq, M. Watheq El-Kharashi, Fayez Gebali

Proceedings of the 5th IEEE International Workshop on System-on-Chip for Real-Time Applications (IWSOC 2005), 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

Proceedings of the 5th IEEE International Workshop on System-on-Chip for Real-Time Applications (IWSOC 2005), 2005

FPGA Based Accelerator for 3-SAT Conflict Analysis in SAT Solvers.

Mona Safar, M. Watheq El-Kharashi, Ashraf Salem

Proceedings of the Correct Hardware Design and Verification Methods, 2005

2004

A fast string search algorithm for deep packet classification.

A. N. M. Ehtesham Rafiq, M. Watheq El-Kharashi, Fayez Gebali

Comput. Commun., 2004

Towards Automating Hardware/Software Co-Design.

M. Watheq El-Kharashi, M. H. El-Malaki, Sherif Hammad, Ashraf Salem, Abdel-Moniem Wahdan

Proceedings of the 4th IEEE International Workshop on System-on-Chip for Real-Time Applications (IWSOC'04), 2004

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

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

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

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

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 quantitative study for Java microprocessor architectural requirements. Part I: Instruction set design.

M. Watheq El-Kharashi, F. Elguibaly, Kin F. Li

Microprocess. Microsystems, 2000