Hannes Kallwies
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
7
Active years
2022–2025
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | RV | A Practical Approach to Runtime Verification. | Raik Hipler, Hannes Kallwies, Martin Leucker, Kevin Gillian van Dommele, Jannis Wien |
| 2024 | CAV | General Anticipatory Runtime Verification. | Raik Hipler, Hannes Kallwies, Martin Leucker, Csar Snchez |
| 2024 | RV | Adding State to Stream Runtime Verification. | Manuel Caldeira, Hannes Kallwies, Martin Leucker, Daniel Thoma |
| 2023 | ICTAC | TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems. | Marian Johannes Begemann, Hannes Kallwies, Martin Leucker, Malte Schmitz |
| 2023 | RV | General Anticipatory Monitoring for Temporal Logics on Finite Traces. | Hannes Kallwies, Martin Leucker, Csar Snchez |
| 2022 | ATVA | Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions. | Hannes Kallwies, Martin Leucker, Csar Snchez |
| 2022 | CGO | Aggregate Update Problem for Multi-clocked Dataflow Languages. | Hannes Kallwies, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma |
| 2022 | RTNS | Runtime Verification of AUTOSAR Timing Extensions. | Max Jonas Friese, Hannes Kallwies, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn, Daniel Thoma |
| 2022 | RV | Anticipatory Recurrent Monitoring with Uncertainty and Assumptions. | Hannes Kallwies, Martin Leucker, Csar Snchez, Torben Scheffel |
| 2022 | RV | TeSSLa - An Ecosystem for Runtime Verification. | Hannes Kallwies, Martin Leucker, Malte Schmitz, Albert Schulz, Daniel Thoma, Alexander Weiss |
| 2022 | TASE | Optimizing Trans-Compilers in Runtime Verification Makes Sense - Sometimes. | Hannes Kallwies, Martin Leucker, Meiko Prilop, Malte Schmitz |