Publications
2020
Convent, Lukas, Lindley Sam, McBride Conor, and McLaughlin Craig
Doo Bee Doo Bee Doo. Journal of Functional Programming. 30 2020.
2018
Convent, Lukas, Hungerecker Sebastian, Scheffel Torben, Schmitz Malte, Thoma Daniel, and Weiss Alexander
Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing. Runtime Verification. Lecture Notes in Computer Science 11237 2018.
Convent, Lukas, Hungerecker Sebastian, Leucker Martin, Scheffel Torben, Schmitz Malte, and Thoma Daniel
TeSSLa: Temporal Stream-Based Specification Language. Brazilian Symposium on Formal Methods SBMF. Lecture Notes in Computer Science 11254 2018.
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Phillip Bende
- Gerhard Buntrock
- David Caraveo
- Lukas Convent
- Elisabeth Husmann
- Hannes Kallwies
- Karam Kharraz
- Uwe Kienitz
- Nikolas Knickrehm
- Grigory Markin
- Maria Ostanina
- André Pedro
- Torben Scheffel
- Malte Schmitz
- Nina Strugalla
- Annette Stümpel
- Daniel Thoma
- Gunnar Bergmann
- Hannes Preiss
- Martin Sachenbacher
- Open Positions
- Contact
- Staff
- Martin Leucker
- Elisabeth Husmann
- Philipp Bende
- Gerhard Buntrock
- David Caraveo
- Lukas Convent
- Hannes Kallwies
- Karam Kharraz
- Uwe Kienitz
- Nikolas Knickrehm
- Grigory Markin
- Maria Ostanina
- Torben Scheffel
- Malte Schmitz
- Nina Strugalla
- Annette Stümpel
- Daniel Thoma
- Gunnar Bergmann
- Hannes Preiß
- Martin Sachenbacher
- Complete List
- Open Positions