{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:28:08Z","timestamp":1750307288494,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,2,24]],"date-time":"2011-02-24T00:00:00Z","timestamp":1298505600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,2,24]]},"DOI":"10.1145\/1953355.1953361","type":"proceedings-article","created":{"date-parts":[[2011,3,8]],"date-time":"2011-03-08T15:03:11Z","timestamp":1299596591000},"page":"41-50","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Integrated analysis of software product lines"],"prefix":"10.1145","author":[{"given":"Jean-Vivien","family":"Millo","sequence":"first","affiliation":[{"name":"GM Technical Center India Pvt Ltd, International Tech Park Ltd., Bangalore, India"}]},{"given":"Swarup K.","family":"Mohalik","sequence":"additional","affiliation":[{"name":"GM Technical Center India Pvt Ltd, International Tech Park Ltd., Bangalore, India"}]},{"given":"S.","family":"Ramesh","sequence":"additional","affiliation":[{"name":"GM Technical Center India Pvt Ltd, International Tech Park Ltd., Bangalore, India"}]}],"member":"320","published-online":{"date-parts":[[2011,2,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/SBES.2009.19"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2008.53"},{"volume-title":"ACM Press\/Addison - Wesley Publishing Co.","year":"2000","author":"Bosch J.","key":"e_1_3_2_1_4_1"},{"volume-title":"USA","year":"2000","author":"Czarnecki K.","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1105634.1105651"},{"first-page":"233","volume-title":"Thiel and Pohl {29}","author":"Dhungana D.","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2008.45"},{"volume-title":"IBM","year":"1997","author":"Garlan D.","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/962757.963353"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2008.22"},{"key":"e_1_3_2_1_13_1","first-page":"2000","volume-title":"In Proceedings of the 4th International Software Architecture Workshop, number CU-CS-895-99","author":"Hoek A. V. D.","year":"2000"},{"key":"e_1_3_2_1_14_1","unstructured":"M. Janota J. Kiniry and G. Botterweck. Formal methods in software product lines: Concepts survey and guidelines 2008.  M. Janota J. Kiniry and G. Botterweck. Formal methods in software product lines: Concepts survey and guidelines 2008."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217295.1217296"},{"key":"e_1_3_2_1_16_1","unstructured":"C. W. Krueger and K. Jackson. Requirements engineering for systems and software product lines 2009.  C. W. Krueger and K. Jackson. Requirements engineering for systems and software product lines 2009."},{"key":"e_1_3_2_1_17_1","first-page":"141","volume-title":"Ninth International Conference on Feature Interactions in Software and Communication Systems (ICFI'07)","author":"Laney R.","year":"2007"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2007.61"},{"volume-title":"Aalborg University","year":"2008","author":"Nyman U.","key":"e_1_3_2_1_19_1"},{"key":"e_1_3_2_1_20_1","unstructured":"S. E. I. of Carnegie Mellon University. Software product line web site: http:\/\/www.sei.cmu.edu\/productlines 2010.  S. E. I. of Carnegie Mellon University. Software product line web site: http:\/\/www.sei.cmu.edu\/productlines 2010."},{"first-page":"15","volume-title":"Thiel and Pohl {29}","author":"Perrouin G.","key":"e_1_3_2_1_21_1"},{"volume-title":"Inc.","year":"2005","author":"Pohl K.","key":"e_1_3_2_1_22_1"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2008.37"},{"key":"e_1_3_2_1_24_1","unstructured":"F.\n       \n      Roos-Frantz\n    .\n      \n  \n   \n  A preliminary comparison of formal properties on orthogonal variability model and feature models. In D. Benavides A. Metzger and U. W. Eisenecker editors VaMoS volume \n  29\n   of \n  ICB Research Report pages \n  121\n  --\n  126\n  . \n  Universit\u00e4t Duisburg-Essen 2009\n  .  F. Roos-Frantz. A preliminary comparison of formal properties on orthogonal variability model and feature models. In D. Benavides A. Metzger and U. W. Eisenecker editors VaMoS volume 29 of ICB Research Report pages 121--126. Universit\u00e4t Duisburg-Essen 2009."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSEA.2007.33"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCSA.2007.47"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASWEC.2009.27"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.v35:8"},{"volume":"2008","volume-title":"12th International Conference, SPLC 2008, Limerick, Ireland, September 8--12, 2008, Proceedings. Second","author":"Thiel S.","key":"e_1_3_2_1_29_1"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.825699"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/1308171.1308205"},{"key":"e_1_3_2_1_33_1","unstructured":"Website. http:\/\/www.win.tue.nl\/wieger\/bddsolve\/.  Website. http:\/\/www.win.tue.nl\/wieger\/bddsolve\/."},{"key":"e_1_3_2_1_34_1","unstructured":"Website. http:\/\/yices.csl.sri.com\/.  Website. http:\/\/yices.csl.sri.com\/."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2008.16"},{"key":"e_1_3_2_1_36_1","first-page":"219","volume-title":"Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, SERP 2006","volume":"1","author":"Zhu C.","year":"2006"}],"event":{"name":"ISEC '11: Indian Software Engineering Conference","sponsor":["Computer Society of India Computer Society of India","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Thiruvananthapuram Kerala India","acronym":"ISEC '11"},"container-title":["Proceedings of the 4th India Software Engineering Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1953355.1953361","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1953355.1953361","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:59:38Z","timestamp":1750244378000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1953355.1953361"}},"subtitle":["a constraint based framework for consistency, liveness, and commonness checking"],"short-title":[],"issued":{"date-parts":[[2011,2,24]]},"references-count":34,"alternative-id":["10.1145\/1953355.1953361","10.1145\/1953355"],"URL":"https:\/\/doi.org\/10.1145\/1953355.1953361","relation":{},"subject":[],"published":{"date-parts":[[2011,2,24]]},"assertion":[{"value":"2011-02-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}