Ravindra Metta

According to our database, Ravindra Metta authored at least 26 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A shallow dive into the depths of non-termination checking for C programs.

Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar, R. Venkatesh, Supratik Chakraborty, Samarjit Chakraborty

CoRR, 2024

SMT-based Control Safety Property Checking in Cyber-Physical Systems under Timing Uncertainties.

Anand Yeolekar, Ravindra Metta, Samarjit Chakraborty

Proceedings of the 37th International Conference on VLSI Design and 23rd International Conference on Embedded Systems, 2024

PROTON: PRObes for Termination Or Not (Competition Contribution).

Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar, R. Venkatesh, Supratik Chakraborty

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution).

Ravindra Metta, Prasanth Yeduru, Hrishikesh Karmarkar, Raveendra Kumar Medicherla

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Towards Multi-Language Static Code Analysis.

Sanaa Siddiqui, Ravindra Metta, Kumar Madhukar

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, 2023

2022

Impactful research and tooling for program correctness.

Priyanka Darke, Ravindra Metta, Raveendra Kumar Medicherla, R. Venkatesh

Commun. ACM, 2022

FuzzNT : Checking for Program Non-termination.

Hrishikesh Karmarkar, Raveendra Kumar Medicherla, Ravindra Metta, Prasanth Yeduru

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022

VeriFuzz: Good Seeds for Fuzzing (Competition Contribution).

Ravindra Metta, Raveendra Kumar Medicherla, Hrishikesh Karmarkar

Proceedings of the Fundamental Approaches to Software Engineering, 2022

BMC+Fuzz: Efficient and Effective Test Generation.

Ravindra Metta, Raveendra Kumar Medicherla, Samarjit Chakraborty

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

Checking Scheduling-Induced Violations of Control Safety Properties.

Anand Yeolekar, Ravindra Metta, Clara Hobbs, Samarjit Chakraborty

Proceedings of the Automated Technology for Verification and Analysis, 2022

2019

Scalable and precise estimation and debugging of the worst-case execution time for analysis-friendly processors: a comeback of model checking.

Martin Becker, Ravindra Metta, R. Venkatesh, Samarjit Chakraborty

Int. J. Softw. Tools Technol. Transf., 2019

Imprecision in WCET estimates due to library calls and how to reduce it (WIP paper).

Martin Becker, Samarjit Chakraborty, Ravindra Metta, R. Venkatesh

Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, 2019

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

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018

Scalable and Precise Estimation and Debugging of the Worst-Case Execution Time for Analysis-Friendly Processors.

Martin Becker, Ravindra Metta, R. Venkatesh, Samarjit Chakraborty

CoRR, 2018

Refining Task Specifications using Model Checking.

Anand Yeolekar, Ravindra Metta, R. Venkatesh, Samarjit Chakraborty

Proceedings of the 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2018

2016

TIC: a scalable model checking based approach to WCET estimation.

Ravindra Metta, Martin Becker, Prasad Bokil, Samarjit Chakraborty, R. Venkatesh

Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages, 2016

2015

Verifying synchronous reactive systems using lazy abstraction.

Kumar Madhukar, Mandayam K. Srivas, Björn Wachter, Daniel Kroening, Ravindra Metta

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Over-approximating loops to prove properties using bounded model checking.

Priyanka Darke, Bharti Chimdyalwar, R. Venkatesh, Ulka Shrotri, Ravindra Metta

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

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

Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

2014

A New Code Obfuscation Scheme for Software Protection.

Aniket Kulkarni, Ravindra Metta

Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014

A code obfuscation framework using code clones.

Aniket Kulkarni, Ravindra Metta

Proceedings of the 22nd International Conference on Program Comprehension, 2014

2013

Reachability Verification of Rhapsody Statecharts.

Kumar Madhukar, Ravindra Metta, Priyanka Singh, R. Venkatesh

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Trace based reachability verification for statecharts.

Kumar Madhukar, Ravindra Metta, Ulka Shrotri, R. Venkatesh

Proceedings of the 1st FME Workshop on Formal Methods in Software Engineering, 2013

2011

Verifying Code and Its Optimizations: An Experience Report.

Ravindra Metta

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2010

The dependence condition graph: Precise conditions for dependence between program points.

Srihari Sukumaran, Ashok Sreenivas, Ravindra Metta

Comput. Lang. Syst. Struct., 2010

Proving unreachability using bounded model checking.

Ulka Shrotri, R. Venkatesh, Ravindra Metta

Proceedings of the Proceeding of the 3rd Annual India Software Engineering Conference, 2010