{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T23:13:29Z","timestamp":1776122009176,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,8]],"date-time":"2024-04-08T00:00:00Z","timestamp":1712534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100009318","name":"Helmholtz Association","doi-asserted-by":"publisher","award":["46.23.01"],"award-info":[{"award-number":["46.23.01"]}],"id":[{"id":"10.13039\/501100009318","id-type":"DOI","asserted-by":"publisher"}]},{"name":"SofDCar","award":["19S21002"],"award-info":[{"award-number":["19S21002"]}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["499241390"],"award-info":[{"award-number":["499241390"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["HE8596\/3-"],"award-info":[{"award-number":["HE8596\/3-"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,8]]},"DOI":"10.1145\/3605098.3636008","type":"proceedings-article","created":{"date-parts":[[2024,5,21]],"date-time":"2024-05-21T17:59:16Z","timestamp":1716314356000},"page":"1702-1711","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8560-6324","authenticated-orcid":false,"given":"Florian","family":"Lanzinger","sequence":"first","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-4332-1194","authenticated-orcid":false,"given":"Christian","family":"Martin","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5993-0558","authenticated-orcid":false,"given":"Frederik","family":"Reiche","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7945-9110","authenticated-orcid":false,"given":"Samuel","family":"Teuber","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0779-9444","authenticated-orcid":false,"given":"Robert","family":"Heinrich","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8446-4598","authenticated-orcid":false,"given":"Alexander","family":"Weigl","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}]}],"member":"320","published-online":{"date-parts":[[2024,5,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-49812-6"},{"key":"e_1_3_2_1_2_1","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques","author":"Ahrendt Wolfgang","unstructured":"Wolfgang Ahrendt, Gordon J. Pace, and Gerardo Schneider. 2016. StaRVOOrS --- Episode II. In Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, Tiziana Margaria and Bernhard Steffen (Eds.). Springer International Publishing, Cham, 402--415."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2010.34"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03421-4_4"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-99524-9_31"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.94"},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of International Joint Conference on Artificial Intelligence (IJCAI).","author":"Chakraborty Supratik","unstructured":"Supratik Chakraborty, Kuldeep S. Meel, and Moshe Y. Vardi. 2016. Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls. In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI)."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2020.106362"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41528-4_4"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336773"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2020.3016778"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/2516.001.0001"},{"key":"e_1_3_2_1_13_1","volume-title":"Handbook of philosophical logic","author":"Harel David","unstructured":"David Harel, Dexter Kozen, and Jerzy Tiuryn. 2001. Dynamic logic. In Handbook of philosophical logic. Springer, 99--217."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2903797"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-021-00633-z"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/45.3.260"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2020.110815"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87785-1_34"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","unstructured":"Florian Lanzinger Christian Martin Frederik Reiche Samuel Teuber Robert Heinrich and Alexander Weigl. 2022. QuAC - Quantifying Software Correctness Using Architecture Modeling and Formal Program Analysis. 10.5281\/zenodo.7473812","DOI":"10.5281\/zenodo.7473812"},{"key":"e_1_3_2_1_20_1","unstructured":"Gary T. Leavens Erik Poll Curtis Clifton Yoonsik Cheon Clyde Ruby David Cok Peter M\u00fcller Joseph Kiniry Patrice Chalin Daniel M. Zimmerman and Werner Dietl. 2013. JML Reference Manual. http:\/\/www.eecs.ucf.edu\/~leavens\/JML\/\/refman\/jmlrefman.pdf Revision 2344."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSA51549.2021.00009"},{"key":"e_1_3_2_1_22_1","unstructured":"Ralf H. Reussner Steffen Becker Jens Happe Robert Heinrich Anne Koziolek Heiko Koziolek Max Kramer and Klaus Krogmann (Eds.). 2016. Modeling and Simulating Software Architectures - The Palladio Approach. MIT Press."},{"key":"e_1_3_2_1_23_1","volume-title":"Symposium on Software Performance 2021 : Short Paper Proceedings of Symposium on Software Performance","author":"Schulz Sophie","year":"2021","unstructured":"Sophie Schulz, Frederik Reiche, Sebastian Hahner, and Jonas Schiffl. 2022. Continuous Secure Software Development and Analysis. In Symposium on Software Performance 2021 : Short Paper Proceedings of Symposium on Software Performance, Leipzig, Germany, November 9.-10., 2021. Ed.: D. G. Reichelt, R. M\u00fcller, S. Becker, W. Hasselbring, A. v. Hoorn, S. Kounev, A. Koziolek, R. Reussner (CEUR Workshop Proceedings, Vol. 3043). RWTH Aachen. 46.23.01; LK 01."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-85172-9_4"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-022-00991-5"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/DAPPS55202.2022.00013"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-15629-8_28"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-005-0187-8"}],"event":{"name":"SAC '24: 39th ACM\/SIGAPP Symposium on Applied Computing","location":"Avila Spain","acronym":"SAC '24","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 39th ACM\/SIGAPP Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3605098.3636008","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3605098.3636008","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:03:59Z","timestamp":1750291439000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3605098.3636008"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,8]]},"references-count":28,"alternative-id":["10.1145\/3605098.3636008","10.1145\/3605098"],"URL":"https:\/\/doi.org\/10.1145\/3605098.3636008","relation":{},"subject":[],"published":{"date-parts":[[2024,4,8]]},"assertion":[{"value":"2024-05-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}