Publications
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.
2017
Scheffel, Torben, Hungerecker Sebastian, Leucker Martin, Schmitz Malte, and Thoma Daniel
TeSSLa: A Real-Time Specification Language for Runtime Verification of Non-synchronized Streams. Report from Dagstuhl Seminar. Vol. 7, Issue 11, pp. 59–85 2017.
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Diedrich Wolter
- Ulrike Schräger-Ahrens
- Mahmoud Abdelrehim
- Aliyu Ali
- Christopher Walther
- Phillip Bende
- Moritz Bayerkuhnlein
- Marc Bätje
- Tobias Braun
- Gerhard Buntrock
- Raik Dankworth
- Anja Grotrian
- Raik Hipler
- Elaheh Hosseinkhani
- Frauke Kerlin
- Karam Kharraz
- Mohammad Khodaygani
- Ludwig Pechmann
- Waqas Rehan
- Martin Sachenbacher
- Andreas Schuldei
- Mahdi Pourghasem
- Manuel Herbst
- Inger Struve
- Annette Stümpel
- Gesina Schwalbe
- Tobias Schwartz
- Daniel Thoma
- Sparsh Tiwari
- Lars Vosteen
- Open Positions
- Contact
- Staff
- Martin Leucker
- Diedrich Wolter
- Ulrike Schräger-Ahrens
- Mahmoud Abdelrehim
- Aliyu Ali
- Marc Bätje
- Moritz Bayerkuhnlein
- Tobias Braun
- Gerhard Buntrock
- Raik Dankworth
- Enno Friedl
- Manuel Herbst
- Raik Hipler
- Elaheh Hosseinkhani
- Frauke Kerlin
- Karam Kharraz
- Mohammad Khodaygani
- Ludwig Pechmann
- Mahdi Pourghasem
- Waqas Rehan
- Andreas Schuldei
- Inger Struve
- Annette Stümpel
- Gesina Schwalbe
- Tobias Schwartz
- Daniel Thoma
- Sparsh Tiwari
- Lars Vosteen
- Christopher Walther
- Complete List
- Open Positions