October 1, 2014
Visiting Scholar Heiko Mantel's contributions were recognized at the 14th International Conference on Runtime Verification.
The conference awarded authors David Basin, Germano Caronni, Sarah Ereth, Matúš Harvan, Felix Klaedtke and Heiko Mantel with the Best Paper Award for "Scalable Offline Monitoring."
The paper is available here.
2014-rv-scalableofflinemonitoring.pdf | 429 KB |