{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,23]],"date-time":"2026-06-23T11:51:38Z","timestamp":1782215498568,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,9,9]],"date-time":"2019-09-09T00:00:00Z","timestamp":1567987200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Consejer\u00eda de Econom\u00eda, Innovaci\u00f3n, Ciencia y Empleo, Junta de Andaluc\u00eda","award":["MAGIC P12-TIC1814 and TASOVA MCIU-AEI TIN2017-90644-REDT"],"award-info":[{"award-number":["MAGIC P12-TIC1814 and TASOVA MCIU-AEI TIN2017-90644-REDT"]}]},{"name":"Ministerio de Econom\u00eda y Competitividad","award":["HADAS TIN2015-64841-R and MEDEA RTI2018-099213-B-I00 (co-financed FEDER funds)"],"award-info":[{"award-number":["HADAS TIN2015-64841-R and MEDEA RTI2018-099213-B-I00 (co-financed FEDER funds)"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,9,9]]},"DOI":"10.1145\/3307630.3342385","type":"proceedings-article","created":{"date-parts":[[2019,8,8]],"date-time":"2019-08-08T12:38:04Z","timestamp":1565267884000},"page":"13-16","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["HADAS"],"prefix":"10.1145","author":[{"given":"Daniel-Jesus","family":"Munoz","sequence":"first","affiliation":[{"name":"Universidad de M\u00e1laga, Andaluc\u00eda Tech, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M\u00f3nica","family":"Pinto","sequence":"additional","affiliation":[{"name":"Universidad de M\u00e1laga, Andaluc\u00eda Tech, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lidia","family":"Fuentes","sequence":"additional","affiliation":[{"name":"Universidad de M\u00e1laga, Andaluc\u00eda Tech, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2019,9,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499777.2499779"},{"key":"e_1_3_2_1_2_1","volume-title":"Feature-Oriented Software Product Lines: Concepts and Implementation","author":"Apel Sven","unstructured":"Sven Apel , Don Batory , Christian K\u00e4stner , and Gunter Saake . 2013. Feature-Oriented Software Product Lines: Concepts and Implementation . Springer Science & Business Media , Berlin, Heidelberg . Sven Apel, Don Batory, Christian K\u00e4stner, and Gunter Saake. 2013. Feature-Oriented Software Product Lines: Concepts and Implementation. Springer Science & Business Media, Berlin, Heidelberg."},{"key":"e_1_3_2_1_3_1","volume-title":"Managing variability in software product lines","author":"Babar Muhammad Ali","year":"2010","unstructured":"Muhammad Ali Babar , Lianping Chen , and Forrest Shull . 2010. Managing variability in software product lines . IEEE software 27, 3 ( 2010 ), 89--91. Muhammad Ali Babar, Lianping Chen, and Forrest Shull. 2010. Managing variability in software product lines. IEEE software 27, 3 (2010), 89--91."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_6_1","volume-title":"2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering","volume":"1","author":"Chowdhury S. A.","unstructured":"S. A. Chowdhury , V. Sapra , and A. Hindle . 2016. Client-Side Energy Efficiency of HTTP\/2 for Web and Mobile App Developers . In 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering , Vol. 1 . IEEE Computer Society, Washington, DC, USA, 529--540. S. A. Chowdhury, V. Sapra, and A. Hindle. 2016. Client-Side Energy Efficiency of HTTP\/2 for Web and Mobile App Developers. In 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering, Vol. 1. IEEE Computer Society, Washington, DC, USA, 529--540."},{"key":"e_1_3_2_1_7_1","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"de Moura Leonardo","unstructured":"Leonardo de Moura and Nikolaj Bj\u00f8rner . 2008. Z3: An Efficient SMT Solver . In Tools and Algorithms for the Construction and Analysis of Systems , C. R. Ramakrishnan and Jakob Rehof (Eds.). Springer , Berlin, Heidelberg , 337--340. Leonardo de Moura and Nikolaj Bj\u00f8rner. 2008. Z3: An Efficient SMT Solver. In Tools and Algorithms for the Construction and Analysis of Systems, C. R. Ramakrishnan and Jakob Rehof (Eds.). Springer, Berlin, Heidelberg, 337--340."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884869"},{"key":"e_1_3_2_1_9_1","first-page":"147","article-title":"Variability models for generating efficient configurations of functional quality attributes","volume":"95","author":"Horcas JoseMiguel","year":"2018","unstructured":"JoseMiguel Horcas , M\u00f3nica Pinto , and Lidia Fuentes . 2018 . Variability models for generating efficient configurations of functional quality attributes . IST 95 (2018), 147 -- 164 . JoseMiguel Horcas, M\u00f3nica Pinto, and Lidia Fuentes. 2018. Variability models for generating efficient configurations of functional quality attributes. IST 95 (2018), 147--164.","journal-title":"IST"},{"key":"e_1_3_2_1_10_1","volume-title":"The International Conference on Digital Technologies","author":"Kharchenko V.","year":"2013","unstructured":"V. Kharchenko , A. Gorbenko , V. Sklyar , and C. Phillips . 2013. Green computing and communications in critical application domains: Challenges and solutions . In The International Conference on Digital Technologies 2013 . IEEE Computer Society, Washington, DC, USA, 191--197. V. Kharchenko, A. Gorbenko, V. Sklyar, and C. Phillips. 2013. Green computing and communications in critical application domains: Challenges and solutions. In The International Conference on Digital Technologies 2013. IEEE Computer Society, Washington, DC, USA, 191--197."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2018.09.006"},{"key":"e_1_3_2_1_12_1","volume-title":"Finding correlations of features affecting energy consumption and performance of web servers using the HADAS eco-assistant. Computing 100, 11 (01","author":"Munoz Daniel-Jesus","year":"2018","unstructured":"Daniel-Jesus Munoz , M\u00f3nica Pinto , and Lidia Fuentes . 2018. Finding correlations of features affecting energy consumption and performance of web servers using the HADAS eco-assistant. Computing 100, 11 (01 Nov 2018 ), 1155--1173. Daniel-Jesus Munoz, M\u00f3nica Pinto, and Lidia Fuentes. 2018. Finding correlations of features affecting energy consumption and performance of web servers using the HADAS eco-assistant. Computing 100, 11 (01 Nov 2018), 1155--1173."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106273"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2015.83"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2017.174"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786845"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070526"},{"key":"e_1_3_2_1_18_1","volume-title":"Meeting Green Computing Challenges. In 2008 10th Electronics Packaging Technology Conference. IEEE Computer Society","author":"Wang D.","year":"2008","unstructured":"D. Wang . 2008 . Meeting Green Computing Challenges. In 2008 10th Electronics Packaging Technology Conference. IEEE Computer Society , Washington, DC, USA, 121--126. D. Wang. 2008. Meeting Green Computing Challenges. In 2008 10th Electronics Packaging Technology Conference. IEEE Computer Society, Washington, DC, USA, 121--126."}],"event":{"name":"SPLC 2019: 23rd International Systems and Software Product Line Conference","location":"Paris France","acronym":"SPLC 2019"},"container-title":["Proceedings of the 23rd International Systems and Software Product Line Conference - Volume B"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3307630.3342385","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3307630.3342385","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:13:37Z","timestamp":1750202017000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3307630.3342385"}},"subtitle":["Analysing Quality Attributes of Software Configurations"],"short-title":[],"issued":{"date-parts":[[2019,9,9]]},"references-count":18,"alternative-id":["10.1145\/3307630.3342385","10.1145\/3307630"],"URL":"https:\/\/doi.org\/10.1145\/3307630.3342385","relation":{},"subject":[],"published":{"date-parts":[[2019,9,9]]},"assertion":[{"value":"2019-09-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}