{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,10]],"date-time":"2026-09-10T12:07:37Z","timestamp":1789042057035,"version":"build-2803163510"},"reference-count":56,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"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":[[2026,8]]},"DOI":"10.1109\/re68928.2026.00020","type":"proceedings-article","created":{"date-parts":[[2026,9,9]],"date-time":"2026-09-09T19:07:08Z","timestamp":1788980828000},"page":"1-13","source":"Crossref","is-referenced-by-count":0,"title":["Mode-Based Requirements Decomposition for Scalable Reactive Synthesis"],"prefix":"10.1109","author":[{"given":"Mat\u00edas","family":"Brizzio","sequence":"first","affiliation":[{"name":"IMDEA Software Institute","place":["Madrid, Spain"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andoni","family":"Rodr\u00edguez","sequence":"additional","affiliation":[{"name":"IMDEA Software Institute","place":["Madrid, Spain"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"C\u00e9sar","family":"S\u00e1nchez","sequence":"additional","affiliation":[{"name":"IMDEA Software Institute","place":["Madrid, Spain"]}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Renzo","family":"Degiovanni","sequence":"additional","affiliation":[{"name":"Luxembourg Institute of Science and Technology (LIST)"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/11609773_24"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.007"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/4074.001.0001"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-70389-3_10"},{"key":"ref7","volume-title":"Compositionality: The Significant Difference: International Symposium, COMPOS\u201997 Bad Malente","author":"de Roever","year":"2003"},{"key":"ref8","first-page":"309","article-title":"More Scalable LTL Model Checking via Discovering Design-Space Dependencies $\\left(D^{3}\\right)$","volume-title":"Proc. of TACAS\u201918","author":"Dureja","year":"2018"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-022-00462-6"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2018.8342266"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-90870-6_27"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/re57278.2023.00014"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2015.7320447"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-30282-9_11"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2019.00031"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2976767.2976769"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2009.9"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ISRE.1995.512546"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.3233\/978-1-60750-711-6-158"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.229.10"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2005.29"},{"issue":"ARC-E-DAA-TN77785","key":"ref22","article-title":"Formal Requirements Elicitation with FRET","volume-title":"International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ-2020)","author":"Giannakopoulou","year":"2020"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-021-00868-z"},{"key":"ref24","first-page":"1","article-title":"ISO\/IEC\/IEEE International Standard - Systems and software engineering - Life cycle processes - Requirements engineering","year":"2018","journal-title":"ISO\/IEC\/IEEE 29148:2018(E)"},{"issue":"3","key":"ref25","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","article-title":"Statecharts: A Visual Formalism for Complex Systems","volume":"8","author":"Harel","year":"1987","journal-title":"Science of Computer Programming"},{"key":"ref26","volume-title":"Safeware: System Safety and Computers","author":"Leveson","year":"1995"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijepes.2010.01.019"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICONS.2008.56"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238220"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-30826-0_1"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3583131.3590454"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970349"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00016"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3639478.3639801"},{"key":"ref35","article-title":"Language Models are Few-Shot Learners","author":"Brown","year":"2020","journal-title":"NeurIPS"},{"key":"ref36","article-title":"GPT-4 Technical Report","year":"2023","journal-title":"OpenAI"},{"key":"ref37","article-title":"Automating Requirements Formalization: Using LLMs and Low-Complexity Distinguishing Traces for Semantic Validation","volume-title":"Proceedings of the 48th IEEE\/ACM International Conference on Software Engineering (ICSE)","author":"Mendoza","year":"2026"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/3649506"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-032-04207-1_17"},{"key":"ref40","article-title":"Lang2LTL: Translating Natural Language Commands to Temporal Specification with Large Language Models","volume-title":"Workshop on Language and Robotics at CoRL 2022","author":"Liu","year":"2022"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-55642-5_6"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-93706-4_8"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2722960"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-47963-2_16"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011254632723"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-15648-8_16"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.157.11"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01090-4_34"},{"key":"ref50","volume-title":"LogicNG"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-29026-9_1"},{"key":"ref52","article-title":"Artifact for RE\u201926 paper: Mode-Based Requirements Decomposition for Scalable Reactive Synthesis","volume-title":"Presented at the 34th IEEE International Requirements Engineering Conference (RE)","author":"Brizzio"},{"key":"ref53","author":"Biere","year":"2007","journal-title":"The AIGER And-Inverter Graph (AIG) Format Version 20071012"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.24963\/kr.2026\/67"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29044-2"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-37709-9_15"}],"event":{"name":"2026 IEEE 34th International Requirements Engineering Conference (RE)","location":"Montreal, QC, Canada","start":{"date-parts":[[2026,8,17]]},"end":{"date-parts":[[2026,8,21]]}},"container-title":["2026 IEEE 34th International Requirements Engineering Conference (RE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11676474\/11676607\/11676665.pdf?arnumber=11676665","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,9,10]],"date-time":"2026-09-10T11:13:36Z","timestamp":1789038816000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11676665\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,8]]},"references-count":56,"URL":"https:\/\/doi.org\/10.1109\/re68928.2026.00020","relation":{},"subject":[],"published":{"date-parts":[[2026,8]]}}}