Torben Scheffel

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