Runtime Monitoring with Recovery of the SENT Communication Protocol - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Konstantin Selyunin, Stefan Jaksic, Thang Nguyen, Christian Reidl, Udo Hafner, Ezio Bartocci, Dejan Nickovic, Radu Grosu. Runtime Monitoring with Recovery of the SENT Communication Protocol. In Rupak Majumdar, Viktor Kuncak, editors, Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I. Volume 10426 of Lecture Notes in Computer Science, pages 336-355, Springer, 2017. [doi]

This author has not been identified. Look up 'Konstantin Selyunin' in GoogleThis author has not been identified. Look up 'Stefan Jaksic' in GoogleThis author has not been identified. Look up 'Thang Nguyen' in GoogleThis author has not been identified. Look up 'Christian Reidl' in GoogleThis author has not been identified. Look up 'Udo Hafner' in GoogleThis author has not been identified. Look up 'Ezio Bartocci' in GoogleThis author has not been identified. Look up 'Dejan Nickovic' in GoogleThis author has not been identified. Look up 'Radu Grosu' in Google

runs on WebDSL