{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:35:15Z","timestamp":1750221315885,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,9,25]],"date-time":"2017-09-25T00:00:00Z","timestamp":1506297600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Universidad Aut\u00f3noma de Chile"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,9,25]]},"DOI":"10.1145\/3109729.3109747","type":"proceedings-article","created":{"date-parts":[[2017,9,1]],"date-time":"2017-09-01T12:27:52Z","timestamp":1504268872000},"page":"150-155","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Exploring efficient analysis alternatives on feature models"],"prefix":"10.1145","author":[{"given":"Cristian Vidal","family":"Silva","sequence":"first","affiliation":[{"name":"Ingenier\u00eda en Inform\u00e1tica, Universidad Aut\u00f3noma de Chile, Talca, Chile"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,9,25]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Familiar: A domain-specific language for large scale management of feature models. Science of Computer Programming (SCP) Special issue on programming languages, page 55","author":"Acher Mathieu","year":"2013","unstructured":"Mathieu Acher , Philippe Collet , Philippe Lahire , and Robert France . Familiar: A domain-specific language for large scale management of feature models. Science of Computer Programming (SCP) Special issue on programming languages, page 55 , 2013 . Mathieu Acher, Philippe Collet, Philippe Lahire, and Robert France. Familiar: A domain-specific language for large scale management of feature models. Science of Computer Programming (SCP) Special issue on programming languages, page 55, 2013."},{"key":"e_1_3_2_1_2_1","volume-title":"ISA. Betty: On-line fm generator","author":"Applied Software Engineering US","year":"2017","unstructured":"US Applied Software Engineering , ISA. Betty: On-line fm generator , 2017 . US Applied Software Engineering, ISA. Betty: On-line fm generator, 2017."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38977-1_11"},{"key":"e_1_3_2_1_5_1","first-page":"129","volume-title":"Proceeding of the First International Workshop on Variability Modelling of Software-intensive Systems (VAMOS)","author":"Benavides David","year":"2007","unstructured":"David Benavides , S. Segura , P. Trinidad , and A. Ruiz-Cort\u00e9s . Fama: Tooling a framework for the automated analysis of feature models . In Proceeding of the First International Workshop on Variability Modelling of Software-intensive Systems (VAMOS) , page 129 -- 134 , 2007 . David Benavides, S. Segura, P. Trinidad, and A. Ruiz-Cort\u00e9s. Fama: Tooling a framework for the automated analysis of feature models. In Proceeding of the First International Workshop on Variability Modelling of Software-intensive Systems (VAMOS), page 129--134, 2007."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_7_1","first-page":"163","volume-title":"Antonio Ruiz Cort\u00e9s, and Sergio Segura. FaMa","author":"Benavides David","year":"2013","unstructured":"David Benavides , Pablo Trinidad , Antonio Ruiz Cort\u00e9s, and Sergio Segura. FaMa , chapter FaMa, pages 163 -- 171 . Springer Berlin Heidelberg , 2013 . David Benavides, Pablo Trinidad, Antonio Ruiz Cort\u00e9s, and Sergio Segura. FaMa, chapter FaMa, pages 163--171. Springer Berlin Heidelberg, 2013."},{"key":"e_1_3_2_1_8_1","volume-title":"June 20","author":"Bryant R.M.","year":"2000","unstructured":"R.M. Bryant , R.D. Hoffman , and S. Kahn . World wide web end user response time monitor , June 20 2000 . US Patent 6,078,956. R.M. Bryant, R.D. Hoffman, and S. Kahn. World wide web end user response time monitor, June 20 2000. US Patent 6,078,956."},{"key":"e_1_3_2_1_9_1","volume-title":"Parallel Computer Architecture: A Hardware\/Software Approach","author":"Culler David E.","year":"1997","unstructured":"David E. Culler , Anoop Gupta , and Jaswinder Pal Singh . Parallel Computer Architecture: A Hardware\/Software Approach . Morgan Kaufmann Publishers Inc ., San Francisco, CA, USA, 1 st edition, 1997 . David E. Culler, Anoop Gupta, and Jaswinder Pal Singh. Parallel Computer Architecture: A Hardware\/Software Approach. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 1st edition, 1997.","edition":"1"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the Internacional Workshop on Agile Product Line Enginering","volume":"2006","author":"Deckwerth Frederik","unstructured":"Frederik Deckwerth , Geza Kulcsar , Malte Lochau , Gergely Varr\u00f3 , and Andy Sch\u00fcrr . Explanations for agile feature models . In Proceedings of the Internacional Workshop on Agile Product Line Enginering , volume 1st, Baltimore, Maryland, EEUU, 2006 . Frederik Deckwerth, Geza Kulcsar, Malte Lochau, Gergely Varr\u00f3, and Andy Sch\u00fcrr. Explanations for agile feature models. In Proceedings of the Internacional Workshop on Agile Product Line Enginering, volume 1st, Baltimore, Maryland, EEUU, 2006."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.206.3"},{"key":"e_1_3_2_1_12_1","unstructured":"A. Felfernig D. Benavides J. Galindo and F. Reinfrank. Towards anomaly explanation in feature models.  A. Felfernig D. Benavides J. Galindo and F. Reinfrank. Towards anomaly explanation in feature models."},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the 17th International Configuration Workshop","author":"Felfernig Alexander","year":"2015","unstructured":"Alexander Felfernig , rouven Walter, and Stefan Reiterer . Flexdiag : Anytime diagnosis for reconfiguration . In Proceedings of the 17th International Configuration Workshop , September 2015 . Alexander Felfernig, rouven Walter, and Stefan Reiterer. Flexdiag: Anytime diagnosis for reconfiguration. In Proceedings of the 17th International Configuration Workshop, September 2015."},{"key":"e_1_3_2_1_14_1","first-page":"29","volume-title":"ACoTA","author":"Galindo Jos\u00e9","year":"2010","unstructured":"Jos\u00e9 Galindo , David Benavides , and Sergio Segura . Debian packages repositories as software product line models. towards automated analysis . In ACoTA , pages 29 -- 34 , 2010 . Jos\u00e9 Galindo, David Benavides, and Sergio Segura. Debian packages repositories as software product line models. towards automated analysis. In ACoTA, pages 29--34, 2010."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934466.2934478"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2610411"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-014-9258-y"},{"key":"e_1_3_2_1_18_1","volume-title":"3rd International Conference on Cloud Computing and Services Science (CLOSER'13)","author":"Garc\u00eda-Gal\u00e1n Jes\u00fas","year":"2013","unstructured":"Jes\u00fas Garc\u00eda-Gal\u00e1n , Omer F. Rana , Pablo Trinidad , and Antonio Ruiz-Cort\u00e9s . Migrating to the cloud: a software product line based analysis . In 3rd International Conference on Cloud Computing and Services Science (CLOSER'13) , 2013 . Jes\u00fas Garc\u00eda-Gal\u00e1n, Omer F. Rana, Pablo Trinidad, and Antonio Ruiz-Cort\u00e9s. Migrating to the cloud: a software product line based analysis. In 3rd International Conference on Cloud Computing and Services Science (CLOSER'13), 2013."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1002\/9780470932025"},{"key":"e_1_3_2_1_20_1","first-page":"131","volume-title":"DTU-TRYK","author":"Hadzic Tarik","year":"2004","unstructured":"Tarik Hadzic , Sathiamoorthy Subbarayan , Rune M. Jensen , Henrik R. Andersen , Jesper M\u00f8ller , and Henrik Hulgaard . Fast backtrack-free product configuration using a precompiled solution space representation. In In PETO CONFERENCE , DTU-TRYK , pages 131 -- 138 , 2004 . Tarik Hadzic, Sathiamoorthy Subbarayan, Rune M. Jensen, Henrik R. Andersen, Jesper M\u00f8ller, and Henrik Hulgaard. Fast backtrack-free product configuration using a precompiled solution space representation. In In PETO CONFERENCE, DTU-TRYK, pages 131--138, 2004."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.21236\/ADA235785"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3093335.2993248"},{"key":"e_1_3_2_1_23_1","volume-title":"Software product lines online tools","author":"Mendonca Marcilio","year":"2017","unstructured":"Marcilio Mendonca , Moises Branco , and Donald Cowan . S.p.l.o.t. : Software product lines online tools , 2017 . Marcilio Mendonca, Moises Branco, and Donald Cowan. S.p.l.o.t.: Software product lines online tools, 2017."},{"key":"e_1_3_2_1_24_1","volume-title":"November 1","author":"Raz U.","year":"2001","unstructured":"U. Raz , Y. Volk , and S. Melamed . Method and system for decreasing the user-perceived system response time in web-based systems , November 1 2001 . US Patent App . 09\/747,260. U. Raz, Y. Volk, and S. Melamed. Method and system for decreasing the user-perceived system response time in web-based systems, November 1 2001. US Patent App. 09\/747,260."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2015.05.005"},{"key":"e_1_3_2_1_26_1","first-page":"45","article-title":"The variability model of the linux kernel","volume":"10","author":"She S.","year":"2010","unstructured":"S. She , R. Lotufo , T. Berger , A. Wasowski , and K. Czarnecki . The variability model of the linux kernel . VaMoS , 10 : 45 -- 51 , 2010 . S. She, R. Lotufo, T. Berger, A. Wasowski, and K. Czarnecki. The variability model of the linux kernel. VaMoS, 10:45--51, 2010.","journal-title":"VaMoS"},{"key":"e_1_3_2_1_27_1","volume-title":"Fourth International Workshop on Variability Modeling of Software-intensive Systems (VaMoS 2010","author":"She Steven","year":"2010","unstructured":"Steven She , Rafael Lotufo , Thorsten Berger , Andrzej Wasowski , and Krzysztof Czarnecki . Variability model of the linux kernel . In Fourth International Workshop on Variability Modeling of Software-intensive Systems (VaMoS 2010 ), Linz, Austria , 2010 . Steven She, Rafael Lotufo, Thorsten Berger, Andrzej Wasowski, and Krzysztof Czarnecki. Variability model of the linux kernel. In Fourth International Workshop on Variability Modeling of Software-intensive Systems (VaMoS 2010), Linz, Austria, 2010."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2007.10.030"}],"event":{"name":"SPLC '17: 21st International Systems and Software Product Line Conference","sponsor":["Fidetia"],"location":"Sevilla Spain","acronym":"SPLC '17"},"container-title":["Proceedings of the 21st International Systems and Software Product Line Conference - Volume B"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3109729.3109747","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3109729.3109747","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:13:45Z","timestamp":1750212825000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3109729.3109747"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,25]]},"references-count":28,"alternative-id":["10.1145\/3109729.3109747","10.1145\/3109729"],"URL":"https:\/\/doi.org\/10.1145\/3109729.3109747","relation":{},"subject":[],"published":{"date-parts":[[2017,9,25]]},"assertion":[{"value":"2017-09-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}