Runtime Verification For Timed Event Streams With Partial Information.

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

Published in: CoRR (2019)

Keyphrases

partial information
event streams
episode mining
incomplete information
event driven
complex event processing
high volume
data gathering
frequent episodes
stream processing
event processing
model checking
temporal data
domain specific
data mining
wireless sensor networks
artificial intelligence