Ashraf Salem - RankMe

51 papers A 5C 7Journal 9Unranked 29

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Enhanced functional verification models that ensure the full functionality of an A-PLL device. Integr. Mariam Maurice, Rich Edelman, Mohamed Dessouky, Ashraf Salem
2024	—	`conf`	Improved Cross-Platform Mobile Applications to Native Applications Converters. AISI (2) Mostafa M. Abdallah, Ashraf Salem, Ahmed H. Yousef
2023	J	`jnl`	Increasing the Modeling Accuracy of an Analog PLL Device Executed With an Event-Driven Simulator. IEEE Access Mariam Maurice, Mohamed Dessouky, Ashraf Salem
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`	Towards a Digital Twin Architecture with Formal Analysis Capabilities for Learning-Enabled Autonomous Systems. MESAS Anastasios Temperekidis, Nikolaos Kekatos, Panagiotis Katsaros, Weicheng He, Saddek Bensalem, Hisham AbdElSabour, Mohamed Abdelsalam, Ashraf Salem
2021	J	`jnl`	Multimodal Video Sentiment Analysis Using Deep Learning Approaches, a Survey. Inf. Fusion Sarah A. Abdu, Ahmed H. Yousef, Ashraf Salem
2021	—	`conf`	Using Path Planning Algorithms and Digital Twin Simulators to Collect Synthetic Training Dataset for Drone Autonomous Navigation. ICECS Ismail Ryad, Marwan Zidan, Nadien Rashad, Dina Bakr, Nadeen Bakr, Nada Yehia, Yara Ismail, Mohamed Abdelsalam, Ashraf Salem
2020	—	`conf`	Anomaly Detection System for Altered Signal Values within the Intra-Vehicle Network. DTIS Mohamed Abbas, Mona Safar, Ashraf Salem
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`	PLL Real Number Modeling in SystemVerilog. SMACD Mina Louis, Mohamed Dessouky, Ashraf Salem
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`	Cross-product functional coverage analysis using machine learning clustering techniques. DTIS Eman El Mandouh, Ashraf Salem, Mennatallah Amer, Amr G. Wassal
2018	J	`jnl`	Fuzzy-based configuration of automated data acquisition systems for earthmoving operations. J. Inf. Technol. Constr. Ashraf Salem, Ahmad Salah, Osama Moselhi
2016	A	`conf`	AUTOSAR-based communication coprocessor for automotive ECUs. DATE Ahmed M. Hamed, Mona Safar, M. Watheq El-Kharashi, Ashraf Salem
2016	—	`conf`	Formal Based Methodology for Inferring Memory Mapped Registers. MTV Haytham Saafan, M. Watheq El-Kharashi, Ashraf Salem
2016	—	`conf`	SoC connectivity specification extraction using incomplete RTL design: An approach for Formal connectivity Verification. IDT Haytham Saafan, M. Watheq El-Kharashi, Ashraf Salem
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`	SoC verification platforms using HW emulation and co-modeling Testbench technologies. IDT Mohamed Abdelsalam, Ashraf Salem
2015	—	`conf`	Solving constraints in FPGA detailed routing using SMT. ICECS Mona Safar, Ashraf Salem
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`	Formal verification of AUTOSAR FlexRay state manager. IDT Ghada Moussa Bahig, Amr El-Kadi, Ashraf Salem
2013	C	`conf`	A novel approach for assertion based verification of DDR memory protocols. FDL Moustafa Kassem, Marianne Michel, Mohamed Abdelsalam, Ashraf Salem
2013	—	`conf`	A novel approach for functional verification of memory protocol standard. IDT Omar Samir, Moustafa Kassem, Mohammed Sameh, Sarah Aly, Mohamed R. M. Rizk, Mohamed Abdelsalam, Ashraf Salem
2013	—	`conf`	Tutorial 1: Foundations and Practical Design of CMOS Image Sensors. ICECS Á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
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	—	`ed.`	5th International Design and Test Workshop, IDT 2010, Abu Dhabi, UAE, 14-15 December 2010 IDT Yervant Zorian, Imtinan Elahi, André Ivanov, Ashraf Salem
2010	—	`conf`	A novel conflict directed jumping algorithm for hardware-based SAT solvers. IDT Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem
2010	C	`conf`	Efficient partitioning technique on multiple cores based on optimal scheduling and mapping algorithm. ISCAS Hassan A. Youness, Abdel-Moniem Wahdan, Mohammed Hassan, Ashraf Salem, Mohammed Moness, Keishi Sakanushi, Yoshinori Takeuchi, Masaharu Imai
2009	—	`conf`	A Reconfigurable Five-Stage Pipelined SAT Solver. MTV Mona Safar, M. Watheq El-Kharashi, Mohamed Shalan, Ashraf Salem
2009	J	`jnl`	Optimal Scheme for Search State Space and Scheduling on Multiprocessor Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Hassan A. Youness, Keishi Sakanushi, Yoshinori Takeuchi, Ashraf Salem, Abdel-Moniem Wahdan, Masaharu Imai
2008	C	`conf`	Hardware based algorithm for conflict diagnosis in SAT solver. AICCSA Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem
2008	C	`conf`	TLM-Based Verification of a Combined Switching Networks-on-Chip Router. FDL Mohamed M. Sabry, M. Watheq El-Kharashi, Hassan Shehata Bedor, Ashraf Salem
2007	J	`jnl`	A Platform Approach for Hardware/Software Co-Design with Support for RTOS-Based Systems. J. Circuits Syst. Comput. M. H. El-Malaki, M. Watheq El-Kharashi, Sherif Hammad, Ashraf Salem, Abdel-Moniem Wahdan
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
2004	—	`conf`	Formal Verification of Digital Circuits. IWSOC Ashraf Salem
2004	—	`conf`	Towards Automating Hardware/Software Co-Design. IWSOC M. Watheq El-Kharashi, M. H. El-Malaki, Sherif Hammad, Ashraf Salem, Abdel-Moniem Wahdan
2003	A	`conf`	Formal Semantics of Synchronous SystemC. DATE Ashraf Salem
2002	—	`conf`	Semi-formal verification of VHDL-AMS descriptions. ISCAS (5) Ashraf Salem
2001	A	`conf`	Combinational equivalence checking using Boolean satisfiability and binary decision diagrams. DATE Sherief Reda, Ashraf Salem
2001	—	`conf`	On the use of don't cares during symbolic reachability analysis. ISCAS (5) Sherief Reda, Ayman Wahba, Ashraf Salem, Dominique Borrione, M. Ghonaimy
2001	C	`conf`	UML-L: An UML Based Design Description Language. AICCSA Hazem Hamed, Ashraf Salem
2000	—	`conf`	An oscillating algorithm for variable ordering in binary decision diagram. ICECS Mohamed Taher, Ashraf Salem, Hani Mahdi, A. Wahdan
2000	C	`conf`	M-CHECK: a multiple engine combinational equivalence checker. ISCAS Sherief Reda, Ayman Wahba, Ashraf Salem