{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T04:24:05Z","timestamp":1782879845615,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,7]],"date-time":"2020-10-07T00:00:00Z","timestamp":1602028800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/L016796\/1"],"award-info":[{"award-number":["EP\/L016796\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,10,7]]},"DOI":"10.1145\/3372020.3391557","type":"proceedings-article","created":{"date-parts":[[2020,9,12]],"date-time":"2020-09-12T20:02:05Z","timestamp":1599940925000},"page":"66-76","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["Minimal Assumptions Refinement for Realizable Specifications"],"prefix":"10.1145","author":[{"given":"Davide G.","family":"Cavezza","sequence":"first","affiliation":[{"name":"Imperial College London, London, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dalal","family":"Alrajeh","sequence":"additional","affiliation":[{"name":"Imperial College London, London, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andr\u00e1s","family":"Gy\u00f6rgy","sequence":"additional","affiliation":[{"name":"DeepMind, London, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,10,7]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n.d.]. https:\/\/gitlab.doc.ic.ac.uk\/dgc14\/FormaliSE20repo  [n.d.]. https:\/\/gitlab.doc.ic.ac.uk\/dgc14\/FormaliSE20repo"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2013.6679387"},{"key":"e_1_3_2_1_3_1","volume-title":"Briand","author":"Arora Chetan","year":"2019"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.12.022"},{"key":"e_1_3_2_1_5_1","volume-title":"Computer Aided Verification","author":"Bloem Roderick"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.007"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(96)00228-9"},{"key":"e_1_3_2_1_8_1","volume-title":"Cavezza and Dalal Alrajeh","author":"Davide","year":"2017"},{"key":"e_1_3_2_1_9_1","volume-title":"Cavezza and Dalal Alrajeh","author":"Davide","year":"2018"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-95582-7_7"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85361-9_14"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"A. Cimatti M. Roveri V. Schuppan and A. Tchaltsev. 2008. Diagnostic Information for Realizability. In Verification Model Checking and Abstract Interpretation. Springer Berlin Heidelberg Berlin Heidelberg 52--67. https:\/\/doi.org\/10.1007\/978-3-540-78163-9_9  A. Cimatti M. Roveri V. Schuppan and A. Tchaltsev. 2008. Diagnostic Information for Realizability. In Verification Model Checking and Abstract Interpretation. Springer Berlin Heidelberg Berlin Heidelberg 52--67. https:\/\/doi.org\/10.1007\/978-3-540-78163-9_9","DOI":"10.1007\/978-3-540-78163-9_9"},{"key":"e_1_3_2_1_13_1","volume-title":"International Conference on Computer Aided Verification (CAV)","volume":"71","author":"Clarke E."},{"key":"e_1_3_2_1_14_1","volume-title":"Peled","author":"Clarke Edmund M.","year":"1999"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882305"},{"key":"e_1_3_2_1_16_1","first-page":"72","article-title":"Synthesis of reactive systems","volume":"45","author":"Finkbeiner Bernd","year":"2016","journal-title":"Dependable Software Systems Engineering"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-005-2641-y"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(93)90069-N"},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 16th Conference on Formal Methods in Computer-Aided Design, FMCAD 2016 (2017","author":"Guthmann Ofer","year":"2017"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"M. Jackson and P. Zave. 1993. Domain descriptions. [1993] Proceedings of the IEEE International Symposium on Requirements Engineering (1993) 56--64. https:\/\/doi.org\/10.1109\/ISRE.1993.324836  M. Jackson and P. Zave. 1993. Domain descriptions. [1993] Proceedings of the IEEE International Symposium on Requirements Engineering (1993) 56--64. https:\/\/doi.org\/10.1109\/ISRE.1993.324836","DOI":"10.1109\/ISRE.1993.324836"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2009.5351127"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106240"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Grace A. Lewis Teeraphong Mahatham and Lutz Wrage. 2004. Assumptions Management in Software Development.  Grace A. Lewis Teeraphong Mahatham and Lutz Wrage. 2004. Assumptions Management in Software Development.","DOI":"10.21236\/ADA443152"},{"key":"e_1_3_2_1_24_1","volume-title":"9th ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE). 43--50","author":"Li Wenchao","year":"2011"},{"key":"e_1_3_2_1_25_1","volume-title":"Seshia","author":"Li Wenchao","year":"2014"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/1195810.1644634"},{"key":"e_1_3_2_1_27_1","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Manna Zohar"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786824"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00106"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","unstructured":"ThanhVu Nguyen Deepak Kapur Westley Weimer and Stephanie Forrest. 2014. Using Dynamic Analysis to Generate Disjunctive Invariants. (2014) 608--619. https:\/\/doi.org\/10.1145\/2568225.2568275  ThanhVu Nguyen Deepak Kapur Westley Weimer and Stephanie Forrest. 2014. Using Dynamic Analysis to Generate Disjunctive Invariants. (2014) 608--619. https:\/\/doi.org\/10.1145\/2568225.2568275","DOI":"10.1145\/2568225.2568275"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/11609773_24"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2471838"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","volume-title":"Approximation Algorithms","author":"Vazirani Vijay V","DOI":"10.1007\/978-3-662-04565-7"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/587051.587053"}],"event":{"name":"FormaliSE '20: 8th International Conference on Formal Methods in Software Engineering","location":"Seoul Republic of Korea","acronym":"FormaliSE '20","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 8th International Conference on Formal Methods in Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3372020.3391557","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3372020.3391557","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:44:19Z","timestamp":1750203859000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3372020.3391557"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,7]]},"references-count":34,"alternative-id":["10.1145\/3372020.3391557","10.1145\/3372020"],"URL":"https:\/\/doi.org\/10.1145\/3372020.3391557","relation":{},"subject":[],"published":{"date-parts":[[2020,10,7]]},"assertion":[{"value":"2020-10-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}