Runtime Monitoring with Recovery of the SENT Communication Protocol

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

Konstantin Selyunin (Speaker, Invited), Stefan Jaksic (Author, Invited), Thang Nguyen (Author, Invited), Christian Reidl (Author, Invited), Udo Hafner (Author, Invited), Ezio Bartocci (Author, Invited), Dejan Nickovic (Author, Invited), Radu Grosu (Author, Invited)

TU Wien

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

Original language	English
Title of host publication	Proceedings of the 29th international conference on Computer aided verification
Pages	336-355
Number of pages	20
Publication status	Published - 2017
Event	Proceedings of the 29th international conference on Computer aided verification - Duration: 21 Sept 2017 → 23 Sept 2017

Conference

Conference	Proceedings of the 29th international conference on Computer aided verification
Period	21/09/17 → 23/09/17

Research Field

Not defined

Cite this

@inproceedings{8f6cb1bf7a23420bb8d825af10ea0e0e,

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",

language = "English",

isbn = "978-3-319-63387-9",

pages = "336--355",

booktitle = "Proceedings of the 29th international conference on Computer aided verification",

note = "Proceedings of the 29th international conference on Computer aided verification ; Conference date: 21-09-2017 Through 23-09-2017",

}

Runtime Monitoring with Recovery of the SENT Communication Protocol. / Selyunin, Konstantin (Speaker, Invited); Jaksic, Stefan (Author, Invited); Nguyen, Thang (Author, Invited) et al.
Proceedings of the 29th international conference on Computer aided verification. 2017. p. 336-355.

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

TY - GEN

T1 - Runtime Monitoring with Recovery of the SENT Communication Protocol

A2 - Selyunin, Konstantin

A2 - Jaksic, Stefan

A2 - Nguyen, Thang

A2 - Reidl, Christian

A2 - Hafner, Udo

A2 - Bartocci, Ezio

A2 - Nickovic, Dejan

A2 - Grosu, Radu

PY - 2017

Y1 - 2017

M3 - Conference Proceedings with Oral Presentation

SN - 978-3-319-63387-9

SP - 336

EP - 355

BT - Proceedings of the 29th international conference on Computer aided verification

T2 - Proceedings of the 29th international conference on Computer aided verification

Y2 - 21 September 2017 through 23 September 2017

ER -