6 citations · 20 across the 19 of their papers we have counts for
Showing cs.DCShow all
2 papers · 1 filter
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…
cs.DC2016★ 1 cited
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…