| 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 | 24 | 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 | 16 | 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 | 11 | 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 | 3 | 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 |
Sandeep KulkarniMichigan State UniversityAdresse e-mail validée de msu.edu
