| VeriAbs: Verification by abstraction and test generation M Afzal, A Asia, A Chauhan, B Chimdyalwar, P Darke, A Datar, S Kumar, ... 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 41 | 2019 |
| VeriAbs: Verification by Abstraction and Test Generation: (Competition Contribution) P Darke, S Prabhu, B Chimdyalwar, A Chauhan, S Kumar, ... Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018 | 22 | 2018 |
| Efficient Elimination of False Positives Using Bounded Model Checking MKKM Tukaram Muske, Advaita Datar VALID 2013, The Fifth International Conference on Advances in System Testing …, 2013 | 19* | 2013 |
| Scaling bounded model checking by transforming programs with arrays A Jana, UP Khedker, A Datar, R Venkatesh Logic-Based Program Synthesis and Transformation: 26th International …, 2017 | 14 | 2017 |
| Automated Validation of Insurance Applications against Calculation Specifications A Datar, A Zare, A Asia, R Venkatesh, S Kumar, U Shrotri 2022 IEEE International Symposium on Software Reliability Engineering …, 2022 | 1 | 2022 |
| Method and system for validation of calculation code against calculation specification AA Datar, Z Amey, A Akhtar, V Ramanathan, S Kumar, UA Shrotri, ... US Patent App. 18/153,192, 2023 | | 2023 |
| Towards Synthesis of Code for Calculations Using Their Specifications. A Datar, A Zare, R Venkatesh, A Asia ENASE, 497-504, 2023 | | 2023 |
| System and method for software verification P Darke, B Chimdyalwar, A Chauhan, P Shah, S Kumar, M Afzal, ... US Patent 11,275,860, 2022 | | 2022 |
| Simplifying the Review of Communicating Finite State Machines Implementation using Static Analysis A Zare, A Datar, R Venkatesh, M Hasegawa SAE Technical Paper, 2016 | | 2016 |
| Method and system for verifying sleep wakeup protocol by computing state transition paths TB Muske, A Datar, AA Zare US Patent 9,141,511, 2015 | | 2015 |
| Verification of Group Variables for Detecting Inconsistencies in Software A Datar, A Zare SAE Technical Paper, 2015 | | 2015 |
| Verification of Flag Usage Patterns by Static Analysis Techniques A Zare, A Datar, M Kikuchi, S Ichikawa, M Hasegawa, S Tsunekado SAE International Journal of Passenger Cars-Electronic and Electrical …, 2014 | | 2014 |
Tukaram MuskeSoftware Engineer, Synopsys Inc. (India)Verified email at tcs.com
