{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T12:55:35Z","timestamp":1773924935658,"version":"3.50.1"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319471686","type":"print"},{"value":"9783319471693","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47169-3_44","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T21:56:23Z","timestamp":1475618183000},"page":"563-578","source":"Crossref","is-referenced-by-count":6,"title":["User Profiles for Context-Aware Reconfiguration in Software Product Lines"],"prefix":"10.1007","author":[{"given":"Michael","family":"Nieke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacopo","family":"Mauro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Seidl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ingrid Chieh","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"44_CR1","doi-asserted-by":"crossref","unstructured":"Agichtein, E., Brill, E., Dumais, S., Ragno, R.: Learning user interaction models for predicting web search result preferences. In: Proceedings of the 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2006. ACM, New York (2006)","DOI":"10.1145\/1148170.1148175"},{"key":"44_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/11431855_34","volume-title":"Advanced Information Systems Engineering","author":"D Benavides","year":"2005","unstructured":"Benavides, D., Trinidad, P., Ruiz-Cort\u00e9s, A.: Automated reasoning on feature models. In: Pastor, O., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 491\u2013503. Springer, Heidelberg (2005). doi: 10.1007\/11431855_34"},{"key":"44_CR3","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1111\/j.0824-7935.2004.00234.x","volume":"20","author":"C Boutilier","year":"2004","unstructured":"Boutilier, C., Brafman, R.I., Domshlak, C., Hoos, H.H., Poole, D.: Preference-based constrained optimization with CP-nets. Comput. Intell. 20, 137\u2013157 (2004)","journal-title":"Comput. Intell."},{"key":"44_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1007\/978-3-319-47169-3_40","volume-title":"ISoLA 2016","author":"C Chesta","year":"2016","unstructured":"Chesta, C., et al.: A toolchain for delta-oriented modeling of software product lines. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 497\u2013511. Springer, Cham (2016)"},{"key":"44_CR5","unstructured":"da Silva Costa, P.A., Marinho, F.G., de Castro Andrade, R.M., Oliveira, T.: Fixture - A tool for automatic inconsistencies detection in context-aware SPL. In: ICEIS (2015)"},{"key":"44_CR6","unstructured":"Darryll Harrison, W.G.: CES 2016: Volkswagen brings gesture control to mass production with the E-Golf Touch (2016). http:\/\/media.vw.com\/release\/1123\/"},{"key":"44_CR7","unstructured":"Domshlak, C., Rossi, F., Venable, K.B., Walsh, T.: Reasoning about soft constraints, conditional preferences: complexity results and approximation techniques. arXiv (2009)"},{"issue":"2","key":"44_CR8","first-page":"55","volume":"20","author":"J Doyle","year":"1999","unstructured":"Doyle, J., Thomason, R.H.: Background to qualitative decision theory. AI Mag. 20(2), 55\u201368 (1999)","journal-title":"AI Mag."},{"key":"44_CR9","unstructured":"Fernandes, P., Werner, C., Murta, L.: Feature modeling for context-aware software product lines. In: Seke (2008)"},{"key":"44_CR10","unstructured":"GECODE (2015). http:\/\/www.gecode.org\/"},{"key":"44_CR11","doi-asserted-by":"crossref","unstructured":"Hartmann, H., Trew, T.: Using feature diagrams with context variability to model multiple product lines for software supply chains. In: SPLC IEEE Computer Society (2008)","DOI":"10.1109\/SPLC.2008.15"},{"key":"44_CR12","doi-asserted-by":"crossref","unstructured":"Kang, K.: Analysis, Feature-oriented Domain (FODA): Feasibility Study; Technical report CMU\/SEI-90-TR-21 - ESD-90-TR-222. Software Engineering Inst., Carnegie Mellon Univ. (1990)","DOI":"10.21236\/ADA235785"},{"issue":"1","key":"44_CR13","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"AK Mackworth","year":"1977","unstructured":"Mackworth, A.K.: Consistency in networks of relations. Artif. Intell. 8(1), 99\u2013118 (1977)","journal-title":"Artif. Intell."},{"key":"44_CR14","doi-asserted-by":"crossref","unstructured":"Marinho, F.G., Andrade, R.M.C., Werner, C.: A verification mechanism of feature models for mobile and context-aware software product lines. In: Software Components, Architectures and Reuse (SBCARS) (2011)","DOI":"10.1109\/SBCARS.2011.9"},{"key":"44_CR15","doi-asserted-by":"crossref","unstructured":"Mauro, J., Nieke, M., Seidl, C., Yu, I.C.: Context aware reconfiguration in software product lines. In: Proceedings of the Tenth International Workshop on Variability Modelling of Software-Intensive Systems - VaMoS 2016 (2016)","DOI":"10.1145\/2866614.2866620"},{"key":"44_CR16","unstructured":"Minisatid. https:\/\/github.com\/broesdecat\/Minisatid"},{"key":"44_CR17","doi-asserted-by":"crossref","unstructured":"Murashkin, A., Antkiewicz, M., Rayside, D., Czarnecki, K.: Visualization and exploration of optimal variants in product line engineering. In: Proceedings of the 17th International Software Product Line Conference, SPLC 2013. ACM, New York (2013)","DOI":"10.1145\/2491627.2491647"},{"key":"44_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/978-3-540-74970-7_38","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2007","author":"N Nethercote","year":"2007","unstructured":"Nethercote, N., Stuckey, P.J., Becket, R., Brand, S., Duck, G.J., Tack, G.: MiniZinc: towards a standard CP modelling language. In: Bessi\u00e8re, C. (ed.) CP 2007. LNCS, vol. 4741, pp. 529\u2013543. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-74970-7_38"},{"key":"44_CR19","doi-asserted-by":"crossref","unstructured":"Ochoa, L., Gonz\u00e1lez-Rojas, O., Th\u00fcm, T.: Using decision rules for solving conflicts in extended feature models. In: Proceedings of the ACM SIGPLAN International Conference on Software Language Engineering, SLE. ACM, New York (2015)","DOI":"10.1145\/2814251.2814263"},{"key":"44_CR20","unstructured":"Parra, C., Blanc, X., Duchien, L.: Context awareness for dynamic service-oriented product lines. In: Proceedings of the 13th International Software Product Line Conference, SPLC 2009. Carnegie Mellon University, Pittsburgh (2009)"},{"key":"44_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering: Foundations: Principles and Techniques","author":"K Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.J.: Software Product Line Engineering: Foundations: Principles and Techniques. Springer, New York (2005)"},{"key":"44_CR22","unstructured":"Prud\u2019homme, C., Fages, J.-G., Lorca, X.: Choco3 Documentation. TASC, INRIA Rennes, LINA CNRS UMR 6241, COSLING S.A.S. (2014)"},{"key":"44_CR23","doi-asserted-by":"crossref","unstructured":"Reiff-Marganiec, S.: A structured approach to VO reconfigurations through policies. In: Proceedings Third Workshop on Formal Aspects of Virtual Organisations. EPTCS, FAVO 2011, Sao Paolo, Brazil, 18 October 2011, vol. 83, pp. 22\u201331 (2011)","DOI":"10.4204\/EPTCS.83.3"},{"key":"44_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/978-3-319-23219-5_27","volume-title":"Principles and Practice of Constraint Programming","author":"A Rendl","year":"2015","unstructured":"Rendl, A., Guns, T., Stuckey, P.J., Tack, G.: MiniSearch: a solver-independent meta-search language for MiniZinc. In: Pesant, G. (ed.) CP 2015. LNCS, vol. 9255, pp. 376\u2013392. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-23219-5_27"},{"key":"44_CR25","unstructured":"Robarts, S.: Volkswagen\u2019s Golf R touch concept shows off the car cockpit of the future (2015). http:\/\/www.gizmag.com\/volkswagen-golf-r-touch\/35472\/"},{"key":"44_CR26","unstructured":"Rossi, F., van Beek, P., Walsh, T. (eds.) Handbook of Constraint Programming. Elsevier (2006)"},{"key":"44_CR27","doi-asserted-by":"crossref","unstructured":"Seidl, C., Schaefer, I., A\u00dfmann, U.: Capturing variability in space and time with hyper feature models. In: Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems - VaMoS 2014 (2014)","DOI":"10.1145\/2556624.2556625"},{"key":"44_CR28","doi-asserted-by":"crossref","unstructured":"Ubayashi, N., Nakajima, S.: Context-aware feature-oriented modeling with an aspect extension of VDM. In: Proceedings of the ACM Symposium on Applied Computing, SAC 2007. ACM, New York (2007)","DOI":"10.1145\/1244002.1244277"},{"key":"44_CR29","unstructured":"Yoshii, K., Goto, M., Komatani, K., Ogata, T., Okuno, H.G.: Hybrid collaborative and content-based music recommendation using probabilistic model with latent user preferences. In: ISMIR, vol. 6 (2006)"},{"key":"44_CR30","unstructured":"Young, S., Hong, J.-H., Kim, T.-S.: A formal model for user preference. In: Proceedings of IEEE International Conference on Data Mining (2002)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47169-3_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,9]],"date-time":"2022-07-09T19:20:06Z","timestamp":1657394406000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47169-3_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471686","9783319471693"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47169-3_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}