default search action
Mona Safar
Person information
- affiliation: Ain Shams University, Egypt
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j7]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): 117-135 (2024) - [j6]Abrar A. Ibrahim
Adaptive SAT Modeling for Optimal Pattern Retargeting in IEEE 1687 Networks. IEEE Trans. Computers 73(2): 536-547 (2024) - 2023
- [j5]Abdelrahman Elbahnihy
Hardware-accelerated service-oriented communication for AUTOSAR platforms. Des. Autom. Embed. Syst. 27(3): 191-216 (2023) - [j4]Abrar A. Ibrahim
Optimal Pattern Retargeting in IEEE 1687 Networks: A SAT-based Upper-Bound Computation. ACM Trans. Design Autom. Electr. Syst. 28(4): 62:1-62:26 (2023) - [c36]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: 298-303 - [c35]Hala Ibrahim, Haytham Azmi, M. Watheq El-Kharashi, Mona Safar:
Hardware Security Analysis of Arbiters: Trojan Modeling and Formal Verification. VLSI-SoC 2023: 1-6 - 2022
- [j3]Ahmed M. Hamed
A Multicycle Pipelined GCM-Based AUTOSAR Communication ASIP. IEEE Access 10: 46312-46329 (2022) - [c34]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: 38-41 - [c33]Kareem Elsaid, Mona Safar, M. Watheq El-Kharashi:
Optimized FPGA Architecture for Machine Learning Applications using Posit Multipliers. ICM 2022: 50-53 - [c32]Haytham Metawie, Mona Safar, M. Watheq El-Kharashi:
An Evaluation Method for Embedded Software Dependability Using QEMU-Based Fault Injection Framework. ICSRS 2022: 548-555 - 2020
- [c31]Mohamed Abbas, Mona Safar, Ashraf Salem
Anomaly Detection System for Altered Signal Values within the Intra-Vehicle Network. DTIS 2020: 1-6 - [c30]Bassma Alabassy, Mona Safar, M. Watheq El-Kharashi:
A High-Accuracy Implementation for Softmax Layer in Deep Neural Networks. DTIS 2020: 1-6 - [c29]Abdelrahman Elbahnihy
Hardware-accelerated SOME/IP-based Serialization for AUTOSAR Platforms. DTIS 2020: 1-2 - [c28]Khaled Khalifa, Mona Safar, M. Watheq El-Kharashi:
Verification of Neural Networks for Safety Critical Applications. ICM 2020: 1-4
2010 – 2019
- 2019
- [j2]Mona Safar, Magdy A. El-Moursy
Fast Transaction-Level Model for Direct Memory Access Controller. J. Circuits Syst. Comput. 28(4): 1950059:1-1950059:14 (2019) - [j1]Mona Safar, Magdy A. El-Moursy
Virtual Verification and Validation of Automotive System. J. Circuits Syst. Comput. 28(4): 1950071:1-1950071:25 (2019) - [c27]Mazen Ahmed, Mona Safar:
Symbolic Execution based Verification of Compliance with the ISO 26262 Functional Safety Standard. DTIS 2019: 1-6 - [c26]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: 1-6 - 2018
- [c25]Mazen Ahmed, Mona Safar:
Formal Verification of AUTOSAR Watchdog Manager Module Using Symbolic Execution. ICM 2018: 240-243 - [c24]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: 1-5 - 2017
- [c23]Reem Khairy, Mona Safar, M. Watheq El-Kharashi:
Bloom filter acceleration: A high level synthesis approach. CCECE 2017: 1-6 - [c22]Mona Safar:
Asil decomposition using SMT. FDL 2017: 1-6 - [c21]Mostafa A. Al-Dosuky, Mona Safar, M. Watheq El-Kharashi:
A kernel-based solution for overload in mixed criticality multicore systems. PACRIM 2017: 1-6 - 2016
- [c20]Ahmed M. Hamed, Mona Safar, M. Watheq El-Kharashi, Ashraf Salem:
AUTOSAR-based communication coprocessor for automotive ECUs. DATE 2016: 1026-1027 - [c19]Mai Said
Accelerating iterative protein sequence alignment on a heterogeneous GPU-CPU platform. HPCS 2016: 403-410 - 2015
- [c18]Mona Safar, Ashraf Salem
Solving constraints in FPGA detailed routing using SMT. ICECS 2015: 613-616 - [c17]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: 54-59 - [c16]Nahla Mohamed, Mona Safar, Ayman M. Wahba
Automatic test pattern generation for virtual hardware model using constrained symbolic execution. IDT 2015: 149-150 - [c15]Moaz Mostafa, Mona Safar, M. Watheq El-Kharashi, Mohamed Dessouky:
SystemVerilog assertion debugging: A visualization and pattern matching model. PACRIM 2015: 385-390 - 2014
- [c14]Magdy A. El-Moursy, Ayman Sheirah, Mona Safar, Ashraf Salem
Efficient embedded SoC hardware/software codesign using virtual platform. IDT 2014: 36-38 - [c13]Moaz Mostafa, Mona Safar, M. Watheq El-Kharashi, Mohamed Dessouky:
System Verilog Assertion Debugging Based on Visualization, Simulation Results, and Mutation. MTV 2014: 55-60 - [c12]Kareem Habib, Mona Safar, Mohamed Dessouky, Ashraf Salem
Don't cares based dynamic test vector compaction in SAT-ATPG. MWSCAS 2014: 213-217 - 2013
- [c11]Mona Safar, Magdy A. El-Moursy, Ashraf Salem
Ultra-Fast DMAC TLM Model for High Speed Virtual Platform Simulation. MTV 2013: 39-44 - 2011
- [c10]Karim Yehia, Mona Safar, Hassan A. Youness
A novel approach for system level synthesis of multi-core system architectures from TPG models. AICCSA 2011: 268-275 - [c9]Mona Safar, M. Watheq El-Kharashi, Mohamed Shalan, Ashraf Salem:
A reconfigurable, pipelined, conflict directed jumping search SAT solver. DATE 2011: 1243-1248 - [c8]Mona Safar, Magdy A. El-Moursy, Ashraf Salem
TLM Based Approach for Architecture Exploration of Multicore Systems-on-Chip. MTV 2011: 1-4 - 2010
- [c7]Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem
A novel conflict directed jumping algorithm for hardware-based SAT solvers. IDT 2010: 103-108
2000 – 2009
- 2009
- [c6]Mona Safar, M. Watheq El-Kharashi, Mohamed Shalan, Ashraf Salem
A Reconfigurable Five-Stage Pipelined SAT Solver. MTV 2009: 95-100 - 2008
- [c5]Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem
Hardware based algorithm for conflict diagnosis in SAT solver. AICCSA 2008: 89-93 - 2007
- [c4]Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem
Interactive presentation: A shift register based clause evaluator for reconfigurable SAT solver. DATE 2007: 153-158 - 2006
- [c3]Mona Safar, M. Watheq El-Kharashi, Ashraf Salem
FPGA-Based SAT Solver. CCECE 2006: 1901-1904 - 2005
- [c2]Mona Safar, M. Watheq El-Kharashi, Ashraf Salem
FPGA Based Accelerator for 3-SAT Conflict Analysis in SAT Solvers. CHARME 2005: 384-387 - [c1]Mona Safar, M. Watheq El-Kharashi, Ashraf Salem
An FPGA Based Accelerator for SAT Based Combinational Equivalence Checking. IWSOC 2005: 419-424
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-10 20:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: