Anand Yeolekar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
9
Active years
2008–2025
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | DATE | SMT-Based Repairing Real-Time Task Specifications. | Anand Yeolekar, Ravindra Metta, Samarjit Chakraborty |
| 2024 | VLSID | SMT-based Control Safety Property Checking in Cyber-Physical Systems under Timing Uncertainties. | Anand Yeolekar, Ravindra Metta, Samarjit Chakraborty |
| 2022 | ATVA | Checking Scheduling-Induced Violations of Control Safety Properties. | Anand Yeolekar, Ravindra Metta, Clara Hobbs, Samarjit Chakraborty |
| 2019 | DATE | Cross-Layer Interactions in CPS for Performance and Certification. | Samarjit Chakraborty, James H. Anderson, Martin Becker, Helmut Graeb, Samiran Halder, Ravindra Metta, Lothar Thiele, Stavros Tripakis, Anand Yeolekar |
| 2018 | RTCSA | Refining Task Specifications using Model Checking. | Anand Yeolekar, Ravindra Metta, R. Venkatesh, Samarjit Chakraborty |
| 2017 | ATVA | Concurrent Program Verification with Invariant-Guided Underapproximation. | Sumanth Prabhu, Peter Schrammel, Mandayam K. Srivas, Michael Tautschnig, Anand Yeolekar |
| 2017 | TAMC | Sequentialization Using Timestamps. | Anand Yeolekar, Kumar Madhukar, Dipali Bhutada, R. Venkatesh |
| 2014 | RV | Improving Dynamic Inference with Variable Dependence Graph. | Anand Yeolekar |
| 2013 | ICST | Scaling Model Checking for Test Generation Using Dynamic Inference. | Anand Yeolekar, Divyesh Unadkat, Vivek Agarwal, Shrawan Kumar, R. Venkatesh |
| 2012 | DATE | 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 |
| 2008 | CAV | AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems. | Ambar A. Gadkari, Anand Yeolekar, J. Suresh, S. Ramesh, Swarup Mohalik, K. C. Shashidhar |
| 2008 | EMSOFT | Randomized directed testing (REDIRECT) for Simulink/Stateflow models. | Manoranjan Satpathy, Anand Yeolekar, S. Ramesh |