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]
@inproceedings{SelyuninJNRHBNG17,
title = {Runtime Monitoring with Recovery of the SENT Communication Protocol},
author = {Konstantin Selyunin and Stefan Jaksic and Thang Nguyen and Christian Reidl and Udo Hafner and Ezio Bartocci and Dejan Nickovic and Radu Grosu},
year = {2017},
doi = {10.1007/978-3-319-63387-9_17},
url = {https://doi.org/10.1007/978-3-319-63387-9_17},
researchr = {https://researchr.org/publication/SelyuninJNRHBNG17},
cites = {0},
citedby = {0},
pages = {336-355},
booktitle = {Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I},
editor = {Rupak Majumdar and Viktor Kuncak},
volume = {10426},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-63387-9},
}