Ambar A. Gadkari

According to our database, Ambar A. Gadkari authored at least 5 papers between 2004 and 2012.

Collaborative distances:

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

2012

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

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011

Rigorous model-based design & verification flow for in-vehicle software.

S. Ramesh, Ambar A. Gadkari

Proceedings of the 48th Design Automation Conference, 2011

2008

AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems.

Ambar A. Gadkari, Anand Yeolekar, J. Suresh, S. Ramesh, Swarup Mohalik, K. C. Shashidhar

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2005

Automated Synthesis of Assertion Monitors using Visual Specifications.

Ambar A. Gadkari, S. Ramesh

Proceedings of the 2005 Design, 2005

2004

CESC: a visual formalism for specification and verification of SoCs.

Ambar A. Gadkari, S. Ramesh, Rubin A. Parekhji

Proceedings of the 14th ACM Great Lakes Symposium on VLSI 2004, 2004