An oscillating algorithm for variable ordering in binary decision diagram. - Mohamed Taher; Ashraf Salem; Hani Mahdi 001; A. Wahdan (ICECS, 2000)

M-CHECK: a multiple engine combinational equivalence checker. - Sherief Reda; Ayman Wahba; Ashraf Salem (ISCAS, 2000)

UML-L: An UML Based Design Description Language. - Hazem Hamed; Ashraf Salem (AICCSA, 2001)

Combinational equivalence checking using Boolean satisfiability and binary decision diagrams. - Sherief Reda; Ashraf Salem (DATE, 2001)

On the use of don't cares during symbolic reachability analysis. - Sherief Reda; Ayman Wahba; Ashraf Salem; Dominique Borrione; M. Ghonaimy (ISCAS (5), 2001)

Semi-formal verification of VHDL-AMS descriptions. - Ashraf Salem (ISCAS (5), 2002)

Formal Semantics of Synchronous SystemC. - Ashraf Salem (DATE, 2003)

Towards Automating Hardware/Software Co-Design. - M. Watheq El-Kharashi; M. H. El-Malaki; Sherif Hammad; Ashraf Salem; Abdel-Moniem Wahdan (IWSOC, 2004)

Formal Verification of Digital Circuits. - Ashraf Salem (IWSOC, 2004)

FPGA Based Accelerator for 3-SAT Conflict Analysis in SAT Solvers. - Mona Safar; M. Watheq El-Kharashi; Ashraf Salem (CHARME, 2005)

An FPGA Based Accelerator for SAT Based Combinational Equivalence Checking. - Mona Safar; M. Watheq El-Kharashi; Ashraf Salem (IWSOC, 2005)

FPGA-Based SAT Solver. - Mona Safar; M. Watheq El-Kharashi; Ashraf Salem (CCECE, 2006)

Interactive presentation: A shift register based clause evaluator for reconfigurable SAT solver. - Mona Safar; Mohamed Shalan; M. Watheq El-Kharashi; Ashraf Salem (DATE, 2007)

A Platform Approach for Hardware/Software Co-Design with Support for RTOS-Based Systems. - M. H. El-Malaki; M. Watheq El-Kharashi; Sherif Hammad; Ashraf Salem; Abdel-Moniem Wahdan (J. Circuits Syst. Comput., 2007)

Hardware based algorithm for conflict diagnosis in SAT solver. - Mona Safar; Mohamed Shalan; M. Watheq El-Kharashi; Ashraf Salem (AICCSA, 2008)

TLM-Based Verification of a Combined Switching Networks-on-Chip Router. - Mohamed M. Sabry; M. Watheq El-Kharashi; Hassan Shehata Bedor; Ashraf Salem (FDL, 2008)

A Reconfigurable Five-Stage Pipelined SAT Solver. - Mona Safar; M. Watheq El-Kharashi; Mohamed Shalan; Ashraf Salem (MTV, 2009)

Optimal Scheme for Search State Space and Scheduling on Multiprocessor Systems. - Hassan A. Youness; Keishi Sakanushi; Yoshinori Takeuchi; Ashraf Salem; Abdel-Moniem Wahdan; Masaharu Imai (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009)

A novel conflict directed jumping algorithm for hardware-based SAT solvers. - Mona Safar; Mohamed Shalan; M. Watheq El-Kharashi; Ashraf Salem (IDT, 2010)

Efficient partitioning technique on multiple cores based on optimal scheduling and mapping algorithm. - Hassan A. Youness; Abdel-Moniem Wahdan; Mohammed Hassan; Ashraf Salem; Mohammed Moness; Keishi Sakanushi; Yoshinori Takeuchi; Masaharu Imai (ISCAS, 2010)

A novel approach for system level synthesis of multi-core system architectures from TPG models. - Karim Yehia; Mona Safar; Hassan A. Youness; Mohamed Abdelsalam; Ashraf Salem (AICCSA, 2011)

A reconfigurable, pipelined, conflict directed jumping search SAT solver. - Mona Safar; M. Watheq El-Kharashi; Mohamed Shalan; Ashraf Salem (DATE, 2011)

TLM Based Approach for Architecture Exploration of Multicore Systems-on-Chip. - Mona Safar; Magdy A. El-Moursy; Ashraf Salem; Mohamed Abdelsalam (MTV, 2011)

A novel approach for assertion based verification of DDR memory protocols. - Moustafa Kassem; Marianne Michel; Mohamed Abdelsalam; Ashraf Salem (FDL, 2013)

Tutorial 1: Foundations and Practical Design of CMOS Image Sensors. - Á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 002 (ICECS, 2013)

A novel approach for functional verification of memory protocol standard. - Omar Samir; Moustafa Kassem; Mohammed Sameh; Sarah Aly; Mohamed R. M. Rizk; Mohamed Abdelsalam; Ashraf Salem (IDT, 2013)

