{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T02:03:06Z","timestamp":1776304986873,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,5,21]],"date-time":"2011-05-21T00:00:00Z","timestamp":1305936000000},"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,5,21]]},"DOI":"10.1145\/1985793.1985838","type":"proceedings-article","created":{"date-parts":[[2011,5,24]],"date-time":"2011-05-24T13:04:30Z","timestamp":1306242270000},"page":"321-330","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":136,"title":["Symbolic model checking of software product lines"],"prefix":"10.1145","author":[{"given":"Andreas","family":"Classen","sequence":"first","affiliation":[{"name":"University of Namur, Namur, Belgium"}]},{"given":"Patrick","family":"Heymans","sequence":"additional","affiliation":[{"name":"University of Namur, Namur, Belgium"}]},{"given":"Pierre-Yves","family":"Schobbens","sequence":"additional","affiliation":[{"name":"University of Namur, Namur, Belgium"}]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[{"name":"University of Li\u00e8ge, Li\u00e8ge, Belgium"}]}],"member":"320","published-online":{"date-parts":[[2011,5,21]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"http:\/\/www.info.fundp.ac.be\/~acs\/fts 2010.  http:\/\/www.info.fundp.ac.be\/~acs\/fts 2010."},{"key":"e_1_3_2_1_2_1","first-page":"43","volume-title":"A. Fantechi, and S. Gnesi. A logical framework to deal with variability. In 8th IFM, number 6396 in LNCS","author":"Asirelli P.","year":"2010","unstructured":"P. Asirelli , M. H. ter Beek , A. Fantechi, and S. Gnesi. A logical framework to deal with variability. In 8th IFM, number 6396 in LNCS , pages 43 -- 58 . Springer , 2010 . P. Asirelli, M. H. ter Beek, A. Fantechi, and S. Gnesi. A logical framework to deal with variability. In 8th IFM, number 6396 in LNCS, pages 43--58. Springer, 2010."},{"key":"e_1_3_2_1_3_1","first-page":"37","volume-title":"VaMoS'10","author":"Asirelli P.","year":"2010","unstructured":"P. Asirelli , M. H. ter Beek , S. Gnesi , and A. Fantechi . A deontic logical framework for modelling product families . In VaMoS'10 , pages 37 -- 44 , 2010 . P. Asirelli, M. H. ter Beek, S. Gnesi, and A. Fantechi. A deontic logical framework for modelling product families. In VaMoS'10, pages 37--44, 2010."},{"key":"e_1_3_2_1_4_1","volume-title":"Principles of Model Checking","author":"Baier C.","year":"2007","unstructured":"C. Baier and J.-P. Katoen . Principles of Model Checking . MIT Press , 2007 . C. Baier and J.-P. Katoen. Principles of Model Checking. MIT Press, 2007."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1183236.1183264"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/136035.136043"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90017-A"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(02)00352-3"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/648063.747438"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792838.1792841"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806850"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-COMPANION.2009.5070988"},{"key":"e_1_3_2_1_15_1","volume-title":"Software Product Lines: Practices and Patterns","author":"Clements P. C.","year":"2001","unstructured":"P. C. Clements and L. Northrop . Software Product Lines: Practices and Patterns . Addison-Wesley , 2001 . P. C. Clements and L. Northrop. Software Product Lines: Practices and Patterns. Addison-Wesley, 2001."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/11561347_28"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.118"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287700"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2008.45"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1147249.1147254"},{"key":"e_1_3_2_1_21_1","first-page":"230","volume-title":"Concur'90","author":"Francez N.","year":"1990","unstructured":"N. Francez and I. Forman . Superimposition for inter- acting processes . In Concur'90 , pages 230 -- 245 , 1990 . N. Francez and I. Forman. Superimposition for inter- acting processes. In Concur'90, pages 230--245, 1990."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68863-1_8"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.21236\/ADA235785"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/646691.703280"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/1762174.1762183"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.16"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/587051.587066"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2007.01.047"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/530225"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070514"},{"key":"e_1_3_2_1_31_1","unstructured":"C. H. Papadimitriou. Computational Complexity. Addison-Wesley 1994.  C. H. Papadimitriou. Computational Complexity. Addison-Wesley 1994."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(00)00018-6"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.45"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2006.23"},{"key":"e_1_3_2_1_36_1","first-page":"201","volume-title":"SPLC'09","author":"Tun T. T.","year":"2009","unstructured":"T. T. Tun , Q. Boucher , A. Classen , A. Hubaux , and P. Heymans . Relating requirements and feature configurations: A systematic approach . In SPLC'09 , pages 201 -- 210 . SEI, Carnegie Mellon University , 2009 . T. T. Tun, Q. Boucher, A. Classen, A. Hubaux, and P. Heymans. Relating requirements and feature configurations: A systematic approach. In SPLC'09, pages 201--210. SEI, Carnegie Mellon University, 2009."},{"key":"e_1_3_2_1_37_1","first-page":"129","volume-title":"Int. Workshop on Product Family Engineering (PPE)","author":"Ziadi T.","year":"2003","unstructured":"T. Ziadi , L. H\u00e9lou\u00ebt , and J.-M. J\u00e9z\u00e9quel . Towards a UML profile for software product lines . In Int. Workshop on Product Family Engineering (PPE) , pages 129 -- 139 , 2003 . T. Ziadi, L. H\u00e9lou\u00ebt, and J.-M. J\u00e9z\u00e9quel. Towards a UML profile for software product lines. In Int. Workshop on Product Family Engineering (PPE), pages 129--139, 2003."}],"event":{"name":"ICSE11: International Conference on Software Engineering","location":"Waikiki, Honolulu HI USA","acronym":"ICSE11","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 33rd International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1985793.1985838","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1985793.1985838","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:06:30Z","timestamp":1750244790000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1985793.1985838"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5,21]]},"references-count":35,"alternative-id":["10.1145\/1985793.1985838","10.1145\/1985793"],"URL":"https:\/\/doi.org\/10.1145\/1985793.1985838","relation":{},"subject":[],"published":{"date-parts":[[2011,5,21]]},"assertion":[{"value":"2011-05-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}