Ambar A. Gadkari

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

Collaborative distances:

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

2014

Automatic test case generation from Simulink/Stateflow models using model checking.

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

Softw. Test. Verification Reliab., 2014

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

Scenario-Based Specification of Automotive Requirements With Quantitative Constraints and Synthesis of SL/SF Monitors.

Silky Arora, Ambar A. Gadkari, S. Ramesh

IEEE Embed. Syst. Lett., 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