default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAshraf Salem
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j8]Mariam Maurice
, Mohamed Dessouky, Ashraf Salem:
Increasing the Modeling Accuracy of an Analog PLL Device Executed With an Event-Driven Simulator. IEEE Access 11: 79721-79738 (2023)- 2022
- [j7]Ahmed M. Hamed, M. Watheq El-Kharashi, Ashraf Salem, Mona Safar:
A Multicycle Pipelined GCM-Based AUTOSAR Communication ASIP. IEEE Access 10: 46312-46329 (2022) - [c40]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: 163-181 - 2021
- [j6]Sarah A. Abdu, Ahmed H. Yousef, Ashraf Salem:
Multimodal Video Sentiment Analysis Using Deep Learning Approaches, a Survey. Inf. Fusion 76: 204-226 (2021) - [c39]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: 1-6 - 2020
- [c38]Mohamed Abbas, Mona Safar, Ashraf Salem:
Anomaly Detection System for Altered Signal Values within the Intra-Vehicle Network. DTIS 2020: 1-6
2010 – 2019
- 2019
- [j5]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): 1950059:1-1950059:14 (2019) - [j4]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): 1950071:1-1950071:25 (2019) - [c37]Mina Louis, Mohamed Dessouky, Ashraf Salem:
PLL Real Number Modeling in SystemVerilog. SMACD 2019: 257-260 - 2018
- [j3]Ashraf Salem, Ahmad Salah, Osama Moselhi:
Fuzzy-based configuration of automated data acquisition systems for earthmoving operations. J. Inf. Technol. Constr. 23: 122-137 (2018) - [c36]Eman El Mandouh, Ashraf Salem, Mennatallah Amer, Amr G. Wassal:
Cross-product functional coverage analysis using machine learning clustering techniques. DTIS 2018: 1-2 - 2016
- [c35]Ahmed M. Hamed, Mona Safar, M. Watheq El-Kharashi, Ashraf Salem:
AUTOSAR-based communication coprocessor for automotive ECUs. DATE 2016: 1026-1027 - [c34]Haytham Saafan, M. Watheq El-Kharashi, Ashraf Salem:
SoC connectivity specification extraction using incomplete RTL design: An approach for Formal connectivity Verification. IDT 2016: 110-114 - [c33]Haytham Saafan, M. Watheq El-Kharashi, Ashraf Salem:
Formal Based Methodology for Inferring Memory Mapped Registers. MTV 2016: 15-18 - 2015
- [c32]Mona Safar, Ashraf Salem:
Solving constraints in FPGA detailed routing using SMT. ICECS 2015: 613-616 - [c31]Mohamed Abdelsalam, Ashraf Salem:
SoC verification platforms using HW emulation and co-modeling Testbench technologies. IDT 2015: 14-19 - [c30]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 - [c29]Nahla Mohamed, Mona Safar, Ayman M. Wahba, Ashraf Salem:
Automatic test pattern generation for virtual hardware model using constrained symbolic execution. IDT 2015: 149-150 - 2014
- [c28]Magdy A. El-Moursy, Ayman Sheirah, Mona Safar, Ashraf Salem:
Efficient embedded SoC hardware/software codesign using virtual platform. IDT 2014: 36-38 - [c27]Ghada Moussa Bahig, Amr El-Kadi, Ashraf Salem:
Formal verification of AUTOSAR FlexRay state manager. IDT 2014: 193-198 - [c26]Kareem Habib, Mona Safar, Mohamed Dessouky, Ashraf Salem:
Don't cares based dynamic test vector compaction in SAT-ATPG. MWSCAS 2014: 213-217 - 2013
- [c25]Moustafa Kassem, Marianne Michel, Mohamed Abdelsalam, Ashraf Salem:
A novel approach for assertion based verification of DDR memory protocols. FDL 2013: 1-4 - [c24]Á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 - [c23]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: 1-3 - [c22]Mona Safar, Magdy A. El-Moursy, Ashraf Salem:
Ultra-Fast DMAC TLM Model for High Speed Virtual Platform Simulation. MTV 2013: 39-44 - 2011
- [c21]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: 268-275 - [c20]Mona Safar, M. Watheq El-Kharashi, Mohamed Shalan, Ashraf Salem:
A reconfigurable, pipelined, conflict directed jumping search SAT solver. DATE 2011: 1243-1248 - [c19]Mona Safar, Magdy A. El-Moursy, Ashraf Salem, Mohamed Abdelsalam:
TLM Based Approach for Architecture Exploration of Multicore Systems-on-Chip. MTV 2011: 1-4 - 2010
- [c18]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 - [c17]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: 3729-3732 - [e1]Yervant Zorian, Imtinan Elahi, André Ivanov, Ashraf Salem:
5th International Design and Test Workshop, IDT 2010, Abu Dhabi, UAE, 14-15 December 2010. IEEE 2010, ISBN 978-1-61284-291-2 [contents]
2000 – 2009
- 2009
- [j2]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. 92-A(4): 1088-1095 (2009) - [c16]Mona Safar, M. Watheq El-Kharashi, Mohamed Shalan, Ashraf Salem:
A Reconfigurable Five-Stage Pipelined SAT Solver. MTV 2009: 95-100 - 2008
- [c15]Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem:
Hardware based algorithm for conflict diagnosis in SAT solver. AICCSA 2008: 89-93 - [c14]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: 255-256 - 2007
- [j1]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): 961-979 (2007) - [c13]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
- [c12]Mona Safar, M. Watheq El-Kharashi, Ashraf Salem:
FPGA-Based SAT Solver. CCECE 2006: 1901-1904 - 2005
- [c11]Mona Safar, M. Watheq El-Kharashi, Ashraf Salem:
FPGA Based Accelerator for 3-SAT Conflict Analysis in SAT Solvers. CHARME 2005: 384-387 - [c10]Mona Safar, M. Watheq El-Kharashi, Ashraf Salem:
An FPGA Based Accelerator for SAT Based Combinational Equivalence Checking. IWSOC 2005: 419-424 - 2004
- [c9]Ashraf Salem:
Formal Verification of Digital Circuits. IWSOC 2004: 15 - [c8]M. Watheq El-Kharashi, M. H. El-Malaki, Sherif Hammad, Ashraf Salem, Abdel-Moniem Wahdan:
Towards Automating Hardware/Software Co-Design. IWSOC 2004: 189-192 - 2003
- [c7]Ashraf Salem:
Formal Semantics of Synchronous SystemC. DATE 2003: 10376-10381 - 2002
- [c6]Ashraf Salem:
Semi-formal verification of VHDL-AMS descriptions. ISCAS (5) 2002: 333-336 - 2001
- [c5]Hazem Hamed, Ashraf Salem:
UML-L: An UML Based Design Description Language. AICCSA 2001: 438- - [c4]Sherief Reda, Ashraf Salem:
Combinational equivalence checking using Boolean satisfiability and binary decision diagrams. DATE 2001: 122-126 - [c3]Sherief Reda, Ayman Wahba, Ashraf Salem, Dominique Borrione, M. Ghonaimy:
On the use of don't cares during symbolic reachability analysis. ISCAS (5) 2001: 121-124 - 2000
- [c2]Mohamed Taher, Ashraf Salem, Hani Mahdi, A. Wahdan:
An oscillating algorithm for variable ordering in binary decision diagram. ICECS 2000: 1008-1011 - [c1]Sherief Reda, Ayman Wahba, Ashraf Salem:
M-CHECK: a multiple engine combinational equivalence checker. ISCAS 2000: 613-616
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-07-09 21:11 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:
