Kumar Madhukar
Kumar Madhukar
Tata Research Development and Design Center
Verified email at
Cited by
Cited by
Quantified invariants via syntax-guided synthesis
G Fedyukovich, S Prabhu, K Madhukar, A Gupta
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 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
Efficient elimination of false positives using bounded model checking
T Muske, A Datar, M Khanzode, K Madhukar
ISSRE 15, 2-5, 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
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
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
Reachability verification of rhapsody statecharts
K Madhukar, R Metta, P Singh, R Venkatesh
2013 IEEE Sixth International Conference on Software Testing, Verification …, 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
Direct Construction of Program Alignment Automata for Equivalence Checking
M Goyal, M Azeem, K Madhukar, R Venkatesh
arXiv preprint arXiv:2109.01864, 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
Compositional safety refutation techniques
K Madhukar, P Schrammel, M Srivas
Automated Technology for Verification and Analysis: 15th International …, 2017
Generalizing specific-instance interpolation proofs with SyGuS
M Azeem, K Madhukar, R Venkatesh
Proceedings of the 40th International Conference on Software Engineering …, 2018
Sequentialization using timestamps
A Yeolekar, K Madhukar, D Bhutada, R Venkatesh
Theory and Applications of Models of Computation: 14th Annual Conference …, 2017
Automated Property Directed Self Composition
A Shenoy, S Prabhu, K Madhukar, R Shemer, M Srivas
International Symposium on Automated Technology for Verification and …, 2023
Towards Multi-Language Static Code Analysis
S Siddiqui, R Metta, K Madhukar
2023 IEEE 34th International Symposium on Software Reliability Engineering …, 2023
Efficient Adversarial Input Generation via Neural Net Patching
T Khan, K Madhukar, SV Sharma
arXiv preprint arXiv:2211.16808, 2022
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
Permutation Invariance of Deep Neural Networks with ReLUs
D Mukhopadhyay, K Madhukar, M Srivas
NASA Formal Methods Symposium, 318-337, 2022
Scalable Safety Verification of Statechart-like Programs
K Madhukar
Tata Consultancy Services, 2018
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
The system can't perform the operation now. Try again later.
Articles 1–20