{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T09:36:03Z","timestamp":1742636163936,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/icse.2012.6227150","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T17:24:04Z","timestamp":1341854644000},"page":"672-682","source":"Crossref","is-referenced-by-count":23,"title":["Simulation-based abstractions for software product-line model checking"],"prefix":"10.1109","author":[{"given":"Maxime","family":"Cordy","sequence":"first","affiliation":[]},{"given":"Andreas","family":"Classen","sequence":"additional","affiliation":[]},{"given":"Gilles","family":"Perrouin","sequence":"additional","affiliation":[]},{"given":"Pierre-Yves","family":"Schobbens","sequence":"additional","affiliation":[]},{"given":"Patrick","family":"Heymans","sequence":"additional","affiliation":[]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"19","DOI":"10.1109\/SPLC.2011.34"},{"doi-asserted-by":"publisher","key":"17","DOI":"10.1109\/ICSE.2009.5070527"},{"doi-asserted-by":"publisher","key":"18","DOI":"10.1145\/1147249.1147254"},{"year":"0","key":"15"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1049\/ip-e.1983.0001"},{"year":"2007","author":"baier","journal-title":"Principles of Model Checking","key":"13"},{"key":"14","doi-asserted-by":"crossref","DOI":"10.21236\/ADA235785","author":"kang","year":"1990","journal-title":"Feature-Oriented Domain Analysis (FODA) Feasibility Study"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1007\/3-540-57208-2_4"},{"year":"1971","author":"milner","journal-title":"An Algebraic Definition of Simulation between Programs","key":"12"},{"doi-asserted-by":"publisher","key":"21","DOI":"10.1007\/s10270-010-0148-x"},{"key":"20","first-page":"43","article-title":"A logical framework to deal with variability","author":"asirelli","year":"2010","journal-title":"IFMT '10"},{"key":"22","first-page":"64","article-title":"Modal I\/O automata for interface and product line theories","author":"larsen","year":"2007","journal-title":"ESOP"},{"doi-asserted-by":"publisher","key":"23","DOI":"10.1109\/ASE.2009.16"},{"doi-asserted-by":"publisher","key":"24","DOI":"10.1109\/SPLC.2011.33"},{"doi-asserted-by":"publisher","key":"25","DOI":"10.1007\/978-1-4471-0287-8_6"},{"key":"26","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1145\/503209.503231","article-title":"Modular verification of collaboration-based software designs","author":"fisler","year":"2001","journal-title":"ESEC\/FSE-9"},{"doi-asserted-by":"publisher","key":"27","DOI":"10.1145\/1029894.1029916"},{"doi-asserted-by":"publisher","key":"28","DOI":"10.1109\/ASE.2002.1115013"},{"doi-asserted-by":"publisher","key":"29","DOI":"10.1007\/s10515-010-0075-7"},{"key":"3","first-page":"332","article-title":"An automata-theoretic approach to automatic program verification","author":"vardi","year":"1986","journal-title":"LICS'86"},{"year":"1999","author":"clarke","journal-title":"Model checking","key":"2"},{"year":"2004","author":"holzmann","journal-title":"The SPIN Model Checker Primer and Reference Manual","key":"10"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1109\/RE.2006.23"},{"key":"30","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1007\/10722167_15","article-title":"Counterexample-guided abstraction refinement","volume":"1855","author":"clarke","year":"2000","journal-title":"Lecture Notes in Computer Science"},{"year":"2011","author":"classen","journal-title":"Modelling and Model Checking Variability-intensive Systems","key":"7"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1145\/1985793.1985838"},{"year":"2005","author":"frehse","journal-title":"Compositional Verification of Hybrid Systems Using Simulation Relations","key":"32"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1145\/1806799.1806850"},{"doi-asserted-by":"publisher","key":"31","DOI":"10.1007\/BFb0032063"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1145\/5397.5399"},{"key":"9","first-page":"52","article-title":"Design and synthesis of synchronization skeletons using branching-time temporal logic","volume":"131","author":"clarke","year":"1981","journal-title":"LNCS"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1109\/SFCS.1977.32"}],"event":{"name":"2012 34th International Conference on Software Engineering (ICSE 2012)","start":{"date-parts":[[2012,6,2]]},"location":"Zurich","end":{"date-parts":[[2012,6,9]]}},"container-title":["2012 34th International Conference on Software Engineering (ICSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6218989\/6227015\/06227150.pdf?arnumber=6227150","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,30]],"date-time":"2019-06-30T15:07:21Z","timestamp":1561907241000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6227150\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/icse.2012.6227150","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}