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 -