{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T02:58:46Z","timestamp":1730257126719,"version":"3.28.0"},"reference-count":37,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T00:00:00Z","timestamp":1556668800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T00:00:00Z","timestamp":1556668800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T00:00:00Z","timestamp":1556668800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,5]]},"DOI":"10.1109\/icse.2019.00106","type":"proceedings-article","created":{"date-parts":[[2019,8,27]],"date-time":"2019-08-27T01:10:51Z","timestamp":1566868251000},"page":"1016-1026","source":"Crossref","is-referenced-by-count":27,"title":["Symbolic Repairs for GR(1) Specifications"],"prefix":"10.1109","author":[{"given":"Shahar","family":"Maoz","sequence":"first","affiliation":[]},{"given":"Jan Oliver","family":"Ringert","sequence":"additional","affiliation":[]},{"given":"Rafi","family":"Shalom","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Spectra Website","year":"0","key":"ref33"},{"journal-title":"CUDD BDD package University of Colorado Boulder","year":"0","author":"somenzi","key":"ref32"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"},{"key":"ref30","first-page":"364","article-title":"Synthesis of reactive(l) designs","volume":"3855","author":"piterman","year":"2006","journal-title":"VMCAI"},{"journal-title":"Supporting Materials Website","year":"0","key":"ref37"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2560811"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.45"},{"key":"ref10","first-page":"411","article-title":"Patterns in property specifications for finite-state verification","author":"dwyer","year":"0","journal-title":"ICSE"},{"key":"ref11","first-page":"333","article-title":"Slugs: Extensible GR(1) synthesis","volume":"9780","author":"ehlers","year":"2016","journal-title":"CAV"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.260.7"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2755013"},{"key":"ref14","first-page":"247","article-title":"Synthesizing executable PLC code for robots from scenario-based GR(1) specifications","volume":"10748","author":"gritzner","year":"2017","journal-title":"Software Technologies Applications and Foundations - STAF 2017 Collocated Workshops"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180245"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.60"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606626"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-011-0221-y"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180247"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54577-5_16"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36964-3_2"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.007"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85361-9_14"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.63"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-95582-7_7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985823"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78163-9_9"},{"key":"ref2","first-page":"425","article-title":"RATSY - A new requirements analysis tool with synthesis","volume":"6174","author":"bloem","year":"2010","journal-title":"CAV"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2430536.2430543"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2013.6679387"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8_4"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.104"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106240"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786824"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2011.5970509"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606570"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950300"}],"event":{"name":"2019 IEEE\/ACM 41st International Conference on Software Engineering (ICSE)","start":{"date-parts":[[2019,5,25]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2019,5,31]]}},"container-title":["2019 IEEE\/ACM 41st International Conference on Software Engineering (ICSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8790403\/8811891\/08812056.pdf?arnumber=8812056","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T20:20:32Z","timestamp":1658262032000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8812056\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/icse.2019.00106","relation":{},"subject":[],"published":{"date-parts":[[2019,5]]}}}