Vidhya Tekken Valapil

According to our database, Vidhya Tekken Valapil authored at least 11 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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, Michael Durling, Cesare Tinelli, Omar Chowdhury

Syst., 2021

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

2020

Preserving stabilization while practically bounding state space using incorruptible partially synchronized clocks.

Vidhya Tekken Valapil, Sandeep S. Kulkarni

Distributed Comput., 2020

Efficient Two-Layered Monitor for Partially Synchronous Distributed Systems (Technical Report).

Vidhya Tekken Valapil, Sandeep S. Kulkarni, Eric Torng, Gabe Appleton

CoRR, 2020

Efficient Two-Layered Monitor for Partially Synchronous Distributed Systems.

Vidhya Tekken Valapil, Sandeep S. Kulkarni, Eric Torng, Gabe Appleton

Proceedings of the International Symposium on Reliable Distributed Systems, 2020

2018

Biased Clocks: A Novel Approach to Improve the Ability To Perform Predicate Detection with O(1) Clocks.

Vidhya Tekken Valapil, Sandeep S. Kulkarni

Proceedings of the Structural Information and Communication Complexity, 2018

2017

Derivation of Network Reprogramming Protocol with Z3.

Vidhya Tekken Valapil, Sandeep S. Kulkarni

CoRR, 2017

Monitoring Partially Synchronous Distributed Systems Using SMT Solvers.

Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep S. Kulkarni, Eric Torng, Murat Demirbas

Proceedings of the Runtime Verification - 17th International Conference, 2017

Efficient Algorithms for Predicate Detection using Hybrid Logical Clocks.

Sorrachai Yingchareonthawornchai, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Eric Torng, Murat Demirbas

Proceedings of the 18th International Conference on Distributed Computing and Networking, 2017

Preserving Stabilization While Practically Bounding State Space.

Vidhya Tekken Valapil, Sandeep S. Kulkarni

Proceedings of the 13th European Dependable Computing Conference, 2017

2016

Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems.

Sorrachai Yingchareonthawornchai, Duong N. Nguyen, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Murat Demirbas

Proceedings of the Runtime Verification - 16th International Conference, 2016