Torben Scheffel

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 15

Top Topics

Frequent Episodes

Stream Processing

Specification Language

Top Venues

Publications

Hannes Kallwies, Martin Leucker, César Sánchez, Torben Scheffel
Anticipatory Recurrent Monitoring with Uncertainty and Assumptions. RV (2022)
Hannes Kallwies, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma
Aggregate Update Problem for Multi-clocked Dataflow Languages. CGO (2022)
Fernando Macías, Adrian Rutle, Volker Stolz, Torben Scheffel, Malte Schmitz
Empowering Multilevel DSMLs with Integrated Runtime Verification. CoRR (2020)
Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm
Runtime verification of real-time event streams under non-synchronized arrival. Softw. Qual. J. 28 (2) (2020)
Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Daniel Thoma
Runtime Verification For Timed Event Streams With Partial Information. CoRR (2019)
Thomas Preußer, Albert Schulz, Alexander Weiss, Martin Heininger, Martin Leucker, Malte Schmitz, Torben Scheffel, Daniel Thoma
Test und Fehlersuche in komplexen Autonomen Systemen. Echtzeit (2019)
Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Daniel Thoma
Runtime Verification for Timed Event Streams with Partial Information. RV (2019)
Lukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma
TeSSLa: Temporal Stream-based Specification Language. CoRR (2018)
Lukas Convent, Sebastian Hungerecker, Torben Scheffel, Malte Schmitz, Daniel Thoma, Alexander Weiss
Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing. RV (2018)
Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm
TeSSLa: runtime verification of non-synchronized real-time streams. SAC (2018)
Lukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma
TeSSLa: Temporal Stream-Based Specification Language. SBMF (2018)
Normann Decker, Boris Dreyer, Philip Gottschling, Christian Hochberger, Alexander Lange, Martin Leucker, Torben Scheffel, Simon Wegener, Alexander Weiss
Online analysis of debug trace data for embedded systems. DATE (2018)
Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker, Torben Scheffel, Malte Schmitz, Alexander Weiss
Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems. SBMF (2017)
Normann Decker, Jannis Harder, Torben Scheffel, Malte Schmitz, Daniel Thoma
Runtime Monitoring with Union-Find Structures. TACAS (2016)
Fernando Macías, Torben Scheffel, Malte Schmitz, Rui Wang
Integration of Runtime Verification into Metamodeling for Simulation and Code Generation (Position Paper). RV (2016)
Torben Scheffel, Malte Schmitz
Three-valued asynchronous distributed runtime verification. MEMOCODE (2014)