Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing.

Lukas Convent, Sebastian Hungerecker, Torben Scheffel, Malte Schmitz, Daniel Thoma, Alexander Weiss

Browse the full RV paper archive.