Bhargav Nagaraja Bhatt

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 5

Top Topics

Metric Temporal Logic

Resource Constraints

Top Venues

J. Syst. Softw.

Formal Methods Syst. Des.

Publications

Bhargav Nagaraja Bhatt, Carlo A. Furia
Automated repair of resource leaks in Android applications. J. Syst. Softw. 192 (2022)
Bhargav Nagaraja Bhatt, Carlo A. Furia
Automated Repair of Resource Leaks in Android Applications. CoRR (2020)
David A. Basin, Bhargav Nagaraja Bhatt, Srdan Krstic, Dmitriy Traytel
Almost event-rate independent monitoring. Formal Methods Syst. Des. 54 (3) (2019)
David A. Basin, Bhargav Nagaraja Bhatt, Dmitriy Traytel
Optimal Proofs for Linear Temporal Logic on Lasso Words. ATVA (2018)
David A. Basin, Bhargav Nagaraja Bhatt, Dmitriy Traytel
Almost Event-Rate Independent Monitoring of Metric Temporal Logic. TACAS (2) (2017)