A. Weiss

Runtime verification for multicore SoC with high-quality trace data

Martin Leucker, Alexander Weiss, Christian Hochberger, 2013, TODE.

A survey of challenges for runtime verification from advanced application domains (beyond software)

Dejan Nickovic, César Sánchez, Gordon J. Pace, 2018, Formal Methods in System Design.

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

Alexander Weiss, Torben Scheffel, Malte Schmitz, 2018, RV.

Online analysis of debug trace data for embedded systems

Martin Leucker, Alexander Weiss, Normann Decker, 2018, 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).