{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T06:16:30Z","timestamp":1783059390558,"version":"3.54.6"},"reference-count":35,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T00:00:00Z","timestamp":1773705600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T00:00:00Z","timestamp":1773705600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62025208,62421002"],"award-info":[{"award-number":["62025208,62421002"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001459","name":"Ministry of Education, Singapore","doi-asserted-by":"publisher","award":["MOET32020-0004"],"award-info":[{"award-number":["MOET32020-0004"]}],"id":[{"id":"10.13039\/501100001459","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,3,17]]},"DOI":"10.1109\/saner67736.2026.00099","type":"proceedings-article","created":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T19:41:17Z","timestamp":1783021277000},"page":"842-853","source":"Crossref","is-referenced-by-count":0,"title":["Temporal Requirement Formalization Using Large Language Models"],"prefix":"10.1109","author":[{"given":"Zhiyuan","family":"Hu","sequence":"first","affiliation":[{"name":"College of Computer Science and Technology, National University of Defense Technology,Changsha,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wei","family":"Ma","sequence":"additional","affiliation":[{"name":"Singapore Management University,Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Qiang","family":"Wang","sequence":"additional","affiliation":[{"name":"Academy of Military Sciences,Beijing,China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lingxiao","family":"Jiang","sequence":"additional","affiliation":[{"name":"Singapore Management University,Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dongsheng","family":"Li","sequence":"additional","affiliation":[{"name":"College of Computer Science and Technology, National University of Defense Technology,Changsha,China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.1715"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-101119-071628"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/IV47402.2020.9304549"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48683-6_44"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.emnlp-main.985"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1163\/156855308X344864"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.7873\/DATE.2015.0452","article-title":"Formal consistency checking over specifications in natural languages","volume-title":"2015 Design, Automation & Test in Europe Conference & Exhibition (DATE)","author":"Yan","year":"2015"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v37i13.27068"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-37703-7_18"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.52202\/068431-1613"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3571730"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/112600.112613"},{"key":"ref14","volume-title":"Fact-checking as idea and practice in journalism","volume":"02","author":"Graves","year":"2019"},{"key":"ref15","article-title":"Can llms improve multimodal fact-checking by asking relevant questions?","author":"Beigi","year":"2024","journal-title":"arXiv"},{"key":"ref16","article-title":"Monpoly: Monitoring usage-control policies","volume-title":"International Conference on Runtime Verification (RV 2011)","author":"Basin","year":"2011"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/298595.298598"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2009.9"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2019.2921164"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2002.1007952"},{"key":"ref22","article-title":"Formal requirements elicitation with fret","volume-title":"REFSQ Workshops","author":"Giannakopoulou","year":"2020"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2021.106590"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/IV55156.2024.10588650"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA57147.2024.10611086"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-73741-1_23"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995674"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/227595.227602"},{"key":"ref29","volume-title":"Art: Automatic multi-step reasoning and tool-use for large language models","author":"Paranjape","year":"2023"},{"key":"ref30","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/ISSREW67781.2025.00037","article-title":"Runtime verification of tactical data link","volume-title":"2025 IEEE 36th International Symposium on Software Reliability Engineering Workshops (ISSREW)","author":"Wang","year":"2025"},{"key":"ref31","author":"Qwen","year":"2024","journal-title":"Qwen2.5 technical report"},{"key":"ref32","volume-title":"Qwen2.5-coder technical report","author":"Hui","year":"2024"},{"key":"ref33","volume-title":"The llama 3 herd of models","author":"Grattafiori","year":"2024"},{"key":"ref34","volume-title":"Deepseek-coder: When the large language model meets programming - the rise of code intelligence","author":"Guo","year":"2024"},{"key":"ref35","doi-asserted-by":"crossref","DOI":"10.52202\/068431-2011","volume-title":"Training language models to follow instructions with human feedback","author":"Ouyang","year":"2022"}],"event":{"name":"2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)","location":"Limassol, Cyprus","start":{"date-parts":[[2026,3,17]]},"end":{"date-parts":[[2026,3,20]]}},"container-title":["2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11576582\/11576527\/11576710.pdf?arnumber=11576710","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T05:23:40Z","timestamp":1783056220000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11576710\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3,17]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/saner67736.2026.00099","relation":{},"subject":[],"published":{"date-parts":[[2026,3,17]]}}}