A Counting Semantics for Monitoring LTL Specifications over Finite Traces

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

doi:10.1007/978-3-319-96145-3_29

A Counting Semantics for Monitoring LTL Specifications over Finite Traces

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

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Computer Aided Verification
Untertitel	30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Seiten	547-564
Seitenumfang	18
Band	1
ISBN (elektronisch)	978-3-319-96145-3
DOIs	https://doi.org/10.1007/978-3-319-96145-3_29
Publikationsstatus	Veröffentlicht - 2018
Veranstaltung	30th International Conference on Computer Aided Verification - Oxford, Großbritannien / Vereinigtes Königreich Dauer: 14 Juli 2018 → 17 Juli 2018

Publikationsreihe

Name	Lecture Notes in Computer Science
Band	10980

Konferenz

Konferenz	30th International Conference on Computer Aided Verification
Kurztitel	CAV 2018
Land/Gebiet	Großbritannien / Vereinigtes Königreich
Ort	Oxford
Zeitraum	14/07/18 → 17/07/18

Zugriff auf Dokument

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

https://doi.org/10.1007/978-3-319-96145-329

Dieses 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 et al.
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/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

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). doi: 10.1007/978-3-319-96145-3_29

Bartocci, Ezio ; Bloem, Roderick ; Nickovic, Dejan et al. / 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",

note = "30th International Conference on Computer Aided Verification, CAV 2018 ; Conference date: 14-07-2018 Through 17-07-2018",

}

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 paper

SN - 978-3-319-96144-6

VL - 1

T3 - Lecture Notes in Computer Science

SP - 547

EP - 564

BT - Computer Aided Verification

T2 - 30th International Conference on Computer Aided Verification

Y2 - 14 July 2018 through 17 July 2018

ER -