Torben Scheffel

According to our database, Torben Scheffel authored at least 15 papers between 2014 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Expressiveness and complexity of stream-based specification languages.

Torben Scheffel

PhD thesis, 2022

Anticipatory Recurrent Monitoring with Uncertainty and Assumptions.

Hannes Kallwies, Martin Leucker, César Sánchez, Torben Scheffel

Proceedings of the Runtime Verification - 22nd International Conference, 2022

Aggregate Update Problem for Multi-clocked Dataflow Languages.

Hannes Kallwies, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2022

2020

Runtime verification of real-time event streams under non-synchronized arrival.

Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm

Softw. Qual. J., 2020

Empowering Multilevel DSMLs with Integrated Runtime Verification.

Fernando Macías, Adrian Rutle, Volker Stolz, Torben Scheffel, Malte Schmitz

CoRR, 2020

2019

Runtime Verification for Timed Event Streams with Partial Information.

Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Daniel Thoma

Proceedings of the Runtime Verification - 19th International Conference, 2019

Test und Fehlersuche in komplexen Autonomen Systemen.

Thomas Preußer, Albert Schulz, Alexander Weiss, Martin Heininger, Martin Leucker, Malte Schmitz, Torben Scheffel, Daniel Thoma

Proceedings of the Echtzeit 2019 - Autonome Systeme, 2019

2018

TeSSLa: Temporal Stream-Based Specification Language.

Lukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma

Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018

TeSSLa: runtime verification of non-synchronized real-time streams.

Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing.

Lukas Convent, Sebastian Hungerecker, Torben Scheffel, Malte Schmitz, Daniel Thoma, Alexander Weiss

Proceedings of the Runtime Verification - 18th International Conference, 2018

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

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017

Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core Systems.

Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker, Torben Scheffel, Malte Schmitz, Alexander Weiss

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

2016

Runtime Monitoring with Union-Find Structures.

Normann Decker, Jannis Harder, Torben Scheffel, Malte Schmitz, Daniel Thoma

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Integration of Runtime Verification into Metamodeling for Simulation and Code Generation (Position Paper).

Fernando Macías, Torben Scheffel, Malte Schmitz, Rui Wang

Proceedings of the Runtime Verification - 16th International Conference, 2016

2014

Three-valued asynchronous distributed runtime verification.

Torben Scheffel, Malte Schmitz

Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014