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:
