Efficient On-line Detection of Temporal Patterns

Shlomi Dolev, Jonathan Goldfeld, Rami Puzis

Research output: Contribution to journalArticlepeer-review

42 Downloads (Pure)


Identifying a temporal pattern of events is a fundamental task of on-line (real-time) verification. We present efficient schemes for on-line monitoring of events for identifying desired/undesired patterns of events. The schemes use preprocessing to ensure that the number of comparisons during run-time is minimized. In particular, the first comparison following the time point when an execution sub-sequence cannot be further extended to satisfy the temporal requirements, halts the process that monitors the sub-sequence.
Original languageEnglish GB
JournalPeerJ Computer Science
StatePublished - 9 Oct 2014


  • cs.DS


Dive into the research topics of 'Efficient On-line Detection of Temporal Patterns'. Together they form a unique fingerprint.

Cite this