Proving unreachability using bounded model checking. - Ulka Shrotri; R. Venkatesh 001; Ravindra Metta (ISEC, 2010)

The dependence condition graph: Precise conditions for dependence between program points. - Srihari Sukumaran; Ashok Sreenivas; Ravindra Metta (Comput. Lang. Syst. Struct., 2010)

Verifying Code and Its Optimizations: An Experience Report. - Ravindra Metta (ICST Workshops, 2011)

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)

A code obfuscation framework using code clones. - Aniket Kulkarni; Ravindra Metta (ICPC, 2014)

A New Code Obfuscation Scheme for Software Protection. - Aniket Kulkarni; Ravindra Metta (SOSE, 2014)

Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow. - Martin Becker 001; Sajid Mohamed; Karsten Albers; P. P. Chakrabarti 001; Samarjit Chakraborty; Pallab Dasgupta; Soumyajit Dey; Ravindra Metta (APSEC, 2015)

Over-approximating loops to prove properties using bounded model checking. - Priyanka Darke; Bharti Chimdyalwar; R. Venkatesh 001; Ulka Shrotri; Ravindra Metta (DATE, 2015)

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

TIC: a scalable model checking based approach to WCET estimation. - Ravindra Metta; Martin Becker 001; Prasad Bokil; Samarjit Chakraborty; R. Venkatesh 001 (LCTES, 2016)

Refining Task Specifications using Model Checking. - Anand Yeolekar; Ravindra Metta; R. Venkatesh 001; Samarjit Chakraborty (RTCSA, 2018)

Scalable and Precise Estimation and Debugging of the Worst-Case Execution Time for Analysis-Friendly Processors. - Martin Becker 001; Ravindra Metta; R. Venkatesh 001; Samarjit Chakraborty (CoRR, 2018)

Cross-Layer Interactions in CPS for Performance and Certification. - Samarjit Chakraborty; James H. Anderson; Martin Becker 001; Helmut Graeb; Samiran Halder; Ravindra Metta; Lothar Thiele; Stavros Tripakis; Anand Yeolekar (DATE, 2019)

Imprecision in WCET estimates due to library calls and how to reduce it (WIP paper). - Martin Becker 001; Samarjit Chakraborty; Ravindra Metta; R. Venkatesh 001 (LCTES, 2019)

Scalable and precise estimation and debugging of the worst-case execution time for analysis-friendly processors: a comeback of model checking. - Martin Becker 001; Ravindra Metta; R. Venkatesh 001; Samarjit Chakraborty (Int. J. Softw. Tools Technol. Transf., 2019)

Checking Scheduling-Induced Violations of Control Safety Properties. - Anand Yeolekar; Ravindra Metta; Clara Hobbs; Samarjit Chakraborty (ATVA, 2022)

BMC+Fuzz: Efficient and Effective Test Generation. - Ravindra Metta; Raveendra Kumar Medicherla; Samarjit Chakraborty (DATE, 2022)

VeriFuzz: Good Seeds for Fuzzing (Competition Contribution). - Ravindra Metta; Raveendra Kumar Medicherla; Hrishikesh Karmarkar (FASE, 2022)

FuzzNT : Checking for Program Non-termination. - Hrishikesh Karmarkar; Raveendra Kumar Medicherla; Ravindra Metta; Prasanth Yeduru (ICSME, 2022)

Impactful research and tooling for program correctness. - Priyanka Darke; Ravindra Metta; Raveendra Kumar Medicherla; R. Venkatesh 001 (Commun. ACM, 2022)

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

VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). - Ravindra Metta; Prasanth Yeduru; Hrishikesh Karmarkar; Raveendra Kumar Medicherla (TACAS (2), 2023)

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

SMT-based Control Safety Property Checking in Cyber-Physical Systems under Timing Uncertainties. - Anand Yeolekar; Ravindra Metta; Samarjit Chakraborty (VLSID, 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)

SMT-Based Repairing Real-Time Task Specifications. - Anand Yeolekar; Ravindra Metta; Samarjit Chakraborty (DATE, 2025)

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)