Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing. - Lukas Convent; Sebastian Hungerecker; Torben Scheffel; Malte Schmitz 001; Daniel Thoma; Alexander Weiss (RV, 2018)

TeSSLa: Temporal Stream-Based Specification Language. - Lukas Convent; Sebastian Hungerecker; Martin Leucker; Torben Scheffel; Malte Schmitz 001; Daniel Thoma (SBMF, 2018)