Quantitative monitoring of STL with edit distance

Stefan Jaksic; Ezio Bartocci; Radu Grosu; Dejan Nickovic

Quantitative monitoring of STL with edit distance

Stefan Jaksic (Vortragende:r, eingeladen), Ezio Bartocci (Autor:in, eingeladen), Radu Grosu (Autor:in, eingeladen), Dejan Nickovic (Autor:in, eingeladen)

TU Wien

Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

Originalsprache	Englisch
Titel	International Conference on Runtime Verification, RV2016
Seiten	201-218
Seitenumfang	18
Publikationsstatus	Veröffentlicht - 2016
Veranstaltung	2016 International Conference on Runtime Verification - Dauer: 23 Sept. 2016 → 30 Sept. 2016

Konferenz

Konferenz	2016 International Conference on Runtime Verification
Zeitraum	23/09/16 → 30/09/16

Research Field

Nicht definiert

Diese Publikation zitieren

@inproceedings{cf80060b81834e17a2632ab47a3b43f1,

title = "Quantitative monitoring of STL with edit distance",

author = "Stefan Jaksic and Ezio Bartocci and Radu Grosu and Dejan Nickovic",

year = "2016",

language = "English",

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

pages = "201--218",

booktitle = "International Conference on Runtime Verification, RV2016",

note = "2016 International Conference on Runtime Verification ; Conference date: 23-09-2016 Through 30-09-2016",

}

TY - GEN

T1 - Quantitative monitoring of STL with edit distance

A2 - Jaksic, Stefan

A2 - Bartocci, Ezio

A2 - Grosu, Radu

A2 - Nickovic, Dejan

PY - 2016

Y1 - 2016

M3 - Conference Proceedings with Oral Presentation

SN - 978-3-319-46982-9

SP - 201

EP - 218

BT - International Conference on Runtime Verification, RV2016

T2 - 2016 International Conference on Runtime Verification

Y2 - 23 September 2016 through 30 September 2016

ER -