| Randomized directed testing (REDIRECT) for Simulink/Stateflow models M Satpathy, A Yeolekar, S Ramesh Proceedings of the 8th ACM international conference on Embedded software …, 2008 | 75 | 2008 |
| Automatic test case generation from Simulink/Stateflow models using model checking S Mohalik, AA Gadkari, A Yeolekar, KC Shashidhar, S Ramesh Software Testing, Verification and Reliability 24 (2), 155-180, 2014 | 63 | 2014 |
| AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems: Tool Paper AA Gadkari, A Yeolekar, J Suresh, S Ramesh, S Mohalik, KC Shashidhar Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008 | 54 | 2008 |
| An integrated test generation tool for enhanced coverage of Simulink/Stateflow models P Peranandam, S Raviram, M Satpathy, A Yeolekar, A Gadkari, ... 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE), 308-311, 2012 | 52 | 2012 |
| Automatic generation of test-cases using model checking for sl/sf models AA Gadkari, S Mohalik, K Shashidhar, A Yeolekar, J Suresh, S Ramesh Proceedings of the 4th model-driven engineering, verification and validation …, 2007 | 29 | 2007 |
| Efficient coverage of parallel and hierarchical stateflow models for test case generation M Satpathy, A Yeolekar, P Peranandam, S Ramesh Software Testing, Verification and Reliability 22 (7), 457-479, 2012 | 18 | 2012 |
| Scaling model checking for test generation using dynamic inference A Yeolekar, D Unadkat, V Agarwal, S Kumar, R Venkatesh 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013 | 12 | 2013 |
| Checking scheduling-induced violations of control safety properties A Yeolekar, R Metta, C Hobbs, S Chakraborty International Symposium on Automated Technology for Verification and …, 2022 | 10 | 2022 |
| Applying design verification tools in automotive software v&v AC Rao, AC Rajeev, A Yeolekar SAE Technical Paper, 2011 | 9 | 2011 |
| Cross-layer interactions in CPS for performance and certification S Chakraborty, JH Anderson, M Becker, H Graeb, S Halder, R Metta, ... 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2019 | 5 | 2019 |
| Concurrent program verification with invariant-guided underapproximation S Prabhu, P Schrammel, M Srivas, M Tautschnig, A Yeolekar Automated Technology for Verification and Analysis: 15th International …, 2017 | 5 | 2017 |
| Functional test generation through model inversion AV Yeolekar, R Sethu US Patent App. 12/712,384, 2011 | 4 | 2011 |
| SMT-based Control Safety Property Checking in Cyber-Physical Systems under Timing Uncertainties A Yeolekar, R Metta, S Chakraborty 2024 37th International Conference on VLSI Design and 2024 23rd …, 2024 | 1 | 2024 |
| Refining Task Specifications using Model Checking A Yeolekar, R Metta, R Venkatesh, S Chakraborty 2018 IEEE 24th International Conference on Embedded and Real-Time Computing …, 2018 | 1 | 2018 |
| Sequentialization using timestamps A Yeolekar, K Madhukar, D Bhutada, R Venkatesh Theory and Applications of Models of Computation: 14th Annual Conference …, 2017 | 1 | 2017 |
| Improving dynamic inference with variable dependence graph A Yeolekar Runtime Verification: 5th International Conference, RV 2014, Toronto, ON …, 2014 | 1 | 2014 |
| Assertion checking using dynamic inference A Yeolekar, D Unadkat Haifa Verification Conference, 199-213, 2013 | 1 | 2013 |
| Evaluating SMT Solvers on Schedulability Checking Instances R Metta, A Yeolekar, S Chakraborty International Conference on Computational Technologies and Electronics (ICCTE), 2023 | | 2023 |
| Software Testing, Verification and Reliability S Mohalik, AA Gadkari, A Yeolekar, KC Shashidhar, S Ramesh SOFTWARE TESTING VERIFICATION & RELIABILITY 24 (2), 155-180, 2014 | | 2014 |
| Völp, Marcus 232 Von Der Brüggen, Georg 157, 168 Wu, Lin 32 Yanagisawa, Yutaka 244 CW Yeh, T Nakajima, J Nakazawa, M Namiki, B Nikoli, N Nishio, H Noma, ... | | |
Ramesh S.formerly Professor of Computer Science, IIT Bombay, now Technical Fellow, General Motors R&DPatvirtintas el. paštas iitbombay.org