| 2025 | VTC | Leveraging Contractive Autoencoders for Time-Efficient Rare Cyberattack Detection. | Abubakar Danasabe, Zeeshan Kaleem, Muhammad Afaq, Aiman El-Maleh, Chau Yuen, Abbas Jamalipour |
| 2009 | CSCWD | A new collaborative scheme of test vector compression based on equal-run-length coding (ERLC). | Wenfa Zhan, Aiman El-Maleh |
| 2008 | AICCSA | Using input/output queues to increase LDPC decoder performance. | Esa Alghonaim, Aiman El-Maleh, Mohamed Adnan Landolsi |
| 2006 | ISCAS | An efficient test vector compression technique based on block merging. | Aiman El-Maleh |
| 2002 | VTS | An Efficient Test Relaxation Technique for Combinational & Full-Scan Sequential Circuits. | Aiman El-Maleh, Ali Al-Suwaiyan |
| 2001 | VTS | A Geometric-Primitives-Based Compression Scheme for Testing Systems-on-a-Chip. | Aiman El-Maleh, Esam Khan, Saif al Zahir |
| 1995 | DATE | Complexity of sequential ATPG. | Thomas E. Marchok, Aiman El-Maleh, Wojciech Maly, Janusz Rajski |
| 1994 | VTS | Delay-fault testability preservation of the concurrent decomposition and factorization transformations. | Aiman El-Maleh, Janusz Rajski |
| 1992 | VTS | Recent advances in logic synthesis with testability. | Janusz Rajski, Jagadeesh Vasudevamurthy, Aiman El-Maleh |