Ultra-Fast DMAC TLM Model for High Speed Virtual Platform Simulation. - Mona Safar; Magdy A. El-Moursy; Ashraf Salem (MTV, 2013)

Formal verification of AUTOSAR FlexRay state manager. - Ghada Moussa Bahig; Amr El-Kadi; Ashraf Salem (IDT, 2014)

Efficient embedded SoC hardware/software codesign using virtual platform. - Magdy A. El-Moursy; Ayman Sheirah; Mona Safar; Ashraf Salem (IDT, 2014)

Don't cares based dynamic test vector compaction in SAT-ATPG. - Kareem Habib; Mona Safar; Mohamed Dessouky; Ashraf Salem (MWSCAS, 2014)

Solving constraints in FPGA detailed routing using SMT. - Mona Safar; Ashraf Salem (ICECS, 2015)

SoC verification platforms using HW emulation and co-modeling Testbench technologies. - Mohamed Abdelsalam; Ashraf Salem (IDT, 2015)

Automatic test pattern generation for virtual hardware model using constrained symbolic execution. - Nahla Mohamed; Mona Safar; Ayman M. Wahba; Ashraf Salem (IDT, 2015)

Toward the interfacing of systemC-AMS models with hardware-emulated platforms. - Hanan Tawfik; Mona Safar; Mohamed Abdel Salam; M. Watheq El-Kharashi; Ashraf Salem (IDT, 2015)

AUTOSAR-based communication coprocessor for automotive ECUs. - Ahmed M. Hamed; Mona Safar; M. Watheq El-Kharashi; Ashraf Salem (DATE, 2016)

SoC connectivity specification extraction using incomplete RTL design: An approach for Formal connectivity Verification. - Haytham Saafan; M. Watheq El-Kharashi; Ashraf Salem (IDT, 2016)

Formal Based Methodology for Inferring Memory Mapped Registers. - Haytham Saafan; M. Watheq El-Kharashi; Ashraf Salem (MTV, 2016)

Cross-product functional coverage analysis using machine learning clustering techniques. - Eman El Mandouh; Ashraf Salem; Mennatallah Amer; Amr G. Wassal (DTIS, 2018)

Fuzzy-based configuration of automated data acquisition systems for earthmoving operations. - Ashraf Salem; Ahmad Salah; Osama Moselhi (J. Inf. Technol. Constr., 2018)

PLL Real Number Modeling in SystemVerilog. - Mina Louis; Mohamed Dessouky; Ashraf Salem (SMACD, 2019)

Virtual Verification and Validation of Automotive System. - Mona Safar; Magdy A. El-Moursy; Mohamed Abdelsalam; Ayman Bakr; Keroles K. Khalil; Ashraf Salem (J. Circuits Syst. Comput., 2019)

Fast Transaction-Level Model for Direct Memory Access Controller. - Mona Safar; Magdy A. El-Moursy; Ahmed Tarek; Ahmed Emad; Ahmed Hesham; Ashraf Salem; Mohsen Mahroos (J. Circuits Syst. Comput., 2019)

Anomaly Detection System for Altered Signal Values within the Intra-Vehicle Network. - Mohamed Abbas; Mona Safar; Ashraf Salem (DTIS, 2020)

Using Path Planning Algorithms and Digital Twin Simulators to Collect Synthetic Training Dataset for Drone Autonomous Navigation. - Ismail Ryad; Marwan Zidan; Nadien Rashad; Dina Bakr; Nadeen Bakr; Nada Yehia; Yara Ismail; Mohamed Abdelsalam; Ashraf Salem (ICECS, 2021)

Multimodal Video Sentiment Analysis Using Deep Learning Approaches, a Survey. - Sarah A. Abdu; Ahmed H. Yousef; Ashraf Salem (Inf. Fusion, 2021)

Towards a Digital Twin Architecture with Formal Analysis Capabilities for Learning-Enabled Autonomous Systems. - Anastasios Temperekidis; Nikolaos Kekatos; Panagiotis Katsaros; Weicheng He; Saddek Bensalem; Hisham AbdElSabour; Mohamed Abdelsalam; Ashraf Salem (MESAS, 2022)

A Multicycle Pipelined GCM-Based AUTOSAR Communication ASIP. - Ahmed M. Hamed; M. Watheq El-Kharashi; Ashraf Salem; Mona Safar (IEEE Access, 2022)

Increasing the Modeling Accuracy of an Analog PLL Device Executed With an Event-Driven Simulator. - Mariam Maurice; Mohamed Dessouky; Ashraf Salem (IEEE Access, 2023)

Improved Cross-Platform Mobile Applications to Native Applications Converters. - Mostafa M. Abdallah; Ashraf Salem; Ahmed H. Yousef (AISI (2), 2024)