Ashraf Salem

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 14

Top Topics

Path Planning Algorithm

Cmos Image Sensor

Functional Verification

Autonomous Navigation

Top Venues

J. Circuits Syst. Comput.

Publications

Mariam Maurice, Mohamed Dessouky, Ashraf Salem
Increasing the Modeling Accuracy of an Analog PLL Device Executed With an Event-Driven Simulator. IEEE Access 11 (2023)
Anastasios Temperekidis, Nikolaos Kekatos, Panagiotis Katsaros, Weicheng He, Saddek Bensalem, Hisham AbdElSabour, Mohamed Abdelsalam, Ashraf Salem
Towards a Digital Twin Architecture with Formal Analysis Capabilities for Learning-Enabled Autonomous Systems. MESAS (2022)
Ahmed M. Hamed, M. Watheq El-Kharashi, Ashraf Salem, Mona Safar
A Multicycle Pipelined GCM-Based AUTOSAR Communication ASIP. IEEE Access 10 (2022)
Ismail Ryad, Marwan Zidan, Nadien Rashad, Dina Bakr, Nadeen Bakr, Nada Yehia, Yara Ismail, Mohamed Abdelsalam, Ashraf Salem
Using Path Planning Algorithms and Digital Twin Simulators to Collect Synthetic Training Dataset for Drone Autonomous Navigation. ICECS (2021)
Sarah A. Abdu, Ahmed H. Yousef, Ashraf Salem
Multimodal Video Sentiment Analysis Using Deep Learning Approaches, a Survey. Inf. Fusion 76 (2021)
Mohamed Abbas, Mona Safar, Ashraf Salem
Anomaly Detection System for Altered Signal Values within the Intra-Vehicle Network. DTIS (2020)
Mina Louis, Mohamed Dessouky, Ashraf Salem
PLL Real Number Modeling in SystemVerilog. SMACD (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)
Eman El Mandouh, Ashraf Salem, Mennatallah Amer, Amr G. Wassal
Cross-product functional coverage analysis using machine learning clustering techniques. DTIS (2018)
Ashraf Salem, Ahmad Salah, Osama Moselhi
Fuzzy-based configuration of automated data acquisition systems for earthmoving operations. J. Inf. Technol. Constr. 23 (2018)
Ahmed Hamed, Mona Safar, M. Watheq El-Kharashi, Ashraf Salem
AUTOSAR-based communication coprocessor for automotive ECUs. DATE (2016)
Haytham Saafan, M. Watheq El-Kharashi, Ashraf Salem
Formal Based Methodology for Inferring Memory Mapped Registers. MTV (2016)
Haytham Saafan, M. Watheq El-Kharashi, Ashraf Salem
SoC connectivity specification extraction using incomplete RTL design: An approach for Formal connectivity Verification. IDT (2016)
Mona Safar, Ashraf Salem
Solving constraints in FPGA detailed routing using SMT. ICECS (2015)
Mohamed Abdelsalam, Ashraf Salem
SoC verification platforms using HW emulation and co-modeling Testbench technologies. IDT (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)
Ghada Moussa Bahig, Amr El-Kadi, Ashraf Salem
Formal verification of AUTOSAR FlexRay state manager. IDT (2014)
Magdy A. El-Moursy, Ayman Sheirah, Mona Safar, Ashraf Salem
Efficient embedded SoC hardware/software codesign using virtual platform. IDT (2014)
Kareem Habib, Mona Safar, Mohamed Dessouky, Ashraf Salem
Don't cares based dynamic test vector compaction in SAT-ATPG. MWSCAS (2014)
Moustafa Kassem, Marianne Michel, Mohamed Abdelsalam, Ashraf Salem
A novel approach for assertion based verification of DDR memory protocols. FDL (2013)
Ángel Rodríguez-Vázquez, Hamada Alshaer, Bayan S. Sharif, Amr Fahim, Eman El Mandouh, Ashraf Salem, Fadi A. Aloul, Hoda S. Abdel-Aty, John F. Dodge, Baker Mohammad, Hisham Mohamed
Tutorial 1: Foundations and Practical Design of CMOS Image Sensors. ICECS (2013)
Omar Samir, Moustafa Kassem, Mohammed Sameh, Sarah Aly, Mohamed R. M. Rizk, Mohamed Abdelsalam, Ashraf Salem
A novel approach for functional verification of memory protocol standard. IDT (2013)
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)
Hassan A. Youness, Abdel-Moniem Wahdan, Mohammed Hassan, Ashraf Salem, Mohammed Moness, Keishi Sakanushi, Yoshinori Takeuchi, Masaharu Imai
Efficient partitioning technique on multiple cores based on optimal scheduling and mapping algorithm. ISCAS (2010)
Mona Safar, M. Watheq El-Kharashi, Mohamed Shalan, Ashraf Salem
A Reconfigurable Five-Stage Pipelined SAT Solver. MTV (2009)
Hassan A. Youness, Keishi Sakanushi, Yoshinori Takeuchi, Ashraf Salem, Abdel-Moniem Wahdan, Masaharu Imai
Optimal Scheme for Search State Space and Scheduling on Multiprocessor Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (4) (2009)
Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem
Hardware based algorithm for conflict diagnosis in SAT solver. AICCSA (2008)
Mohamed M. Sabry, M. Watheq El-Kharashi, Hassan Shehata Bedor, Ashraf Salem
TLM-Based Verification of a Combined Switching Networks-on-Chip Router. FDL (2008)
M. H. El-Malaki, M. Watheq El-Kharashi, Sherif Hammad, Ashraf Salem, Abdel-Moniem Wahdan
A Platform Approach for Hardware/Software Co-Design with Support for RTOS-Based Systems. J. Circuits Syst. Comput. 16 (6) (2007)
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)
M. Watheq El-Kharashi, M. H. El-Malaki, Sherif Hammad, Ashraf Salem, Abdel-Moniem Wahdan
Towards Automating Hardware/Software Co-Design. IWSOC (2004)
Ashraf Salem
Formal Verification of Digital Circuits. IWSOC (2004)
Ashraf Salem
Formal Semantics of Synchronous SystemC. DATE (2003)
Sherief Reda, Ayman Wahba, Ashraf Salem, Dominique Borrione, M. Ghonaimy
On the use of don't cares during symbolic reachability analysis. ISCAS (5) (2001)
Hazem Hamed, Ashraf Salem
UML-L: An UML Based Design Description Language. AICCSA (2001)
Sherief Reda, Ayman Wahba, Ashraf Salem
M-CHECK: a multiple engine combinational equivalence checker. ISCAS (2000)