Bhargav Nagaraja Bhatt

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

Collaborative distances:

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

2025

Trustless Bridges via Random Sampling Light Clients.

Bhargav Nagaraja Bhatt, Fatemeh Shirazi, Alistair Stewart

IACR Cryptol. ePrint Arch., 2025

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