| |
| 2004 | ||
|---|---|---|
| 3 | EE | Ewen Denney, Ram Prasad Venkatesan: A Generic Software Safety Document Generator. AMAST 2004: 102-116 |
| 2003 | ||
| 2 | EE | Grigore Rosu, Ram Prasad Venkatesan, Jon Whittle, Laurentiu Leustean: Certifying Optimality of State Estimation Programs. CAV 2003: 301-314 |
| 1 | EE | Feng Chen, Grigore Rosu, Ram Prasad Venkatesan: Rule-Based Analysis of Dimensional Safety. RTA 2003: 197-207 |
| 1 | Feng Chen | [1] |
| 2 | Ewen Denney | [3] |
| 3 | Laurentiu Leustean | [2] |
| 4 | Grigore Rosu | [1] [2] |
| 5 | Jon Whittle (Jonathan Whittle) | [2] |