Anand Yeolekar

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 6

Top Topics

Linear Temporal Logic

Transition Systems

Top Venues

Softw. Test. Verification Reliab.

Publications

Anand Yeolekar, Ravindra Metta, Samarjit Chakraborty
SMT-based Control Safety Property Checking in Cyber-Physical Systems under Timing Uncertainties. VLSID (2024)
Anand Yeolekar, Ravindra Metta, Clara Hobbs, Samarjit Chakraborty
Checking Scheduling-Induced Violations of Control Safety Properties. ATVA (2022)
Samarjit Chakraborty, James H. Anderson, Martin Becker, Helmut Graeb, Samiran Halder, Ravindra Metta, Lothar Thiele, Stavros Tripakis, Anand Yeolekar
Cross-Layer Interactions in CPS for Performance and Certification. DATE (2019)
Anand Yeolekar, Ravindra Metta, R. Venkatesh, Samarjit Chakraborty
Refining Task Specifications using Model Checking. RTCSA (2018)
Anand Yeolekar, Kumar Madhukar, Dipali Bhutada, R. Venkatesh
Sequentialization Using Timestamps. TAMC (2017)
Sumanth Prabhu, Peter Schrammel, Mandayam K. Srivas, Michael Tautschnig, Anand Yeolekar
Concurrent Program Verification with Invariant-Guided Underapproximation. ATVA (2017)
Anand Yeolekar
Improving Dynamic Inference with Variable Dependence Graph. RV (2014)
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)
Anand Yeolekar, Divyesh Unadkat
Assertion Checking Using Dynamic Inference. Haifa Verification Conference (2013)
Anand Yeolekar, Divyesh Unadkat, Vivek Agarwal, Shrawan Kumar, R. Venkatesh
Scaling Model Checking for Test Generation Using Dynamic Inference. ICST (2013)
Manoranjan Satpathy, Anand Yeolekar, Prakash Peranandam, S. Ramesh
Efficient coverage of parallel and hierarchical stateflow models for test case generation. Softw. Test. Verification Reliab. 22 (7) (2012)
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)
Manoranjan Satpathy, Anand Yeolekar, S. Ramesh
Randomized directed testing (REDIRECT) for Simulink/Stateflow models. EMSOFT (2008)
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)