Sebastian Hungerecker

According to our database, Sebastian Hungerecker authored at least 2 papers in 2018.

Collaborative distances:

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

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