{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:24:59Z","timestamp":1750307099735,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,9,2]],"date-time":"2012-09-02T00:00:00Z","timestamp":1346544000000},"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":[[2012,9,2]]},"DOI":"10.1145\/2362536.2362576","type":"proceedings-article","created":{"date-parts":[[2012,9,12]],"date-time":"2012-09-12T13:01:27Z","timestamp":1347454887000},"page":"286-287","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Formal methods and analysis in software product line engineering"],"prefix":"10.1145","author":[{"given":"Maurice H.","family":"ter Beek","sequence":"first","affiliation":[{"name":"ISTI--CNR, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Becker","sequence":"additional","affiliation":[{"name":"Fraunhofer IESE, Kaiserslautern, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Classen","sequence":"additional","affiliation":[{"name":"Inteclux Software Engineering\/University of Namur, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabricia","family":"Roos-Frantz","sequence":"additional","affiliation":[{"name":"UNIJU\u00cd University, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t, Braunschweig, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter Y. H.","family":"Wong","sequence":"additional","affiliation":[{"name":"Fredhopper B.V., Amsterdam, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,9,2]]},"reference":[{"key":"e_1_3_2_1_1_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/978-3-642-16265-7_5","volume-title":"A. Fantechi, and S. Gnesi. A Logical Framework to Deal with Variability","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 D. M\u00e9ry and S. Merz, editors, Proceedings of the 8th International Conference on Integrated Formal Methods (IFM'10), volume 6396 of Lecture Notes in Computer Science , pages 43 -- 58 . Springer , 2010 . P. Asirelli, M. H. ter Beek, A. Fantechi, and S. Gnesi. A Logical Framework to Deal with Variability. In D. M\u00e9ry and S. Merz, editors, Proceedings of the 8th International Conference on Integrated Formal Methods (IFM'10), volume 6396 of Lecture Notes in Computer Science, pages 43--58. Springer, 2010."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2011.34"},{"key":"e_1_3_2_1_3_1","series-title":"Lecture Notes in Computer Science","volume-title":"F. Mazzanti, and A. Sulova. VMC: A Tool for Product Variability Analysis. To appear in D","author":"M.","year":"2012","unstructured":"M. H. ter Beek , F. Mazzanti, and A. Sulova. VMC: A Tool for Product Variability Analysis. To appear in D . Giannakopoulou and D. M\u00e9ry, editors, Proceedings of the 18th International Symposium on Formal Methods (FM'12), volume 7436 of Lecture Notes in Computer Science . Springer , 2012 . M. H. ter Beek, F. Mazzanti, and A. Sulova. VMC: A Tool for Product Variability Analysis. To appear in D. Giannakopoulou and D. M\u00e9ry, editors, Proceedings of the 18th International Symposium on Formal Methods (FM'12), volume 7436 of Lecture Notes in Computer Science. Springer, 2012."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2008.73"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2011.39"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985838"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806850"},{"key":"e_1_3_2_1_9_1","first-page":"672","volume-title":"Proceedings of the 34th International Conference on Software Engineering (ICSE'12)","author":"Cordy M.","year":"2012","unstructured":"M. Cordy , A. Classen , G. Perrouin , P. Heymans , P.-Y. Schobbens , and A. Legay . Simulation-Based Abstractions for Software Product-Line Model Checking. In M. Glinz, G. Murphy, and M. Pezz\u00e8, editors , Proceedings of the 34th International Conference on Software Engineering (ICSE'12) , pages 672 -- 682 . IEEE, 2012 . M. Cordy, A. Classen, G. Perrouin, P. Heymans, P.-Y. Schobbens, and A. Legay. Simulation-Based Abstractions for Software Product-Line Model Checking. In M. Glinz, G. Murphy, and M. Pezz\u00e8, editors, Proceedings of the 34th International Conference on Software Engineering (ICSE'12), pages 672--682. IEEE, 2012."},{"key":"e_1_3_2_1_10_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"526","DOI":"10.1007\/978-3-642-15579-6_64","volume-title":"1st International Workshop on Formal Methods in Software Product Line Engineering (FMSPLE","author":"Schaefer I.","year":"2010","unstructured":"I. Schaefer , M. Becker , R. Carbon , and S. Apel . 1st International Workshop on Formal Methods in Software Product Line Engineering (FMSPLE 2010 ). In J. Bosch and J. Lee, editors, Software Product Lines: Going Beyond --- Proceedings of the 14th International Software Product Lines Conference (SPLC '10), volume 6287 of Lecture Notes in Computer Science , page 526 . Springer, 2010. I. Schaefer, M. Becker, R. Carbon, and S. Apel. 1st International Workshop on Formal Methods in Software Product Line Engineering (FMSPLE 2010). In J. Bosch and J. Lee, editors, Software Product Lines: Going Beyond --- Proceedings of the 14th International Software Product Lines Conference (SPLC'10), volume 6287 of Lecture Notes in Computer Science, page 526. Springer, 2010."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25271-6_10"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2011.47"}],"event":{"name":"SPLC '12: 16th International Software Product Line Conference","sponsor":["Pure-Systems Pure-Systems GmbH","Petrobras Petr\u00f3leo Brasileiro S\/A","SEBRAE Servi\u00e7o Brasileiro de Apoio \u00e0s Micro E Pequenas Empresas","FAPESB Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado da Bahia","Hitachi","INES National Institute of Science and Technology for Software Engineering","IEEE Institute of Electrical and Electronics Engineers","Software Eng Inst Software Engineering Institute","Biglever BigLever Software, Inc.","CAPES Brazilian Higher Education Funding Council"],"location":"Salvador Brazil","acronym":"SPLC '12"},"container-title":["Proceedings of the 16th International Software Product Line Conference - Volume 1"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2362536.2362576","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2362536.2362576","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:34:51Z","timestamp":1750239291000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2362536.2362576"}},"subtitle":["3rd edition of FMSPLE workshop series"],"short-title":[],"issued":{"date-parts":[[2012,9,2]]},"references-count":12,"alternative-id":["10.1145\/2362536.2362576","10.1145\/2362536"],"URL":"https:\/\/doi.org\/10.1145\/2362536.2362576","relation":{},"subject":[],"published":{"date-parts":[[2012,9,2]]},"assertion":[{"value":"2012-09-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}