Almost Event-Rate Independent Monitoring of Metric Temporal Logic. - David A. Basin; Bhargav Nagaraja Bhatt; Dmitriy Traytel (TACAS (2), 2017)

Optimal Proofs for Linear Temporal Logic on Lasso Words. - David A. Basin; Bhargav Nagaraja Bhatt; Dmitriy Traytel (ATVA, 2018)

Almost event-rate independent monitoring. - David A. Basin; Bhargav Nagaraja Bhatt; Srdan Krstic; Dmitriy Traytel (Formal Methods Syst. Des., 2019)

Automated repair of resource leaks in Android applications. - Bhargav Nagaraja Bhatt; Carlo A. Furia (J. Syst. Softw., 2022)

Trustless Bridges via Random Sampling Light Clients. - Bhargav Nagaraja Bhatt; Fatemeh Shirazi; Alistair Stewart (AFT, 2025)