Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions. - Hannes Kallwies; Martin Leucker; César Sánchez 001 (ATVA, 2022)

Aggregate Update Problem for Multi-clocked Dataflow Languages. - Hannes Kallwies; Martin Leucker; Torben Scheffel; Malte Schmitz 001; Daniel Thoma (CGO, 2022)

Runtime Verification of AUTOSAR Timing Extensions. - Max Jonas Friese; Hannes Kallwies; Martin Leucker; Martin Sachenbacher; Hendrik Streichhahn; Daniel Thoma (RTNS, 2022)

Anticipatory Recurrent Monitoring with Uncertainty and Assumptions. - Hannes Kallwies; Martin Leucker; César Sánchez 001; Torben Scheffel (RV, 2022)

TeSSLa - An Ecosystem for Runtime Verification. - Hannes Kallwies; Martin Leucker; Malte Schmitz 001; Albert Schulz; Daniel Thoma; Alexander Weiss (RV, 2022)

Optimizing Trans-Compilers in Runtime Verification Makes Sense - Sometimes. - Hannes Kallwies; Martin Leucker; Meiko Prilop; Malte Schmitz 001 (TASE, 2022)

TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems. - Marian Johannes Begemann; Hannes Kallwies; Martin Leucker; Malte Schmitz 001 (ICTAC, 2023)

General Anticipatory Monitoring for Temporal Logics on Finite Traces. - Hannes Kallwies; Martin Leucker; César Sánchez 001 (RV, 2023)

Runtime Verification of Timed Petri Nets. - José Ignacio Requeno; Elena Gómez-Martínez; Hannes Kallwies; Melanie Haustein; Martin Leucker; Volker Stolz; Patrick Stünkel (PNSE@Petri Nets, 2024)

General Anticipatory Runtime Verification. - Raik Hipler; Hannes Kallwies; Martin Leucker; César Sánchez 001 (CAV (2), 2024)

Adding State to Stream Runtime Verification. - Manuel Caldeira; Hannes Kallwies; Martin Leucker; Daniel Thoma (RV, 2024)