AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems. - Ambar A. Gadkari; Anand Yeolekar; J. Suresh; S. Ramesh 002; Swarup Mohalik; K. C. Shashidhar (CAV, 2008)

Randomized directed testing (REDIRECT) for Simulink/Stateflow models. - Manoranjan Satpathy; Anand Yeolekar; S. Ramesh 002 (EMSOFT, 2008)

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 002 (DATE, 2012)

Efficient coverage of parallel and hierarchical stateflow models for test case generation. - Manoranjan Satpathy; Anand Yeolekar; Prakash Mohan Peranandam; S. Ramesh 002 (Softw. Test. Verification Reliab., 2012)

Assertion Checking Using Dynamic Inference. - Anand Yeolekar; Divyesh Unadkat (Haifa Verification Conference, 2013)

Scaling Model Checking for Test Generation Using Dynamic Inference. - Anand Yeolekar; Divyesh Unadkat; Vivek Agarwal; Shrawan Kumar 001; R. Venkatesh 001 (ICST, 2013)

Improving Dynamic Inference with Variable Dependence Graph. - Anand Yeolekar (RV, 2014)

Automatic test case generation from Simulink/Stateflow models using model checking. - Swarup Mohalik; Ambar A. Gadkari; Anand Yeolekar; K. C. Shashidhar; S. Ramesh 002 (Softw. Test. Verification Reliab., 2014)

Concurrent Program Verification with Invariant-Guided Underapproximation. - Sumanth Prabhu 001; Peter Schrammel; Mandayam K. Srivas; Michael Tautschnig; Anand Yeolekar (ATVA, 2017)

Sequentialization Using Timestamps. - Anand Yeolekar; Kumar Madhukar; Dipali Bhutada; R. Venkatesh 001 (TAMC, 2017)

Refining Task Specifications using Model Checking. - Anand Yeolekar; Ravindra Metta; R. Venkatesh 001; Samarjit Chakraborty (RTCSA, 2018)

Cross-Layer Interactions in CPS for Performance and Certification. - Samarjit Chakraborty; James H. Anderson; Martin Becker 001; Helmut Graeb; Samiran Halder; Ravindra Metta; Lothar Thiele; Stavros Tripakis; Anand Yeolekar (DATE, 2019)

Checking Scheduling-Induced Violations of Control Safety Properties. - Anand Yeolekar; Ravindra Metta; Clara Hobbs; Samarjit Chakraborty (ATVA, 2022)

SMT-based Control Safety Property Checking in Cyber-Physical Systems under Timing Uncertainties. - Anand Yeolekar; Ravindra Metta; Samarjit Chakraborty (VLSID, 2024)

SMT-Based Repairing Real-Time Task Specifications. - Anand Yeolekar; Ravindra Metta; Samarjit Chakraborty (DATE, 2025)

Repairing Control Safety Violations via Scheduler Patch Synthesis. - Anand Yeolekar; Supratik Chakraborty; R. Venkatesh 001; Samarjit Chakraborty (ICCPS, 2025)