Follow
Torben Scheffel
Title
Cited by
Cited by
Year
TeSSLa: temporal stream-based specification language
L Convent, S Hungerecker, M Leucker, T Scheffel, M Schmitz, D Thoma
Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF …, 2018
872018
TeSSLa: runtime verification of non-synchronized real-time streams
M Leucker, C Sánchez, T Scheffel, M Schmitz, A Schramm
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 1925-1933, 2018
602018
Three-valued asynchronous distributed runtime verification
T Scheffel, M Schmitz
2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign …, 2014
372014
Online analysis of debug trace data for embedded systems
N Decker, B Dreyer, P Gottschling, C Hochberger, A Lange, M Leucker, ...
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 851-856, 2018
362018
Rapidly adjustable non-intrusive online monitoring for multi-core systems
N Decker, P Gottschling, C Hochberger, M Leucker, T Scheffel, M Schmitz, ...
Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF …, 2017
352017
Runtime monitoring with union-find structures
N Decker, J Harder, T Scheffel, M Schmitz, D Thoma
International Conference on Tools and Algorithms for the Construction and …, 2016
292016
Runtime verification for timed event streams with partial information
M Leucker, C Sánchez, T Scheffel, M Schmitz, D Thoma
Runtime Verification: 19th International Conference, RV 2019, Porto …, 2019
192019
Hardware-based runtime verification with embedded tracing units and stream processing
L Convent, S Hungerecker, T Scheffel, M Schmitz, D Thoma, A Weiss
International Conference on Runtime Verification, 43-63, 2018
172018
Runtime verification of real-time event streams under non-synchronized arrival
M Leucker, C Sánchez, T Scheffel, M Schmitz, A Schramm
Software Quality Journal 28, 745-787, 2020
62020
Online analysis of debug trace data for embedded systems. In 2018 Design, Automation Test in Europe Conference Exhibition (DATE). 851–856
N Decker, B Dreyer, P Gottschling, C Hochberger, A Lange, M Leucker, ...
62018
LamaConv-logics and automata converter library
T Scheffel, M Schmitz, S Hungerecker, M Kabelitz, C Krüger, J Thorn
52016
Integration of runtime verification into metamodeling for simulation and code generation (position paper)
F Macias, T Scheffel, M Schmitz, R Wang
International Conference on Runtime Verification, 454-461, 2016
42016
Anticipatory recurrent monitoring with uncertainty and assumptions
H Kallwies, M Leucker, C Sánchez, T Scheffel
International Conference on Runtime Verification, 181-199, 2022
32022
Aggregate update problem for multi-clocked dataflow languages
H Kallwies, M Leucker, T Scheffel, M Schmitz, D Thoma
2022 IEEE/ACM International Symposium on Code Generation and Optimization …, 2022
32022
Online analysis of debug trace data for embedded systems. Design Automation and Test in Europe (DATE)(2018), 851–856
N Decker, B Dreyer, P Gottschling, C Hochberger, A Lange, M Leucker, ...
22018
Expressiveness and Complexity of Stream-based Specification Languages
T Scheffel
Universität zu Lübeck, 2020
12020
Non-intrusive runtime verification within a system-on-chip
J Rufino, A Casimiro, FD Lange, M Leucker, T Scheffel, M Schmitz, ...
Ada User Journal 39 (4), 296-299, 2018
12018
Logiken für verteilte Laufzeitverfikation.
T Scheffel
12014
Empowering Multilevel DSMLs with Integrated Runtime Verification
F Macías, A Rutle, V Stolz, T Scheffel, M Schmitz
arXiv preprint arXiv:2005.11366, 2020
2020
Test und Fehlersuche in komplexen Autonomen Systemen
T Preusser, A Schulz, A Weiss, M Heininger, M Leucker, M Schmitz, ...
Echtzeit 2019: Autonome Systeme–50 Jahre PEARL, 33-42, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20