| 2016 | DATE | AUTOSAR-based communication coprocessor for automotive ECUs. | Ahmed M. Hamed, Mona Safar, M. Watheq El-Kharashi, Ashraf Salem |
| 2013 | FDL | A novel approach for assertion based verification of DDR memory protocols. | Moustafa Kassem, Marianne Michel, Mohamed Abdelsalam, Ashraf Salem |
| 2011 | AICCSA | 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 |
| 2011 | DATE | A reconfigurable, pipelined, conflict directed jumping search SAT solver. | Mona Safar, M. Watheq El-Kharashi, Mohamed Shalan, Ashraf Salem |
| 2010 | ISCAS | 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 |
| 2008 | AICCSA | Hardware based algorithm for conflict diagnosis in SAT solver. | Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem |
| 2008 | FDL | TLM-Based Verification of a Combined Switching Networks-on-Chip Router. | Mohamed M. Sabry, M. Watheq El-Kharashi, Hassan Shehata Bedor, Ashraf Salem |
| 2007 | DATE | Interactive presentation: A shift register based clause evaluator for reconfigurable SAT solver. | Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem |
| 2003 | DATE | Formal Semantics of Synchronous SystemC. | Ashraf Salem |
| 2002 | ISCAS | Semi-formal verification of VHDL-AMS descriptions. | Ashraf Salem |
| 2001 | AICCSA | UML-L: An UML Based Design Description Language. | Hazem Hamed, Ashraf Salem |
| 2001 | DATE | Combinational equivalence checking using Boolean satisfiability and binary decision diagrams. | Sherief Reda, Ashraf Salem |
| 2001 | ISCAS | On the use of don't cares during symbolic reachability analysis. | Sherief Reda, Ayman Wahba, Ashraf Salem, Dominique Borrione, M. Ghonaimy |
| 2000 | ISCAS | M-CHECK: a multiple engine combinational equivalence checker. | Sherief Reda, Ayman Wahba, Ashraf Salem |