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 | 90 | 2018 |
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 | 62 | 2018 |
Three-valued asynchronous distributed runtime verification T Scheffel, M Schmitz 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign …, 2014 | 38 | 2014 |
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 | 37 | 2018 |
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 | 36 | 2017 |
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 | 29 | 2016 |
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 | 20 | 2019 |
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 | 19 | 2018 |
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, ... | 7 | 2018 |
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 | 6 | 2020 |
LamaConv-logics and automata converter library T Scheffel, M Schmitz, S Hungerecker, M Kabelitz, C Krüger, J Thorn | 5 | 2016 |
Anticipatory recurrent monitoring with uncertainty and assumptions H Kallwies, M Leucker, C Sánchez, T Scheffel International Conference on Runtime Verification, 181-199, 2022 | 4 | 2022 |
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 | 4 | 2016 |
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 | 3 | 2022 |
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, ... | 2 | 2018 |
Expressiveness and Complexity of Stream-based Specification Languages T Scheffel Universität zu Lübeck, 2020 | 1 | 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 | 1 | 2019 |
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 | 1 | 2018 |
Logiken für verteilte Laufzeitverfikation. T Scheffel | 1 | 2014 |
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 |