Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation

Research output: Contribution to journal › Article › peer-review

Original language	Unknown
Pages (from-to)	161-186
Journal	Annals Of Mathematics And Artificial Intelligence
Volume	62
Issue number	3-4
DOIs	https://doi.org/10.1007/s10472-011-9259-5
Publication status	Published - 1 Jan 2011

Access to Document

@article{b9c2699c7efd4103a57b946efbbd550e,

title = "Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation",

keywords = "Runtime verification, Event detection, Logic programming, Complexity, Temporal logic",

author = "Marco Alberti and Pereira, {Lu{\'i}s Manuel Sancho Moniz}",

note = "10.1007/s10472-011-9259-5",

year = "2011",

month = jan,

day = "1",

doi = "10.1007/s10472-011-9259-5",

language = "Unknown",

volume = "62",

pages = "161--186",

journal = "Annals Of Mathematics And Artificial Intelligence",

issn = "1012-2443",

publisher = "Springer Science Business Media",

number = "3-4",

}

TY - JOUR

T1 - Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation

AU - Alberti, Marco

AU - Pereira, Luís Manuel Sancho Moniz

N1 - 10.1007/s10472-011-9259-5

PY - 2011/1/1

Y1 - 2011/1/1

KW - Runtime verification

KW - Event detection

KW - Logic programming

KW - Complexity

KW - Temporal logic

U2 - 10.1007/s10472-011-9259-5

DO - 10.1007/s10472-011-9259-5

M3 - Article

VL - 62

SP - 161

EP - 186

JO - Annals Of Mathematics And Artificial Intelligence

JF - Annals Of Mathematics And Artificial Intelligence

SN - 1012-2443

IS - 3-4

ER -