Runtime Verification for Timed Event Streams with Partial Information.

Martin Leucker César Sánchez Torben Scheffel Malte Schmitz Daniel Thoma

Published in: RV (2019)

Keyphrases

partial information
event streams
episode mining
incomplete information
event driven
complex event processing
data gathering
stream processing
frequent episodes
high volume
model checking
event types
event processing
database systems
data mining
spatio temporal
expert systems