2 citations · 6 across the 13 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
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…
cs.DC2016
Efficient Timestamps for Capturing Causality
Nitin H. Vaidya, Sandeep S. Kulkarni
Consider an asynchronous system consisting of processes that communicate via message-passing. The processes communicate over a potentially {\em incomplete} communication network co…