TeSSLa: A Real-Time Specification Language for Runtime Verification of Non-synchronized Streams
Title | TeSSLa: A Real-Time Specification Language for Runtime Verification of Non-synchronized Streams |
Publication Type | Conference Paper |
Year of Publication | 2017 |
Authors | Scheffel, T, Hungerecker, S, Leucker, M, Schmitz, M, Thoma, D |
Conference Name | Report from Dagstuhl Seminar |
Volume | Vol. 7, Issue 11, pp. 59–85 |
Publisher | Dagstuhl Reports |
Bibtex:
@inproceedings {1304, title = {TeSSLa: A Real-Time Specification Language for Runtime Verification of Non-synchronized Streams}, booktitle = {Report from Dagstuhl Seminar}, volume = {Vol. 7, Issue 11, pp. 59{\textendash}85}, year = {2017}, publisher = {Dagstuhl Reports}, organization = {Dagstuhl Reports}, author = {Torben Scheffel and Sebastian Hungerecker and Martin Leucker and Malte Schmitz and Daniel Thoma} }
PDF: