{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:21:07Z","timestamp":1750220467353,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":8,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,9,6]],"date-time":"2021-09-06T00:00:00Z","timestamp":1630886400000},"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":[[2021,9,6]]},"DOI":"10.1145\/3461001.3472732","type":"proceedings-article","created":{"date-parts":[[2021,9,2]],"date-time":"2021-09-02T12:49:32Z","timestamp":1630586972000},"page":"214-214","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Static analysis and family-based model checking with VMC"],"prefix":"10.1145","author":[{"given":"Maurice H. ter","family":"Beek","sequence":"first","affiliation":[{"name":"ISTI-CNR, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franco","family":"Mazzanti","sequence":"additional","affiliation":[{"name":"ISTI-CNR, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ferruccio","family":"Damiani","sequence":"additional","affiliation":[{"name":"University of Turin, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Paolini","sequence":"additional","affiliation":[{"name":"University of Turin, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giordano","family":"Scarso","sequence":"additional","affiliation":[{"name":"University of Turin, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Lienhardt","sequence":"additional","affiliation":[{"name":"ONERA, Palaiseau, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,9,6]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3336294.3336295"},{"key":"e_1_3_2_1_2_1","volume-title":"F. Damiani, M. Lienhardt, F. Mazzanti, and L. Paolini.","author":"H.","year":"2021","unstructured":"M. H. ter Beek , F. Damiani, M. Lienhardt, F. Mazzanti, and L. Paolini. 2021 . Efficient static analysis and verification of featured transition systems. Empir. Softw. Eng .. M.H. ter Beek, F. Damiani, M. Lienhardt, F. Mazzanti, and L. Paolini. 2021. Efficient static analysis and verification of featured transition systems. Empir. Softw. Eng.."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2015.11.006"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2647908.2655969"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3461001.3472732"},{"key":"e_1_3_2_1_6_1","volume-title":"F. Mazzanti, and A. Sulova.","author":"H.","year":"2012","unstructured":"M. H. ter Beek , F. Mazzanti, and A. Sulova. 2012 . VMC : A Tool for Product Variability Analysis. In FM'12 (LNCS , Vol. 7436). Springer, 450-- 454 . M.H. ter Beek, F. Mazzanti, and A. Sulova. 2012. VMC: A Tool for Product Variability Analysis. In FM'12 (LNCS, Vol. 7436). Springer, 450--454."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.86"}],"event":{"name":"SPLC '21: 25th ACM International Systems and Software Product Line Conference","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Leicester United Kingdom","acronym":"SPLC '21"},"container-title":["Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3461001.3472732","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3461001.3472732","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:48:22Z","timestamp":1750193302000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3461001.3472732"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,6]]},"references-count":8,"alternative-id":["10.1145\/3461001.3472732","10.1145\/3461001"],"URL":"https:\/\/doi.org\/10.1145\/3461001.3472732","relation":{},"subject":[],"published":{"date-parts":[[2021,9,6]]},"assertion":[{"value":"2021-09-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}