Certifying Optimality of State Estimation Programs. - Grigore Rosu; Ram Prasad Venkatesan; Jon Whittle 001; Laurentiu Leustean (CAV, 2003)

Rule-Based Analysis of Dimensional Safety. - Feng Chen 006; Grigore Rosu; Ram Prasad Venkatesan (RTA, 2003)

A Generic Software Safety Document Generator. - Ewen Denney; Ram Prasad Venkatesan (AMAST, 2004)