Kumar Madhukar
Kumar Madhukar
Tata Research Development and Design Center
Verified email at tcs.com
TitleCited byYear
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
92013
Reachability verification of rhapsody statecharts
K Madhukar, R Metta, P Singh, R Venkatesh
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
72013
Accelerating invariant generation
K Madhukar, B Wachter, D Kroening, M Lewis, M Srivas
2015 Formal Methods in Computer-Aided Design (FMCAD), 105-111, 2015
62015
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
42018
Efficiently learning safety proofs from appearance as well as behaviours
S Prabhu, K Madhukar, R Venkatesh
International Static Analysis Symposium, 326-343, 2018
22018
Sequentialization using timestamps
A Yeolekar, K Madhukar, D Bhutada, R Venkatesh
International Conference on Theory and Applications of Models of Computation …, 2017
22017
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
12015
Generalizing specific-instance interpolation proofs with SyGuS
M Azeem, K Madhukar, R Venkatesh
Proceedings of the 40th International Conference on Software Engineering …, 2018
2018
Compositional safety refutation techniques
K Madhukar, P Schrammel, M Srivas
International Symposium on Automated Technology for Verification and …, 2017
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
2013
Quantified Invariants via Syntax-Guided Synthesis
G Fedyukovich, S Prabhu, K Madhukar, A Gupta
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–12