{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,3]],"date-time":"2025-09-03T10:01:44Z","timestamp":1756893704295,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,2]],"date-time":"2024-09-02T00:00:00Z","timestamp":1725235200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100006374","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["494838636"],"award-info":[{"award-number":["494838636"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,2]]},"DOI":"10.1145\/3646548.3676539","type":"proceedings-article","created":{"date-parts":[[2024,8,9]],"date-time":"2024-08-09T12:19:07Z","timestamp":1723205947000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Mapping Cardinality-based Feature Models to Weighted Automata over Featured Multiset Semirings"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9718-6272","authenticated-orcid":false,"given":"Robert","family":"M\u00fcller","sequence":"first","affiliation":[{"name":"University of Siegen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-9067-4624","authenticated-orcid":false,"given":"Mathis","family":"Wei\u00df","sequence":"additional","affiliation":[{"name":"University of Siegen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8404-753X","authenticated-orcid":false,"given":"Malte","family":"Lochau","sequence":"additional","affiliation":[{"name":"University of Siegen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,9,2]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"What\u2019s decidable about weighted automata?Information and Computation 282","author":"Almagor Shaull","year":"2022","unstructured":"Shaull Almagor, Udi Boker, and Orna Kupferman. 2022. What\u2019s decidable about weighted automata?Information and Computation 282 (2022), 104651."},{"volume-title":"Feature-Oriented Software Product Lines","author":"Apel Sven","key":"e_1_3_2_1_2_1","unstructured":"Sven Apel, Don\u00a0S. Batory, Christian K\u00e4stner, and Gunter Saake. 2013. Feature-Oriented Software Product Lines. In Springer Berlin Heidelberg. https:\/\/api.semanticscholar.org\/CorpusID:28767337"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0441-1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3109729.3109741"},{"volume-title":"Feature Models, Grammars, and Propositional Formulas","author":"Batory Don","key":"e_1_3_2_1_5_1","unstructured":"Don Batory. 2005. Feature Models, Grammars, and Propositional Formulas. In Software Product Lines, Henk Obbink and Klaus Pohl (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 7\u201320."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2701319.2701332"},{"key":"e_1_3_2_1_7_1","volume-title":"Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings 9. Springer, 275\u2013289","author":"Bene\u0161 Nikola","year":"2011","unstructured":"Nikola Bene\u0161, Jan K\u0159et\u00ednsk\u1ef3, Kim\u00a0G Larsen, Mikael\u00a0H M\u00f8ller, and Ji\u0159\u00ed Srba. 2011. Parametric modal transition systems. In Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings 9. Springer, 275\u2013289."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.86"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362536.2362549"},{"volume-title":"Mapping Features to Models: A Template Approach Based on Superimposed Variants","author":"Czarnecki Krzysztof","key":"e_1_3_2_1_10_1","unstructured":"Krzysztof Czarnecki and Micha\u0142 Antkiewicz. 2005. Mapping Features to Models: A Template Approach Based on Superimposed Variants. In Generative Programming and Component Engineering, Robert Gl\u00fcck and Michael Lowry (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 422\u2013437."},{"key":"e_1_3_2_1_11_1","volume-title":"Formalizing cardinality-based feature models and their specialization. Software process: Improvement and practice 10, 1","author":"Czarnecki Krzysztof","year":"2005","unstructured":"Krzysztof Czarnecki, Simon Helsen, and Ulrich Eisenecker. 2005. Formalizing cardinality-based feature models and their specialization. Software process: Improvement and practice 10, 1 (2005), 7\u201329."},{"key":"e_1_3_2_1_12_1","volume-title":"International Workshop on Software Factories. ACM San Diego","author":"Czarnecki Krzysztof","year":"2005","unstructured":"Krzysztof Czarnecki and Chang Hwan\u00a0Peter Kim. 2005. Cardinality-based feature modeling and constraints: A progress report. In International Workshop on Software Factories. ACM San Diego, California, USA, 16\u201320."},{"volume-title":"Handbook of weighted automata","author":"Droste Manfred","key":"e_1_3_2_1_13_1","unstructured":"Manfred Droste and Paul Gastin. 2009. Weighted automata and weighted logics. In Handbook of weighted automata. Springer, 175\u2013211."},{"volume-title":"Handbook of weighted automata","author":"Droste Manfred","key":"e_1_3_2_1_14_1","unstructured":"Manfred Droste, Werner Kuich, and Heiko Vogler. 2009. Handbook of weighted automata. Springer Science & Business Media."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Manfred Droste and Dietrich Kuske. 2021. Weighted automata.","DOI":"10.4171\/automata-1\/4"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00224-015-9658-9"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/FormaliSE.2017.2"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-019-00538-y"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1147249.1147254"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3634713.3634719"},{"key":"e_1_3_2_1_21_1","volume-title":"International Workshop on Formal Aspects of Component Software. Springer, 210\u2013227","author":"Hafemann\u00a0Fragal Vanderson","year":"2016","unstructured":"Vanderson Hafemann\u00a0Fragal, Adenilso Simao, and Mohammad\u00a0Reza Mousavi. 2016. Validated test models for software product lines: Featured finite state machines. In International Workshop on Formal Aspects of Component Software. Springer, 210\u2013227."},{"key":"e_1_3_2_1_22_1","volume-title":"JAutomata: An automata library in Java. https:\/\/github.com\/jasperhoogland\/jautomata [Accessed","author":"Hoogland Jasper","year":"2024","unstructured":"Jasper Hoogland. 2024. JAutomata: An automata library in Java. https:\/\/github.com\/jasperhoogland\/jautomata [Accessed: April, 2024]."},{"key":"e_1_3_2_1_23_1","volume-title":"Clafer: Lightweight modeling of structure, behaviour, and variability. arXiv preprint arXiv:1807.08576","author":"Juodisius Paulius","year":"2018","unstructured":"Paulius Juodisius, Atrisha Sarkar, Raghava\u00a0Rao Mukkamala, Michal Antkiewicz, Krzysztof Czarnecki, and Andrzej Wasowski. 2018. Clafer: Lightweight modeling of structure, behaviour, and variability. arXiv preprint arXiv:1807.08576 (2018)."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"K Kang S Cohen J Hess W Nowak and S Peterson. 1990. Feature-Oriented Domain Analysis (FODA) Technical Report. Technical Report. CMU\/SEI-90-TR-21 Software Engineering Institute Carnegie Mellon.","DOI":"10.21236\/ADA235785"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806819"},{"key":"e_1_3_2_1_26_1","volume-title":"Towards an I\/O conformance testing theory for software product lines based on modal interface automata. arXiv preprint arXiv:1504.03473","author":"Luthmann Lars","year":"2015","unstructured":"Lars Luthmann, Stephan Mennicke, and Malte Lochau. 2015. Towards an I\/O conformance testing theory for software product lines based on modal interface automata. arXiv preprint arXiv:1504.03473 (2015)."},{"key":"e_1_3_2_1_27_1","volume-title":"Proceedings of the 11th International Conference on Operational Research (KOI","author":"Manger Robert","year":"2008","unstructured":"Robert Manger. 2008. A catalogue of useful composite semirings for solving path problems in graphs. In Proceedings of the 11th International Conference on Operational Research (KOI 2006)."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","unstructured":"Jens Meinicke Thomas Th\u00fcm Reimar Schr\u00f6ter Fabian Benduhn Thomas Leich and Gunter Saake. 2017. Mastering Software Variability with FeatureIDE. https:\/\/doi.org\/10.1007\/978-3-319-61443-4","DOI":"10.1007\/978-3-319-61443-4"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","unstructured":"Marc\u00edlio Mendon\u00e7a Andrzej Wasowski and Krzysztof Czarnecki. 2009. SAT-based analysis of feature models is easy. SPLC 231\u2013240. https:\/\/doi.org\/10.1145\/1753235.1753267","DOI":"10.1145\/1753235.1753267"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/639508.639512"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-015-0475-z"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.6084\/m9.figshare.25976746.v2"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","unstructured":"Robert M\u00fcller Mathis Wei\u00df and Malte Lochau. 2024. Mapping Cardinality-based Feature Models to Weighted Automata over Featured Multiset Semirings (Extended Version). arxiv:2407.04499\u00a0[cs.SE] https:\/\/arxiv.org\/abs\/2407.04499","DOI":"10.1145\/3646548.3676539"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511662508.004"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.45"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491627.2491638"},{"volume-title":"Bypassing the cloud: Peer-assisted event dissemination for augmented reality games. In 14-th IEEE International Conference on Peer-to-Peer Computing","author":"Richerzhagen Bj\u00f6rn","key":"e_1_3_2_1_37_1","unstructured":"Bj\u00f6rn Richerzhagen, Dominik Stingl, Ronny Hans, Christian Gross, and Ralf Steinmetz. 2014. Bypassing the cloud: Peer-assisted event dissemination for augmented reality games. In 14-th IEEE International Conference on Peer-to-Peer Computing. IEEE, 1\u201310."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2866614.2866619"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934466.2934475"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-90870-6_26"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2015.11.006"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302333.3302349"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2580950"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3239372.3239398"},{"key":"e_1_3_2_1_45_1","volume-title":"FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2\u20138, 2016, Proceedings 19","author":"Weckesser Markus","year":"2016","unstructured":"Markus Weckesser, Malte Lochau, Thomas Schnabel, Bj\u00f6rn Richerzhagen, and Andy Sch\u00fcrr. 2016. Mind the gap! Automated anomaly detection for potentially unbounded cardinality-based feature models. In Fundamental Approaches to Software Engineering: 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2\u20138, 2016, Proceedings 19. Springer, 158\u2013175."}],"event":{"name":"SPLC '24: 28th ACM International Systems and Software Product Line Conference","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Dommeldange Luxembourg","acronym":"SPLC '24"},"container-title":["28th ACM International Systems and Software Product Line Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3646548.3676539","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3646548.3676539","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T16:55:43Z","timestamp":1755881743000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3646548.3676539"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,2]]},"references-count":45,"alternative-id":["10.1145\/3646548.3676539","10.1145\/3646548"],"URL":"https:\/\/doi.org\/10.1145\/3646548.3676539","relation":{},"subject":[],"published":{"date-parts":[[2024,9,2]]},"assertion":[{"value":"2024-09-02","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}