HLola: a Very Functional Tool for Extensible Stream Runtime Verification.

Felipe Gorostiaga, Csar Snchez

Browse the full TACAS paper archive.