Ministry of Education
Kumar Madhukar
VIDWAN ID: 242563

Prof Kumar Madhukar

Male Doctor of Philosophy
Assistant Professor | Department of Computer Science and Engineering
Indian Institute of Technology, Delhi
Delhi
Expertise: Computer Science Artificial Intelligence
Scopus 55844139300
View older version My Dashboard
21 Publications
0 Projects
177 Scopus Citations
147 CrossRef
4 Years 11 Months Total Experience
Publications
21 Total
Chapters
1
Proceedings
20
Activity

No publication activity to display.

Scopus Scopus
177 Citations
7 h-index
CrossRef CrossRef
147 Citations
6 h-index
Google Scholar Google Scholar

Loading Scholar statistics...

Professional Recognition

No Data Found

There is currently nothing to display here.

Community & Membership

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Personal Details

Doctor of Philosophy
Devi Ahilya Vishwavidyalaya, Indore
Assistant Professor
Oct 2021 – Present
Indian Institute of Technology, Delhi | Department of Computer Science and Engineering
Engineering and Technology
Computer Science Artificial Intelligence

Related Profiles

Scholarly Work

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Scholarly Publications

Quantified Invariants via Syntax-Guided Synthesis

Open Access
Conference Paper
Year: 2019. Volume: 11561 LNCS , Pages: 259-277 .
Authors: Grigory Fedyukovich; Sumanth Prabhu; Kumar Madhukar; Aarti Gupta
DOI 10.1007/978-3-030-25540-4_14 Crossref Crossref: 43 Scopus Scopus: 48

Reachability verification of rhapsody statecharts

Conference Paper
Year: 2013. Pages: 96-101 .
Authors: Kumar Madhukar; Ravindra Metta; Priyanka Singh; R. Venkatesh
DOI 10.1109/ICSTW.2013.73 Crossref Crossref: 5 Scopus Scopus: 7

Trace based reachability verification for statecharts

Conference Paper
Year: 2013. Pages: 22-28 .
Authors: Kumar Madhukar; Ravindra Metta; Ulka Shrotri; R. Venkatesh
DOI 10.1109/FormaliSE.2013.6612273 Crossref Crossref: 1 Scopus Scopus: 1

Efficient elimination of false positives using bounded model checking

Conference Paper
Year: 2013. Pages: 13-20 .
Scopus Scopus: 8

Verifying synchronous reactive systems using lazy abstraction

Conference Paper
Year: 2015. Volume: 2015-April , Pages: 1571-1574 .
Authors: Kumar Madhukar; Mandayam Srivas; Bjorn Wachter; Daniel Kroening; Ravindra Metta
DOI 10.7873/date.2015.0583 Crossref Crossref: 1 Scopus Scopus: 4

Accelerating invariant generation

Conference Paper
Year: 2016. Pages: 105-111 .
Authors: Kumar Madhukar; Bjorn Wachter; Daniel Kroening; Matt Lewis; Mandayam Srivas
DOI 10.1109/FMCAD.2015.7542259 Crossref Crossref: 8 Scopus Scopus: 10

Sequentialization using timestamps

Conference Paper
Year: 2017. Volume: 10185 LNCS , Pages: 684-696 .
Authors: Anand Yeolekar; Kumar Madhukar; Dipali Bhutada; R. Venkatesh
DOI 10.1007/978-3-319-55911-7_49 Crossref Crossref: 1 Scopus Scopus: 1

Compositional safety refutation techniques

Conference Paper
Year: 2017. Volume: 10482 LNCS , Pages: 164-183 .
Authors: Kumar Madhukar; Peter Schrammel; Mandayam Srivas
DOI 10.1007/978-3-319-68167-2_12 Crossref Crossref: 1 Scopus Scopus: 1
Showing 1 to 8 of 21 publications