{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,25]],"date-time":"2025-11-25T06:54:51Z","timestamp":1764053691815,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,12,21]],"date-time":"2020-12-21T00:00:00Z","timestamp":1608508800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100011199","name":"European Research Council","doi-asserted-by":"publisher","award":["638049"],"award-info":[{"award-number":["638049"]}],"id":[{"id":"10.13039\/100011199","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,12,21]]},"DOI":"10.1145\/3324884.3416557","type":"proceedings-article","created":{"date-parts":[[2021,1,27]],"date-time":"2021-01-27T23:38:56Z","timestamp":1611790736000},"page":"635-646","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Just-in-time reactive synthesis"],"prefix":"10.1145","author":[{"given":"Shahar","family":"Maoz","sequence":"first","affiliation":[{"name":"Tel Aviv University, Israel"}]},{"given":"Ilia","family":"Shevrin","sequence":"additional","affiliation":[{"name":"Tel Aviv University, Israel"}]}],"member":"320","published-online":{"date-parts":[[2021,1,27]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n.d.]. JITS Supporting Materials Website. http:\/\/smlab.cs.tau.ac.il\/syntech\/jits\/."},{"key":"e_1_3_2_1_2_1","unstructured":"[n.d.]. Spectra Website. http:\/\/smlab.cs.tau.ac.il\/syntech\/spectra\/."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30942-8_7"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_37"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.007"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11539452_9"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54577-5_16"},{"key":"e_1_3_2_1_9_1","volume-title":"Minimal Assumptions Refinement for GR(1) Specifications. CoRR abs\/1910.05558","author":"Cavezza Davide G.","year":"2019","unstructured":"Davide G. Cavezza, Dalal Alrajeh, and Andr\u00e1s Gy\u00f6rgy. 2019. Minimal Assumptions Refinement for GR(1) Specifications. CoRR abs\/1910.05558 (2019). arXiv:1910.05558 http:\/\/arxiv.org\/abs\/1910.05558"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263775"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430536.2430543"},{"key":"e_1_3_2_1_12_1","volume-title":"Corbett","author":"Dwyer Matthew B.","year":"1999","unstructured":"Matthew B. Dwyer, George S. Avrunin, and James C. Corbett. 1999. Patterns in Property Specifications for Finite-State Verification. In ICSE. ACM, 411--420."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41540-6_18"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCA.2016.7587949"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-019-00351-9"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","unstructured":"D. Harel and A. Pnueli. 1985. On the Development of Reactive Systems. Springer Berlin Heidelberg Berlin Heidelberg 477--498. 10.1007\/978-3-642-82453-1_17","DOI":"10.1007\/978-3-642-82453-1_17"},{"key":"e_1_3_2_1_17_1","volume-title":"Participants & Results. CoRR abs\/1904.07736","author":"Jacobs Swen","year":"2019","unstructured":"Swen Jacobs, Roderick Bloem, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Philipp J. Meyer, Thibaud Michaud, Mouhammad Sakr, Salomon Sickert, Leander Tentrup, and Adam Walker. 2019. The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results. CoRR abs\/1904.07736 (2019). arXiv:1904.07736 http:\/\/arxiv.org\/abs\/1904.07736"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-011-0221-y"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106240"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-019-00349-3"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2016.7487613"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","unstructured":"Shahar Maoz and Jan Oliver Ringert. 2015. GR(1) synthesis for LTL specification patterns. In ESEC\/FSE. ACM 96--106. 10.1145\/2786805.2786824","DOI":"10.1145\/2786805.2786824"},{"key":"e_1_3_2_1_24_1","volume-title":"Proc. 4th Workshop on Synthesis, SYNT 2015 colocated with CAV 2015 (EPTCS)","volume":"202","author":"Maoz Shahar","year":"2015","unstructured":"Shahar Maoz and Jan Oliver Ringert. 2015. Synthesizing a Lego Forklift Controller in GR(1): A Case Study. In Proc. 4th Workshop on Synthesis, SYNT 2015 colocated with CAV 2015 (EPTCS), Vol. 202. 58--72."},{"key":"e_1_3_2_1_25_1","volume-title":"Spectra: A Specification Language for Reactive Systems. CoRR abs\/1904.06668","author":"Maoz Shahar","year":"2019","unstructured":"Shahar Maoz and Jan Oliver Ringert. 2019. Spectra: A Specification Language for Reactive Systems. CoRR abs\/1904.06668 (2019). arXiv:1904.06668 http:\/\/arxiv.org\/abs\/1904.06668"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00106"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1960275.1960280"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33666-9_22"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Shahar Maoz and Rafi Shalom. 2020. Inherent Vacuity for GR(1) specifications. In ESEC\/FSE. To appear.","DOI":"10.1145\/3368089.3409669"},{"key":"e_1_3_2_1_30_1","volume-title":"Carlo Ghezzi, and Thorsten Berger","author":"Menghi Claudio","year":"2019","unstructured":"Claudio Menghi, Christos Tsigkanos, Patrizio Pelliccione, Carlo Ghezzi, and Thorsten Berger. 2019. Specification Patterns for Robotic Missions. CoRR abs\/1901.02077 (2019). arXiv:1901.02077 http:\/\/arxiv.org\/abs\/1901.02077"},{"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\/SFCS.1977.32"},{"volume-title":"On the Synthesis of a Reactive Module","author":"Pnueli Amir","key":"e_1_3_2_1_33_1","unstructured":"Amir Pnueli and Roni Rosner. 1989. On the Synthesis of a Reactive Module. In POPL. ACM Press, 179--190."},{"key":"e_1_3_2_1_34_1","volume-title":"HVC 2011","author":"Schlaipfer Matthias","year":"2011","unstructured":"Matthias Schlaipfer, Georg Hofferek, and Roderick Bloem. 2011. Generalized Reactivity(1) Synthesis without a Monolithic Strategy. In Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6--8, 2011, Revised Selected Papers. 20--34."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_12"},{"issue":"0","key":"e_1_3_2_1_36_1","first-page":"0","article-title":"CUDD","volume":"3","author":"Somenzi Fabio","year":"2015","unstructured":"Fabio Somenzi. 2015. CUDD: CU Decision Diagram Package Release 3.0.0. http:\/\/vlsi.colorado.edu\/~fabio\/CUDD\/cudd.pdf.","journal-title":"CU Decision Diagram Package Release"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2014.6987617"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2014.X.012"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2018.2830353"}],"event":{"name":"ASE '20: 35th IEEE\/ACM International Conference on Automated Software Engineering","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Virtual Event Australia","acronym":"ASE '20"},"container-title":["Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3324884.3416557","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3324884.3416557","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:01:38Z","timestamp":1750197698000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3324884.3416557"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12,21]]},"references-count":39,"alternative-id":["10.1145\/3324884.3416557","10.1145\/3324884"],"URL":"https:\/\/doi.org\/10.1145\/3324884.3416557","relation":{},"subject":[],"published":{"date-parts":[[2020,12,21]]},"assertion":[{"value":"2021-01-27","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}