Hannes Kallwies

According to our database, Hannes Kallwies authored at least 14 papers between 2022 and 2026.

Collaborative distances:

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

2026

Symbolic runtime verification for monitoring under uncertainties and assumptions.

Raik Hipler, Hannes Kallwies, Martin Leucker, Marco Montali, César Sánchez, Sarah Winkler

Inf. Softw. Technol., 2026

2025

A Practical Approach to Runtime Verification.

Raik Hipler, Hannes Kallwies, Martin Leucker, Kevin Gillian van Dommele, Jannis Wien

Proceedings of the Runtime Verification - 25th International Conference, 2025

2024

Synchronous stream runtime verification with uncertainties and assumptions.

Hannes Kallwies

PhD thesis, 2024

Adding State to Stream Runtime Verification.

Manuel Caldeira, Hannes Kallwies, Martin Leucker, Daniel Thoma

Proceedings of the Runtime Verification - 24th International Conference, 2024

General Anticipatory Runtime Verification.

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

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

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

Proceedings of the International Workshop on Petri Nets and Software Engineering 2024 co-located with the 45th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2024), June 24, 2024

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