{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,28]],"date-time":"2026-08-28T05:18:40Z","timestamp":1787894320540,"version":"build-2784847793"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032365866","type":"print"},{"value":"9783032365873","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,8,29]],"date-time":"2026-08-29T00:00:00Z","timestamp":1787961600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,8,29]],"date-time":"2026-08-29T00:00:00Z","timestamp":1787961600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2027]]},"DOI":"10.1007\/978-3-032-36587-3_2","type":"book-chapter","created":{"date-parts":[[2026,8,28]],"date-time":"2026-08-28T04:47:19Z","timestamp":1787892439000},"page":"20-29","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Analyzing DOPLER Decision Models with\u00a0SMT"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-6845-1071","authenticated-orcid":false,"given":"Fabian","family":"Eger","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7297-6000","authenticated-orcid":false,"given":"Maximilian","family":"Heisinger","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3862-1112","authenticated-orcid":false,"given":"Rick","family":"Rabiser","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1182-5377","authenticated-orcid":false,"given":"Kevin","family":"Feichtinger","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,8,29]]},"reference":[{"key":"2_CR1","doi-asserted-by":"publisher","unstructured":"Apel, S., Batory, D., K\u00e4stner, C., Saake, G.: Software Product Lines, pp. 3\u201315. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-37521-7_1","DOI":"10.1007\/978-3-642-37521-7_1"},{"key":"2_CR2","unstructured":"Barrett, C., Fontaine, P., Tinelli, C.: The Satisfiability Modulo Theories Library (SMT-LIB) (2016). www.SMT-LIB.org"},{"issue":"6","key":"2_CR3","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1016\/j.is.2010.01.001","volume":"35","author":"D Benavides","year":"2010","unstructured":"Benavides, D., Segura, S., Ruiz-Cort\u00e9s, A.: Automated analysis of feature models 20 years later: a literature review. Inf. Syst. 35(6), 615\u2013636 (2010). https:\/\/doi.org\/10.1016\/j.is.2010.01.001","journal-title":"Inf. Syst."},{"key":"2_CR4","unstructured":"Biere, A., van Maaren, H., Walsh, T.: Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications (IOS Press). SAGE Publications (2009)"},{"key":"2_CR5","doi-asserted-by":"publisher","unstructured":"Czarnecki, K., Gr\u00fcnbacher, P., Rabiser, R., Schmid, K., Wasowski, A.: Cool features and tough decisions: a comparison of variability modeling approaches. In: Proceedings of 6th VaMoS. ACM (2012). https:\/\/doi.org\/10.1145\/2110147.2110167","DOI":"10.1145\/2110147.2110167"},{"issue":"1","key":"2_CR6","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s10515-010-0076-6","volume":"18","author":"D Dhungana","year":"2011","unstructured":"Dhungana, D., Gr\u00fcnbacher, P., Rabiser, R.: The dopler meta-tool for decision-oriented variability modeling: a multiple case study. Autom. Softw. Eng. 18(1), 77\u2013114 (2011). https:\/\/doi.org\/10.1007\/s10515-010-0076-6","journal-title":"Autom. Softw. Eng."},{"key":"2_CR7","doi-asserted-by":"publisher","unstructured":"Eger, F., Feichtinger, K.: Dopler models (2026). https:\/\/doi.org\/10.5281\/zenodo.18507984","DOI":"10.5281\/zenodo.18507984"},{"key":"2_CR8","doi-asserted-by":"publisher","unstructured":"Eger, F., von Geisau, J., Weber, F., Kowal, D., Kraml, Y., Feichtinger, K.: Travart-dopler-analysis (2026). https:\/\/doi.org\/10.5281\/zenodo.20487919","DOI":"10.5281\/zenodo.20487919"},{"key":"2_CR9","doi-asserted-by":"publisher","unstructured":"Feichtinger, K., Rabiser, R.: Towards transforming variability models: Usage scenarios, required capabilities and challenges. In: Proceedings of 24th SPLC. ACM (2020). https:\/\/doi.org\/10.1145\/3382026.3425768","DOI":"10.1145\/3382026.3425768"},{"key":"2_CR10","doi-asserted-by":"publisher","unstructured":"Feichtinger, K., St\u00f6bich, J., Romano, D., Rabiser, R.: Travart: an approach for transforming variability models. In: Proceedings of 15th VaMoS. ACM (2021). https:\/\/doi.org\/10.1145\/3442391.3442400","DOI":"10.1145\/3442391.3442400"},{"key":"2_CR11","doi-asserted-by":"publisher","unstructured":"Feichtinger, K., Sundermann, C., Th\u00fcm, T., Rabiser, R.: It\u2019s your loss: classifying information loss during variability model roundtrip transformations. In: Proceedings of 26th SPLC. ACM (2022). https:\/\/doi.org\/10.1145\/3546932.3546990","DOI":"10.1145\/3546932.3546990"},{"key":"2_CR12","doi-asserted-by":"publisher","unstructured":"Heisinger, M., Piminger, F., Seidl, M.: From decision models to user-guiding configurators using smt. In: Proceedings of 18th VaMoS. ACM (2024). https:\/\/doi.org\/10.1145\/3634713.3634718","DOI":"10.1145\/3634713.3634718"},{"key":"2_CR13","unstructured":"Hvam, L., Mortensen, N.H., Riis, J.: Product Customization. Springer, Cham (2007)"},{"key":"2_CR14","doi-asserted-by":"publisher","unstructured":"Mazo, R., Gr\u00fcnbacher, P., Heider, W., Rabiser, R., Salinesi, C., Diaz, D.: Using constraint programming to verify dopler variability models. In: Proceedings of 5th VaMoS. ACM (2011). https:\/\/doi.org\/10.1145\/1944892.1944904","DOI":"10.1145\/1944892.1944904"},{"key":"2_CR15","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2024.112007","volume":"211","author":"K Meixner","year":"2024","unstructured":"Meixner, K., et al.: Variability modeling of products, processes, and resources in cyber\u2013physical production systems engineering. J. Syst. Softw. 211, 112007 (2024). https:\/\/doi.org\/10.1016\/j.jss.2024.112007","journal-title":"J. Syst. Softw."},{"key":"2_CR16","doi-asserted-by":"publisher","unstructured":"Meixner, K., Feichtinger, K., Rabiser, R., Biffl, S.: A reusable set of real-world product line case studies for comparing variability models in research and practice. In: Proceedings of 25th SPLC. ACM (2021). https:\/\/doi.org\/10.1145\/3461002.3473946","DOI":"10.1145\/3461002.3473946"},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L de Moura","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24"},{"key":"2_CR18","doi-asserted-by":"publisher","unstructured":"Rabiser, R., Gr\u00fcnbacher, P., Lehofer, M.: A qualitative study on user guidance capabilities in product configuration tools. In: 27th Conference on Automated Software Engineering. ACM (2012). https:\/\/doi.org\/10.1145\/2351676.2351693","DOI":"10.1145\/2351676.2351693"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Advanced Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-36587-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,28]],"date-time":"2026-08-28T04:47:24Z","timestamp":1787892444000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-36587-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,8,29]]},"ISBN":["9783032365866","9783032365873"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-36587-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,8,29]]},"assertion":[{"value":"29 August 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEAA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Euromicro Conference on Software Engineering and Advanced Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Krak\u00f3w","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 September 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 September 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"52","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"seaa-12026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/dsd-seaa.com\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}