A Counting Semantics for Monitoring LTL Specifications over Finite Traces

Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Originalspracheenglisch
TitelComputer Aided Verification
Untertitel30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Seiten547-564
Seitenumfang18
Band1
ISBN (elektronisch)978-3-319-96145-3
DOIs
PublikationsstatusVeröffentlicht - 2018
Veranstaltung30th International Conference on Computer Aided Verification - Oxford, Großbritannien / Vereinigtes Königreich
Dauer: 14 Jul 201817 Jul 2018

Publikationsreihe

NameLecture Notes in Computer Science
Band10980

Konferenz

Konferenz30th International Conference on Computer Aided Verification
KurztitelCAV 2018
LandGroßbritannien / Vereinigtes Königreich
OrtOxford
Zeitraum14/07/1817/07/18

Dies zitieren

Bartocci, E., Bloem, R., Nickovic, D., & Röck, F. (2018). A Counting Semantics for Monitoring LTL Specifications over Finite Traces. in Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I (Band 1, S. 547-564). (Lecture Notes in Computer Science; Band 10980). https://doi.org/10.1007/978-3-319-96145-3_29

A Counting Semantics for Monitoring LTL Specifications over Finite Traces. / Bartocci, Ezio; Bloem, Roderick; Nickovic, Dejan; Röck, Franz.

Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I. Band 1 2018. S. 547-564 (Lecture Notes in Computer Science; Band 10980).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Bartocci, E, Bloem, R, Nickovic, D & Röck, F 2018, A Counting Semantics for Monitoring LTL Specifications over Finite Traces. in Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I. Bd. 1, Lecture Notes in Computer Science, Bd. 10980, S. 547-564, 30th International Conference on Computer Aided Verification, Oxford, Großbritannien / Vereinigtes Königreich, 14/07/18. https://doi.org/10.1007/978-3-319-96145-3_29
Bartocci E, Bloem R, Nickovic D, Röck F. A Counting Semantics for Monitoring LTL Specifications over Finite Traces. in Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I. Band 1. 2018. S. 547-564. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-319-96145-3_29
Bartocci, Ezio ; Bloem, Roderick ; Nickovic, Dejan ; Röck, Franz. / A Counting Semantics for Monitoring LTL Specifications over Finite Traces. Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I. Band 1 2018. S. 547-564 (Lecture Notes in Computer Science).
@inproceedings{bebd493c184549bdb3440d758a31b812,
title = "A Counting Semantics for Monitoring LTL Specifications over Finite Traces",
author = "Ezio Bartocci and Roderick Bloem and Dejan Nickovic and Franz R{\"o}ck",
year = "2018",
doi = "10.1007/978-3-319-96145-3_29",
language = "English",
isbn = "978-3-319-96144-6",
volume = "1",
series = "Lecture Notes in Computer Science",
pages = "547--564",
booktitle = "Computer Aided Verification",

}

TY - GEN

T1 - A Counting Semantics for Monitoring LTL Specifications over Finite Traces

AU - Bartocci, Ezio

AU - Bloem, Roderick

AU - Nickovic, Dejan

AU - Röck, Franz

PY - 2018

Y1 - 2018

U2 - 10.1007/978-3-319-96145-3_29

DO - 10.1007/978-3-319-96145-3_29

M3 - Conference contribution

SN - 978-3-319-96144-6

VL - 1

T3 - Lecture Notes in Computer Science

SP - 547

EP - 564

BT - Computer Aided Verification

ER -