TeSSLa Publications

Publications and Presentations about TeSSLa

José Ignacio Requeno Jarabo, Elena Gómez-Martínez, Hannes Kallwies, Melanie Haustein, Martin Leucker, Volker Stolz, Patrick Stünkel:
Runtime Verification of Timed Petri Nets
International Workshop on Petri Nets and Software Engineering 2024 (PNSE '24), pp. 122-131, 2024, CEUR Workshop Proceedings.
Paper (CEUR), Artifact

Marian Johannes Begemann, Hannes Kallwies, Martin Leucker, Malte Schmitz:
TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems
20th International Colloquium on Theoretical Aspects of Computing 2023, (ICTAC '23), pp. 388-398, 2023, LNCS, Springer.
Paper (Springer), Presentation (PDF) Blog Entry

Malte Schmitz:
Efficient Implementation of Stream Transformations
Dissertation, 2022, University of Lübeck.
Thesis (PDF)

Hannes Kallwies, Martin Leucker, Malte Schmitz, Albert Schulz, Daniel Thoma, Alexander Weiss:
TeSSLa – An Ecosystem For Runtime Verification
22nd International Conference on Runtime Verification 2022 (RV '22), pp. 314-324, 2022, LNCS, Springer.
Paper (PDF), Presentation (PDF)

Hannes Kallwies, Martin Leucker, Meiko Prilop, Malte Schmitz:
Optimizing Trans-Compilers in Runtime Verification Makes Sense - Sometimes
Theoretical Aspects of Software Engineering - 16th International Symposium 2022 (TASE '22), pp. 197-204, 2022, LNCS, Springer.
Paper (Springer), Presentation (PDF)

Max Jonas Friese, Hannes Kallwies, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn, Daniel Thoma:
Runtime Verification of AUTOSAR Timing Extensions
30th International Conference on Real-Time Networks and Systems (RTNS '22), pp. 173-183, 2022, ACM.
Paper (ACM DL), Presentation (PDF) TeSSLa TADL2/Autosar Timex Library

Hannes Kallwies, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma:
Aggregate Update Problem for Multi-clocked Dataflow Languages
Symposium on Code Generation and Optimization (CGO), pp. 79-91, 2022, IEEE.
Paper (PDF), Presentation (PDF)

Torben Scheffel:
Expressiveness and Complexity of Stream-based Specification Languages
Dissertation, 2021, University of Lübeck.
Thesis (PDF)

Hannes Kallwies, Martin Leucker, César Sánchez, Malte Schmitz, Daniel Thoma:
Tutorial on Stream-based Runtime Verification
3rd World Congress on Formal Methods, 11. October 2019
Practical Demonstration (PDF), Introduction to TeSSLa (PDF), TeSSLa in Practice

Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Daniel Thoma:
Runtime Verification For Timed Event Streams With Partial Information.
19th International Conference on Runtime Verification (RV), pp. 273–291, 2019, LNCS, Springer.
arXiv:1907.07761 [cs.LO], Paper (PDF), Presentation (PDF), Interactive Examples

Lukas Convent, Sebastian Hungerecker, Torben Scheffel, Malte Schmitz, Daniel Thoma, Alexander Weiss:
Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing.
18th International Conference on Runtime Verification (RV), pp. 43–63, 2018, LNCS, Springer.
Paper (PDF), Presentation (PDF)

Lukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma:
TeSSLa: Temporal Stream-based Specification Language.
Brazilian Symposium on Formal Methods (SBMF), pp. 144–162, 2018, LNCS, Springer.
arXiv:1808.10717 [cs.FL], Paper (PDF), Presentation (PDF)

Martin Leucker, Cesar Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm:
TeSSLa: Runtime Verification of Non-synchronized Real-Time Streams.
ACM Symposium on Applied Computing (SAC) 2018, pp. 1925-1933.
Paper (PDF)

Normann Decker, Boris Dreyer, Philip Gottschling, Christian Hochberger, Alexanders Lange, Martin Leucker, Torben Scheffel, Simon Wegener, Alexander Weiss:
Online Analysis of Debug Trace Data for Embedded Systems.
Design, Automation and Test in Europe (DATE), 2018, IEEE.
Paper (PDF), Presentation (PDF)

Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker, Torben Scheffel, Malte Schmitz, Alexander Weiss:
Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems.
Brazilian Symposium on Formal Methods (SBMF), pp. 179–196, 2017, LNCS, Springer.
Paper (PDF), Presentation (PDF)

Torben Scheffel, Sebastian Hungerecker, Martin Leucker, Malte Schmitz, Daniel Thoma:
TeSSLa: A Real-Time Specification Language for Runtime Verification of Non-synchronized Streams.
A Shared Challenge in Behavioural Specification, Report from Dagstuhl Seminar 17462, 2017.
Paper (PDF), GitHub Repository, Presentation (PDF)