Raik Hipler

According to our database, Raik Hipler authored at least 3 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Symbolic runtime verification for monitoring under uncertainties and assumptions.

Raik Hipler, Hannes Kallwies, Martin Leucker, Marco Montali, César Sánchez, Sarah Winkler

Inf. Softw. Technol., 2026

2025

A Practical Approach to Runtime Verification.

Raik Hipler, Hannes Kallwies, Martin Leucker, Kevin Gillian van Dommele, Jannis Wien

Proceedings of the Runtime Verification - 25th International Conference, 2025

2024

General Anticipatory Runtime Verification.

Raik Hipler, Hannes Kallwies, Martin Leucker, César Sánchez

Proceedings of the Computer Aided Verification - 36th International Conference, 2024