Sebastian Hungerecker

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 3

Top Topics

Stream Processing

Specification Language

Top Venues

Publications

Lukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma
TeSSLa: Temporal Stream-based Specification Language. CoRR (2018)
Lukas Convent, Sebastian Hungerecker, Torben Scheffel, Malte Schmitz, Daniel Thoma, Alexander Weiss
Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing. RV (2018)
Lukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma
TeSSLa: Temporal Stream-Based Specification Language. SBMF (2018)