Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems. - Sorrachai Yingchareonthawornchai; Duong N. Nguyen; Vidhya Tekken Valapil; Sandeep S. Kulkarni; Murat Demirbas (RV, 2016)

Preserving Stabilization While Practically Bounding State Space. - Vidhya Tekken Valapil; Sandeep S. Kulkarni (EDCC, 2017)

Efficient Algorithms for Predicate Detection using Hybrid Logical Clocks. - Sorrachai Yingchareonthawornchai; Vidhya Tekken Valapil; Sandeep S. Kulkarni; Eric Torng; Murat Demirbas (ICDCN, 2017)

Monitoring Partially Synchronous Distributed Systems Using SMT Solvers. - Vidhya Tekken Valapil; Sorrachai Yingchareonthawornchai; Sandeep S. Kulkarni; Eric Torng; Murat Demirbas (RV, 2017)

Derivation of Network Reprogramming Protocol with Z3. - Vidhya Tekken Valapil; Sandeep S. Kulkarni (CoRR, 2017)

Biased Clocks: A Novel Approach to Improve the Ability To Perform Predicate Detection with O(1) Clocks. - Vidhya Tekken Valapil; Sandeep S. Kulkarni (SIROCCO, 2018)

Efficient Two-Layered Monitor for Partially Synchronous Distributed Systems. - Vidhya Tekken Valapil; Sandeep S. Kulkarni; Eric Torng; Gabe Appleton (SRDS, 2020)

Efficient Two-Layered Monitor for Partially Synchronous Distributed Systems (Technical Report). - Vidhya Tekken Valapil; Sandeep S. Kulkarni; Eric Torng; Gabe Appleton (CoRR, 2020)

Preserving stabilization while practically bounding state space using incorruptible partially synchronized clocks. - Vidhya Tekken Valapil; Sandeep S. Kulkarni (Distributed Comput., 2020)

Precision, recall, and sensitivity of monitoring partially synchronous distributed programs. - Duong N. Nguyen; Sorrachai Yingchareonthawornchai; Vidhya Tekken Valapil; Sandeep S. Kulkarni; Murat Demirbas (Distributed Comput., 2021)

VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System. - Baoluo Meng; Daniel Larraz; Kit Siu; Abha Moitra; John Interrante; William Smith; Saswata Paul; Daniel Prince; Heber Herencia-Zapana; M. Fareed Arif; Moosa Yahyazadeh; Vidhya Tekken Valapil; et al. (Syst., 2021)