On-line detection and prediction of temporal patterns

Shlomi Dolev; Jonathan Goldfeld; Rami Puzis

doi:10.1007/978-3-642-34188-5_23

On-line detection and prediction of temporal patterns

Shlomi Dolev, Jonathan Goldfeld, Rami Puzis

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-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 language	English
Title of host publication	Hardware and Software
Subtitle of host publication	Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Revised Selected Papers
Pages	254-256
Number of pages	3
DOIs	https://doi.org/10.1007/978-3-642-34188-5_23
State	Published - 5 Nov 2012
Event	7th International Haifa Verification Conference, HVC 2011 - Haifa, Israel Duration: 6 Dec 2011 → 8 Dec 2011

Publication series

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

Conference

Conference	7th International Haifa Verification Conference, HVC 2011
Country/Territory	Israel
City	Haifa
Period	6/12/11 → 8/12/11

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-642-34188-5_23

Cite this

Dolev, S., Goldfeld, J., & Puzis, R. (2012). On-line detection and prediction of temporal patterns. In Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Revised Selected Papers (pp. 254-256). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7261 LNCS). https://doi.org/10.1007/978-3-642-34188-5_23

Dolev, Shlomi ; Goldfeld, Jonathan ; Puzis, Rami. / On-line detection and prediction of temporal patterns. Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Revised Selected Papers. 2012. pp. 254-256 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{63f8bd10617d4b55a476760dcfd06ae5,

title = "On-line detection and prediction of temporal patterns",

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.",

author = "Shlomi Dolev and Jonathan Goldfeld and Rami Puzis",

note = "Funding Information: Partially supported by Deutsche Telekom, Rita Altura Trust Chair in Computer Sciences, Lynne and William Frankel Center for Computer Sciences, Israel Science Foundation (grant number 428/11), Cabarnit Cyber Security MAGNET Consortium, Grant from the Institute for Future Defense Technologies Research named for the Medvedi of the Technion, Israeli Internet Association, and Israeli Defense Secretary (MAFAT).; 7th International Haifa Verification Conference, HVC 2011 ; Conference date: 06-12-2011 Through 08-12-2011",

year = "2012",

month = nov,

day = "5",

doi = "10.1007/978-3-642-34188-5_23",

language = "English",

isbn = "9783642341878",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "254--256",

booktitle = "Hardware and Software",

}

Dolev, S, Goldfeld, J & Puzis, R 2012, On-line detection and prediction of temporal patterns. in Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7261 LNCS, pp. 254-256, 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, 6/12/11. https://doi.org/10.1007/978-3-642-34188-5_23

On-line detection and prediction of temporal patterns. / Dolev, Shlomi; Goldfeld, Jonathan; Puzis, Rami.
Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Revised Selected Papers. 2012. p. 254-256 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7261 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - On-line detection and prediction of temporal patterns

AU - Dolev, Shlomi

AU - Goldfeld, Jonathan

AU - Puzis, Rami

N1 - Funding Information: Partially supported by Deutsche Telekom, Rita Altura Trust Chair in Computer Sciences, Lynne and William Frankel Center for Computer Sciences, Israel Science Foundation (grant number 428/11), Cabarnit Cyber Security MAGNET Consortium, Grant from the Institute for Future Defense Technologies Research named for the Medvedi of the Technion, Israeli Internet Association, and Israeli Defense Secretary (MAFAT).

PY - 2012/11/5

Y1 - 2012/11/5

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84868097102&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-34188-5_23

DO - 10.1007/978-3-642-34188-5_23

M3 - Conference contribution

SN - 9783642341878

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 254

EP - 256

BT - Hardware and Software

T2 - 7th International Haifa Verification Conference, HVC 2011

Y2 - 6 December 2011 through 8 December 2011

ER -

Dolev S, Goldfeld J, Puzis R. On-line detection and prediction of temporal patterns. In Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Revised Selected Papers. 2012. p. 254-256. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-34188-5_23

On-line detection and prediction of temporal patterns

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this