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 | 31 | 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 | 16 | 2018 |
Automated repair of resource leaks in Android applications BN Bhatt, CA Furia Journal of Systems and Software 192, 111417, 2022 | 15 | 2022 |
Game-based cryptography in HOL A Lochbihler, SR Sefidgar, B Bhatt Archive of Formal Proofs, 2017 | 4 | 2017 |
Trustless Bridges via Random Sampling Light Clients BN Bhatt, F Shirazi, A Stewart Cryptology ePrint Archive, 2025 | | 2025 |