Lukas Convent

According to our database, Lukas Convent authored at least 3 papers between 2018 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

Doo bee doo bee doo.

Lukas Convent, Sam Lindley, Conor McBride, Craig McLaughlin

J. Funct. Program., 2020

2018

TeSSLa: Temporal Stream-Based Specification Language.

Lukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma

Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018

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

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

Proceedings of the Runtime Verification - 18th International Conference, 2018