On the complexity of timed pattern matching

Eugene Asarin; Thomas Ferrère; Dejan Nickovic; Dogan Ulus

doi:10.1007/978-3-030-85037-1_2

On the complexity of timed pattern matching

Eugene Asarin
, Thomas Ferrère
, Dejan Nickovic (Speaker)
, Dogan Ulus

Imagination Technologies
Bogazici University

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

Original language	English
Title of host publication	Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings
Publisher	Springer
Pages	15-31
Number of pages	17
ISBN (Print)	978-3-030-85036-4
DOIs	https://doi.org/10.1007/978-3-030-85037-1_2
Publication status	Published - 2021
Event	FORMATS'21 - Duration: 24 Aug 2021 → 26 Aug 2021

Conference

Conference	FORMATS'21
Period	24/08/21 → 26/08/21

Research Field

Dependable Systems Engineering

Access to Document

10.1007/978-3-030-85037-1_2Licence: Unspecified

Cite this

@inproceedings{dd69ac767c01414fb236504ec5c7e6f7,

title = "On the complexity of timed pattern matching",

author = "Eugene Asarin and Thomas Ferr{\`e}re and Dejan Nickovic and Dogan Ulus",

year = "2021",

doi = "10.1007/978-3-030-85037-1\_2",

language = "English",

isbn = "978-3-030-85036-4",

pages = "15--31",

booktitle = "Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings",

publisher = "Springer",

address = "Germany",

note = "FORMATS'21 ; Conference date: 24-08-2021 Through 26-08-2021",

}

On the complexity of timed pattern matching. / Asarin, Eugene; Ferrère, Thomas; Nickovic, Dejan (Speaker) et al.
Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings. Springer, 2021. p. 15-31.

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

TY - GEN

T1 - On the complexity of timed pattern matching

AU - Asarin, Eugene

AU - Ferrère, Thomas

AU - Ulus, Dogan

A2 - Nickovic, Dejan

PY - 2021

Y1 - 2021

U2 - 10.1007/978-3-030-85037-1_2

DO - 10.1007/978-3-030-85037-1_2

M3 - Conference Proceedings with Oral Presentation

SN - 978-3-030-85036-4

SP - 15

EP - 31

BT - Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings

PB - Springer

T2 - FORMATS'21

Y2 - 24 August 2021 through 26 August 2021

ER -