Collaborated with:
S.Jaksic T.Nguyen C.Reidl U.Hafner E.Bartocci D.Nickovic R.Grosu
Talks about:
recoveri (1) protocol (1) communic (1) monitor (1) runtim (1) sent (1)
Person: Konstantin Selyunin
DBLP: Selyunin:Konstantin
Contributed to:
Wrote 1 papers:
- CAV-2017-SelyuninJNRHBNG #communication #monitoring #protocol #runtime
- Runtime Monitoring with Recovery of the SENT Communication Protocol (KS, SJ, TN, CR, UH, EB, DN, RG), pp. 336–355.