Hannes Kallwies

According to our database, Hannes Kallwies authored at least 10 papers between 2022 and 2024.

Collaborative distances:

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

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