Bhargav Nagaraja Bhatt

According to our database, Bhargav Nagaraja Bhatt authored at least 4 papers between 2017 and 2022.

Collaborative distances:

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

2022

Automated repair of resource leaks in Android applications.

Bhargav Nagaraja Bhatt, Carlo A. Furia

J. Syst. Softw., 2022

2019

Almost event-rate independent monitoring.

David A. Basin, Bhargav Nagaraja Bhatt, Srdan Krstic, Dmitriy Traytel

Formal Methods Syst. Des., 2019

2018

Optimal Proofs for Linear Temporal Logic on Lasso Words.

David A. Basin, Bhargav Nagaraja Bhatt, Dmitriy Traytel

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Almost Event-Rate Independent Monitoring of Metric Temporal Logic.

David A. Basin, Bhargav Nagaraja Bhatt, Dmitriy Traytel

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