Anand Yeolekar

16 papers A* 1A 4B 4C 1Misc 2Journal 2Unranked 2
YearRankTypeTitle / Venue / Authors
2025 — conf
Repairing Control Safety Violations via Scheduler Patch Synthesis.
ICCPS
Anand Yeolekar, Supratik Chakraborty, R. Venkatesh, Samarjit Chakraborty
2025 A conf
SMT-Based Repairing Real-Time Task Specifications.
DATE
Anand Yeolekar, Ravindra Metta, Samarjit Chakraborty
2024 Misc conf
SMT-based Control Safety Property Checking in Cyber-Physical Systems under Timing Uncertainties.
VLSID
Anand Yeolekar, Ravindra Metta, Samarjit Chakraborty
2022 B conf
Checking Scheduling-Induced Violations of Control Safety Properties.
ATVA
Anand Yeolekar, Ravindra Metta, Clara Hobbs, Samarjit Chakraborty
2019 A conf
Cross-Layer Interactions in CPS for Performance and Certification.
DATE
Samarjit Chakraborty, James H. Anderson, Martin Becker, Helmut Graeb, Samiran Halder, Ravindra Metta, Lothar Thiele, Stavros Tripakis, Anand Yeolekar
2018 B conf
Refining Task Specifications using Model Checking.
RTCSA
Anand Yeolekar, Ravindra Metta, R. Venkatesh, Samarjit Chakraborty
2017 B conf
Concurrent Program Verification with Invariant-Guided Underapproximation.
ATVA
Sumanth Prabhu, Peter Schrammel, Mandayam K. Srivas, Michael Tautschnig, Anand Yeolekar
2017 C conf
Sequentialization Using Timestamps.
TAMC
Anand Yeolekar, Kumar Madhukar, Dipali Bhutada, R. Venkatesh
2014 J jnl
Automatic test case generation from Simulink/Stateflow models using model checking.
Softw. Test. Verification Reliab.
Swarup Mohalik, Ambar A. Gadkari, Anand Yeolekar, K. C. Shashidhar, S. Ramesh
2014 B conf
Improving Dynamic Inference with Variable Dependence Graph.
RV
Anand Yeolekar
2013 — conf
Assertion Checking Using Dynamic Inference.
Haifa Verification Conference
Anand Yeolekar, Divyesh Unadkat
2013 A conf
Scaling Model Checking for Test Generation Using Dynamic Inference.
ICST
Anand Yeolekar, Divyesh Unadkat, Vivek Agarwal, Shrawan Kumar, R. Venkatesh
2012 A conf
An integrated test generation tool for enhanced coverage of Simulink/Stateflow models.
DATE
Prakash Mohan Peranandam, Sachin Raviram, Manoranjan Satpathy, Anand Yeolekar, Ambar A. Gadkari, S. Ramesh
2012 J jnl
Efficient coverage of parallel and hierarchical stateflow models for test case generation.
Softw. Test. Verification Reliab.
Manoranjan Satpathy, Anand Yeolekar, Prakash Mohan Peranandam, S. Ramesh
2008 A* conf
AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems.
CAV
Ambar A. Gadkari, Anand Yeolekar, J. Suresh, S. Ramesh, Swarup Mohalik, K. C. Shashidhar
2008 Misc conf
Randomized directed testing (REDIRECT) for Simulink/Stateflow models.
EMSOFT
Manoranjan Satpathy, Anand Yeolekar, S. Ramesh