Raik Hipler
Research Staff
Imported from old website. Role: Research Staff
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
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
Theses on Offer
Contact Information
hipler@isp.uni-luebeck.de
Address
3rd Floor, Building MFC II
Phone
N/A