{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,2]],"date-time":"2025-09-02T16:40:12Z","timestamp":1756831212918,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":3,"publisher":"ACM","funder":[{"DOI":"10.13039\/100010661","name":"Horizon 2020 Framework Programme","doi-asserted-by":"publisher","award":["956200"],"award-info":[{"award-number":["956200"]}],"id":[{"id":"10.13039\/100010661","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Ministero dell'Universit\u00e0 e della Ricerca","award":["ECS00000036, 2020TL3X8X"],"award-info":[{"award-number":["ECS00000036, 2020TL3X8X"]}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["390696704, 389792660"],"award-info":[{"award-number":["390696704, 389792660"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003246","name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","doi-asserted-by":"publisher","award":["VI.Veni.222.431"],"award-info":[{"award-number":["VI.Veni.222.431"]}],"id":[{"id":"10.13039\/501100003246","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.3748484","type":"proceedings-article","created":{"date-parts":[[2025,8,30]],"date-time":"2025-08-30T14:54:43Z","timestamp":1756565683000},"page":"238-238","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8515-1809","authenticated-orcid":false,"given":"Juliane","family":"P\u00e4\u00dfler","sequence":"first","affiliation":[{"name":"University of Oslo, Oslo, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2930-6367","authenticated-orcid":false,"given":"Maurice H.","family":"ter Beek","sequence":"additional","affiliation":[{"name":"CNR-ISTI, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8109-1706","authenticated-orcid":false,"given":"Ferruccio","family":"Damiani","sequence":"additional","affiliation":[{"name":"University of Turin, Turin, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5718-8276","authenticated-orcid":false,"given":"Clemens","family":"Dubslaff","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, Eindhoven, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5382-3949","authenticated-orcid":false,"given":"Einar Broch","family":"Johnsen","sequence":"additional","affiliation":[{"name":"University of Oslo, Oslo, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9948-2748","authenticated-orcid":false,"given":"Silvia Lizeth","family":"Tapia Tarifa","sequence":"additional","affiliation":[{"name":"University of Oslo, Oslo, Norway"}],"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":"publisher","unstructured":"Juliane P\u00e4\u00dfler Maurice\u00a0H. ter Beek Ferruccio Damiani Clemens Dubslaff Einar\u00a0Broch Johnsen and Silvia\u00a0Lizeth Tapia\u00a0Tarifa. 2025. Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System. Formal Aspects of Computing (2025).10.1145\/3709159","DOI":"10.1145\/3709159"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"publisher","unstructured":"Juliane P\u00e4\u00dfler Maurice\u00a0H. ter Beek Ferruccio Damiani Clemens Dubslaff Einar\u00a0Broch Johnsen and Silvia\u00a0Lizeth Tapia\u00a0Tarifa. 2024. Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System (Artifact). Zenodo.10.5281\/zenodo.14228090","DOI":"10.5281\/zenodo.14228090"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","unstructured":"Philipp Chrszon Clemens Dubslaff Sascha Kl\u00fcppelholz and Christel Baier. 2018. ProFeat: Feature-Oriented Engineering for Family-Based Probabilistic Model Checking. Formal Aspects of Computing 30 1 (2018) 45\u201375.10.1007\/s00165-017-0432-4","DOI":"10.1007\/s00165-017-0432-4"}],"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.3748484","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,2]],"date-time":"2025-09-02T16:06:45Z","timestamp":1756829205000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3744915.3748484"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,31]]},"references-count":3,"alternative-id":["10.1145\/3744915.3748484","10.1145\/3744915"],"URL":"https:\/\/doi.org\/10.1145\/3744915.3748484","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"}}]}}