{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:21:14Z","timestamp":1750220474296,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,10,17]],"date-time":"2021-10-17T00:00:00Z","timestamp":1634428800000},"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,10,17]]},"DOI":"10.1145\/3486608.3486901","type":"proceedings-article","created":{"date-parts":[[2021,11,22]],"date-time":"2021-11-22T23:13:53Z","timestamp":1637622833000},"page":"36-48","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Executing certified model transformations on Apache Spark"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8759-4566","authenticated-orcid":false,"given":"Jolan","family":"Philippe","sequence":"first","affiliation":[{"name":"IMT Atlantique, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7891-9138","authenticated-orcid":false,"given":"Massimo","family":"Tisi","sequence":"additional","affiliation":[{"name":"IMT Atlantique, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2573-2147","authenticated-orcid":false,"given":"H\u00e9l\u00e8ne","family":"Coullon","sequence":"additional","affiliation":[{"name":"IMT Atlantique, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6407-8075","authenticated-orcid":false,"given":"Gerson","family":"Suny\u00e9","sequence":"additional","affiliation":[{"name":"University of Nantes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,11,22]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"University of Malaga Atenea team. 2018. Lintra. http:\/\/atenea.lcc.uma.es\/projects\/LinTra.html  University of Malaga Atenea team. 2018. Lintra. http:\/\/atenea.lcc.uma.es\/projects\/LinTra.html"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2018.04.014"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2997364.2997385"},{"key":"e_1_3_2_2_4_1","unstructured":"Loli Burgue\u00f1o Manuel Wimmer and Antonio Vallecillo. 2016. Towards Distributed Model Transformations with LinTra. Jornadas de Ingenier\u00eda del Software y Bases de Datos 1\u20136. http:\/\/hdl.handle.net\/10630\/12091  Loli Burgue\u00f1o Manuel Wimmer and Antonio Vallecillo. 2016. Towards Distributed Model Transformations with LinTra. Jornadas de Ingenier\u00eda del Software y Bases de Datos 1\u20136. http:\/\/hdl.handle.net\/10630\/12091"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19829-8_8"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3365438.3410949"},{"key":"e_1_3_2_2_7_1","unstructured":"The Coq development team. 2004. The Coq proof assistant reference manual. http:\/\/coq.inria.fr Version 8.0.  The Coq development team. 2004. The Coq proof assistant reference manual. http:\/\/coq.inria.fr Version 8.0."},{"volume-title":"Scallina: Translating Verified Programs from Coq to Scala","year":"2018","author":"Bakouny Youssef El","key":"e_1_3_2_2_8_1"},{"volume-title":"The TTC 2014 Movie Database Case.. In TTC@ STAF. 93\u201397","year":"2014","author":"Horn Tassilo","key":"e_1_3_2_2_9_1"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.08.002"},{"volume-title":"ChaMDE 2008 Workshop Proceedings: International Workshop on Challenges in Model-Driven Software Engineering. 10\u201314","year":"2008","author":"Kolovos Dimitris S","key":"e_1_3_2_2_11_1"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11787044_11"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54804-8_23"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.07.001"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-014-0313-z"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/11428848_132"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1807167.1807184"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/EURCON.2009.5167663"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3417990.3420206"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0351-7"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-93317-7_7"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41533-3_40"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-016-0418-5"}],"event":{"name":"SLE '21: 14th ACM SIGPLAN International Conference on Software Language Engineering","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Chicago IL USA","acronym":"SLE '21"},"container-title":["Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3486608.3486901","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3486608.3486901","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:48:39Z","timestamp":1750193319000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3486608.3486901"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,17]]},"references-count":23,"alternative-id":["10.1145\/3486608.3486901","10.1145\/3486608"],"URL":"https:\/\/doi.org\/10.1145\/3486608.3486901","relation":{},"subject":[],"published":{"date-parts":[[2021,10,17]]},"assertion":[{"value":"2021-11-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}