1 citations · 2 across the 3 of their papers we have counts for
3 papers
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…