| 2019 | VTS | Efficient Structured Scan Patterns Retargeting for Hierarchical IEEE 1687 Networks. | Ahmed M. Y. Ibrahim, Hans G. Kerkhoff, Abrar Ibrahim, Mona Safar, M. Watheq El-Kharashi |
| 2018 | ISCAS | Virtual Electronic Control Unit as a Functional Mockup Unit for Heterogeneous Systems. | Mona Safar, Keroles K. Khalil, Magdy A. El-Moursy, Mohamed Abdelsalam |
| 2017 | FDL | Asil decomposition using SMT. | Mona Safar |
| 2016 | DATE | AUTOSAR-based communication coprocessor for automotive ECUs. | Ahmed M. Hamed, Mona Safar, M. Watheq El-Kharashi, 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 |
| 2008 | AICCSA | Hardware based algorithm for conflict diagnosis in SAT solver. | Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, 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 |