Publications
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.
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 '22). 2022.