Efficient online detection of temporal patterns

Shlomi Dolev, Jonathan Goldfeld, Rami Puzis, K. Muni Venkateswarlu

Research output: Contribution to journalArticlepeer-review


Identifying a temporal pattern of events is a fundamental task of online (real- time) verification. We present efficient schemes for online 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 languageAmerican English
Article numbere53
JournalPeerJ Computer Science
Issue number4
StatePublished - 1 Jan 2016


  • Pattern matching
  • Time series
  • Verification

All Science Journal Classification (ASJC) codes

  • General Computer Science


Dive into the research topics of 'Efficient online detection of temporal patterns'. Together they form a unique fingerprint.

Cite this