| |
| 2008 | ||
|---|---|---|
| 4 | EE | Ambar A. Gadkari, Anand Yeolekar, J. Suresh, S. Ramesh, Swarup Mohalik, K. C. Shashidhar: AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems. CAV 2008: 204-208 |
| 2007 | ||
| 3 | EE | Ambar A. Gadkari, S. Ramesh: Automated Synthesis of Assertion Monitors using Visual Specifications CoRR abs/0710.4698: (2007) |
| 2005 | ||
| 2 | EE | Ambar A. Gadkari, S. Ramesh: Automated Synthesis of Assertion Monitors using Visual Specifications. DATE 2005: 390-395 |
| 2004 | ||
| 1 | EE | Ambar A. Gadkari, S. Ramesh, Rubin A. Parekhji: CESC: a visual formalism for specification and verification of SoCs. ACM Great Lakes Symposium on VLSI 2004: 354-357 |
| 1 | Swarup Mohalik | [4] |
| 2 | Rubin A. Parekhji | [1] |
| 3 | S. Ramesh (Sethu Ramesh) | [1] [2] [3] [4] |
| 4 | K. C. Shashidhar | [4] |
| 5 | J. Suresh | [4] |
| 6 | Anand Yeolekar | [4] |