Kumar Madhukar
Kumar Madhukar
Tata Research Development and Design Center
Verified email at tcs.com
Cited by
Cited by
Quantified invariants via syntax-guided synthesis
G Fedyukovich, S Prabhu, K Madhukar, A Gupta
International Conference on Computer Aided Verification, 259-277, 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 Proceedings of the 2015 IEEE 26th international symposium on …, 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
Efficiently learning safety proofs from appearance as well as behaviours
S Prabhu, K Madhukar, R Venkatesh
International Static Analysis Symposium, 326-343, 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
Compositional Safety Refutation Techniques
K Madhukar, P Schrammel, M Srivas
International Symposium on Automated Technology for Verification and …, 2017
Sequentialization using timestamps
A Yeolekar, K Madhukar, D Bhutada, R Venkatesh
International Conference on Theory and Applications of Models of Computation …, 2017
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
Using hypersafety verification for proving correctness of programming assignments
JK Anil, SS Prabhu, K Madhukar, R Venkatesh
2020 IEEE/ACM 42nd International Conference on Software Engineering: New …, 2020
Generalizing specific-instance interpolation proofs with SyGuS
M Azeem, K Madhukar, R Venkatesh
Proceedings of the 40th International Conference on Software Engineering …, 2018
Permutation Invariance of Deep Neural Networks with ReLUs
D Mukhopadhyay, K Madhukar, M Srivas
arXiv preprint arXiv:2110.09578, 2021
Direct Construction of Program Alignment Automata for Equivalence Checking
M Goyal, M Azeem, K Madhukar, R Venkatesh
arXiv preprint arXiv:2109.01864, 2021
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
FormaliSE 2017
L Salgado, M Mohaqeqi, M Cristiá, E de Vink, J Santos, C Poskitt, ...
The system can't perform the operation now. Try again later.
Articles 1–17