{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T23:36:40Z","timestamp":1771025800775,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,11,7]],"date-time":"2022-11-07T00:00:00Z","timestamp":1667779200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","award":["PTDC\/CCI-COM\/4280\/2021 & LA\/P\/0063\/2020"],"award-info":[{"award-number":["PTDC\/CCI-COM\/4280\/2021 & LA\/P\/0063\/2020"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,11,7]]},"DOI":"10.1145\/3540250.3549154","type":"proceedings-article","created":{"date-parts":[[2022,11,9]],"date-time":"2022-11-09T20:46:22Z","timestamp":1668026782000},"page":"885-896","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Quantitative relational modelling with QAlloy"],"prefix":"10.1145","author":[{"given":"Pedro","family":"Silva","sequence":"first","affiliation":[{"name":"University of Minho, Portugal \/ INESC TEC, Portugal"}]},{"given":"Jos\u00e9 N.","family":"Oliveira","sequence":"additional","affiliation":[{"name":"University of Minho, Portugal \/ INESC TEC, Portugal"}]},{"given":"Nuno","family":"Macedo","sequence":"additional","affiliation":[{"name":"University of Porto, Portugal \/ INESC TEC, Portugal"}]},{"given":"Alcino","family":"Cunha","sequence":"additional","affiliation":[{"name":"University of Minho, Portugal \/ INESC TEC, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2022,11,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511810800"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.13"},{"key":"e_1_3_2_1_3_1","unstructured":"C. Barrett P. Fontaine and C. Tinelli. 2016. The satisfiability modulo theories library (SMT-LIB). www.SMT-LIB.org. \t\t\t\t  C. Barrett P. Fontaine and C. Tinelli. 2016. The satisfiability modulo theories library (SMT-LIB). www.SMT-LIB.org."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093635499"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/362384.362685"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029921"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21437-0_12"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01178565"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338843"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950318"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2021.102690"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63046-5_10"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.05.009"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-016-0267-2"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2015.04.008"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-012-0240-9"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-007-0058-z"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3359591.3359726"},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 16th International Workshop on OCL and Textual Modelling (CEUR Workshop Proceedings","volume":"88","author":"Sun P.","unstructured":"P. Sun , Z. Diskin , M. Antkiewicz , and K. Czarnecki . 2016. Modeling and reasoning with multirelations, and their encoding in Alloy . In Proceedings of the 16th International Workshop on OCL and Textual Modelling (CEUR Workshop Proceedings , Vol. 1756). CEUR-WS.org, 73\u2013 88 . P. Sun, Z. Diskin, M. Antkiewicz, and K. Czarnecki. 2016. Modeling and reasoning with multirelations, and their encoding in Alloy. In Proceedings of the 16th International Workshop on OCL and Textual Modelling (CEUR Workshop Proceedings, Vol. 1756). CEUR-WS.org, 73\u201388."},{"key":"e_1_3_2_1_20_1","unstructured":"E. Torlak and D. Jackson. 2006. The design of a relational engine. MIT. \t\t\t\t  E. Torlak and D. Jackson. 2006. The design of a relational engine. MIT."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_49"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468587"}],"event":{"name":"ESEC\/FSE '22: 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"Singapore Singapore","acronym":"ESEC\/FSE '22","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","NUS NUS"]},"container-title":["Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3540250.3549154","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3540250.3549154","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:51:02Z","timestamp":1750182662000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3540250.3549154"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,7]]},"references-count":22,"alternative-id":["10.1145\/3540250.3549154","10.1145\/3540250"],"URL":"https:\/\/doi.org\/10.1145\/3540250.3549154","relation":{},"subject":[],"published":{"date-parts":[[2022,11,7]]},"assertion":[{"value":"2022-11-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}