Code Generation and Analysis for the Functional Verification of Microprocessors. - Anoosh Hosseini; Dimitrios Mavroidis; Pavlos Konas (DAC, 1996)

Simulation Based System Level Fault Insertion Using Co-verification Tools. - Bill Eklow; Anoosh Hosseini; Chi Khuong; Shyam Pullela; Toai Vo; Hien Chau (ITC, 2004)

Building a standard ESL design and verification methodology: is it just a dream? - Anoosh Hosseini; Ashish Parikh; H. T. Chin; Pascal Urard; Emil F. Girczyc; S. Bloch (DAC, 2006)