Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing
Title | Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing |
Publication Type | Conference Paper |
Year of Publication | 2018 |
Authors | Convent, L, Hungerecker, S, Scheffel, T, Schmitz, M, Thoma, D, Weiss, A |
Conference Name | Runtime Verification |
Series | Lecture Notes in Computer Science |
Volume | 11237 |
Publisher | Springer |
Bibtex:
@inproceedings {1309, title = {Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing}, booktitle = {Runtime Verification}, series = {Lecture Notes in Computer Science}, volume = {11237}, year = {2018}, publisher = {Springer}, organization = {Springer}, author = {Lukas Convent and Sebastian Hungerecker and Torben Scheffel and Malte Schmitz and Daniel Thoma and Alexander Weiss} }
PDF: