Collaborated with:
K.Selyunin S.Jaksic T.Nguyen C.Reidl E.Bartocci D.Nickovic R.Grosu
Talks about:
recoveri (1) protocol (1) communic (1) monitor (1) runtim (1) sent (1)
Person: Udo Hafner
DBLP: Hafner:Udo
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.