Verification and validation of high integrity software generated by automatic code generators. - V. N. Malepati; H. Li; Krishna R. Pattipati; Somnath Deb; Ann Patterson-Hine (SMC, 1998)

Computationally efficient algorithms for multiple fault diagnosis in large graph-based systems. - Fang Tu; Krishna R. Pattipati; Somnath Deb; V. N. Malepati (IEEE Trans. Syst. Man Cybern. Part A, 2003)