1 citations · 2 across the 4 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.DC2017★ 1 cited
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…
cs.DC2017
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…