Ravindra Metta

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 15

Top Topics

Pspace Complete

Formal Specification

Reactive Systems

Top Venues

Publications

Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar, R. Venkatesh, Supratik Chakraborty
PROTON: PRObes for Termination Or Not (Competition Contribution). TACAS (3) (2024)
Anand Yeolekar, Ravindra Metta, Samarjit Chakraborty
SMT-based Control Safety Property Checking in Cyber-Physical Systems under Timing Uncertainties. VLSID (2024)
Ravindra Metta, Prasanth Yeduru, Hrishikesh Karmarkar, Raveendra Kumar Medicherla
VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). TACAS (2) (2023)
Sanaa Siddiqui, Ravindra Metta, Kumar Madhukar
Towards Multi-Language Static Code Analysis. ISSREW (2023)
Ravindra Metta, Raveendra Kumar Medicherla, Hrishikesh Karmarkar
VeriFuzz: Good Seeds for Fuzzing (Competition Contribution). FASE (2022)
Priyanka Darke, Ravindra Metta, Raveendra Kumar Medicherla, R. Venkatesh
Impactful research and tooling for program correctness. Commun. ACM 65 (11) (2022)
Anand Yeolekar, Ravindra Metta, Clara Hobbs, Samarjit Chakraborty
Checking Scheduling-Induced Violations of Control Safety Properties. ATVA (2022)
Hrishikesh Karmarkar, Raveendra Kumar Medicherla, Ravindra Metta, Prasanth Yeduru
FuzzNT : Checking for Program Non-termination. ICSME (2022)
Ravindra Metta, Raveendra Kumar Medicherla, Samarjit Chakraborty
BMC+Fuzz: Efficient and Effective Test Generation. DATE (2022)
Samarjit Chakraborty, James H. Anderson, Martin Becker, Helmut Graeb, Samiran Halder, Ravindra Metta, Lothar Thiele, Stavros Tripakis, Anand Yeolekar
Cross-Layer Interactions in CPS for Performance and Certification. DATE (2019)
Martin Becker, Samarjit Chakraborty, Ravindra Metta, R. Venkatesh
Imprecision in WCET estimates due to library calls and how to reduce it (WIP paper). LCTES (2019)
Martin Becker, Ravindra Metta, R. Venkatesh, Samarjit Chakraborty
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. 21 (5) (2019)
Martin Becker, Ravindra Metta, R. Venkatesh, Samarjit Chakraborty
Scalable and Precise Estimation and Debugging of the Worst-Case Execution Time for Analysis-Friendly Processors. CoRR (2018)
Anand Yeolekar, Ravindra Metta, R. Venkatesh, Samarjit Chakraborty
Refining Task Specifications using Model Checking. RTCSA (2018)
Ravindra Metta, Martin Becker, Prasad Bokil, Samarjit Chakraborty, R. Venkatesh
TIC: a scalable model checking based approach to WCET estimation. LCTES (2016)
Kumar Madhukar, Mandayam K. Srivas, Björn Wachter, Daniel Kroening, Ravindra Metta
Verifying synchronous reactive systems using lazy abstraction. DATE (2015)
Priyanka Darke, Bharti Chimdyalwar, R. Venkatesh, Ulka Shrotri, Ravindra Metta
Over-approximating loops to prove properties using bounded model checking. DATE (2015)
Martin Becker, Sajid Mohamed, Karsten Albers, P. P. Chakrabarti, Samarjit Chakraborty, Pallab Dasgupta, Soumyajit Dey, Ravindra Metta
Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow. APSEC (2015)
Aniket Kulkarni, Ravindra Metta
A New Code Obfuscation Scheme for Software Protection. SOSE (2014)
Aniket Kulkarni, Ravindra Metta
A code obfuscation framework using code clones. ICPC (2014)
Kumar Madhukar, Ravindra Metta, Priyanka Singh, R. Venkatesh
Reachability Verification of Rhapsody Statecharts. ICST Workshops (2013)
Kumar Madhukar, Ravindra Metta, Ulka Shrotri, R. Venkatesh
Trace based reachability verification for statecharts. FormaliSE@ICSE (2013)
Ravindra Metta
Verifying Code and Its Optimizations: An Experience Report. ICST Workshops (2011)
Srihari Sukumaran, Ashok Sreenivas, Ravindra Metta
The dependence condition graph: Precise conditions for dependence between program points. Comput. Lang. Syst. Struct. 36 (1) (2010)
Ulka Shrotri, R. Venkatesh, Ravindra Metta
Proving unreachability using bounded model checking. ISEC (2010)