Mona Safar - RankMe

43 papers A 3C 5Misc 1Journal 7Unranked 27

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Adaptive SAT Modeling for Optimal Pattern Retargeting in IEEE 1687 Networks. IEEE Trans. Computers Abrar A. Ibrahim, Ahmed M. Y. Ibrahim, M. Watheq El-Kharashi, Mona Safar
2024	J	`jnl`	Non-Invasive Hardware Trojans Modeling and Insertion: A Formal Verification Approach. J. Electron. Test. Hala Ibrahim, Haytham Azmi, M. Watheq El-Kharashi, Mona Safar
2023	—	`conf`	A Novel Architecture of CXL Protocol Data Link Layer for Low Latency Memory Access. ICM Basma H. Mohamed, Esmail Hany, Mahmoud El-Tahawy, Mohamed Abdel Salam, M. Watheq El-Kharashi, Mona Safar
2023	C	`conf`	Hardware Security Analysis of Arbiters: Trojan Modeling and Formal Verification. VLSI-SoC Hala Ibrahim, Haytham Azmi, M. Watheq El-Kharashi, Mona Safar
2023	J	`jnl`	Hardware-accelerated service-oriented communication for AUTOSAR platforms. Des. Autom. Embed. Syst. Abdelrahman Elbahnihy, M. Watheq El-Kharashi, Mona Safar
2023	J	`jnl`	Optimal Pattern Retargeting in IEEE 1687 Networks: A SAT-based Upper-Bound Computation. ACM Trans. Design Autom. Electr. Syst. Abrar A. Ibrahim, Ahmed M. Y. Ibrahim, M. Watheq El-Kharashi, Mona Safar
2022	J	`jnl`	A Multicycle Pipelined GCM-Based AUTOSAR Communication ASIP. IEEE Access Ahmed M. Hamed, M. Watheq El-Kharashi, Ashraf Salem, Mona Safar
2022	—	`conf`	A Reusable UVM-SystemC Verification Environment for Simulation, Hardware Emulation, and FPGA Prototyping: Case Studies. ICM Essraa Massoud, Mohamed Abdelsalam, Mona Safar, M. Watheq El-Kharashi
2022	—	`conf`	An Evaluation Method for Embedded Software Dependability Using QEMU-Based Fault Injection Framework. ICSRS Haytham Metawie, Mona Safar, M. Watheq El-Kharashi
2022	—	`conf`	Optimized FPGA Architecture for Machine Learning Applications using Posit Multipliers. ICM Kareem Elsaid, Mona Safar, M. Watheq El-Kharashi
2020	—	`conf`	A High-Accuracy Implementation for Softmax Layer in Deep Neural Networks. DTIS Bassma Alabassy, Mona Safar, M. Watheq El-Kharashi
2020	—	`conf`	Anomaly Detection System for Altered Signal Values within the Intra-Vehicle Network. DTIS Mohamed Abbas, Mona Safar, Ashraf Salem
2020	—	`conf`	Hardware-accelerated SOME/IP-based Serialization for AUTOSAR Platforms. DTIS Abdelrahman Elbahnihy, Mona Safar, M. Watheq El-Kharashi
2020	—	`conf`	Verification of Neural Networks for Safety Critical Applications. ICM Khaled Khalifa, Mona Safar, M. Watheq El-Kharashi
2019	Misc	`conf`	Efficient Structured Scan Patterns Retargeting for Hierarchical IEEE 1687 Networks. VTS Ahmed M. Y. Ibrahim, Hans G. Kerkhoff, Abrar Ibrahim, Mona Safar, M. Watheq El-Kharashi
2019	J	`jnl`	Fast Transaction-Level Model for Direct Memory Access Controller. J. Circuits Syst. Comput. Mona Safar, Magdy A. El-Moursy, Ahmed Tarek, Ahmed Emad, Ahmed Hesham, Ashraf Salem, Mohsen Mahroos
2019	—	`conf`	Symbolic Execution based Verification of Compliance with the ISO 26262 Functional Safety Standard. DTIS Mazen Ahmed, Mona Safar
2019	J	`jnl`	Virtual Verification and Validation of Automotive System. J. Circuits Syst. Comput. Mona Safar, Magdy A. El-Moursy, Mohamed Abdelsalam, Ayman Bakr, Keroles K. Khalil, Ashraf Salem
2018	—	`conf`	Formal Verification of AUTOSAR Watchdog Manager Module Using Symbolic Execution. ICM Mazen Ahmed, Mona Safar
2018	C	`conf`	Virtual Electronic Control Unit as a Functional Mockup Unit for Heterogeneous Systems. ISCAS Mona Safar, Keroles K. Khalil, Magdy A. El-Moursy, Mohamed Abdelsalam
2017	—	`conf`	A kernel-based solution for overload in mixed criticality multicore systems. PACRIM Mostafa A. Al-Dosuky, Mona Safar, M. Watheq El-Kharashi
2017	C	`conf`	Asil decomposition using SMT. FDL Mona Safar
2017	—	`conf`	Bloom filter acceleration: A high level synthesis approach. CCECE Reem Khairy, Mona Safar, M. Watheq El-Kharashi
2016	A	`conf`	AUTOSAR-based communication coprocessor for automotive ECUs. DATE Ahmed M. Hamed, Mona Safar, M. Watheq El-Kharashi, Ashraf Salem
2016	—	`conf`	Accelerating iterative protein sequence alignment on a heterogeneous GPU-CPU platform. HPCS Mai Said, Mona Safar, Mohamed Taher, Ayman M. Wahba
2015	—	`conf`	Automatic test pattern generation for virtual hardware model using constrained symbolic execution. IDT Nahla Mohamed, Mona Safar, Ayman M. Wahba, Ashraf Salem
2015	—	`conf`	Solving constraints in FPGA detailed routing using SMT. ICECS Mona Safar, Ashraf Salem
2015	—	`conf`	SystemVerilog assertion debugging: A visualization and pattern matching model. PACRIM Moaz Mostafa, Mona Safar, M. Watheq El-Kharashi, Mohamed Dessouky
2015	—	`conf`	Toward the interfacing of systemC-AMS models with hardware-emulated platforms. IDT Hanan Tawfik, Mona Safar, Mohamed Abdel Salam, M. Watheq El-Kharashi, Ashraf Salem
2014	—	`conf`	Don't cares based dynamic test vector compaction in SAT-ATPG. MWSCAS Kareem Habib, Mona Safar, Mohamed Dessouky, Ashraf Salem
2014	—	`conf`	Efficient embedded SoC hardware/software codesign using virtual platform. IDT Magdy A. El-Moursy, Ayman Sheirah, Mona Safar, Ashraf Salem
2014	—	`conf`	System Verilog Assertion Debugging Based on Visualization, Simulation Results, and Mutation. MTV Moaz Mostafa, Mona Safar, M. Watheq El-Kharashi, Mohamed Dessouky
2013	—	`conf`	Ultra-Fast DMAC TLM Model for High Speed Virtual Platform Simulation. MTV Mona Safar, Magdy A. El-Moursy, Ashraf Salem
2011	C	`conf`	A novel approach for system level synthesis of multi-core system architectures from TPG models. AICCSA Karim Yehia, Mona Safar, Hassan A. Youness, Mohamed Abdelsalam, Ashraf Salem
2011	A	`conf`	A reconfigurable, pipelined, conflict directed jumping search SAT solver. DATE Mona Safar, M. Watheq El-Kharashi, Mohamed Shalan, Ashraf Salem
2011	—	`conf`	TLM Based Approach for Architecture Exploration of Multicore Systems-on-Chip. MTV Mona Safar, Magdy A. El-Moursy, Ashraf Salem, Mohamed Abdelsalam
2010	—	`conf`	A novel conflict directed jumping algorithm for hardware-based SAT solvers. IDT Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem
2009	—	`conf`	A Reconfigurable Five-Stage Pipelined SAT Solver. MTV Mona Safar, M. Watheq El-Kharashi, Mohamed Shalan, Ashraf Salem
2008	C	`conf`	Hardware based algorithm for conflict diagnosis in SAT solver. AICCSA Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem
2007	A	`conf`	Interactive presentation: A shift register based clause evaluator for reconfigurable SAT solver. DATE Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem
2006	—	`conf`	FPGA-Based SAT Solver. CCECE Mona Safar, M. Watheq El-Kharashi, Ashraf Salem
2005	—	`conf`	An FPGA Based Accelerator for SAT Based Combinational Equivalence Checking. IWSOC Mona Safar, M. Watheq El-Kharashi, Ashraf Salem
2005	—	`conf`	FPGA Based Accelerator for 3-SAT Conflict Analysis in SAT Solvers. CHARME Mona Safar, M. Watheq El-Kharashi, Ashraf Salem