Functional test generation for hard to detect stuck-at faults using RTL model checking. - Mahesh Prabhu; Jacob A. Abraham (ETS, 2012)

Application of under-approximation techniques to functional test generation targeting hard to detect stuck-at faults. - Mahesh Prabhu; Jacob A. Abraham (ITC, 2013)

Automated virtual camera during mobile video playback. - Guntur Ravindra; Mahesh Prabhu; Nilesh Thakkar (ICME, 2014)