1 citations · 2 across the 4 of their papers we have counts for
4 papers · 1 filter
Efficient Two-Layered Monitor for Partially Synchronous Distributed Systems (Technical Report)
Vidhya Tekken Valapil, Sandeep Kulkarni, Eric Torng +1
Monitoring distributed systems to ensure their correctness is a challenging and expensive but essential problem. It is challenging because while execution of a distributed system c…
Derivation of Network Reprogramming Protocol with Z3
Vidhya Tekken-Valapil, Sandeep S. Kulkarni
Networks protocols are the heart of communication networks. An efficient network protocol does maximum utilization of the underlying network capabilities. Network Protocol synthesi…
Monitoring Partially Synchronous Distributed Systems using SMT Solvers
Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep Kulkarni +2
In this paper, we discuss the feasibility of monitoring partially synchronous distributed systems to detect latent bugs, i.e., errors caused by concurrency and race conditions amon…
Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems
Sorrachai Yingchareonthawornchai, Duong Nguyen, Vidhya Tekken Valapil +2
Runtime verification focuses on analyzing the execution of a given program by a monitor to determine if it is likely to violate its specifications. There is often an impedance mism…