Travelled to:2 × Germany
2 × USA
Collaborated with:S.Ramesh A.Yeolekar P.Peranandam S.Raviram M.Satpathy J.Suresh S.Mohalik K.C.Shashidhar
Talks about:model (3) generat (2) test (2) automotgen (1) stateflow (1) synthesi (1) simulink (1) softwar (1) monitor (1) coverag (1)
Person: Ambar A. Gadkari
DBLP: Gadkari:Ambar_A=
Contributed to:
2012
2011
20082005Wrote 4 papers:
- DATE-2012-PeranandamRSYGR #generative #modelling #testing
- An integrated test generation tool for enhanced coverage of Simulink/Stateflow models (PP, SR, MS, AY, AAG, SR), pp. 308–311.
- DAC-2011-RameshG #design #modelling #verification
- Rigorous model-based design & verification flow for in-vehicle software (SR, AAG), pp. 13–16.
- CAV-2008-GadkariYSRMS #automation #embedded #generative #named
- AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems (AAG, AY, JS, SR, SM, KCS), pp. 204–208.
- DATE-2005-GadkariR #automation #monitoring #specification #synthesis #using #visual notation
- Automated Synthesis of Assertion Monitors using Visual Specifications (AAG, SR), pp. 390–395.