{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T14:21:35Z","timestamp":1766067695259,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,4,15]],"date-time":"2023-04-15T00:00:00Z","timestamp":1681516800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002347","name":"Bundesministerium f\u00fcr Bildung und Forschung","doi-asserted-by":"publisher","award":["01IS22007B,01IS17051"],"award-info":[{"award-number":["01IS22007B,01IS17051"]}],"id":[{"id":"10.13039\/501100002347","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,4,15]]},"DOI":"10.1145\/3578245.3584314","type":"proceedings-article","created":{"date-parts":[[2023,4,3]],"date-time":"2023-04-03T22:14:44Z","timestamp":1680560084000},"page":"319-326","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Verifying Transient Behavior Specifications in Chaos Engineering Using Metric Temporal Logic and Property Specification Patterns"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3068-1172","authenticated-orcid":false,"given":"Sebastian","family":"Frank","sequence":"first","affiliation":[{"name":"University of Hamburg, Hamburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9899-0062","authenticated-orcid":false,"given":"Alireza","family":"Hakamian","sequence":"additional","affiliation":[{"name":"University of Stuttgart, Stuttgart, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5905-9846","authenticated-orcid":false,"given":"Denis","family":"Zahariev","sequence":"additional","affiliation":[{"name":"University of Stuttgart, Stuttgart, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2567-6077","authenticated-orcid":false,"given":"Andr\u00e9","family":"van Hoorn","sequence":"additional","affiliation":[{"name":"University of Hamburg, Hamburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,4,15]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Prometheus Authors. 2023. Prometheus. https:\/\/prometheus.io"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2398877"},{"volume-title":"Principles of model checking","author":"Baier Christel","key":"e_1_3_2_1_3_1","unstructured":"Christel Baier and Joost-Pieter Katoen. 2008. Principles of model checking. MIT press."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2017.18"},{"key":"e_1_3_2_1_5_1","first-page":"1","article-title":"Chaos Engineering","volume":"33","author":"Basiri Ali","year":"2016","unstructured":"Ali Basiri, Niosha Behnam, Ruud Rooij, Lorin Hochstein, Luke Kosewski, Justin Reynolds, and Casey Rosenthal. 2016. Chaos Engineering. IEEE, Vol. 33 (2016), 1--1.","journal-title":"IEEE"},{"volume-title":"Software Architecture in Practice 4 ed.)","author":"Bass Len","key":"e_1_3_2_1_6_1","unstructured":"Len Bass, Paul Clements, and Rick Kazman. 2021. Software Architecture in Practice 4 ed.). Addison-Wesley Longman Publishing Co., Inc., USA."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-76929-3_20"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2012.6224391"},{"key":"e_1_3_2_1_9_1","volume-title":"Program Synthesis for Cyber-Resilience","author":"Catano Nestor","year":"2022","unstructured":"Nestor Catano. 2022. Program Synthesis for Cyber-Resilience. IEEE Transactions on Software Engineering (2022), 1--1."},{"key":"e_1_3_2_1_10_1","unstructured":"Cloud Native Computing Foundation. 2023. https:\/\/chaosblade.io"},{"volume-title":"Introduction to logic","author":"Copi Irving","key":"e_1_3_2_1_11_1","unstructured":"Irving Copi, Carl Cohen, and Victor Rodych. 2016. Introduction to logic. Routledge."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2859926"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"e_1_3_2_1_14_1","volume-title":"J\u00f3 akim von Kistowski, and Andr\u00e9 van Hoorn","author":"Frank Sebastian","year":"2021","unstructured":"Sebastian Frank, M. Alireza Hakamian, Lion Wagner, Dominik Kesim, Christoph Zorn, J\u00f3 akim von Kistowski, and Andr\u00e9 van Hoorn. 2021. Interactive Elicitation of Resilience Scenarios Based on Hazard Analysis Techniques. In 15th European Conference on Software Architecture (ECSA), Revised Selected Papers (Lecture Notes in Computer Science, Vol. 13365). Springer, 229--253."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3041048.3041049"},{"key":"e_1_3_2_1_16_1","unstructured":"Gremlin Inc. 2023. https:\/\/www.gremlin.com"},{"key":"e_1_3_2_1_17_1","unstructured":"InfluxData Inc. 2023. InfluxDB. https:\/\/influxdata.com"},{"key":"e_1_3_2_1_18_1","volume-title":"Specifying real-time properties with metric temporal logic. Real-time systems","author":"Koymans Ron","year":"1990","unstructured":"Ron Koymans. 1990. Specifying real-time properties with metric temporal logic. Real-time systems, Vol. 2, 4 (1990), 255--299."},{"key":"e_1_3_2_1_19_1","volume-title":"A brief account of runtime verification. The journal of logic and algebraic programming","author":"Leucker Martin","year":"2009","unstructured":"Martin Leucker and Christian Schallhart. 2009. A brief account of runtime verification. The journal of logic and algebraic programming, Vol. 78, 5 (2009), 293--303."},{"key":"e_1_3_2_1_20_1","unstructured":"LitmusChaos Authors. 2020. https:\/\/litmuschaos.io"},{"key":"e_1_3_2_1_21_1","unstructured":"Netflix Inc. 2023. https:\/\/netflix.github.io\/chaosmonkey"},{"volume-title":"Building microservices. \" O'Reilly Media","author":"Newman Sam","key":"e_1_3_2_1_22_1","unstructured":"Sam Newman. 2021. Building microservices. \" O'Reilly Media, Inc.\"."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_24_1","unstructured":"Chaos Toolkit Team. 2023. Chaos Toolkit. https:\/\/chaostoolkit.org"},{"key":"e_1_3_2_1_25_1","unstructured":"The Linux Foundation. 2023. https:\/\/chaos-mesh.org"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642803.2642807"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3007338"},{"key":"e_1_3_2_1_28_1","volume-title":"Online Monitoring of Metric Temporal Logic using Sequential Networks. CoRR","author":"Ulus Dogan","year":"2019","unstructured":"Dogan Ulus. 2019a. Online Monitoring of Metric Temporal Logic using Sequential Networks. CoRR (2019). showeprint[arXiv]1901.00175 http:\/\/arxiv.org\/abs\/1901.00175"},{"key":"e_1_3_2_1_29_1","unstructured":"Dogan Ulus. 2019b. Pure Python package to monitor formal specifications over temporal sequences. https:\/\/github.com\/doganulus\/python-monitors."},{"key":"e_1_3_2_1_30_1","unstructured":"Dogan Ulus. 2019c. Python-Monitors. https:\/\/github.com\/doganulus\/python-monitors"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32079-9_25"},{"volume-title":"Resilience Assessment and Evaluation of Computing Systems","author":"Wolter Katinka","key":"e_1_3_2_1_32_1","unstructured":"Katinka Wolter, Alberto Avritzer, Marco Vieira, and Aad van Moorsel. 2012. Resilience Assessment and Evaluation of Computing Systems. Springer."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","unstructured":"Denis Zahariev. 2022. Supplementary Materials. https:\/\/doi.org\/10.5281\/zenodo.6845089","DOI":"10.5281\/zenodo.6845089"},{"key":"e_1_3_2_1_34_1","unstructured":"Denis Zahariev. 2023. GitHub Project. https:\/\/github.com\/Cambio-Project\/transient-behavior-verifier"}],"event":{"name":"ICPE '23: ACM\/SPEC International Conference on Performance Engineering","sponsor":["SIGMETRICS ACM Special Interest Group on Measurement and Evaluation","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Coimbra Portugal","acronym":"ICPE '23"},"container-title":["Companion of the 2023 ACM\/SPEC International Conference on Performance Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3578245.3584314","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3578245.3584314","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:49:20Z","timestamp":1750182560000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3578245.3584314"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4,15]]},"references-count":34,"alternative-id":["10.1145\/3578245.3584314","10.1145\/3578245"],"URL":"https:\/\/doi.org\/10.1145\/3578245.3584314","relation":{},"subject":[],"published":{"date-parts":[[2023,4,15]]},"assertion":[{"value":"2023-04-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}