Three-valued asynchronous distributed runtime verification. - Torben Scheffel; Malte Schmitz 001 (MEMOCODE, 2014)

Integration of Runtime Verification into Metamodeling for Simulation and Code Generation (Position Paper). - Fernando Macías; Torben Scheffel; Malte Schmitz 001; Rui Wang (RV, 2016)

Runtime Monitoring with Union-Find Structures. - Normann Decker; Jannis Harder 001; Torben Scheffel; Malte Schmitz 001; Daniel Thoma (TACAS, 2016)

Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems. - Normann Decker; Philip Gottschling; Christian Hochberger; Martin Leucker; Torben Scheffel; Malte Schmitz 001; Alexander Weiss (SBMF, 2017)

Online analysis of debug trace data for embedded systems. - Normann Decker; Boris Dreyer; Philip Gottschling; Christian Hochberger; Alexander Lange; Martin Leucker; Torben Scheffel; Simon Wegener; Alexander Weiss (DATE, 2018)

Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing. - Lukas Convent; Sebastian Hungerecker; Torben Scheffel; Malte Schmitz 001; Daniel Thoma; Alexander Weiss (RV, 2018)

TeSSLa: runtime verification of non-synchronized real-time streams. - Martin Leucker; César Sánchez 001; Torben Scheffel; Malte Schmitz 001; Alexander Schramm (SAC, 2018)

TeSSLa: Temporal Stream-Based Specification Language. - Lukas Convent; Sebastian Hungerecker; Martin Leucker; Torben Scheffel; Malte Schmitz 001; Daniel Thoma (SBMF, 2018)

Test und Fehlersuche in komplexen Autonomen Systemen. - Thomas Preußer; Albert Schulz; Alexander Weiss; Martin Heininger; Martin Leucker; Malte Schmitz 001; Torben Scheffel; Daniel Thoma (Echtzeit, 2019)

Runtime Verification for Timed Event Streams with Partial Information. - Martin Leucker; César Sánchez 001; Torben Scheffel; Malte Schmitz 001; Daniel Thoma (RV, 2019)

Empowering Multilevel DSMLs with Integrated Runtime Verification. - Fernando Macías; Adrian Rutle; Volker Stolz; Torben Scheffel; Malte Schmitz 001 (CoRR, 2020)

Runtime verification of real-time event streams under non-synchronized arrival. - Martin Leucker; César Sánchez 001; Torben Scheffel; Malte Schmitz 001; Alexander Schramm (Softw. Qual. J., 2020)

Aggregate Update Problem for Multi-clocked Dataflow Languages. - Hannes Kallwies; Martin Leucker; Torben Scheffel; Malte Schmitz 001; Daniel Thoma (CGO, 2022)

Anticipatory Recurrent Monitoring with Uncertainty and Assumptions. - Hannes Kallwies; Martin Leucker; César Sánchez 001; Torben Scheffel (RV, 2022)

Expressiveness and complexity of stream-based specification languages. - Torben Scheffel (2022)