{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,16]],"date-time":"2026-10-16T21:08:12Z","timestamp":1792184892158,"version":"4.4.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,8,28]],"date-time":"2023-08-28T00:00:00Z","timestamp":1693180800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100006012","name":"Christian Doppler Forschungsgesellschaft","doi-asserted-by":"publisher","award":["VaSiCS"],"award-info":[{"award-number":["VaSiCS"]}],"id":[{"id":"10.13039\/501100006012","id-type":"DOI","asserted-by":"publisher"}]},{"name":"FEDER\/Junta de Andaluc\u00eda","award":["FEDER\\_US-1381375"],"award-info":[{"award-number":["FEDER\\_US-1381375"]}]},{"name":"FEDER\/Ministry of Science and Innovation\/State Research Agency","award":["Data-pl,RED2022-134337-T"],"award-info":[{"award-number":["Data-pl,RED2022-134337-T"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,8,28]]},"DOI":"10.1145\/3579028.3609013","type":"proceedings-article","created":{"date-parts":[[2023,8,25]],"date-time":"2023-08-25T15:29:29Z","timestamp":1692977369000},"page":"39-42","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["UVLParser"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5239-3307","authenticated-orcid":false,"given":"Chico","family":"Sundermann","sequence":"first","affiliation":[{"name":"University of Ulm, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-5753-3584","authenticated-orcid":false,"given":"Stefan","family":"Vill","sequence":"additional","affiliation":[{"name":"University of Ulm, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8069-9584","authenticated-orcid":false,"given":"Thomas","family":"Th\u00fcm","sequence":"additional","affiliation":[{"name":"University of Ulm, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1182-5377","authenticated-orcid":false,"given":"Kevin","family":"Feichtinger","sequence":"additional","affiliation":[{"name":"LIT CPS Lab, Johannes Kepler University Linz, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-5772-6690","authenticated-orcid":false,"given":"Prankur","family":"Agarwal","sequence":"additional","affiliation":[{"name":"CDL VaSiCS, LIT CPS Lab, Johannes Kepler University Linz, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3862-1112","authenticated-orcid":false,"given":"Rick","family":"Rabiser","sequence":"additional","affiliation":[{"name":"CDL VaSiCS, LIT CPS Lab, Johannes Kepler University Linz, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9293-9784","authenticated-orcid":false,"given":"Jos\u00e9 A.","family":"Galindo","sequence":"additional","affiliation":[{"name":"University of Seville, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8449-3273","authenticated-orcid":false,"given":"David","family":"Benavides","sequence":"additional","affiliation":[{"name":"University of Seville, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,8,28]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Klaus Schmid, and Holger Eichelberger.","author":"Maurice","year":"2019","unstructured":"Maurice H. ter Beek , Klaus Schmid, and Holger Eichelberger. 2019 . Textual Variability Modeling Languages: An Overview and Considerations. In MODEVAR. ACM , 151--157. Maurice H. ter Beek, Klaus Schmid, and Holger Eichelberger. 2019. Textual Variability Modeling Languages: An Overview and Considerations. In MODEVAR. ACM, 151--157."},{"key":"e_1_3_2_1_2_1","volume-title":"First International Workshop on Languages for Modelling Variability (MODEVAR","author":"Benavides David","year":"2019","unstructured":"David Benavides , Rick Rabiser , Don Batory , and Mathieu Acher . 2019 . First International Workshop on Languages for Modelling Variability (MODEVAR 2019). In SPLC. 323--323. David Benavides, Rick Rabiser, Don Batory, and Mathieu Acher. 2019. First International Workshop on Languages for Modelling Variability (MODEVAR 2019). In SPLC. 323--323."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Thorsten Berger and Philippe Collet. 2019. Usage Scenarios for a Common Feature Modeling Language. In SPLC. ACM 174--181.  Thorsten Berger and Philippe Collet. 2019. Usage Scenarios for a Common Feature Modeling Language. In SPLC. ACM 174--181.","DOI":"10.1145\/3307630.3342403"},{"key":"e_1_3_2_1_4_1","volume-title":"SEFM, Peter Csaba \u00d6lveczky and Gwen Sala\u00fcn (Eds.)","author":"Bittner Paul Maximilian","unstructured":"Paul Maximilian Bittner , Thomas Th\u00fcm , and Ina Schaefer . 2019. SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses . In SEFM, Peter Csaba \u00d6lveczky and Gwen Sala\u00fcn (Eds.) . Springer , 127--144. Paul Maximilian Bittner, Thomas Th\u00fcm, and Ina Schaefer. 2019. SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses. In SEFM, Peter Csaba \u00d6lveczky and Gwen Sala\u00fcn (Eds.). Springer, 127--144."},{"key":"e_1_3_2_1_5_1","unstructured":"Krzysztof Czarnecki and Chang Hwan Peter Kim. 2005. Cardinality-Based Feature Modeling and Constraints: A Progress Report. In SF. 16--20.  Krzysztof Czarnecki and Chang Hwan Peter Kim. 2005. Cardinality-Based Feature Modeling and Constraints: A Progress Report. In SF. 16--20."},{"key":"e_1_3_2_1_6_1","volume-title":"Z3: An Efficient SMT solver","author":"Moura Leonardo De","unstructured":"Leonardo De Moura and Nikolaj Bj\u00f8rner . 2008. Z3: An Efficient SMT solver . In TACAS. Springer , 337--340. Leonardo De Moura and Nikolaj Bj\u00f8rner. 2008. Z3: An Efficient SMT solver. In TACAS. Springer, 337--340."},{"key":"e_1_3_2_1_7_1","volume-title":"TRAVART: An Approach for Transforming Variability Models. In VaMoS. ACM, Article 8, 10 pages.","author":"Feichtinger Kevin","year":"2021","unstructured":"Kevin Feichtinger , Johann St\u00f6bich , Dario Romano , and Rick Rabiser . 2021 . TRAVART: An Approach for Transforming Variability Models. In VaMoS. ACM, Article 8, 10 pages. Kevin Feichtinger, Johann St\u00f6bich, Dario Romano, and Rick Rabiser. 2021. TRAVART: An Approach for Transforming Variability Models. In VaMoS. ACM, Article 8, 10 pages."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Kevin Feichtinger Chico Sundermann Thomas Th\u00fcm and Rick Rabiser. 2022. It's Your Loss: Classifying Information Loss During Variability Model Roundtrip Transformations. In SPLC. ACM 67--78.  Kevin Feichtinger Chico Sundermann Thomas Th\u00fcm and Rick Rabiser. 2022. It's Your Loss: Classifying Information Loss During Variability Model Roundtrip Transformations. In SPLC. ACM 67--78.","DOI":"10.1145\/3546932.3546990"},{"key":"e_1_3_2_1_9_1","volume-title":"Galindo and David Benavides","author":"Jos\u00e9","year":"2020","unstructured":"Jos\u00e9 A. Galindo and David Benavides . 2020 . A Python Framework for the Automated Analysis of Feature Models: A First Step to Integrate Community Efforts. In MODEVAR. ACM , 52--55. Jos\u00e9 A. Galindo and David Benavides. 2020. A Python Framework for the Automated Analysis of Feature Models: A First Step to Integrate Community Efforts. In MODEVAR. ACM, 52--55."},{"key":"e_1_3_2_1_10_1","volume-title":"Michal Antkiewicz, Krzysztof Czarnecki, and Andrzej Wasowski.","author":"Juodisius Paulius","year":"2018","unstructured":"Paulius Juodisius , Atrisha Sarkar , Raghava Rao Mukkamala , Michal Antkiewicz, Krzysztof Czarnecki, and Andrzej Wasowski. 2018 . Clafer : Lightweight Modeling of Structure, Behaviour, and Variability. https:\/\/arxiv.org\/pdf\/1807.08576v1. CoRR ( 2018). Paulius Juodisius, Atrisha Sarkar, Raghava Rao Mukkamala, Michal Antkiewicz, Krzysztof Czarnecki, and Andrzej Wasowski. 2018. Clafer: Lightweight Modeling of Structure, Behaviour, and Variability. https:\/\/arxiv.org\/pdf\/1807.08576v1. CoRR (2018)."},{"key":"e_1_3_2_1_11_1","volume-title":"Release 2.2. JSAT 7, 2-3","author":"Berre Daniel Le","year":"2010","unstructured":"Daniel Le Berre and Anne Parrain . 2010. The Sat4j Library , Release 2.2. JSAT 7, 2-3 ( 2010 ), 59--64. Daniel Le Berre and Anne Parrain. 2010. The Sat4j Library, Release 2.2. JSAT 7, 2-3 (2010), 59--64."},{"key":"e_1_3_2_1_12_1","volume-title":"Mastering Software Variability with FeatureIDE","author":"Meinicke Jens","unstructured":"Jens Meinicke , Thomas Th\u00fcm , Reimar Schr\u00f6ter , Fabian Benduhn , Thomas Leich , and Gunter Saake . 2017. Mastering Software Variability with FeatureIDE . Springer . Jens Meinicke, Thomas Th\u00fcm, Reimar Schr\u00f6ter, Fabian Benduhn, Thomas Leich, and Gunter Saake. 2017. Mastering Software Variability with FeatureIDE. Springer."},{"key":"e_1_3_2_1_13_1","first-page":"789","article-title":"ANTLR: A Predicated-LL(k) Parser Generator","volume":"25","author":"Parr Terence J.","year":"1995","unstructured":"Terence J. Parr and Russell W. Quong . 1995 . ANTLR: A Predicated-LL(k) Parser Generator . SPE 25 , 7 (1995), 789 -- 810 . Terence J. Parr and Russell W. Quong. 1995. ANTLR: A Predicated-LL(k) Parser Generator. SPE 25, 7 (1995), 789--810.","journal-title":"SPE"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491627.2491638"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2018.12.027"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Chico Sundermann Kevin Feichtinger Dominik Engelhardt Rick Rabiser and Thomas Th\u00fcm. 2021. Yet Another Textual Variability Language? A Community Effort Towards a Unified Language. In SPLC. ACM 136--147.  Chico Sundermann Kevin Feichtinger Dominik Engelhardt Rick Rabiser and Thomas Th\u00fcm. 2021. Yet Another Textual Variability Language? A Community Effort Towards a Unified Language. In SPLC. ACM 136--147.","DOI":"10.1145\/3461001.3471145"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Thomas Th\u00fcm Christoph Seidl and Ina Schaefer. 2019. On Language Levels for Feature Modeling Notations. In MODEVAR. ACM 158--161.  Thomas Th\u00fcm Christoph Seidl and Ina Schaefer. 2019. On Language Levels for Feature Modeling Notations. In MODEVAR. ACM 158--161.","DOI":"10.1145\/3307630.3342404"},{"key":"e_1_3_2_1_18_1","volume-title":"Language Levels for the Universal Variability Language: An Extension Mechanism and Conversion Strategies. Bachelor's Thesis","author":"Vill Stefan","unstructured":"Stefan Vill . 2022. Language Levels for the Universal Variability Language: An Extension Mechanism and Conversion Strategies. Bachelor's Thesis . University of Ulm. Stefan Vill. 2022. Language Levels for the Universal Variability Language: An Extension Mechanism and Conversion Strategies. Bachelor's Thesis. University of Ulm."}],"event":{"name":"SPLC '23: 27th ACM International Systems and Software Product Line Conference","location":"Tokyo Japan","acronym":"SPLC '23","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume B"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3579028.3609013","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3579028.3609013","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T12:38:05Z","timestamp":1750163885000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3579028.3609013"}},"subtitle":["Extending UVL with Language Levels and Conversion Strategies"],"short-title":[],"issued":{"date-parts":[[2023,8,28]]},"references-count":18,"alternative-id":["10.1145\/3579028.3609013","10.1145\/3579028"],"URL":"https:\/\/doi.org\/10.1145\/3579028.3609013","relation":{},"subject":[],"published":{"date-parts":[[2023,8,28]]},"assertion":[{"value":"2023-08-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}