Ravindra Metta

28 papers A 7B 5C 1Misc 1Journal 5Unranked 9

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	PROTON 2.1: Synthesizing Ranking Functions via fine-tuned locally Hosted LLM (Competition Contribution). TACAS (3) Diganta Mukhopadhyay, Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar
2025	A	`conf`	SMT-Based Repairing Real-Time Task Specifications. DATE Anand Yeolekar, Ravindra Metta, Samarjit Chakraborty
2024	J	`jnl`	A shallow dive into the depths of non-termination checking for C programs. CoRR Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar, R. Venkatesh, Supratik Chakraborty, Samarjit Chakraborty
2024	—	`conf`	PROTON: PRObes for Termination Or Not (Competition Contribution). TACAS (3) Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar, R. Venkatesh, Supratik Chakraborty
2024	Misc	`conf`	SMT-based Control Safety Property Checking in Cyber-Physical Systems under Timing Uncertainties. VLSID Anand Yeolekar, Ravindra Metta, Samarjit Chakraborty
2023	—	`conf`	Towards Multi-Language Static Code Analysis. ISSREW Sanaa Siddiqui, Ravindra Metta, Kumar Madhukar
2023	—	`conf`	VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). TACAS (2) Ravindra Metta, Prasanth Yeduru, Hrishikesh Karmarkar, Raveendra Kumar Medicherla
2022	A	`conf`	BMC+Fuzz: Efficient and Effective Test Generation. DATE Ravindra Metta, Raveendra Kumar Medicherla, Samarjit Chakraborty
2022	B	`conf`	Checking Scheduling-Induced Violations of Control Safety Properties. ATVA Anand Yeolekar, Ravindra Metta, Clara Hobbs, Samarjit Chakraborty
2022	A	`conf`	FuzzNT : Checking for Program Non-termination. ICSME Hrishikesh Karmarkar, Raveendra Kumar Medicherla, Ravindra Metta, Prasanth Yeduru
2022	J	`jnl`	Impactful research and tooling for program correctness. Commun. ACM Priyanka Darke, Ravindra Metta, Raveendra Kumar Medicherla, R. Venkatesh
2022	B	`conf`	VeriFuzz: Good Seeds for Fuzzing (Competition Contribution). FASE Ravindra Metta, Raveendra Kumar Medicherla, Hrishikesh Karmarkar
2019	A	`conf`	Cross-Layer Interactions in CPS for Performance and Certification. DATE Samarjit Chakraborty, James H. Anderson, Martin Becker, Helmut Graeb, Samiran Halder, Ravindra Metta, Lothar Thiele, Stavros Tripakis, Anand Yeolekar
2019	B	`conf`	Imprecision in WCET estimates due to library calls and how to reduce it (WIP paper). LCTES Martin Becker, Samarjit Chakraborty, Ravindra Metta, R. Venkatesh
2019	J	`jnl`	Scalable and precise estimation and debugging of the worst-case execution time for analysis-friendly processors: a comeback of model checking. Int. J. Softw. Tools Technol. Transf. Martin Becker, Ravindra Metta, R. Venkatesh, Samarjit Chakraborty
2018	B	`conf`	Refining Task Specifications using Model Checking. RTCSA Anand Yeolekar, Ravindra Metta, R. Venkatesh, Samarjit Chakraborty
2018	J	`jnl`	Scalable and Precise Estimation and Debugging of the Worst-Case Execution Time for Analysis-Friendly Processors. CoRR Martin Becker, Ravindra Metta, R. Venkatesh, Samarjit Chakraborty
2016	B	`conf`	TIC: a scalable model checking based approach to WCET estimation. LCTES Ravindra Metta, Martin Becker, Prasad Bokil, Samarjit Chakraborty, R. Venkatesh
2015	A	`conf`	Over-approximating loops to prove properties using bounded model checking. DATE Priyanka Darke, Bharti Chimdyalwar, R. Venkatesh, Ulka Shrotri, Ravindra Metta
2015	C	`conf`	Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow. APSEC Martin Becker, Sajid Mohamed, Karsten Albers, P. P. Chakrabarti, Samarjit Chakraborty, Pallab Dasgupta, Soumyajit Dey, Ravindra Metta
2015	A	`conf`	Verifying synchronous reactive systems using lazy abstraction. DATE Kumar Madhukar, Mandayam K. Srivas, Björn Wachter, Daniel Kroening, Ravindra Metta
2014	—	`conf`	A New Code Obfuscation Scheme for Software Protection. SOSE Aniket Kulkarni, Ravindra Metta
2014	A	`conf`	A code obfuscation framework using code clones. ICPC Aniket Kulkarni, Ravindra Metta
2013	—	`conf`	Reachability Verification of Rhapsody Statecharts. ICST Workshops Kumar Madhukar, Ravindra Metta, Priyanka Singh, R. Venkatesh
2013	—	`conf`	Trace based reachability verification for statecharts. FormaliSE@ICSE Kumar Madhukar, Ravindra Metta, Ulka Shrotri, R. Venkatesh
2011	—	`conf`	Verifying Code and Its Optimizations: An Experience Report. ICST Workshops Ravindra Metta
2010	—	`conf`	Proving unreachability using bounded model checking. ISEC Ulka Shrotri, R. Venkatesh, Ravindra Metta
2010	J	`jnl`	The dependence condition graph: Precise conditions for dependence between program points. Comput. Lang. Syst. Struct. Srihari Sukumaran, Ashok Sreenivas, Ravindra Metta