Ravindra Metta
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
10
Active years
2011–2025
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | DATE | SMT-Based Repairing Real-Time Task Specifications. | Anand Yeolekar, Ravindra Metta, Samarjit Chakraborty |
| 2025 | TACAS | PROTON 2.1: Synthesizing Ranking Functions via fine-tuned locally Hosted LLM (Competition Contribution). | Diganta Mukhopadhyay, Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar |
| 2024 | VLSID | SMT-based Control Safety Property Checking in Cyber-Physical Systems under Timing Uncertainties. | Anand Yeolekar, Ravindra Metta, Samarjit Chakraborty |
| 2024 | TACAS | PROTON: PRObes for Termination Or Not (Competition Contribution). | Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar, R. Venkatesh, Supratik Chakraborty |
| 2023 | ISSRE | Towards Multi-Language Static Code Analysis. | Sanaa Siddiqui, Ravindra Metta, Kumar Madhukar |
| 2023 | TACAS | VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). | Ravindra Metta, Prasanth Yeduru, Hrishikesh Karmarkar, Raveendra Kumar Medicherla |
| 2022 | ATVA | Checking Scheduling-Induced Violations of Control Safety Properties. | Anand Yeolekar, Ravindra Metta, Clara Hobbs, Samarjit Chakraborty |
| 2022 | DATE | BMC+Fuzz: Efficient and Effective Test Generation. | Ravindra Metta, Raveendra Kumar Medicherla, Samarjit Chakraborty |
| 2022 | FASE | VeriFuzz: Good Seeds for Fuzzing (Competition Contribution). | Ravindra Metta, Raveendra Kumar Medicherla, Hrishikesh Karmarkar |
| 2019 | DATE | Cross-Layer Interactions in CPS for Performance and Certification. | Samarjit Chakraborty, James H. Anderson, Martin Becker, Helmut Graeb, Samiran Halder, Ravindra Metta, Lothar Thiele, Stavros Tripakis, Anand Yeolekar |
| 2018 | RTCSA | Refining Task Specifications using Model Checking. | Anand Yeolekar, Ravindra Metta, R. Venkatesh, Samarjit Chakraborty |
| 2015 | APSEC | Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow. | Martin Becker, Sajid Mohamed, Karsten Albers, P. P. Chakrabarti, Samarjit Chakraborty, Pallab Dasgupta, Soumyajit Dey, Ravindra Metta |
| 2015 | DATE | Over-approximating loops to prove properties using bounded model checking. | Priyanka Darke, Bharti Chimdyalwar, R. Venkatesh, Ulka Shrotri, Ravindra Metta |
| 2015 | DATE | Verifying synchronous reactive systems using lazy abstraction. | Kumar Madhukar, Mandayam K. Srivas, Bjrn Wachter, Daniel Kroening, Ravindra Metta |
| 2013 | ICSE | Trace based reachability verification for statecharts. | Kumar Madhukar, Ravindra Metta, Ulka Shrotri, R. Venkatesh |
| 2013 | ICST | Reachability Verification of Rhapsody Statecharts. | Kumar Madhukar, Ravindra Metta, Priyanka Singh, R. Venkatesh |
| 2011 | ICST | Verifying Code and Its Optimizations: An Experience Report. | Ravindra Metta |