{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T11:00:05Z","timestamp":1760785205219,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,22]],"date-time":"2024-09-22T00:00:00Z","timestamp":1726963200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"501100001659","award":["499241390"],"award-info":[{"award-number":["499241390"]}]},{"name":"501100001656","award":["46.23.01"],"award-info":[{"award-number":["46.23.01"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,22]]},"DOI":"10.1145\/3652620.3687821","type":"proceedings-article","created":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T18:06:36Z","timestamp":1730397996000},"page":"1096-1105","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Consistency Management for Security Annotations for Continuous Verification"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5993-0558","authenticated-orcid":false,"given":"Frederik","family":"Reiche","sequence":"first","affiliation":[{"name":"KASTEL - Dependability of Software-intensive Systems, Karlsruhe Institute of Technology, Karlsruhe, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-5775-2225","authenticated-orcid":false,"given":"Thomas","family":"Weber","sequence":"additional","affiliation":[{"name":"KASTEL - Dependability of Software-intensive Systems, Karlsruhe Institute of Technology, Karlsruhe, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-8381-998X","authenticated-orcid":false,"given":"Simeon","family":"Becker","sequence":"additional","affiliation":[{"name":"Karlsruher Institut f\u00fcr Technologie, Karlsruhe, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-3746-0694","authenticated-orcid":false,"given":"Sebastian","family":"Weber","sequence":"additional","affiliation":[{"name":"Software Engineering, FZI Research Center for Information Technology, Karlsruhe, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0779-9444","authenticated-orcid":false,"given":"Robert","family":"Heinrich","sequence":"additional","affiliation":[{"name":"KASTEL - Dependability of Software-intensive Systems, Karlsruhe Institute of Technology, Karlsruhe, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2832-3349","authenticated-orcid":false,"given":"Erik","family":"Burger","sequence":"additional","affiliation":[{"name":"KASTEL - Dependability of Software-intensive Systems, Karlsruher Institut f\u00fcr Technologie, Karlsruhe, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,10,31]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-49812-6","volume-title":"Deductive software verification-the key book. Lecture notes in computer science 10001","author":"Ahrendt Wolfgang","year":"2016","unstructured":"Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner H\u00e4hnle, Peter H Schmitt, and Mattias Ulbrich. 2016. Deductive software verification-the key book. Lecture notes in computer science 10001 (2016)."},{"key":"e_1_3_2_1_2_1","volume-title":"2013 35th International Conference on Software Engineering (ICSE). IEEE, 662--671","author":"Almorsy Mohamed","year":"2013","unstructured":"Mohamed Almorsy, John Grundy, and Amani S Ibrahim. 2013. Automated software architecture security risk analysis using formalized signatures. In 2013 35th International Conference on Software Engineering (ICSE). IEEE, 662--671."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","unstructured":"Martin Armbruster. 2022. Parsing and Printing Java 7--15 by Extending an Existing Metamodel. 10.5445\/IR\/1000149186","DOI":"10.5445\/IR\/1000149186"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2015.17"},{"key":"e_1_3_2_1_5_1","unstructured":"Brian Chess and Jacob West. 2007. Secure programming with static analysis. Pearson Education."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cola.2023.101223"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/360051.360056"},{"key":"e_1_3_2_1_8_1","volume-title":"2008 Eighth IEEE International Working Conference on Source Code Analysis and Manipulation. IEEE, 267--268","author":"Giffhorn Dennis","year":"2008","unstructured":"Dennis Giffhorn and Christian Hammer. 2008. Precise analysis of java programs using joana. In 2008 Eighth IEEE International Working Conference on Source Code Analysis and Manipulation. IEEE, 267--268."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSA47634.2020.00012"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/647246.719625"},{"key":"e_1_3_2_1_11_1","unstructured":"Kuzman Katkalov. 2013. Modeling the Travel Planner Application with IFlow. https:\/\/kiv.isse.de\/projects\/iflow\/TravelPlannerSite\/index.html. Accessed: 2024-07-13."},{"key":"e_1_3_2_1_12_1","volume-title":"International Conference on Advanced Information Systems Engineering. Springer, 129--137","author":"Kebaili Zohra Kaouter","year":"2023","unstructured":"Zohra Kaouter Kebaili, Djamel Eddine Khelladi, Mathieu Acher, and Olivier Barais. 2023. Towards leveraging tests to identify impacts of metamodel and code co-evolution. In International Conference on Advanced Information Systems Engineering. Springer, 129--137."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2020.110815"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","unstructured":"Max E. Kramer Martin Hecker Simon Greiner Kaibin Bao and Kateryna Yurchenko. 2017. Model-Driven Specification and Analysis of Confidentiality in Component-Based Systems. 10.5445\/IR\/1000076957","DOI":"10.5445\/IR\/1000076957"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115707"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSAC.2004.41"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSECP.2004.1281254"},{"key":"e_1_3_2_1_19_1","volume-title":"Model-Driven Engineering and Software Development: 7th International Conference, MODELSWARD","author":"Meier Johannes","year":"2019","unstructured":"Johannes Meier, Christopher Werner, Heiko Klare, Christian Tunjic, Uwe A\u00dfmann, Colin Atkinson, Erik Burger, Ralf Reussner, and Andreas Winter. 2020. Classifying approaches for constructing single underlying models. In Model-Driven Engineering and Software Development: 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20--22, 2019, Revised Selected Papers 7. Springer, 350--375."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2989113"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2023.3326366"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5445\/IR\/1000022503"},{"key":"e_1_3_2_1_23_1","volume-title":"Guidelines for conducting and reporting case study research in software engineering. Empirical software engineering 14","author":"Runeson Per","year":"2009","unstructured":"Per Runeson and Martin H\u00f6st. 2009. Guidelines for conducting and reporting case study research in software engineering. Empirical software engineering 14 (2009), 131--164."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5445\/IR\/1000148748"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2021.111138"},{"key":"e_1_3_2_1_26_1","volume-title":"Merks","author":"Steinberg Dave","year":"2008","unstructured":"Dave Steinberg, Frank Budinsky, Marcelo Paternostro, and Ed Merks. 2008. EMF: Eclipse Modeling Framework, 2nd Edition (2nd ed.). Addison-Wesley Professional. https:\/\/www.informit.com\/store\/emf-eclipse-modeling-framework-9780321331885","edition":"2"},{"key":"e_1_3_2_1_27_1","volume-title":"Checking security compliance between models and code. Software and systems modeling 22, 1","author":"Tuma Katja","year":"2023","unstructured":"Katja Tuma, Sven Peldszus, Daniel Str\u00fcber, Riccardo Scandariato, and Jan J\u00fcrjens. 2023. Checking security compliance between models and code. Software and systems modeling 22, 1 (2023), 273--296."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3640310.3674086"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4625-2"},{"key":"e_1_3_2_1_30_1","unstructured":"Kateryna Yurchenko Moritz Behr Heiko Klare Max E Kramer and Ralf H Reussner. 2017. Architecture-driven Reduction of Specification Overhead for Verifying Confidentiality in Component-based Software Systems.. In MODELS (Satellite Events). 321--323."}],"event":{"name":"MODELS Companion '24: ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","Johannes Kepler University Linz","IEEE CS"],"location":"Linz Austria","acronym":"MODELS Companion '24"},"container-title":["Proceedings of the ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3652620.3687821","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3652620.3687821","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:04:01Z","timestamp":1750291441000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3652620.3687821"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,22]]},"references-count":29,"alternative-id":["10.1145\/3652620.3687821","10.1145\/3652620"],"URL":"https:\/\/doi.org\/10.1145\/3652620.3687821","relation":{},"subject":[],"published":{"date-parts":[[2024,9,22]]},"assertion":[{"value":"2024-10-31","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}