{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,16]],"date-time":"2026-10-16T21:09:38Z","timestamp":1792184978097,"version":"4.4.0"},"publisher-location":"New York, NY, USA","reference-count":50,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,5,14]],"date-time":"2016-05-14T00:00:00Z","timestamp":1463184000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"European Commission","award":["ERC H2020-644298"],"award-info":[{"award-number":["ERC H2020-644298"]}]},{"name":"DFG","award":["SCHA1635\/4-1"],"award-info":[{"award-number":["SCHA1635\/4-1"]}]},{"name":"BMBF","award":["01IS14017B"],"award-info":[{"award-number":["01IS14017B"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,5,14]]},"DOI":"10.1145\/2884781.2884823","type":"proceedings-article","created":{"date-parts":[[2016,5,13]],"date-time":"2016-05-13T14:21:10Z","timestamp":1463149270000},"page":"667-678","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":49,"title":["Feature-model interfaces"],"prefix":"10.1145","author":[{"given":"Reimar","family":"Schr\u00f6ter","sequence":"first","affiliation":[{"name":"University of Magdeburg, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sebastian","family":"Krieter","sequence":"additional","affiliation":[{"name":"University of Magdeburg, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas","family":"Th\u00fcm","sequence":"additional","affiliation":[{"name":"TU Braunschweig, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fabian","family":"Benduhn","sequence":"additional","affiliation":[{"name":"University of Magdeburg, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gunter","family":"Saake","sequence":"additional","affiliation":[{"name":"University of Magdeburg, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2016,5,14]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"101","volume-title":"Proc. Int'l Workshop Variability Modelling of Software-intensive Systems (VaMoS)","author":"Abele A.","year":"2010","unstructured":"A. Abele , Y. Papadopoulos , D. Servat , M. T\u00f6rngren , and M. Weber . The CVM Framework - A Prototype Tool for Compositional Variability Management . In Proc. Int'l Workshop Variability Modelling of Software-intensive Systems (VaMoS) , pages 101 -- 105 . Universit\u00e4t Duisburg-Essen , 2010 . A. Abele, Y. Papadopoulos, D. Servat, M. T\u00f6rngren, and M. Weber. The CVM Framework - A Prototype Tool for Compositional Variability Management. In Proc. Int'l Workshop Variability Modelling of Software-intensive Systems (VaMoS), pages 101--105. Universit\u00e4t Duisburg-Essen, 2010."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0364-2"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13595-8_3"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100089"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.12.004"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41533-3_22"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/2541773"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_10_1","first-page":"129","volume-title":"Proc. Int'l Workshop Variability Modelling of Software-intensive Systems (VaMoS)","author":"Benavides D.","year":"2007","unstructured":"D. Benavides , S. Segura , P. Trinidad , and A. Ruiz-Cort\u00e9s . FAMA: Tooling a Framework for the Automated Analysis of Feature Models . In Proc. Int'l Workshop Variability Modelling of Software-intensive Systems (VaMoS) , pages 129 -- 134 . Technical Report 2007 -01, Lero, 2007. D. Benavides, S. Segura, P. Trinidad, and A. Ruiz-Cort\u00e9s. FAMA: Tooling a Framework for the Automated Analysis of Feature Models. In Proc. Int'l Workshop Variability Modelling of Software-intensive Systems (VaMoS), pages 129--134. Technical Report 2007-01, Lero, 2007."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430502.2430513"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/2008503.2008518"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.10.005"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806850"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/362384.362685"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173738"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2010.02.018"},{"key":"e_1_3_2_1_18_1","first-page":"1","volume-title":"FLAME: A Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing. Software and System Modeling (SoSyM)","author":"Dur\u00e1n A.","year":"2015","unstructured":"A. Dur\u00e1n , D. Benavides , S. Segura , P. Trinidad , and A. Ruiz-Cort\u00e9s . FLAME: A Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing. Software and System Modeling (SoSyM) , pages 1 -- 34 , 2015 . In Press . A. Dur\u00e1n, D. Benavides, S. Segura, P. Trinidad, and A. Ruiz-Cort\u00e9s. FLAME: A Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing. Software and System Modeling (SoSyM), pages 1--34, 2015. In Press."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491627.2491652"},{"key":"e_1_3_2_1_20_1","unstructured":"FeatureIDE Development Team. FeatureIDE GitHub 2015. https:\/\/github.com\/FeatureIDE\/FeatureIDE.  FeatureIDE Development Team. FeatureIDE GitHub 2015. https:\/\/github.com\/FeatureIDE\/FeatureIDE."},{"key":"e_1_3_2_1_21_1","first-page":"183","volume-title":"Proc. Int'l Workshop on Analyses of Software Product Lines (ASPL)","author":"Hemakumar A.","year":"2008","unstructured":"A. Hemakumar . Finding Contradictions in Feature Models . In Proc. Int'l Workshop on Analyses of Software Product Lines (ASPL) , pages 183 -- 190 . Lero Int. Science Centre, University of Limerick, Ireland , 2008 . A. Hemakumar. Finding Contradictions in Feature Models. In Proc. Int'l Workshop on Analyses of Software Product Lines (ASPL), pages 183--190. Lero Int. Science Centre, University of Limerick, Ireland, 2008."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2012.02.002"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14192-8_12"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384673"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/1158337.1158683"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.16"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/786769.787036"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/1885639.1885653"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2009.19"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1639950.1640002"},{"key":"e_1_3_2_1_33_1","first-page":"231","volume-title":"Proc. Int'l Software Product Line Conf. (SPLC)","author":"Mendon\u00e7a M.","year":"2009","unstructured":"M. Mendon\u00e7a , A. W\u0105sowski , and K. Czarnecki . SAT-Based Analysis of Feature Models is Easy . In Proc. Int'l Software Product Line Conf. (SPLC) , pages 231 -- 240 . Software Engineering Institute , 2009 . M. Mendon\u00e7a, A. W\u0105sowski, and K. Czarnecki. SAT-Based Analysis of Feature Models is Easy. In Proc. Int'l Software Product Line Conf. (SPLC), pages 231--240. Software Engineering Institute, 2009."},{"key":"e_1_3_2_1_34_1","first-page":"123","volume-title":"Proc. Int'l Workshop Variability Modelling of Software-intensive Systems (VaMoS)","author":"Rosenm\u00fcller M.","year":"2010","unstructured":"M. Rosenm\u00fcller and N. Siegmund . Automating the Configuration of Multi Software Product Lines . In Proc. Int'l Workshop Variability Modelling of Software-intensive Systems (VaMoS) , pages 123 -- 130 . Universit\u00e4t Duisburg-Essen , 2010 . M. Rosenm\u00fcller and N. Siegmund. Automating the Configuration of Multi Software Product Lines. In Proc. Int'l Workshop Variability Modelling of Software-intensive Systems (VaMoS), pages 123--130. Universit\u00e4t Duisburg-Essen, 2010."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1944892.1944894"},{"key":"e_1_3_2_1_36_1","first-page":"13","volume-title":"Proc. Workshop on Modularization, Composition and Generative Techniques for Product Line Engineering (McGPLE)","author":"Rosenm\u00fcller M.","year":"2008","unstructured":"M. Rosenm\u00fcller , N. Siegmund , S. S. ur Rahman , and C. K\u00e4stner . Modeling Dependent Software Product Lines . In Proc. Workshop on Modularization, Composition and Generative Techniques for Product Line Engineering (McGPLE) , pages 13 -- 18 . Department of Informatics and Mathematics, University of Passau , 2008 . M. Rosenm\u00fcller, N. Siegmund, S. S. ur Rahman, and C. K\u00e4stner. Modeling Dependent Software Product Lines. In Proc. Workshop on Modularization, Composition and Generative Techniques for Product Line Engineering (McGPLE), pages 13--18. Department of Informatics and Mathematics, University of Passau, 2008."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33666-9_17"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499777.2500719"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2648511.2648522"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430502.2430515"},{"key":"e_1_3_2_1_42_1","first-page":"201","volume-title":"Proc. Int'l Workshop on Analyses of Software Product Lines (ASPL)","author":"Segura S.","year":"2008","unstructured":"S. Segura . Automated Analysis of Feature Models Using Atomic Sets . In Proc. Int'l Workshop on Analyses of Software Product Lines (ASPL) , pages 201 -- 207 . Lero Int. Science Centre, University of Limerick, Ireland , 2008 . S. Segura. Automated Analysis of Feature Models Using Atomic Sets. In Proc. Int'l Workshop on Analyses of Software Product Lines (ASPL), pages 201--207. Lero Int. Science Centre, University of Limerick, Ireland, 2008."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2110147.2110155"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2094091.2094095"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1289971.1289989"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2580950"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.06.002"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2011.53"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2866614.2866628"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2007.10.030"},{"key":"e_1_3_2_1_51_1","first-page":"1","volume-title":"Proc. Workshop on Decision Support in Software Engineering (ADIS)","author":"Trinidad P.","year":"2004","unstructured":"P. Trinidad , D. Benavides , and A. Ruiz-Cort\u00e9s . Improving decision making in software product lines product plan management . In Proc. Workshop on Decision Support in Software Engineering (ADIS) , pages 1 -- 8 . RWTH Aachen , 2004 . P. Trinidad, D. Benavides, and A. Ruiz-Cort\u00e9s. Improving decision making in software product lines product plan management. In Proc. Workshop on Decision Support in Software Engineering (ADIS), pages 1--8. RWTH Aachen, 2004."},{"key":"e_1_3_2_1_52_1","first-page":"145","volume-title":"Proc. Int'l Workshop Variability Modelling of Software-intensive Systems (VaMoS)","author":"Trinidad P.","year":"2009","unstructured":"P. Trinidad and A. Ruiz-Cort\u00e9s . Abductive Reasoning and Automated Analysis of Feature Models: How are They Connected? In Proc. Int'l Workshop Variability Modelling of Software-intensive Systems (VaMoS) , pages 145 -- 153 . Universit\u00e4t Duisburg-Essen , 2009 . P. Trinidad and A. Ruiz-Cort\u00e9s. Abductive Reasoning and Automated Analysis of Feature Models: How are They Connected? In Proc. Int'l Workshop Variability Modelling of Software-intensive Systems (VaMoS), pages 145--153. Universit\u00e4t Duisburg-Essen, 2009."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30482-1_16"}],"event":{"name":"ICSE '16: 38th International Conference on Software Engineering","location":"Austin Texas","acronym":"ICSE '16","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS\\TCSE TC on Software Engineering","IEEE-CS\\DATC IEEE Computer Society"]},"container-title":["Proceedings of the 38th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2884781.2884823","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2884781.2884823","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:39:06Z","timestamp":1750207146000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2884781.2884823"}},"subtitle":["the highway to compositional analyses of highly-configurable systems"],"short-title":[],"issued":{"date-parts":[[2016,5,14]]},"references-count":50,"alternative-id":["10.1145\/2884781.2884823","10.1145\/2884781"],"URL":"https:\/\/doi.org\/10.1145\/2884781.2884823","relation":{},"subject":[],"published":{"date-parts":[[2016,5,14]]},"assertion":[{"value":"2016-05-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}