Ambar A. Gadkari

Publication Activity (10 Years)

Years Active: 2004-2014
Publications (10 Years): 0

Top Topics

Automated Verification

Linear Temporal Logic

Reactive Systems

Top Venues

Softw. Test. Verification Reliab.

Publications

Swarup Mohalik, Ambar A. Gadkari, Anand Yeolekar, K. C. Shashidhar, S. Ramesh
Automatic test case generation from Simulink/Stateflow models using model checking. Softw. Test. Verification Reliab. 24 (2) (2014)
Prakash Peranandam, Sachin Raviram, Manoranjan Satpathy, Anand Yeolekar, Ambar A. Gadkari, S. Ramesh
An integrated test generation tool for enhanced coverage of Simulink/Stateflow models. DATE (2012)
Silky Arora, Ambar A. Gadkari, S. Ramesh
Scenario-Based Specification of Automotive Requirements With Quantitative Constraints and Synthesis of SL/SF Monitors. IEEE Embed. Syst. Lett. 3 (2) (2011)
S. Ramesh, Ambar A. Gadkari
Rigorous model-based design & verification flow for in-vehicle software. DAC (2011)
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)
Ambar A. Gadkari, S. Ramesh
Automated Synthesis of Assertion Monitors using Visual Specifications CoRR (2007)
Ambar A. Gadkari, S. Ramesh
Automated Synthesis of Assertion Monitors using Visual Specifications. DATE (2005)
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)