On-line detection and prediction of temporal patterns

Shlomi Dolev, Jonathan Goldfeld, Rami Puzis

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Identifying a temporal pattern of events is a fundamental task of on-line (real-time) verification. In this work we present efficient schemes for on-line monitoring of events for identifying predefined patterns of events. The schemes use preprocessing to ensure that the number of comparisons during run-time is minimized. In particular, obsoloete sub-sequences are discarded to avoid unnecessary comparisons.We use our monitoring scheme for estimating the probability that a random suffix of a given execution will contain the pattern.

Original languageEnglish
Title of host publicationHardware and Software
Subtitle of host publicationVerification and Testing - 7th International Haifa Verification Conference, HVC 2011, Revised Selected Papers
Pages254-256
Number of pages3
DOIs
StatePublished - 5 Nov 2012
Event7th International Haifa Verification Conference, HVC 2011 - Haifa, Israel
Duration: 6 Dec 20118 Dec 2011

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7261 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference7th International Haifa Verification Conference, HVC 2011
Country/TerritoryIsrael
CityHaifa
Period6/12/118/12/11

Fingerprint

Dive into the research topics of 'On-line detection and prediction of temporal patterns'. Together they form a unique fingerprint.

Cite this