| |
| 2005 | ||
|---|---|---|
| 2 | EE | Sudheendra Hangal, Naveen Chandra, Sridhar Narayanan, Sandeep Chakravorty: IODINE: a tool to automatically infer dynamic invariants for hardware designs. DAC 2005: 775-778 |
| 2004 | ||
| 1 | EE | S. Ramesh, Sampada Sonalkar, Vijay D'Silva, Naveen Chandra, B. Vijayalakshmi: A Toolset for Modelling and Verification of GALS Systems. CAV 2004: 506-509 |
| 1 | Sandeep Chakravorty | [2] |
| 2 | Vijay D'Silva | [1] |
| 3 | Sudheendra Hangal | [2] |
| 4 | Sridhar Narayanan | [2] |
| 5 | S. Ramesh (Sethu Ramesh) | [1] |
| 6 | Sampada Sonalkar | [1] |
| 7 | B. Vijayalakshmi | [1] |