Vidhya Tekken Valapil

Identifiers

No identifiers captured yet.

Papers (3)

1. Monitoring Partially Synchronous Distributed Systems using SMT Solvers cs.DC · 2017 · author #1
2. Preserving Stabilization while Practically Bounding State Space cs.DC · 2017 · author #1
3. Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems cs.DC · 2016 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Murat Demirbas 2 shared papers
• Sandeep Kulkarni 2 shared papers
• Sorrachai Yingchareonthawornchai 2 shared papers
• Duong Nguyen 1 shared papers
• Eric Torng 1 shared papers
• Sandeep S. Kulkarni 1 shared papers