A Practical Approach to Runtime Verification.

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

Browse the full RV paper archive.