Hannes Kallwies

14 papers A 1B 6C 1Misc 2Journal 2Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Symbolic runtime verification for monitoring under uncertainties and assumptions.
Inf. Softw. Technol.
Raik Hipler, Hannes Kallwies, Martin Leucker, Marco Montali, César Sánchez, Sarah Winkler
2025 B conf
A Practical Approach to Runtime Verification.
RV
Raik Hipler, Hannes Kallwies, Martin Leucker, Kevin Gillian van Dommele, Jannis Wien
2024 B conf
Adding State to Stream Runtime Verification.
RV
Manuel Caldeira, Hannes Kallwies, Martin Leucker, Daniel Thoma
2024 — conf
General Anticipatory Runtime Verification.
CAV (2)
Raik Hipler, Hannes Kallwies, Martin Leucker, César Sánchez
2024 — conf
Runtime Verification of Timed Petri Nets.
PNSE@Petri Nets
José Ignacio Requeno, Elena Gómez-Martínez, Hannes Kallwies, Melanie Haustein, Martin Leucker, Volker Stolz, Patrick Stünkel
2023 B conf
General Anticipatory Monitoring for Temporal Logics on Finite Traces.
RV
Hannes Kallwies, Martin Leucker, César Sánchez
2023 C conf
TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems.
ICTAC
Marian Johannes Begemann, Hannes Kallwies, Martin Leucker, Malte Schmitz
2022 A conf
Aggregate Update Problem for Multi-clocked Dataflow Languages.
CGO
Hannes Kallwies, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma
2022 B conf
Anticipatory Recurrent Monitoring with Uncertainty and Assumptions.
RV
Hannes Kallwies, Martin Leucker, César Sánchez, Torben Scheffel
2022 Misc conf
Optimizing Trans-Compilers in Runtime Verification Makes Sense - Sometimes.
TASE
Hannes Kallwies, Martin Leucker, Meiko Prilop, Malte Schmitz
2022 Misc conf
Runtime Verification of AUTOSAR Timing Extensions.
RTNS
Max Jonas Friese, Hannes Kallwies, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn, Daniel Thoma
2022 B conf
Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions.
ATVA
Hannes Kallwies, Martin Leucker, César Sánchez
2022 J jnl
Symbolic Runtime Verification for Monitoring under Uncertainties and Assumptions.
CoRR
Hannes Kallwies, Martin Leucker, César Sánchez
2022 B conf
TeSSLa - An Ecosystem for Runtime Verification.
RV
Hannes Kallwies, Martin Leucker, Malte Schmitz, Albert Schulz, Daniel Thoma, Alexander Weiss