{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T13:18:50Z","timestamp":1791292730796,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,9,15]],"date-time":"2014-09-15T00:00:00Z","timestamp":1410739200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001602","name":"Science Foundation Ireland","doi-asserted-by":"publisher","award":["10\/CE\/I1855"],"award-info":[{"award-number":["10\/CE\/I1855"]}],"id":[{"id":"10.13039\/501100001602","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,9,15]]},"DOI":"10.1145\/2648511.2648524","type":"proceedings-article","created":{"date-parts":[[2014,9,23]],"date-time":"2014-09-23T15:05:54Z","timestamp":1411484754000},"page":"122-131","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["Consistency checking for the evolution of cardinality-based feature models"],"prefix":"10.1145","author":[{"given":"Cl\u00e9ment","family":"Quinton","sequence":"first","affiliation":[{"name":"INRIA Lille - Nord Europe, University Lille, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andreas","family":"Pleuss","sequence":"additional","affiliation":[{"name":"University of Limerick, Ireland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daniel Le","family":"Berre","sequence":"additional","affiliation":[{"name":"Artois University, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Laurence","family":"Duchien","sequence":"additional","affiliation":[{"name":"INRIA Lille - Nord Europe, University Lille, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Goetz","family":"Botterweck","sequence":"additional","affiliation":[{"name":"University of Limerick, Ireland"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2014,9,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173737"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"issue":"2","key":"e_1_3_2_1_3_1","first-page":"59","article-title":"The Sat4j library, release 2.2","volume":"7","author":"Berre D. L.","year":"2010","unstructured":"D. L. Berre and A. Parrain . The Sat4j library, release 2.2 . JSAT , 7 ( 2-3 ): 59 -- 56 , 2010 . D. L. Berre and A. Parrain. The Sat4j library, release 2.2. JSAT, 7(2-3):59--6, 2010.","journal-title":"JSAT"},{"key":"e_1_3_2_1_4_1","first-page":"159","volume-title":"Global Inverse Consistency for Interactive Constraint Satisfaction. In CP 2013","author":"Bessiere C.","year":"2013","unstructured":"C. Bessiere , H. Fargier , and C. Lecoutre . Global Inverse Consistency for Interactive Constraint Satisfaction. In CP 2013 , pages 159 -- 174 . Springer , 2013 . C. Bessiere, H. Fargier, and C. Lecoutre. Global Inverse Consistency for Interactive Constraint Satisfaction. In CP 2013, pages 159--174. Springer, 2013."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-45398-4_9"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1002\/spip.213"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1002\/spip.225"},{"key":"e_1_3_2_1_8_1","volume-title":"Kim. Cardinality-Based Feature Modeling and Constraints: A Progress Report. In International Workshop on Software Factories at OOPSLA'05","author":"Czarnecki K.","year":"2005","unstructured":"K. Czarnecki and C. H. P. Kim. Cardinality-Based Feature Modeling and Constraints: A Progress Report. In International Workshop on Software Factories at OOPSLA'05 . ACM, 2005 . K. Czarnecki and C. H. P. Kim. Cardinality-Based Feature Modeling and Constraints: A Progress Report. In International Workshop on Software Factories at OOPSLA'05. ACM, 2005."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(97)00034-3"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2011.10.014"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","DOI":"10.21236\/ADA235785","volume-title":"Feature-Oriented Domain Analysis (FODA) - Feasibility Study. Technical report","author":"Kang K. C.","year":"1990","unstructured":"K. C. Kang , S. G. Cohen , J. A. Hess , W. E. Novak , and A. S. Peterson . Feature-Oriented Domain Analysis (FODA) - Feasibility Study. Technical report , The Software Engineering Institute , 1990 . K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. S. Peterson. Feature-Oriented Domain Analysis (FODA) - Feasibility Study. Technical report, The Software Engineering Institute, 1990."},{"key":"e_1_3_2_1_12_1","first-page":"136","volume-title":"Evolution of the Linux Kernel Variability Model. In SPLC'10","author":"Lotufo R.","year":"2010","unstructured":"R. Lotufo , S. She , T. Berger , K. Czarnecki , and A. W\u0105sowski . Evolution of the Linux Kernel Variability Model. In SPLC'10 , pages 136 -- 150 . Springer , 2010 . R. Lotufo, S. She, T. Berger, K. Czarnecki, and A. W\u0105sowski. Evolution of the Linux Kernel Variability Model. In SPLC'10, pages 136--150. Springer, 2010."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1944892.1944902"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2047862.2047869"},{"key":"e_1_3_2_1_15_1","first-page":"217","volume-title":"SPLC'08 Workshops","author":"Osman A.","year":"2008","unstructured":"A. Osman , S. Phon-Amnuaisuk , and C. K. Ho . Knowledge Based Method to Validate Feature Models . In SPLC'08 Workshops , pages 217 -- 225 . Lero , 2008 . A. Osman, S. Phon-Amnuaisuk, and C. K. Ho. Knowledge Based Method to Validate Feature Models. In SPLC'08 Workshops, pages 217--225. Lero, 2008."},{"key":"e_1_3_2_1_16_1","first-page":"108","volume-title":"Change Impact Analysis of Feature Models. In ICIST 2012","author":"Paskevicius P.","year":"2012","unstructured":"P. Paskevicius , R. Damasevicius , and V. \u0160tuikys . Change Impact Analysis of Feature Models. In ICIST 2012 , pages 108 -- 122 . Springer , 2012 . P. Paskevicius, R. Damasevicius, and V. \u0160tuikys. Change Impact Analysis of Feature Models. In ICIST 2012, pages 108--122. Springer, 2012."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2377816.2377825"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491627.2491628"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2011.08.008"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"v. d. Linden. Software Product Line Engineering: Foundations, Principles and Techniques","author":"Pohl K.","year":"2005","unstructured":"K. Pohl , G. B\u00f6ckle , and F. J. v. d. Linden. Software Product Line Engineering: Foundations, Principles and Techniques . Springer , 2005 . K. Pohl, G. B\u00f6ckle, and F. J. v. d. Linden. Software Product Line Engineering: Foundations, Principles and Techniques. Springer, 2005."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491627.2491638"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/CLOUD.2014.29"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.11.001"},{"key":"e_1_3_2_1_24_1","first-page":"2002","author":"Riebisch M.","year":"2002","unstructured":"M. Riebisch , K. B\u00f6llert , D. Streitferdt , and I. Philippow . Extending Feature Diagrams with UML Multiplicities. In IDPT 2002 , 2002 . M. Riebisch, K. B\u00f6llert, D. Streitferdt, and I. Philippow. Extending Feature Diagrams with UML Multiplicities. In IDPT 2002, 2002.","journal-title":"Extending Feature Diagrams with UML Multiplicities. In IDPT"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2006.23"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362536.2362550"},{"key":"e_1_3_2_1_27_1","volume-title":"EMF: Eclipse Modeling Framework","author":"Steinberg D.","year":"2009","unstructured":"D. Steinberg , F. Budinsky , M. Paternostro , and E. Merks . EMF: Eclipse Modeling Framework . Addison-Wesley , 2009 . D. Steinberg, F. Budinsky, M. Paternostro, and E. Merks. EMF: Eclipse Modeling Framework. Addison-Wesley, 2009."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070526"},{"key":"e_1_3_2_1_29_1","volume-title":"Universit\u00e4t Duisburg-Essen","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 VaMos'09, page 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 VaMos'09, page 145--153. Universit\u00e4t Duisburg-Essen, 2009."}],"event":{"name":"SPLC '14: 18th International Software Product Line Conference","location":"Florence Italy","acronym":"SPLC '14","sponsor":["University of Florence University of Florence","CNR Istituto di Scienza e Tecnologie dell Informazione"]},"container-title":["Proceedings of the 18th International Software Product Line Conference - Volume 1"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2648511.2648524","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2648511.2648524","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:19:17Z","timestamp":1750231157000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2648511.2648524"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,15]]},"references-count":29,"alternative-id":["10.1145\/2648511.2648524","10.1145\/2648511"],"URL":"https:\/\/doi.org\/10.1145\/2648511.2648524","relation":{},"subject":[],"published":{"date-parts":[[2014,9,15]]},"assertion":[{"value":"2014-09-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}