Monitoring partially synchronous distributed systems using SMT solvers V Tekken Valapil, S Yingchareonthawornchai, S Kulkarni, E Torng, ... Runtime Verification: 17th International Conference, RV 2017, Seattle, WA …, 2017 | 24 | 2017 |
Precision, recall, and sensitivity of monitoring partially synchronous distributed systems S Yingchareonthawornchai, DN Nguyen, VT Valapil, SS Kulkarni, ... Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain …, 2016 | 23 | 2016 |
Verdict: a language and framework for engineering cyber resilient and safe system B Meng, D Larraz, K Siu, A Moitra, J Interrante, W Smith, S Paul, D Prince, ... Systems 9 (1), 18, 2021 | 12 | 2021 |
Efficient algorithms for predicate detection using hybrid logical clocks S Yingchareonthawornchai, VT Valapil, S Kulkarni, E Torng, M Demirbas Proceedings of the 18th International Conference on Distributed Computing …, 2017 | 10 | 2017 |
Biased Clocks: A Novel Approach to Improve the Ability To Perform Predicate Detection with O(1) Clocks V Tekken Valapil, S Kulkarni International Colloquium on Structural Information and Communication …, 2018 | 6 | 2018 |
Precision, recall, and sensitivity of monitoring partially synchronous distributed programs D Nguyen, S Yingchareonthawornchai, V Tekken Valapil, SS Kulkarni, ... Distributed Computing 34, 319-348, 2021 | 2 | 2021 |
Preserving stabilization while practically bounding state space VT Valapil, SS Kulkarni 2017 13th European Dependable Computing Conference (EDCC), 26-33, 2017 | 2 | 2017 |
Efficient Two-Layered Monitor for Partially Synchronous Distributed Systems VT Valapil, S Kulkarni, E Torng, G Appleton 2020 International Symposium on Reliable Distributed Systems (SRDS), 123-132, 2020 | 1 | 2020 |
Efficient Two-Layered Monitor for Partially Synchronous Distributed Systems (Technical Report) VT Valapil, S Kulkarni, E Torng, G Appleton arXiv preprint arXiv:2007.13030, 2020 | 1 | 2020 |
Derivation of network reprogramming protocol with Z3 V Tekken-Valapil, SS Kulkarni arXiv preprint arXiv:1709.06604, 2017 | 1 | 2017 |
Efficient Two-Layered Monitor for Partially Synchronous Distributed Systems (Technical Report) V Tekken Valapil, S Kulkarni, E Torng, G Appleton arXiv e-prints, arXiv: 2007.13030, 2020 | | 2020 |
Achieving Reliable Distributed Systems: Through Efficient Run-time Monitoring and Predicate Detection VT Valapil Michigan State University, 2020 | | 2020 |
Preserving stabilization while practically bounding state space using incorruptible partially synchronized clocks SSK Vidhya Tekken Valapil Distributed Computing, 1-21, 2019 | | 2019 |
Preserving Stabilization while Practically Bounding State Space V Tekken Valapil, SS Kulkarni arXiv e-prints, arXiv: 1703.09326, 2017 | | 2017 |
Derivation of Network Reprogramming Protocol with Z3. VT Valapil, SS Kulkarni CoRR, 2017 | | 2017 |