From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach

Manfred Jaeger; Kim G Larsen; Alessandro Tibo

doi:10.1007/978-3-030-60508-7_30

From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach

Manfred Jaeger, Kim G Larsen, Alessandro Tibo

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

1 Downloads (Pure)

Original language	English
Title of host publication	Runtime Verification - 20th International Conference, RV 2020, Proceedings
Editors	Jyotirmoy Deshmukh, Dejan Nickovic
Number of pages	19
Publisher	Springer Science+Business Media
Publication date	2020
Pages	517-535
ISBN (Print)	978-3-030-60507-0
ISBN (Electronic)	978-3-030-60508-7
DOIs	https://doi.org/10.1007/978-3-030-60508-7_30
Publication status	Published - 2020
Event	RV 2020: International Conference on Runtime Verification - Los Angeles, United States Duration: 6 Oct 2020 → 9 Oct 2020

Conference

Conference	RV 2020: International Conference on Runtime Verification
Country	United States
City	Los Angeles
Period	06/10/2020 → 09/10/2020

Series	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	12399 LNCS
ISSN	0302-9743

Bibliographical note

Publisher Copyright:
© 2020, Springer Nature Switzerland AG.

Copyright:
Copyright 2020 Elsevier B.V., All rights reserved.

Keywords

Bayesian networks
Statistical model checking
Timed automata

Access to Document

10.1007/978-3-030-60508-7_30

jaeger-larsen-tibo-RV2020.pdfAccepted author manuscript, 1.62 MBLicence: Unspecified

Link to publication in Scopus

Fingerprint Dive into the research topics of 'From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach'. Together they form a unique fingerprint.

Cite this

Jaeger, M., Larsen, K. G., & Tibo, A. (2020). From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach. In J. Deshmukh, & D. Nickovic (Eds.), Runtime Verification - 20th International Conference, RV 2020, Proceedings (pp. 517-535). Springer Science+Business Media. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 12399 LNCS https://doi.org/10.1007/978-3-030-60508-7_30

Jaeger, Manfred ; Larsen, Kim G ; Tibo, Alessandro. / From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach. Runtime Verification - 20th International Conference, RV 2020, Proceedings. editor / Jyotirmoy Deshmukh ; Dejan Nickovic. Springer Science+Business Media, 2020. pp. 517-535 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12399 LNCS).

@inproceedings{33b68448c09049d3b4e73375e5442081,

title = "From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach",

keywords = "Bayesian networks, Statistical model checking, Timed automata",

author = "Manfred Jaeger and Larsen, {Kim G} and Alessandro Tibo",

note = "Publisher Copyright: {\textcopyright} 2020, Springer Nature Switzerland AG. Copyright: Copyright 2020 Elsevier B.V., All rights reserved.; RV 2020: International Conference on Runtime Verification, RV ; Conference date: 06-10-2020 Through 09-10-2020",

year = "2020",

doi = "10.1007/978-3-030-60508-7_30",

language = "English",

isbn = "978-3-030-60507-0",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Science+Business Media",

pages = "517--535",

editor = "Jyotirmoy Deshmukh and Dejan Nickovic",

booktitle = "Runtime Verification - 20th International Conference, RV 2020, Proceedings",

address = "United States",

}

Jaeger, M , Larsen, KG & Tibo, A 2020, From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach. in J Deshmukh & D Nickovic (eds), Runtime Verification - 20th International Conference, RV 2020, Proceedings. Springer Science+Business Media, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12399 LNCS, pp. 517-535, RV 2020: International Conference on Runtime Verification, Los Angeles, United States, 06/10/2020. https://doi.org/10.1007/978-3-030-60508-7_30

From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach. / Jaeger, Manfred ; Larsen, Kim G ; Tibo, Alessandro.

Runtime Verification - 20th International Conference, RV 2020, Proceedings. ed. / Jyotirmoy Deshmukh; Dejan Nickovic. Springer Science+Business Media, 2020. p. 517-535 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12399 LNCS).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach

AU - Jaeger, Manfred

AU - Larsen, Kim G

AU - Tibo, Alessandro

PY - 2020

Y1 - 2020

KW - Bayesian networks

KW - Statistical model checking

KW - Timed automata

UR - http://www.scopus.com/inward/record.url?scp=85093092319&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-60508-7_30

DO - 10.1007/978-3-030-60508-7_30

M3 - Article in proceeding

SN - 978-3-030-60507-0

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 517

EP - 535

BT - Runtime Verification - 20th International Conference, RV 2020, Proceedings

A2 - Deshmukh, Jyotirmoy

A2 - Nickovic, Dejan

PB - Springer Science+Business Media

T2 - RV 2020: International Conference on Runtime Verification

Y2 - 6 October 2020 through 9 October 2020

ER -

Jaeger M , Larsen KG , Tibo A. From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach. In Deshmukh J, Nickovic D, editors, Runtime Verification - 20th International Conference, RV 2020, Proceedings. Springer Science+Business Media. 2020. p. 517-535. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12399 LNCS). https://doi.org/10.1007/978-3-030-60508-7_30