{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:21:32Z","timestamp":1775053292513,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,8,26]],"date-time":"2013-08-26T00:00:00Z","timestamp":1377475200000},"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":[[2013,8,26]]},"DOI":"10.1145\/2499777.2499779","type":"proceedings-article","created":{"date-parts":[[2013,8,13]],"date-time":"2013-08-13T12:31:21Z","timestamp":1376397081000},"page":"130-135","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":51,"title":["Clafer tools for product line engineering"],"prefix":"10.1145","author":[{"given":"Micha\u0142","family":"Antkiewicz","sequence":"first","affiliation":[{"name":"University of Waterloo, Waterloo, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kacper","family":"B\u0105k","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandr","family":"Murashkin","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rafael","family":"Olaechea","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jia Hui (Jimmy)","family":"Liang","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krzysztof","family":"Czarnecki","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,8,26]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Alloy. http:\/\/alloy.mit.edu.  Alloy. http:\/\/alloy.mit.edu."},{"key":"e_1_3_2_1_2_1","unstructured":"Choco. http:\/\/www.emn.fr\/z-info\/choco-solver.  Choco. http:\/\/www.emn.fr\/z-info\/choco-solver."},{"key":"e_1_3_2_1_3_1","unstructured":"Clafer Compiler. https:\/\/github.com\/gsdlab\/clafer.  Clafer Compiler. https:\/\/github.com\/gsdlab\/clafer."},{"key":"e_1_3_2_1_4_1","unstructured":"Clafer Configurator. https:\/\/github.com\/gsdlab\/ClaferConfigurator.  Clafer Configurator. https:\/\/github.com\/gsdlab\/ClaferConfigurator."},{"key":"e_1_3_2_1_5_1","unstructured":"Clafer Homepage. http:\/\/clafer.org.  Clafer Homepage. http:\/\/clafer.org."},{"key":"e_1_3_2_1_6_1","unstructured":"Clafer Wiki. https:\/\/github.com\/gsdlab\/claferWiki.  Clafer Wiki. https:\/\/github.com\/gsdlab\/claferWiki."},{"key":"e_1_3_2_1_7_1","unstructured":"ClaferIG. https:\/\/github.com\/gsdlab\/claferIG.  ClaferIG. https:\/\/github.com\/gsdlab\/claferIG."},{"key":"e_1_3_2_1_8_1","unstructured":"ClaferMOO. https:\/\/github.com\/gsdlab\/claferMoo.  ClaferMOO. https:\/\/github.com\/gsdlab\/claferMoo."},{"key":"e_1_3_2_1_9_1","unstructured":"ClaferMoo Visualizer. https:\/\/github.com\/gsdlab\/claferMooVisualizer.  ClaferMoo Visualizer. https:\/\/github.com\/gsdlab\/claferMooVisualizer."},{"key":"e_1_3_2_1_10_1","unstructured":"Common Variability Language revised submission 2012. http:\/\/www.omgwiki.org\/variability\/doku.php#cvl_revised_submission.  Common Variability Language revised submission 2012. http:\/\/www.omgwiki.org\/variability\/doku.php#cvl_revised_submission."},{"key":"e_1_3_2_1_11_1","first-page":"291","volume-title":"International Conference on Software Language Engineering","author":"B\u0105k K.","year":"2010","unstructured":"K. B\u0105k , K. Czarnecki , and A. W\u0105sowski . Feature and meta-models in clafer: Mixed, specialized and coupled . In International Conference on Software Language Engineering , pages 291 -- 301 , 2010 . K. B\u0105k, K. Czarnecki, and A. W\u0105sowski. Feature and meta-models in clafer: Mixed, specialized and coupled. In International Conference on Software Language Engineering, pages 291--301, 2010."},{"key":"e_1_3_2_1_12_1","volume-title":"GSD Lab","author":"Guo J.","year":"2013","unstructured":"J. Guo , K. Czarnecki , S. Apel , N. Siegmund , and A. Wasowski . Why CART works for variability-aware performance prediction? an empirical study on performance distributions. Technical report , GSD Lab , University of Waterloo , 04\/ 2013 2013. J. Guo, K. Czarnecki, S. Apel, N. Siegmund, and A. Wasowski. Why CART works for variability-aware performance prediction? an empirical study on performance distributions. Technical report, GSD Lab, University of Waterloo, 04\/2013 2013."},{"key":"e_1_3_2_1_13_1","unstructured":"A. Murashkin M. Antkiewicz D. Rayside and K. Czarnecki. Visualization and exploration of optimal variants in product line engineering.  A. Murashkin M. Antkiewicz D. Rayside and K. Czarnecki. Visualization and exploration of optimal variants in product line engineering."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2420942.2420944"}],"event":{"name":"SPLC 2013 workshops: 17th International Software Product Line Conference co-located workshops","location":"Tokyo Japan","acronym":"SPLC 2013 workshops"},"container-title":["Proceedings of the 17th International Software Product Line Conference co-located workshops"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2499777.2499779","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2499777.2499779","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:33:57Z","timestamp":1750232037000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2499777.2499779"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8,26]]},"references-count":14,"alternative-id":["10.1145\/2499777.2499779","10.1145\/2499777"],"URL":"https:\/\/doi.org\/10.1145\/2499777.2499779","relation":{},"subject":[],"published":{"date-parts":[[2013,8,26]]},"assertion":[{"value":"2013-08-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}