Hannes Kallwies
Former Employee
Recent Publications
Symbolic runtime verification for monitoring under uncertainties and assumptions
Inf. Softw. Technol., 2026
Raik Hipler and Hannes Kallwies and Martin Leucker and Marco Montali and César Sánchez and Sarah Winkler
A Practical Approach to Runtime Verification
Runtime Verification - 25th International Conference, RV 2025, Graz, Austria, September 15-19, 2025, Proceedings, 2025
Raik Hipler and Hannes Kallwies and Martin Leucker and Kevin Gillian Dommele and Jannis Wien
Runtime Verification of Timed Petri Nets
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 - 25, 2024, Geneva, Switzerland, 2024
José Ignacio Requeno and Elena Gómez-Mart'ınez and Hannes Kallwies and Melanie Haustein and Martin Leucker and Volker Stolz and Patrick Stünkel
General Anticipatory Runtime Verification
Computer Aided Verification - 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II, 2024
Raik Hipler and Hannes Kallwies and Martin Leucker and César Sánchez
Adding State to Stream Runtime Verification
Runtime Verification - 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings, 2024
Manuel Caldeira and Hannes Kallwies and Martin Leucker and Daniel Thoma
Theses on Offer
Contact Information
kallwies@placeholder.isp.uni-luebeck.de
Address
N/A
Phone
N/A