{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,2]],"date-time":"2025-09-02T16:40:13Z","timestamp":1756831213236,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":51,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["LO 2198\/4-1"],"award-info":[{"award-number":["LO 2198\/4-1"]}],"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":[[2025,9]]},"DOI":"10.1145\/3744915.3748464","type":"proceedings-article","created":{"date-parts":[[2025,8,30]],"date-time":"2025-08-30T14:54:43Z","timestamp":1756565683000},"page":"69-80","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Finding Optimal Configurations of Cardinality-based Feature Models using Weighted Automata"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9718-6272","authenticated-orcid":false,"given":"Robert","family":"M\u00fcller","sequence":"first","affiliation":[{"name":"Department of Electrical Engineering and Computer Science, University of Siegen, 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":"Department of Electrical Engineering and Computer Science, University of Siegen, 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":"Department of Electrical Engineering and Computer Science, University of Siegen, Siegen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,8,31]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"crossref","unstructured":"Shaull Almagor Udi Boker and Orna Kupferman. 2022. What\u2019s decidable about weighted automata? Information and Computation 282 (2022) 104651.","DOI":"10.1016\/j.ic.2020.104651"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37521-71"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","unstructured":"Charles Audet Jean Bigeon Dominique Cartier S\u00e9bastien Le Digabel and Ludovic Salomon. 2021. Performance indicators in multiobjective optimization. European Journal of Operational Research 292 2 (2021) 397\u2013422. 10.1016\/j.ejor.2020.11.016","DOI":"10.1016\/j.ejor.2020.11.016"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"crossref","unstructured":"Kacper B\u0105k Zinovy Diskin Micha\u0142 Antkiewicz Krzysztof Czarnecki and Andrzej W\u0105sowski. 2016. Clafer: unifying class and feature modeling. Software & Systems Modeling 15 (2016) 811\u2013845.","DOI":"10.1007\/s10270-014-0441-1"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/3109729.3109741"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/2701319.2701332"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24372-1_20"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"crossref","unstructured":"Andreas Classen Maxime Cordy Pierre-Yves Schobbens Patrick Heymans Axel Legay and Jean-Fran\u00e7ois Raskin. 2012. Featured transition systems: Foundations for verifying variability-intensive systems and their application to LTL model checking. IEEE Transactions on Software Engineering 39 8 (2012) 1069\u20131089.","DOI":"10.1109\/TSE.2012.86"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/2362536.2362549"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1007\/11561347_28"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"crossref","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.","DOI":"10.1002\/spip.213"},{"key":"e_1_3_3_1_13_2","series-title":"(OOPSLA\u201905)","volume-title":"International Workshop on Software Factories","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 (San Diego, California, USA) (OOPSLA\u201905).Association for Computing Machinery,New York, NY, USA, 8\u00a0pages."},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-85729-652-81"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01492-5"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.4171\/automata-1\/4"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"crossref","unstructured":"Manfred Droste and Vitaly Perevoshchikov. 2016. Multi-weighted automata and MSO logic. Theory of Computing Systems 59 2 (2016) 231\u2013261.","DOI":"10.1007\/s00224-015-9658-9"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.1109\/FormaliSE.2017.2"},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"crossref","unstructured":"Uli Fahrenberg and Axel Legay. 2019. Quantitative properties of featured automata. International Journal on Software Tools for Technology Transfer 21 (2019) 667\u2013677.","DOI":"10.1007\/s10009-019-00538-y"},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"publisher","DOI":"10.1145\/1147249.1147254"},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"publisher","unstructured":"Carlo Ghezzi and Amir Molzam Sharifloo. 2013. Model-based verification of quantitative non-functional properties for software product lines. Information and Software Technology 55 3 (2013) 508\u2013524. 10.1016\/j.infsof.2012.07.017 Special Issue on Software Reuse and Product Lines.","DOI":"10.1016\/j.infsof.2012.07.017"},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"publisher","DOI":"10.1145\/3550355.3552397"},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"publisher","unstructured":"Hendrik G\u00f6ttmann Birte Caesar Lasse Beers Malte Lochau Andy Sch\u00fcrr and Alexander Fay. 2024. Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games. Software and Systems Modeling (2024) 1\u201331. 10.1007\/s10270-024-01195-9","DOI":"10.1007\/s10270-024-01195-9"},{"key":"e_1_3_3_1_24_2","doi-asserted-by":"publisher","DOI":"10.1145\/3634713.3634719"},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-57666-4_13"},{"key":"e_1_3_3_1_26_2","unstructured":"Jasper Hoogland. 2024. JAutomata: An automata library in Java. https:\/\/github.com\/jasperhoogland\/jautomata [Accessed: April 2025]."},{"key":"e_1_3_3_1_27_2","doi-asserted-by":"publisher","unstructured":"Paulius Juodisius Atrisha Sarkar Raghava\u00a0Rao Mukkamala Michal Antkiewicz Krzysztof Czarnecki and Andrzej Wasowski. 2018. Clafer: Lightweight Modeling of Structure Behaviour and Variability. The Art Science and Engineering of Programming 3 1 (July 2018) 62\u00a0pages. 10.22152\/programming-journal.org\/2019\/3\/2","DOI":"10.22152\/programming-journal.org\/2019\/3\/2"},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"publisher","DOI":"10.21236\/ADA235785"},{"key":"e_1_3_3_1_29_2","doi-asserted-by":"publisher","unstructured":"Il\u00a0Yong Kim and Olivier\u00a0L. de Weck. 2006. Adaptive weighted sum method for multi-objective optimization: a new method for Pareto-front generation. Structural and Multidisciplinary Optimization 31 2 (2006) 105\u2013116. 10.1007\/s00158-005-0557-6","DOI":"10.1007\/s00158-005-0557-6"},{"key":"e_1_3_3_1_30_2","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806819"},{"key":"e_1_3_3_1_31_2","doi-asserted-by":"publisher","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. Electronic Proceedings in Theoretical Computer Science 182 (April 2015) 1\u201313. 10.4204\/eptcs.182.1","DOI":"10.4204\/eptcs.182.1"},{"key":"e_1_3_3_1_32_2","volume-title":"Proceedings of the 11th International Conference on Operational Research (KOI 2006)","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).Croatian Operational Research Society,Zagreb, 11\u00a0pages."},{"key":"e_1_3_3_1_33_2","doi-asserted-by":"crossref","unstructured":"R\u00a0Timothy Marler and Jasbir\u00a0S Arora. 2010. The weighted sum method for multi-objective optimization: new insights. Structural and multidisciplinary optimization 41 (2010) 853\u2013862.","DOI":"10.1007\/s00158-009-0460-7"},{"key":"e_1_3_3_1_34_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-61443-4"},{"key":"e_1_3_3_1_35_2","doi-asserted-by":"publisher","DOI":"10.1145\/1944892.1944902"},{"key":"e_1_3_3_1_36_2","unstructured":"Mehryar Mohri et\u00a0al. 2002. Semiring frameworks and algorithms for shortest-distance problems. Journal of Automata Languages and Combinatorics 7 3 (2002) 321\u2013350."},{"key":"e_1_3_3_1_37_2","doi-asserted-by":"publisher","DOI":"10.1145\/3646548.3676539"},{"key":"e_1_3_3_1_38_2","doi-asserted-by":"publisher","unstructured":"Robert M\u00fcller Mathis Wei\u00df and Malte Lochau. 2025. Finding Optimal Configurations of Cardinality-based Feature Models using Weighted Automata - Artifact. 10.6084\/m9.figshare.28319234","DOI":"10.6084\/m9.figshare.28319234"},{"key":"e_1_3_3_1_39_2","doi-asserted-by":"crossref","unstructured":"Radu Muschevici Jos\u00e9 Proen\u00e7a and Dave Clarke. 2016. Feature nets: behavioural modelling of software product lines. Software & Systems Modeling 15 (2016) 1181\u20131206.","DOI":"10.1007\/s10270-015-0475-z"},{"key":"e_1_3_3_1_40_2","doi-asserted-by":"publisher","unstructured":"Vivek Nair Zhe Yu Tim Menzies Norbert Siegmund and Sven Apel. 2020. Finding Faster Configurations Using FLASH. IEEE Transactions on Software Engineering 46 7 (2020) 794\u2013811. 10.1109\/TSE.2018.2870895","DOI":"10.1109\/TSE.2018.2870895"},{"key":"e_1_3_3_1_41_2","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106273"},{"key":"e_1_3_3_1_42_2","doi-asserted-by":"publisher","unstructured":"Juliana\u00a0Alves Pereira Mathieu Acher Hugo Martin Jean-Marc J\u00e9z\u00e9quel Goetz Botterweck and Anthony Ventresque. 2021. Learning software configuration spaces: A systematic literature review. Journal of Systems and Software 182 (2021) 111044. 10.1016\/j.jss.2021.111044","DOI":"10.1016\/j.jss.2021.111044"},{"key":"e_1_3_3_1_43_2","doi-asserted-by":"publisher","DOI":"10.1145\/2866614.2866619"},{"key":"e_1_3_3_1_44_2","doi-asserted-by":"publisher","unstructured":"Norbert Siegmund Marko Rosenm\u00fcller Martin Kuhlemann Christian K\u00e4stner Sven Apel and Gunter Saake. 2012. SPL Conqueror: Toward optimization of non-functional properties in software product lines. Softw. Qual. J. 20 3-4 (2012) 487\u2013517. 10.1007\/S11219-011-9152-9","DOI":"10.1007\/S11219-011-9152-9"},{"key":"e_1_3_3_1_45_2","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2014.48"},{"key":"e_1_3_3_1_46_2","doi-asserted-by":"publisher","DOI":"10.1145\/2934466.2934475"},{"key":"e_1_3_3_1_47_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-90870-6_26"},{"key":"e_1_3_3_1_48_2","doi-asserted-by":"crossref","unstructured":"Maurice\u00a0H ter Beek Alessandro Fantechi Stefania Gnesi and Franco Mazzanti. 2016. Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints. Journal of Logical and Algebraic Methods in Programming 85 2 (2016) 287\u2013315.","DOI":"10.1016\/j.jlamp.2015.11.006"},{"key":"e_1_3_3_1_49_2","doi-asserted-by":"publisher","DOI":"10.1145\/3302333.3302349"},{"key":"e_1_3_3_1_50_2","doi-asserted-by":"publisher","DOI":"10.1145\/3239372.3239398"},{"key":"e_1_3_3_1_51_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49665-7_10"},{"key":"e_1_3_3_1_52_2","doi-asserted-by":"publisher","unstructured":"Guoheng Zhang Huilin Ye and Yuqing Lin. 2014. Quality attribute modeling and quality aware product configuration in software product lines. Softw. Qual. J. 22 3 (2014) 365\u2013401. 10.1007\/S11219-013-9197-Z","DOI":"10.1007\/S11219-013-9197-Z"}],"event":{"name":"SPLC-A '25: 29th ACM International Systems and Software Product Line Conference - Volume A","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"A Coru\u00f1a Spain","acronym":"SPLC-A '25"},"container-title":["Proceedings of the 29th ACM International Systems and Software Product Line Conference - Volume A"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3744915.3748464","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,2]],"date-time":"2025-09-02T16:06:42Z","timestamp":1756829202000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3744915.3748464"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,31]]},"references-count":51,"alternative-id":["10.1145\/3744915.3748464","10.1145\/3744915"],"URL":"https:\/\/doi.org\/10.1145\/3744915.3748464","relation":{},"subject":[],"published":{"date-parts":[[2025,8,31]]},"assertion":[{"value":"2025-08-31","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}