| 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 | 45 | 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)在 tcs.com 的电子邮件经过验证
Tukaram MuskeSoftware Engineer, Synopsys Inc. (India)在 tcs.com 的电子邮件经过验证
Kumar MadhukarTata Research Development and Design Center在 tcs.com 的电子邮件经过验证
Uday P. KhedkerProfessor of Computer Science, IIT Bombay在 cse.iitb.ac.in 的电子邮件经过验证