Hannes Kallwies

According to our database, Hannes Kallwies authored at least 8 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

General Anticipatory Monitoring for Temporal Logics on Finite Traces.

Hannes Kallwies, Martin Leucker, César Sánchez

Proceedings of the Runtime Verification - 23rd International Conference, 2023

TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems.

Marian Johannes Begemann, Hannes Kallwies, Martin Leucker, Malte Schmitz

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

2022

Optimizing Trans-Compilers in Runtime Verification Makes Sense - Sometimes.

Hannes Kallwies, Martin Leucker, Meiko Prilop, Malte Schmitz

Proceedings of the Theoretical Aspects of Software Engineering, 2022

TeSSLa - An Ecosystem for Runtime Verification.

Hannes Kallwies, Martin Leucker, Malte Schmitz, Albert Schulz, Daniel Thoma, Alexander Weiss

Proceedings of the Runtime Verification - 22nd International Conference, 2022

Anticipatory Recurrent Monitoring with Uncertainty and Assumptions.

Hannes Kallwies, Martin Leucker, César Sánchez, Torben Scheffel

Proceedings of the Runtime Verification - 22nd International Conference, 2022

Runtime Verification of AUTOSAR Timing Extensions.

Max Jonas Friese, Hannes Kallwies, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn, Daniel Thoma

Proceedings of the RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Paris, France, June 7, 2022

Aggregate Update Problem for Multi-clocked Dataflow Languages.

Hannes Kallwies, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2022

Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions.

Hannes Kallwies, Martin Leucker, César Sánchez

Proceedings of the Automated Technology for Verification and Analysis, 2022