Kumar Madhukar
Kumar Madhukar
Tata Research Development and Design Center
Verified email at tcs.com
Cited by
Cited by
Efficient elimination of false positives using bounded model checking
T Muske, A Datar, M Khanzode, K Madhukar
VALID 2013, The Fifth International Conference on Advances in System Testing …, 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
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
Quantified invariants via syntax-guided synthesis
G Fedyukovich, S Prabhu, K Madhukar, A Gupta
International Conference on Computer Aided Verification, 259-277, 2019
Reachability verification of rhapsody statecharts
K Madhukar, R Metta, P Singh, R Venkatesh
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
Efficiently learning safety proofs from appearance as well as behaviours
S Prabhu, K Madhukar, R Venkatesh
International Static Analysis Symposium, 326-343, 2018
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
Sequentialization using timestamps
A Yeolekar, K Madhukar, D Bhutada, R Venkatesh
International Conference on Theory and Applications of Models of Computation …, 2017
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
Generalizing specific-instance interpolation proofs with SyGuS
M Azeem, K Madhukar, R Venkatesh
Proceedings of the 40th International Conference on Software Engineering …, 2018
Compositional Safety Refutation Techniques
K Madhukar, P Schrammel, M Srivas
International Symposium on Automated Technology for Verification and …, 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
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–13