Hannes Kallwies

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 11

Top Topics

Timed Petri Nets

Mazurkiewicz Traces

Top Venues

PNSE@Petri Nets

Publications

José Ignacio Requeno, Elena Gómez-Martínez, Hannes Kallwies, Melanie Haustein, Martin Leucker, Volker Stolz, Patrick Stünkel
Runtime Verification of Timed Petri Nets. PNSE@Petri Nets (2024)
Raik Hipler, Hannes Kallwies, Martin Leucker, César Sánchez
General Anticipatory Runtime Verification. CAV (2) (2024)
Marian Johannes Begemann, Hannes Kallwies, Martin Leucker, Malte Schmitz
TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems. ICTAC (2023)
Hannes Kallwies, Martin Leucker, César Sánchez
General Anticipatory Monitoring for Temporal Logics on Finite Traces. RV (2023)
Hannes Kallwies, Martin Leucker, Meiko Prilop, Malte Schmitz
Optimizing Trans-Compilers in Runtime Verification Makes Sense - Sometimes. TASE (2022)
Hannes Kallwies, Martin Leucker, César Sánchez
Symbolic Runtime Verification for Monitoring under Uncertainties and Assumptions. CoRR (2022)
Hannes Kallwies, Martin Leucker, Malte Schmitz, Albert Schulz, Daniel Thoma, Alexander Weiss
TeSSLa - An Ecosystem for Runtime Verification. RV (2022)
Hannes Kallwies, Martin Leucker, César Sánchez, Torben Scheffel
Anticipatory Recurrent Monitoring with Uncertainty and Assumptions. RV (2022)
Hannes Kallwies, Martin Leucker, César Sánchez
Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions. ATVA (2022)
Max Jonas Friese, Hannes Kallwies, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn, Daniel Thoma
Runtime Verification of AUTOSAR Timing Extensions. RTNS (2022)
Hannes Kallwies, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma
Aggregate Update Problem for Multi-clocked Dataflow Languages. CGO (2022)