{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T13:38:28Z","timestamp":1761917908241,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,19]],"date-time":"2020-10-19T00:00:00Z","timestamp":1603065600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"German Research Foundation (DFG)"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,10,19]]},"DOI":"10.1145\/3382025.3414945","type":"proceedings-article","created":{"date-parts":[[2020,10,16]],"date-time":"2020-10-16T19:22:18Z","timestamp":1602876138000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Real-time-aware reconfiguration decisions for dynamic software product lines"],"prefix":"10.1145","author":[{"given":"Hendrik","family":"G\u00f6ttmann","sequence":"first","affiliation":[{"name":"Technical University of Darmstadt, Darmstadt, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lars","family":"Luthmann","sequence":"additional","affiliation":[{"name":"Technical University of Darmstadt, Darmstadt, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Malte","family":"Lochau","sequence":"additional","affiliation":[{"name":"University of Siegen, Siegen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andy","family":"Sch\u00fcrr","sequence":"additional","affiliation":[{"name":"Technical University of Darmstadt, Darmstadt, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,10,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Rajeev Alur Costas Courcoubetis and David Dill. 1993. Model-Checking in Dense Real-Time. Information and computation 104 1 (1993) 2--34.  Rajeev Alur Costas Courcoubetis and David Dill. 1993. Model-Checking in Dense Real-Time. Information and computation 104 1 (1993) 2--34.","DOI":"10.1006\/inco.1993.1024"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0032042"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/167088.167242"},{"key":"e_1_3_2_1_4_1","unstructured":"Sven Apel Don Batory Christian K\u00e4stner and Gunter Saake. 2016. Feature-Oriented Software Product Lines. Springer.  Sven Apel Don Batory Christian K\u00e4stner and Gunter Saake. 2016. Feature-Oriented Software Product Lines. Springer."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"volume-title":"Formal methods for the design of real-time systems","author":"Behrmann Gerd","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","unstructured":"Gerd Behrmann Alexandre David Kim Guldstrand Larsen John H\u00e5kansson Paul Pettersson Wang Yi and Martijn Hendriks. 2006. Uppaal 4.0. (2006).  Gerd Behrmann Alexandre David Kim Guldstrand Larsen John H\u00e5kansson Paul Pettersson Wang Yi and Martijn Hendriks. 2006. Uppaal 4.0. (2006)."},{"volume-title":"Application-Layer Overlay Networks for Communication-Based Train Control Systems. In 2018 IEEE Wireless Communications and Networking Conference (WCNC). IEEE, 1--6.","year":"2018","author":"Chan Mei Ya","key":"e_1_3_2_1_8_1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362536.2362549"},{"volume-title":"Staged Configuration Using Feature Models. In International Conference on Software Product Lines. Springer, 266--283","year":"2004","author":"Czarnecki Krzysztof","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0361-y"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2008.123"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2008.15"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2017.9"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-015-0470-4"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106195.3106204"},{"key":"e_1_3_2_1_19_1","unstructured":"Martin Pfannem\u00fcller. 2017. A Dynamic Software Product Line Approach for Planning and Execution of Reconfigurations in Self-Adaptive Systems. Master's thesis.  Martin Pfannem\u00fcller. 2017. A Dynamic Software Product Line Approach for Planning and Execution of Reconfigurations in Self-Adaptive Systems. Master's thesis."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICAC.2017.18"},{"volume-title":"The Temporal Logic of Programs. In 18th Annual Symposium on Foundations of Computer Science (sfcs","year":"1977","author":"Pnueli Amir","key":"e_1_3_2_1_21_1"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Klaus Pohl G\u00fcnter B\u00f6ckle and Frank J van Der Linden. 2005. Software Product Line Engineering: Foundations Principles and Techniques. Springer Science & Business Media.  Klaus Pohl G\u00fcnter B\u00f6ckle and Frank J van Der Linden. 2005. Software Product Line Engineering: Foundations Principles and Techniques. Springer Science & Business Media.","DOI":"10.1007\/3-540-28901-1"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499777.2500716"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2110147.2110155"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-011-9152-9"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2017.6"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"Maurice Ter Beek Axel Legay Alberto Lluch Lafuente and Andrea Vandin. 2018. A framework for quantitative modeling and analysis of highly (re) configurable systems. IEEE Transactions on Software Engineering (2018).  Maurice Ter Beek Axel Legay Alberto Lluch Lafuente and Andrea Vandin. 2018. A framework for quantitative modeling and analysis of highly (re) configurable systems. IEEE Transactions on Software Engineering (2018).","DOI":"10.1007\/978-3-030-34968-4_35"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.06.002"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3233027.3233030"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","unstructured":"Wang Yi Paul Pettersson and Mats Daniels. 1995. Automatic Verification of Real-Time Communicating Systems by Constraint-Solving. In Formal Description Techniques VII. Springer 243--258.  Wang Yi Paul Pettersson and Mats Daniels. 1995. Automatic Verification of Real-Time Communicating Systems by Constraint-Solving. In Formal Description Techniques VII. Springer 243--258.","DOI":"10.1007\/978-0-387-34878-0_18"}],"event":{"name":"SPLC '20: 24th ACM International Systems and Software Product Line Conference","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Montreal Quebec Canada","acronym":"SPLC '20"},"container-title":["Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3382025.3414945","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3382025.3414945","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:02:07Z","timestamp":1750197727000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3382025.3414945"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,19]]},"references-count":28,"alternative-id":["10.1145\/3382025.3414945","10.1145\/3382025"],"URL":"https:\/\/doi.org\/10.1145\/3382025.3414945","relation":{},"subject":[],"published":{"date-parts":[[2020,10,19]]},"assertion":[{"value":"2020-10-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}