Publications

2023

Kallwies, Hannes, Leucker Martin, and Sánchez César General Anticipatory Monitoring for Temporal Logics on Finite Traces. 23rd International Conference on Runtime Verification (RV). 2023.

2022

Kallwies, Hannes, Leucker Martin, Scheffel Torben, Schmitz Malte, and Thoma Daniel Aggregate Update Problem for Multi-clocked Dataflow Languages. 2022 IEEE/ACM International Symposium on Code Generation and Optimization (CGO). 2022.

Kallwies, Hannes, Leucker Martin, Sánchez César, and Scheffel Torben Anticipatory Recurrent Monitoring with Uncertainty and Assumptions. 22nd International Conference on Runtime Verification (RV). 2022.

Kallwies, Hannes, Leucker Martin, Prilop Meiko, and Schmitz Malte Optimizing Trans-Compilers in Runtime Verification Makes Sense – Sometimes. International Symposium on Theoretical Aspects of Software Engineering (TASE). 2022.

Friese, Max Jonas, Kallwies Hannes, Leucker Martin, Sachenbacher Martin, Streichhahn Hendrik, and Thoma Daniel Runtime Verification of AUTOSAR Timing Extensions. 30th International Conference on Real-Time Networks and Systems (RTNS). 2022.

Kallwies, Hannes, Leucker Martin, and Sánchez César Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions. 20th Automated Technology for Verification and Analysis (ATVA). 2022.

Kallwies, Hannes, Leucker Martin, Schmitz Malte, Schulz Albert, Thoma Daniel, and Weiss Alexander TeSSLa – An Ecosystem for Runtime Verification. 22nd International Conference on Runtime Verification (RV). 2022.