Shape Expressions for Specifying and Extracting Signal Features

Dejan Nickovic; Xin Qin; Thomas Ferrère; Cristinel Mateis; Jyotirmoy V. Deshmukh

Shape Expressions for Specifying and Extracting Signal Features

Dejan Nickovic (Speaker, Invited), Xin Qin (Author, Invited), Thomas Ferrère (Author, Invited), Cristinel Mateis (Author, Invited), Jyotirmoy V. Deshmukh (Author, Invited)

Security & Communication Technologies

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

Original language	English
Title of host publication	Runtime verification - 19th International Conference, RV 2019, Porto, Portugal, Octiber 8-11, 2019, Proceedings
Pages	292-309
Number of pages	18
Publication status	Published - 2019
Event	International conference on Runtime Verification (RV) - Duration: 8 Oct 2019 → 11 Oct 2019

Conference

Conference	International conference on Runtime Verification (RV)
Period	8/10/19 → 11/10/19

Research Field

Dependable Systems Engineering

Cite this

@inproceedings{e972c35f7d4f443bac318c5f49f0eb80,

title = "Shape Expressions for Specifying and Extracting Signal Features",

author = "Dejan Nickovic and Xin Qin and Thomas Ferr{\`e}re and Cristinel Mateis and Deshmukh, {Jyotirmoy V.}",

year = "2019",

language = "English",

isbn = "978-3-030-32078-2",

pages = "292--309",

booktitle = "Runtime verification - 19th International Conference, RV 2019, Porto, Portugal, Octiber 8-11, 2019, Proceedings",

note = "International conference on Runtime Verification (RV) ; Conference date: 08-10-2019 Through 11-10-2019",

}

Shape Expressions for Specifying and Extracting Signal Features. / Nickovic, Dejan (Speaker, Invited); Qin, Xin (Author, Invited); Ferrère, Thomas (Author, Invited) et al.
Runtime verification - 19th International Conference, RV 2019, Porto, Portugal, Octiber 8-11, 2019, Proceedings. 2019. p. 292-309.

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

TY - GEN

T1 - Shape Expressions for Specifying and Extracting Signal Features

A2 - Nickovic, Dejan

A2 - Qin, Xin

A2 - Ferrère, Thomas

A2 - Mateis, Cristinel

A2 - Deshmukh, Jyotirmoy V.

PY - 2019

Y1 - 2019

M3 - Conference Proceedings with Oral Presentation

SN - 978-3-030-32078-2

SP - 292

EP - 309

BT - Runtime verification - 19th International Conference, RV 2019, Porto, Portugal, Octiber 8-11, 2019, Proceedings

T2 - International conference on Runtime Verification (RV)

Y2 - 8 October 2019 through 11 October 2019

ER -