Torben Scheffel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
2014–2022
Best venue rank
B
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | CGO | Aggregate Update Problem for Multi-clocked Dataflow Languages. | Hannes Kallwies, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma |
| 2022 | RV | Anticipatory Recurrent Monitoring with Uncertainty and Assumptions. | Hannes Kallwies, Martin Leucker, Csar Snchez, Torben Scheffel |
| 2019 | RV | Runtime Verification for Timed Event Streams with Partial Information. | Martin Leucker, Csar Snchez, Torben Scheffel, Malte Schmitz, Daniel Thoma |
| 2018 | DATE | 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 |
| 2018 | SAC | TeSSLa: runtime verification of non-synchronized real-time streams. | Martin Leucker, Csar Snchez, Torben Scheffel, Malte Schmitz, Alexander Schramm |
| 2018 | RV | Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing. | Lukas Convent, Sebastian Hungerecker, Torben Scheffel, Malte Schmitz, Daniel Thoma, Alexander Weiss |
| 2016 | RV | Integration of Runtime Verification into Metamodeling for Simulation and Code Generation (Position Paper). | Fernando Macas, Torben Scheffel, Malte Schmitz, Rui Wang |
| 2016 | TACAS | Runtime Monitoring with Union-Find Structures. | Normann Decker, Jannis Harder, Torben Scheffel, Malte Schmitz, Daniel Thoma |
| 2014 | MEMOCODE | Three-valued asynchronous distributed runtime verification. | Torben Scheffel, Malte Schmitz |