{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T05:04:15Z","timestamp":1764306255231,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","funder":[{"name":"Fonds Wetenschappelijk Onderzoek?Vlaanderen (FWO)","award":["1S70622N"],"award-info":[{"award-number":["1S70622N"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,12]]},"DOI":"10.1145\/3732771.3742718","type":"proceedings-article","created":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T11:04:43Z","timestamp":1750158283000},"page":"128-133","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Integrating Model Checking into a Live Modeling Environment"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6916-5140","authenticated-orcid":false,"given":"Joeri","family":"Exelmans","sequence":"first","affiliation":[{"name":"University of Antwerp, Belgium"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0722-5857","authenticated-orcid":false,"given":"Ciprian","family":"Teodorov","sequence":"additional","affiliation":[{"name":"ENSTA Inst. Polytechnique de Paris, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2079-6643","authenticated-orcid":false,"given":"Hans","family":"Vangheluwe","sequence":"additional","affiliation":[{"name":"University of Antwerp, Flanders Make, Belgium"}]}],"member":"320","published-online":{"date-parts":[[2025,6,17]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Theory - The Pijul Manual. https:\/\/pijul.org\/manual\/theory.html accessed: 2025-04-18"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2643005"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-021-00923-9"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814251.2814262"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3652620.3688222"},{"key":"e_1_3_2_1_6_1","first-page":"1","volume-title":"Vangheluwe","author":"Exelmans J.","year":"2024","unstructured":"Exelmans, J., Teodorov, C., Vangheluwe, H.: Operation-based versioning as a foundation for live executable models. Software and Systems Modeling pp. 1--19 (2024)"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2010.28"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509578.2509585"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2859946"},{"key":"e_1_3_2_1_10_1","volume-title":"C.D.: A categorical theory of patches. CoRR abs\/1311.3903","author":"Mimram S.","year":"2013","unstructured":"Mimram, S., Giusto, C.D.: A categorical theory of patches. CoRR abs\/1311.3903 (2013), http:\/\/arxiv.org\/abs\/1311.3903"},{"key":"e_1_3_2_1_11_1","volume":"30","author":"Mokhov A.","unstructured":"Mokhov, A., Mitchell, N., Jones, S.P.: Build systems \u00e0 la carte: Theory and practice. Journal of Functional Programming 30, e11 (2020)","journal-title":"Journal of Functional Programming"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511530104"},{"key":"e_1_3_2_1_13_1","volume-title":"Hammer","author":"Omar C.","year":"2019","unstructured":"Omar, C., Voysey, I., Chugh, R., Hammer, M.A.: Live functional programming with typed holes. Proceedings of the ACM on Programming Languages 3(POPL), 1--32 (2019)"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3550355.3552447"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3623476.3623526"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(81)90106-X"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.14279\/tuj.eceasst.82.1226"},{"key":"e_1_3_2_1_18_1","unstructured":"Teodorov C.: G∀min∃: Exploring the Boundary Between Executable Specification Languages and Behavior Analysis Tools. (G∀min∃: Exploration de la fronti\u00e8re entre les langages de sp\u00e9cification ex\u00e9cutables et les outils d'analyse du comportement) (2023) https:\/\/tel.archives-ouvertes.fr\/tel-04066483"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276604.3276611"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-018-0700-7"}],"event":{"name":"SLE '25: 18th ACM SIGPLAN International Conference on Software Language Engineering","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Koblenz Germany","acronym":"SLE '25"},"container-title":["Proceedings of the 18th ACM SIGPLAN International Conference on Software Language Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3732771.3742718","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T02:19:44Z","timestamp":1755915584000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3732771.3742718"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,12]]},"references-count":20,"alternative-id":["10.1145\/3732771.3742718","10.1145\/3732771"],"URL":"https:\/\/doi.org\/10.1145\/3732771.3742718","relation":{},"subject":[],"published":{"date-parts":[[2025,6,12]]},"assertion":[{"value":"2025-06-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}