Generating finite state machines from SystemC. - Ali Habibi; Haja Moinudeen; Sofiène Tahar (DATE Designers' Forum, 2006)

Design for Verification of the PCI-X Bus. - Haja Moinudeen; Ali Habibi; Sofiène Tahar (FMCAD, 2006)

Towards a Faster Simulation of SystemC Designs. - Ali Habibi; Haja Moinudeen; Amer Samarah; Sofiène Tahar (ISVLSI, 2006)

A Design for Verification Approach Using an Embedding of PSL in aSML. - Amjad Gawanmeh; Sofiène Tahar; Haja Moinudeen; Ali Habibi (J. Circuits Syst. Comput., 2007)