Lukas Convent, Sebastian Hungerecker, Torben Scheffel, Malte Schmitz 0001, Daniel Thoma, Alexander Weiss. Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing. In Christian Colombo, Martin Leucker, editors, Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings. Volume 11237 of Lecture Notes in Computer Science, pages 43-63, Springer, 2018. [doi]
Abstract is missing.