Anand Yeolekar

According to our database, Anand Yeolekar authored at least 14 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

SMT-based Control Safety Property Checking in Cyber-Physical Systems under Timing Uncertainties.

Anand Yeolekar, Ravindra Metta, Samarjit Chakraborty

Proceedings of the 37th International Conference on VLSI Design and 23rd International Conference on Embedded Systems, 2024

2022

Checking Scheduling-Induced Violations of Control Safety Properties.

Anand Yeolekar, Ravindra Metta, Clara Hobbs, Samarjit Chakraborty

Proceedings of the Automated Technology for Verification and Analysis, 2022

2019

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

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018

Refining Task Specifications using Model Checking.

Anand Yeolekar, Ravindra Metta, R. Venkatesh, Samarjit Chakraborty

Proceedings of the 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2018

2017

Sequentialization Using Timestamps.

Anand Yeolekar, Kumar Madhukar, Dipali Bhutada, R. Venkatesh

Proceedings of the Theory and Applications of Models of Computation, 2017

Concurrent Program Verification with Invariant-Guided Underapproximation.

Sumanth Prabhu, Peter Schrammel, Mandayam K. Srivas, Michael Tautschnig, Anand Yeolekar

Proceedings of the Automated Technology for Verification and Analysis, 2017

2014

Automatic test case generation from Simulink/Stateflow models using model checking.

Swarup Mohalik, Ambar A. Gadkari, Anand Yeolekar, K. C. Shashidhar, S. Ramesh

Softw. Test. Verification Reliab., 2014

Improving Dynamic Inference with Variable Dependence Graph.

Anand Yeolekar

Proceedings of the Runtime Verification - 5th International Conference, 2014

2013

Scaling Model Checking for Test Generation Using Dynamic Inference.

Anand Yeolekar, Divyesh Unadkat, Vivek Agarwal, Shrawan Kumar, R. Venkatesh

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Assertion Checking Using Dynamic Inference.

Anand Yeolekar, Divyesh Unadkat

Proceedings of the Hardware and Software: Verification and Testing, 2013

2012

Efficient coverage of parallel and hierarchical stateflow models for test case generation.

Manoranjan Satpathy, Anand Yeolekar, Prakash Mohan Peranandam, S. Ramesh

Softw. Test. Verification Reliab., 2012

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

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2008

Randomized directed testing (REDIRECT) for Simulink/Stateflow models.

Manoranjan Satpathy, Anand Yeolekar, S. Ramesh

Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems.

Ambar A. Gadkari, Anand Yeolekar, J. Suresh, S. Ramesh, Swarup Mohalik, K. C. Shashidhar

Proceedings of the Computer Aided Verification, 20th International Conference, 2008