TeSSLa Publications

Publications and Presentations about TeSSLa

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 and 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, and Alexander Weiss:
Online Analysis of Debug Trace Data for Embedded Systems.
Design, Automation and Test in Europe (DATE), IEEE, 2018.
Paper (PDF), Presentation (PDF)

Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker, Torben Scheffel, Malte Schmitz, and 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)