Towards an automatic diagnosis for high-level design validation. - Maisaa Khalil; Yves Le Traon; Chantal Robach (ITC, 1998)

An Experimental Comparison of Software Diagnosis Methods. - Maisaa Khalil; Oum-El-Kheir Benkahla; Chantal Robach (EUROMICRO, 1999)

System level diagnosis - a comparison of two alternative approaches. - Maisaa Khalil; Chantal Robach (ETW, 2001)

Diagnosis Strategies for Hardware or Software Systems. - Maisaa Khalil; Chantal Robach; Franc Novak (J. Electron. Test., 2002)