Publications | Bhargav N Bhatt

Bhargav Nagaraja Bhatt, Carlo A. Furia (2020). Automatic Repair of Resource Leaks in Android Applications. Under Submission.

PDF

David Basin, Bhargav Nagaraja Bhatt, Srđan Krstić, Dmitriy Traytel (2019). Almost Event-Rate Independent Monitoring. Journal: Formal Methods in System Design (FMSD).

PDF Code DOI

David Basin, Bhargav Nagaraja Bhatt, Dmitriy Traytel (2018). Optimal Proofs for Linear Temporal Logic on Lasso Words. In Automated Technology for Verification and Analysis (ATVA), [Distinguished Paper Award] .

Preprint PDF Code Slides DOI

Andreas Lochbihler, S Reza Sefidgar, Bhargav Nagaraja Bhatt (2017). Game-based cryptography in HOL. In Archive of Formal Proofs.

PDF Source Document

David Basin, Bhargav Nagaraja Bhatt, Dmitriy Traytel (2017). Almost Event-Rate Independent Monitoring of Metric Temporal Logic. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS).

Preprint PDF Code Slides DOI