Unifying the Time-Event Spectrum for Stream Runtime Verification.

Felipe Gorostiaga Luis Miguel Danielsson César Sánchez

Published in: RV (2020)

Keyphrases

stream processing
event streams
data streams
event detection
real time
complex events
concurrent systems
model checking
face verification
event driven
events occur
sliding window
artificial intelligence
stream data
fingerprint verification
temporal patterns
multi stream
neural network