Mona Safar

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 25

Top Topics

Embedded Software

Formal Verification

Top Venues

J. Circuits Syst. Comput.

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)
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)
Haytham Metawie, Mona Safar, M. Watheq El-Kharashi
An Evaluation Method for Embedded Software Dependability Using QEMU-Based Fault Injection Framework. ICSRS (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)
Kareem Elsaid, Mona Safar, M. Watheq El-Kharashi
Optimized FPGA Architecture for Machine Learning Applications using Posit Multipliers. ICM (2022)
Mohamed Abbas, Mona Safar, Ashraf Salem
Anomaly Detection System for Altered Signal Values within the Intra-Vehicle Network. DTIS (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)
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)
Mona Safar, Magdy A. El-Moursy, Ahmed Tarek, Ahmed Emad, Ahmed Hesham, Ashraf Salem, Mohsen Mahroos
Fast Transaction-Level Model for Direct Memory Access Controller. J. Circuits Syst. Comput. 28 (4) (2019)
Mona Safar, Magdy A. El-Moursy, Mohamed Abdelsalam, Ayman Bakr, Keroles K. Khalil, Ashraf Salem
Virtual Verification and Validation of Automotive System. J. Circuits Syst. Comput. 28 (4) (2019)
Mazen Ahmed, Mona Safar
Symbolic Execution based Verification of Compliance with the ISO 26262 Functional Safety Standard. DTIS (2019)
Mona Safar, Keroles K. Khalil, Magdy A. El-Moursy, Mohamed Abdelsalam
Virtual Electronic Control Unit as a Functional Mockup Unit for Heterogeneous Systems. ISCAS (2018)
Mazen Ahmed, Mona Safar
Formal Verification of AUTOSAR Watchdog Manager Module Using Symbolic Execution. ICM (2018)
Reem Khairy, Mona Safar, M. Watheq El-Kharashi
Bloom filter acceleration: A high level synthesis approach. CCECE (2017)
Mona Safar
Asil decomposition using SMT. FDL (2017)
Mostafa A. Al-Dosuky, Mona Safar, M. Watheq El-Kharashi
A kernel-based solution for overload in mixed criticality multicore systems. PACRIM (2017)
Ahmed Hamed, Mona Safar, M. Watheq El-Kharashi, Ashraf Salem
AUTOSAR-based communication coprocessor for automotive ECUs. DATE (2016)
Mai Said, Mona Safar, Mohamed Taher, Ayman M. Wahba
Accelerating iterative protein sequence alignment on a heterogeneous GPU-CPU platform. HPCS (2016)
Mona Safar, Ashraf Salem
Solving constraints in FPGA detailed routing using SMT. ICECS (2015)
Nahla Mohamed, Mona Safar, Ayman M. Wahba, Ashraf Salem
Automatic test pattern generation for virtual hardware model using constrained symbolic execution. IDT (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)
Magdy A. El-Moursy, Ayman Sheirah, Mona Safar, Ashraf Salem
Efficient embedded SoC hardware/software codesign using virtual platform. IDT (2014)
Moaz Mostafa, Mona Safar, M. Watheq El-Kharashi, Mohamed Dessouky
System Verilog Assertion Debugging Based on Visualization, Simulation Results, and Mutation. MTV (2014)
Kareem Habib, Mona Safar, Mohamed Dessouky, Ashraf Salem
Don't cares based dynamic test vector compaction in SAT-ATPG. MWSCAS (2014)
Mona Safar, Magdy A. El-Moursy, Ashraf Salem
Ultra-Fast DMAC TLM Model for High Speed Virtual Platform Simulation. MTV (2013)
Mona Safar, Magdy A. El-Moursy, Ashraf Salem, Mohamed Abdelsalam
TLM Based Approach for Architecture Exploration of Multicore Systems-on-Chip. MTV (2011)
Karim Yehia, Mona Safar, Hassan A. Youness, Mohamed Abdelsalam, Ashraf Salem
A novel approach for system level synthesis of multi-core system architectures from TPG models. AICCSA (2011)
Mona Safar, M. Watheq El-Kharashi, Mohamed Shalan, Ashraf Salem
A reconfigurable, pipelined, conflict directed jumping search SAT solver. DATE (2011)
Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem
A novel conflict directed jumping algorithm for hardware-based SAT solvers. IDT (2010)
Mona Safar, M. Watheq El-Kharashi, Mohamed Shalan, Ashraf Salem
A Reconfigurable Five-Stage Pipelined SAT Solver. MTV (2009)
Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem
Hardware based algorithm for conflict diagnosis in SAT solver. AICCSA (2008)
Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem
Interactive presentation: A shift register based clause evaluator for reconfigurable SAT solver. DATE (2007)
Mona Safar, M. Watheq El-Kharashi, Ashraf Salem
FPGA-Based SAT Solver. CCECE (2006)
Mona Safar, M. Watheq El-Kharashi, Ashraf Salem
FPGA Based Accelerator for 3-SAT Conflict Analysis in SAT Solvers. CHARME (2005)
Mona Safar, M. Watheq El-Kharashi, Ashraf Salem
An FPGA Based Accelerator for SAT Based Combinational Equivalence Checking. IWSOC (2005)