| Almost event-rate independent monitoring of metric temporal logic D Basin, BN Bhatt, D Traytel Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 30 | 2017 |
| Almost event-rate independent monitoring D Basin, BN Bhatt, S Krstić, D Traytel Formal Methods in System Design 54, 449-478, 2019 | 17 | 2019 |
| Optimal proofs for linear temporal logic on lasso words D Basin, BN Bhatt, D Traytel Automated Technology for Verification and Analysis: 16th International …, 2018 | 14 | 2018 |
| Automated repair of resource leaks in Android applications BN Bhatt, CA Furia Journal of Systems and Software 192, 111417, 2022 | 11 | 2022 |
| Game-based cryptography in HOL A Lochbihler, SR Sefidgar, B Bhatt Archive of Formal Proofs, 2017 | 4 | 2017 |
