Vidhya Tekken Valapil

14 papers B 4Misc 2Journal 8
YearRankTypeTitle / Venue / Authors
2021 J jnl
Precision, recall, and sensitivity of monitoring partially synchronous distributed programs.
Distributed Comput.
Duong N. Nguyen, Sorrachai Yingchareonthawornchai, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Murat Demirbas
2021 J jnl
VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System.
Syst.
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, Michael Durling, Cesare Tinelli, Omar Chowdhury
2020 J jnl
Efficient Two-Layered Monitor for Partially Synchronous Distributed Systems (Technical Report).
CoRR
Vidhya Tekken Valapil, Sandeep S. Kulkarni, Eric Torng, Gabe Appleton
2020 B conf
Efficient Two-Layered Monitor for Partially Synchronous Distributed Systems.
SRDS
Vidhya Tekken Valapil, Sandeep S. Kulkarni, Eric Torng, Gabe Appleton
2020 J jnl
Preserving stabilization while practically bounding state space using incorruptible partially synchronized clocks.
Distributed Comput.
Vidhya Tekken Valapil, Sandeep S. Kulkarni
2018 B conf
Biased Clocks: A Novel Approach to Improve the Ability To Perform Predicate Detection with O(1) Clocks.
SIROCCO
Vidhya Tekken Valapil, Sandeep S. Kulkarni
2017 J jnl
Derivation of Network Reprogramming Protocol with Z3.
CoRR
Vidhya Tekken Valapil, Sandeep S. Kulkarni
2017 Misc conf
Efficient Algorithms for Predicate Detection using Hybrid Logical Clocks.
ICDCN
Sorrachai Yingchareonthawornchai, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Eric Torng, Murat Demirbas
2017 B conf
Monitoring Partially Synchronous Distributed Systems Using SMT Solvers.
RV
Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep S. Kulkarni, Eric Torng, Murat Demirbas
2017 J jnl
Monitoring Partially Synchronous Distributed Systems using SMT Solvers.
CoRR
Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep S. Kulkarni, Eric Torng, Murat Demirbas
2017 Misc conf
Preserving Stabilization While Practically Bounding State Space.
EDCC
Vidhya Tekken Valapil, Sandeep S. Kulkarni
2017 J jnl
Preserving Stabilization while Practically Bounding State Space.
CoRR
Vidhya Tekken Valapil, Sandeep S. Kulkarni
2016 B conf
Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems.
RV
Sorrachai Yingchareonthawornchai, Duong N. Nguyen, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Murat Demirbas
2016 J jnl
Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems.
CoRR
Sorrachai Yingchareonthawornchai, Duong N. Nguyen, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Murat Demirbas