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

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

FPGA-Based SAT Solver. - Mona Safar; M. Watheq El-Kharashi; Ashraf Salem (CCECE, 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)

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

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

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

A novel approach for system level synthesis of multi-core system architectures from TPG models. - Karim Yehia; Mona Safar; Hassan A. Youness; Mohamed Abdelsalam; Ashraf Salem (AICCSA, 2011)

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

TLM Based Approach for Architecture Exploration of Multicore Systems-on-Chip. - Mona Safar; Magdy A. El-Moursy; Ashraf Salem; Mohamed Abdelsalam (MTV, 2011)

Ultra-Fast DMAC TLM Model for High Speed Virtual Platform Simulation. - Mona Safar; Magdy A. El-Moursy; Ashraf Salem (MTV, 2013)

Efficient embedded SoC hardware/software codesign using virtual platform. - Magdy A. El-Moursy; Ayman Sheirah; Mona Safar; Ashraf Salem (IDT, 2014)

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

Don't cares based dynamic test vector compaction in SAT-ATPG. - Kareem Habib; Mona Safar; Mohamed Dessouky; Ashraf Salem (MWSCAS, 2014)

Solving constraints in FPGA detailed routing using SMT. - Mona Safar; Ashraf Salem (ICECS, 2015)

Automatic test pattern generation for virtual hardware model using constrained symbolic execution. - Nahla Mohamed; Mona Safar; Ayman M. Wahba; Ashraf Salem (IDT, 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)

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

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

Accelerating iterative protein sequence alignment on a heterogeneous GPU-CPU platform. - Mai Said; Mona Safar; Mohamed Taher; Ayman M. Wahba (HPCS, 2016)

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

Asil decomposition using SMT. - Mona Safar (FDL, 2017)

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

Formal Verification of AUTOSAR Watchdog Manager Module Using Symbolic Execution. - Mazen Ahmed; Mona Safar (ICM, 2018)

Virtual Electronic Control Unit as a Functional Mockup Unit for Heterogeneous Systems. - Mona Safar; Keroles K. Khalil; Magdy A. El-Moursy; Mohamed Abdelsalam (ISCAS, 2018)

Symbolic Execution based Verification of Compliance with the ISO 26262 Functional Safety Standard. - Mazen Ahmed; Mona Safar (DTIS, 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)

Virtual Verification and Validation of Automotive System. - Mona Safar; Magdy A. El-Moursy; Mohamed Abdelsalam; Ayman Bakr; Keroles K. Khalil; Ashraf Salem (J. Circuits Syst. Comput., 2019)

Fast Transaction-Level Model for Direct Memory Access Controller. - Mona Safar; Magdy A. El-Moursy; Ahmed Tarek; Ahmed Emad; Ahmed Hesham; Ashraf Salem; Mohsen Mahroos (J. Circuits Syst. Comput., 2019)

Anomaly Detection System for Altered Signal Values within the Intra-Vehicle Network. - Mohamed Abbas; Mona Safar; Ashraf Salem (DTIS, 2020)

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)

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)

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

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)

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)

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)