Lukas Convent

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 4

Top Topics

Stream Processing

Specification Language

Top Venues

J. Funct. Program.

Publications

Lukas Convent, Sam Lindley, Conor McBride, Craig McLaughlin
Doo bee doo bee doo. J. Funct. Program. 30 (2020)
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)