| 2007 | FDL | Autometic Generation of SystemC Transactors from AsmL Specification. | Tareq Hasan Khan, Ali Habibi, Sofine Tahar, Otmane At Mohamed |
| 2006 | DATE | Generating finite state machines from SystemC. | Ali Habibi, Haja Moinudeen, Sofine Tahar |
| 2006 | DATE | Efficient assertion based verification using TLM. | Ali Habibi, Sofine Tahar, Amer Samarah, Donglin Li, Otmane At Mohamed |
| 2006 | FMCAD | Design for Verification of the PCI-X Bus. | Haja Moinudeen, Ali Habibi, Sofine Tahar |
| 2005 | ATVA | An Approach for the Verification of SystemC Designs Using AsmL. | Ali Habibi, Sofine Tahar |
| 2005 | DATE | Design for Verification of SystemC Transaction Level Models. | Ali Habibi, Sofine Tahar |
| 2004 | DATE | On the Design and Verification Methodology of the Look-Aside Interface. | Ali Habibi, Asif Iqbal Ahmed, Otmane At Mohamed, Sofine Tahar |
| 2004 | FDL | Enabling SystemC Verification using Abstract State Machines. | Amjad Gawanmeh, Ali Habibi, Sofine Tahar |
| 2002 | DSD | Formal Verification of a DSP Chip Using an Iterative Approach. | Ali Habibi, Sofine Tahar, Adel Ghazel |