Ram Prasad Venkatesan

Publication Activity (10 Years)

Years Active: 2003-2004
Publications (10 Years): 0

Publications

Ewen Denney, Ram Prasad Venkatesan
A Generic Software Safety Document Generator. AMAST (2004)
Grigore Rosu, Ram Prasad Venkatesan, Jon Whittle, Laurentiu Leustean
Certifying Optimality of State Estimation Programs. CAV (2003)
Feng Chen, Grigore Rosu, Ram Prasad Venkatesan
Rule-Based Analysis of Dimensional Safety. RTA (2003)