Standard
VeriMon : A Formally Verified Monitoring Tool. / Basin, David; Dardinier, Thibault; Hauser, Nico; Heimes, Lukas; Huerta y Munive, Jonathan Julián; Kaletsch, Nicolas; Krstić, Srđan; Marsicano, Emanuele; Raszyk, Martin; Schneider, Joshua; Tirore, Dawit Legesse; Traytel, Dmitriy; Zingg, Sheila.
Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings. ed. / Helmut Seidl; Zhiming Liu; Corina S. Pasareanu. Springer, 2022. p. 1-6 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13572 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Basin, D, Dardinier, T, Hauser, N, Heimes, L, Huerta y Munive, JJ, Kaletsch, N, Krstić, S, Marsicano, E, Raszyk, M, Schneider, J, Tirore, DL
, Traytel, D & Zingg, S 2022,
VeriMon: A Formally Verified Monitoring Tool. in H Seidl, Z Liu & CS Pasareanu (eds),
Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings. Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13572 LNCS, pp. 1-6, 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022, Tbilisi, Georgia,
27/09/2022.
https://doi.org/10.1007/978-3-031-17715-6_1
APA
Basin, D., Dardinier, T., Hauser, N., Heimes, L., Huerta y Munive, J. J., Kaletsch, N., Krstić, S., Marsicano, E., Raszyk, M., Schneider, J., Tirore, D. L.
, Traytel, D., & Zingg, S. (2022).
VeriMon: A Formally Verified Monitoring Tool. In H. Seidl, Z. Liu, & C. S. Pasareanu (Eds.),
Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings (pp. 1-6). Springer. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 13572 LNCS
https://doi.org/10.1007/978-3-031-17715-6_1
Vancouver
Basin D, Dardinier T, Hauser N, Heimes L, Huerta y Munive JJ, Kaletsch N et al.
VeriMon: A Formally Verified Monitoring Tool. In Seidl H, Liu Z, Pasareanu CS, editors, Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings. Springer. 2022. p. 1-6. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13572 LNCS).
https://doi.org/10.1007/978-3-031-17715-6_1
Author
Basin, David ; Dardinier, Thibault ; Hauser, Nico ; Heimes, Lukas ; Huerta y Munive, Jonathan Julián ; Kaletsch, Nicolas ; Krstić, Srđan ; Marsicano, Emanuele ; Raszyk, Martin ; Schneider, Joshua ; Tirore, Dawit Legesse ; Traytel, Dmitriy ; Zingg, Sheila. / VeriMon : A Formally Verified Monitoring Tool. Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings. editor / Helmut Seidl ; Zhiming Liu ; Corina S. Pasareanu. Springer, 2022. pp. 1-6 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13572 LNCS).
Bibtex
@inproceedings{c9d1d1a8e0164a729a074914bcc9c003,
title = "VeriMon: A Formally Verified Monitoring Tool",
abstract = "A runtime monitor observes a running system and checks whether the sequence of events the system generates satisfies a given specification. We describe the evolution of VeriMon: an expressive and efficient monitor that has been formally verified using the Isabelle proof assistant.",
author = "David Basin and Thibault Dardinier and Nico Hauser and Lukas Heimes and {Huerta y Munive}, {Jonathan Juli{\'a}n} and Nicolas Kaletsch and Sr{\d}an Krsti{\'c} and Emanuele Marsicano and Martin Raszyk and Joshua Schneider and Tirore, {Dawit Legesse} and Dmitriy Traytel and Sheila Zingg",
note = "Publisher Copyright: {\textcopyright} 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.; 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 ; Conference date: 27-09-2022 Through 29-09-2022",
year = "2022",
doi = "10.1007/978-3-031-17715-6_1",
language = "English",
isbn = "9783031177149",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "1--6",
editor = "Helmut Seidl and Zhiming Liu and Pasareanu, {Corina S.}",
booktitle = "Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings",
address = "Switzerland",
}
RIS
TY - GEN
T1 - VeriMon
T2 - 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022
AU - Basin, David
AU - Dardinier, Thibault
AU - Hauser, Nico
AU - Heimes, Lukas
AU - Huerta y Munive, Jonathan Julián
AU - Kaletsch, Nicolas
AU - Krstić, Srđan
AU - Marsicano, Emanuele
AU - Raszyk, Martin
AU - Schneider, Joshua
AU - Tirore, Dawit Legesse
AU - Traytel, Dmitriy
AU - Zingg, Sheila
N1 - Publisher Copyright:
© 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.
PY - 2022
Y1 - 2022
N2 - A runtime monitor observes a running system and checks whether the sequence of events the system generates satisfies a given specification. We describe the evolution of VeriMon: an expressive and efficient monitor that has been formally verified using the Isabelle proof assistant.
AB - A runtime monitor observes a running system and checks whether the sequence of events the system generates satisfies a given specification. We describe the evolution of VeriMon: an expressive and efficient monitor that has been formally verified using the Isabelle proof assistant.
U2 - 10.1007/978-3-031-17715-6_1
DO - 10.1007/978-3-031-17715-6_1
M3 - Article in proceedings
AN - SCOPUS:85140762044
SN - 9783031177149
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 1
EP - 6
BT - Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings
A2 - Seidl, Helmut
A2 - Liu, Zhiming
A2 - Pasareanu, Corina S.
PB - Springer
Y2 - 27 September 2022 through 29 September 2022
ER -