Ram Prasad Venkatesan

According to our database, Ram Prasad Venkatesan authored at least 3 papers between 2003 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

A Generic Software Safety Document Generator.

Ewen Denney, Ram Prasad Venkatesan

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

Rule-Based Analysis of Dimensional Safety.

Feng Chen, Grigore Rosu, Ram Prasad Venkatesan

Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

Certifying Optimality of State Estimation Programs.

Grigore Rosu, Ram Prasad Venkatesan, Jon Whittle, Laurentiu Leustean

Proceedings of the Computer Aided Verification, 15th International Conference, 2003