Ravindra Metta

Employment

• Tata Consultancy Services (India)

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (5)

• Evaluating SMT Solvers on Schedulability Checking Instances
  2025 DOI: 10.1007/978-3-031-81981-0_7
  +Save
• PROTON 2.1: Synthesizing Ranking Functions via fine-tuned locally Hosted LLM (Competition Contribution)
  2025 DOI: 10.1007/978-3-031-90660-2_19
  +Save
• PROTON: PRObes for Termination Or Not (Competition Contribution)
  2024 DOI: 10.1007/978-3-031-57256-2_27
  +Save
• VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution)
  2023 DOI: 10.1007/978-3-031-30820-8_42
  +Save
• VeriFuzz: Good Seeds for Fuzzing (Competition Contribution)
  2022 DOI: 10.1007/978-3-030-99429-7_20
  +Save