You are here

Home › Staff › Dr. Hannes Kallwies ›

Publications

2024
Caldeira, Manuel, Kallwies Hannes, Leucker Martin, and Thoma Daniel Adding State to Stream Runtime Verification. 24th International Conference on Runtime Verification. 15191 2024.  
Hipler, Raik, Kallwies Hannes, Leucker Martin, and Sánchez César General Anticipatory Runtime Verification. 36th International Conference on Computer Aided Verification (CAV). 2024.  
Requeno, José, Gómez-Martínez Elena, Kallwies Hannes, Haustein Melanie, Leucker Martin, Stolz Volker, and Stünkel Patrick Runtime Verification of Timed Petri Nets. International Workshop on Petri Nets and Software Engineering (PNSE). 2024.  
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.  
Begemann, Marian Johannes, Kallwies Hannes, Leucker Martin, and Schmitz Malte TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems. 20th International Colloquium on Theoretical Aspects of Computing (ICTAC). 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.