About

Background Literature

  • Rico Backasch, Christian Hochberger, Alexander Weiss, Martin Leucker, Richard Lasslop: Runtime verification for multicore SoC with high-quality trace data. ACM Trans. Design Autom. Electr. Syst. 18(2): 18 (2013)
  • Boris Dreyer, Christian Hochberger, Simon Wegener, and Alexander Weiss. Precise Continuous Non-Intrusive Measurement-Based Execution Time Estimation. In Francisco J. Cazorla, editor, 15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015), volume 47 of OpenAccess Series in Informatics (OASIcs), pages 45-54, Dagstuhl, Germany, 2015. Schloss Dagstuhl — Leibniz-Zentrum fuer Informatik.
  • Normann Decker, Jannis Harder, Torben Scheffel, Malte Schmitz, Daniel Thoma: Runtime Monitoring with Union-Find Structures. In Marsha Chechik, Jean-François Raskin (Eds.): 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016), volume 9636 of Lecture Notes in Computer Science, Springer, 2016.
  • Boris Dreyer, Christian Hochberger, Alexander Lange, Simon Wegener, and Alexander Weiss. Continuous Non-Intrusive Hybrid WCET Estimation Using Waypoint Graphs. In Martin Schoeberl, editor, 16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016), volume 55 of OpenAccess Series in Informatics (OASIcs), pages 4:1-4:11, Dagstuhl, Germany, 2016. Schloss Dagstuhl — Leibniz-Zentrum fuer Informatik.
  • Martin Leucker, Malte Schmitz, and Danilo à Tellinghusen. Runtime Verification for Interconnected Medical Devices. In ??, editor, 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2016), volume 9953 of Lecture Notes in Computer Science, Springer, 2016.
  • Fernando Macias, Torben Scheffel, Malte Schmitz, and Rui Wang. Integration of Runtime Verification into Metamodeling for Simulation and Code Generation. In ??, editor, 16th International Conference on Runtime Verification (RV 2016), volume 10012 of Lecture Notes in Computer Science, Springer, 2016.
  • Thomas Ballenthin, Boris Dreyer, Christian Hochberger, and Simon Wegener. Hardware Support for Histogram-based Performance Analysis of Embedded Systems. In 20th IEEE International Symposium On Real-time Computing (ISORC 2017), 2017.
  • Philip Gottschling, and Christian Hochberger. ReEP: A Toolset for Generation and Programming of Reconfigurable Datapaths for Event Processing. In 24th Reconfigurable Architectures Workshop (RAW 2017), 2017.
  • Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker, Torben Scheffel, Malte Schmitz, and Alexander Weiss. Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems. In 20th Brazilian Symposium on Formal Methods (SBMF 2017), Lecture Notes in Computer Science, Springer, 2017.
  • Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz and Alexander Schramm. TeSSLa:
    Runtime Verification of Non-synchronized Real-Time Streams.    In ACM Symposium on Applied Computing (SAC 2018), ACM, 2018.
  • Normann Decker, Boris Dreyer, Philip Gottschling, Christian Hochberger, Alexander Lange, Martin Leucker, Torben Scheffel, Simon Wegener and Alexander Weiss. Online Analysis of Debug Trace Data for Embedded Systems. In Design, Automation, and Test in Europe (DATE 2018), IEEE, 2018.
  • Boris Dreyer, Christian Hochberger, Thomas Ballenthin and Simon Wegener. Iterative Histogram-Based Performance Analysis of Embedded Systems. In IEEE Embedded Systems Letters, vol. 11, no. 2, pp. 42-45, June 2019.