Concepedia

Kumar Madhukar

KM

Statistics

Publications

3

Citations

75

H-Index

3

Active since

2013

Affiliations

Tata Consultancy Services (India)(Current)

Kumar Madhukar is an author at Tata Consultancy Services (India) specializing in formal verification, automated reasoning, and software analysis.

ORCID

Top concepts

Publications per year

2013–2021

3

Publications

3

Solving Constrained Horn Clauses Using Syntax and Data

Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar et al. · 2018 · 43 citations

, , +19

Specification synthesis with constrained Horn clauses

Sumanth Prabhu, Grigory Fedyukovich, Kumar Madhukar et al. · 2021 · 22 citations

, , +20

Efficient Elimination of False Positives Using Bounded Model Checking

Tukaram Muske, Advaita Datar, Mayur Khanzode et al. · 2013 · 10 citations

, , +15

1–3 of 3