Ambar A. Gadkari
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2005–2012
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | DATE | An integrated test generation tool for enhanced coverage of Simulink/Stateflow models. | Prakash Mohan Peranandam, Sachin Raviram, Manoranjan Satpathy, Anand Yeolekar, Ambar A. Gadkari, S. Ramesh |
| 2011 | DAC | Rigorous model-based design & verification flow for in-vehicle software. | S. Ramesh, Ambar A. Gadkari |
| 2008 | CAV | AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems. | Ambar A. Gadkari, Anand Yeolekar, J. Suresh, S. Ramesh, Swarup Mohalik, K. C. Shashidhar |
| 2005 | DATE | Automated Synthesis of Assertion Monitors using Visual Specifications. | Ambar A. Gadkari, S. Ramesh |