| Quantified invariants via syntax-guided synthesis G Fedyukovich, S Prabhu, K Madhukar, A Gupta Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 68 | 2019 |
| Solving constrained horn clauses using syntax and data G Fedyukovich, S Prabhu, K Madhukar, A Gupta 2018 Formal Methods in Computer Aided Design (FMCAD), 1-9, 2018 | 51 | 2018 |
| Specification synthesis with constrained Horn clauses S Prabhu, G Fedyukovich, K Madhukar, D D'Souza Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 20 | 2021 |
| Efficient elimination of false positives using bounded model checking T Muske, A Datar, M Khanzode, K Madhukar ISSRE 15, 2-5, 2013 | 19 | 2013 |
| Accelerating invariant generation K Madhukar, B Wachter, D Kroening, M Lewis, M Srivas 2015 Formal Methods in Computer-Aided Design (FMCAD), 105-111, 2015 | 16 | 2015 |
| Efficiently learning safety proofs from appearance as well as behaviours S Prabhu, K Madhukar, R Venkatesh Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany …, 2018 | 13 | 2018 |
| Reachability verification of rhapsody statecharts K Madhukar, R Metta, P Singh, R Venkatesh 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013 | 8 | 2013 |
| Verifying synchronous reactive systems using lazy abstraction K Madhukar, M Srivas, B Wächter, D Kroening, R Metta 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2015 | 5 | 2015 |
| Direct Construction of Program Alignment Automata for Equivalence Checking M Goyal, M Azeem, K Madhukar, R Venkatesh arXiv preprint arXiv:2109.01864, 2021 | 3 | 2021 |
| Using hypersafety verification for proving correctness of programming assignments JK Anil, K Madhukar, R Venkatesh Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 3 | 2020 |
| Compositional safety refutation techniques K Madhukar, P Schrammel, M Srivas Automated Technology for Verification and Analysis: 15th International …, 2017 | 3 | 2017 |
| Generalizing specific-instance interpolation proofs with SyGuS M Azeem, K Madhukar, R Venkatesh Proceedings of the 40th International Conference on Software Engineering …, 2018 | 2 | 2018 |
| PROTON: PRObes for Termination Or Not (Competition Contribution) R Metta, H Karmarkar, K Madhukar, R Venkatesh, S Chakraborty International Conference on Tools and Algorithms for the Construction and …, 2024 | 1 | 2024 |
| Sequentialization using timestamps A Yeolekar, K Madhukar, D Bhutada, R Venkatesh Theory and Applications of Models of Computation: 14th Annual Conference …, 2017 | 1 | 2017 |
| Trace based reachability verification for statecharts K Madhukar, R Metta, U Shrotri, R Venkatesh 2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE …, 2013 | 1 | 2013 |
| Unifying Syntactic and Semantic Abstractions for Deep Neural Networks S Siddiqui, D Mukhopadhyay, M Afzal, H Karmarkar, K Madhukar International Conference on Formal Methods for Industrial Critical Systems …, 2024 | | 2024 |
| Efficient Adversarial Input Generation via Neural Net Patching T Khan, K Madhukar, SV Sharma 2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing …, 2023 | | 2023 |
| Automated Property Directed Self Composition A Shenoy, S Prabhu, K Madhukar, R Shemer, M Srivas International Symposium on Automated Technology for Verification and …, 2023 | | 2023 |
| Towards Multi-Language Static Code Analysis S Siddiqui, R Metta, K Madhukar 2023 IEEE 34th International Symposium on Software Reliability Engineering …, 2023 | | 2023 |
| Efficiently Finding Adversarial Examples with DNN Preprocessing A Chauhan, M Afzal, H Karmarkar, Y Elboher, K Madhukar, G Katz arXiv preprint arXiv:2211.08706, 2022 | | 2022 |
