Trace based reachability verification for statecharts. - Kumar Madhukar; Ravindra Metta; Ulka Shrotri; R. Venkatesh 001 (FormaliSE@ICSE, 2013)

Reachability Verification of Rhapsody Statecharts. - Kumar Madhukar; Ravindra Metta; Priyanka Singh; R. Venkatesh 001 (ICST Workshops, 2013)

Verifying synchronous reactive systems using lazy abstraction. - Kumar Madhukar; Mandayam K. Srivas; Björn Wachter; Daniel Kroening; Ravindra Metta (DATE, 2015)

Accelerating Invariant Generation. - Kumar Madhukar; Björn Wachter; Daniel Kroening; Matt Lewis; Mandayam K. Srivas (FMCAD, 2015)

Compositional Safety Refutation Techniques. - Kumar Madhukar; Peter Schrammel; Mandayam K. Srivas (ATVA, 2017)

Sequentialization Using Timestamps. - Anand Yeolekar; Kumar Madhukar; Dipali Bhutada; R. Venkatesh 001 (TAMC, 2017)

Solving Constrained Horn Clauses Using Syntax and Data. - Grigory Fedyukovich; Sumanth Prabhu 001; Kumar Madhukar; Aarti Gupta (FMCAD, 2018)

Generalizing specific-instance interpolation proofs with SyGuS. - Muqsit Azeem; Kumar Madhukar; R. Venkatesh 001 (ICSE (NIER), 2018)

Efficiently Learning Safety Proofs from Appearance as well as Behaviours. - Sumanth Prabhu 001; Kumar Madhukar; R. Venkatesh 001 (SAS, 2018)

Quantified Invariants via Syntax-Guided Synthesis. - Grigory Fedyukovich; Sumanth Prabhu 001; Kumar Madhukar; Aarti Gupta (CAV (1), 2019)

Using hypersafety verification for proving correctness of programming assignments. - Jude K. Anil; Sumanth Prabhu S; Kumar Madhukar; R. Venkatesh 001 (ICSE (NIER), 2020)

Specification synthesis with constrained Horn clauses. - Sumanth Prabhu S; Grigory Fedyukovich; Kumar Madhukar; Deepak D'Souza (PLDI, 2021)

Direct Construction of Program Alignment Automata for Equivalence Checking. - Manish Goyal 002; Muqsit Azeem; Kumar Madhukar; R. Venkatesh 001 (CoRR, 2021)

Permutation Invariance of Deep Neural Networks with ReLUs. - Diganta Mukhopadhyay; Kumar Madhukar; Mandayam K. Srivas (NFM, 2022)

Efficiently Finding Adversarial Examples with DNN Preprocessing. - Avriti Chauhan; Mohammad Afzal; Hrishikesh Karmarkar; Yizhak Yisrael Elboher; Kumar Madhukar; Guy Katz (CoRR, 2022)

Automated Property Directed Self Composition. - Akshatha Shenoy 001; Sumanth Prabhu S; Kumar Madhukar; Ron Shemer; Mandayam K. Srivas (ATVA, 2023)

Towards Multi-Language Static Code Analysis. - Sanaa Siddiqui; Ravindra Metta; Kumar Madhukar (ISSREW, 2023)

Efficient Adversarial Input Generation via Neural Net Patching. - Tooba Khan; Kumar Madhukar; Subodh Vishnu Sharma (PRDC, 2023)

Unifying Syntactic and Semantic Abstractions for Deep Neural Networks. - Sanaa Siddiqui; Diganta Mukhopadhyay; Mohammad Afzal; Hrishikesh Karmarkar; Kumar Madhukar (FMICS, 2024)

Learning DNN Abstractions using Gradient Descent. - Diganta Mukhopadhyay; Sanaa Siddiqui; Hrishikesh Karmarkar; Kumar Madhukar; Guy Katz (ASE, 2024)

PROTON: PRObes for Termination Or Not (Competition Contribution). - Ravindra Metta; Hrishikesh Karmarkar; Kumar Madhukar; R. Venkatesh 001; Supratik Chakraborty (TACAS (3), 2024)

A shallow dive into the depths of non-termination checking for C programs. - Ravindra Metta; Hrishikesh Karmarkar; Kumar Madhukar; R. Venkatesh 001; Supratik Chakraborty; Samarjit Chakraborty (CoRR, 2024)

PROTON 2.1: Synthesizing Ranking Functions via fine-tuned locally Hosted LLM (Competition Contribution). - Diganta Mukhopadhyay; Ravindra Metta; Hrishikesh Karmarkar; Kumar Madhukar (TACAS (3), 2025)