Runtime Verification of Temporal Properties over Out-of-Order Data Streams.

David A. Basin, Felix Klaedtke, Eugen Zalinescu

Browse the full CAV paper archive.