{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T21:44:37Z","timestamp":1770846277083,"version":"3.50.1"},"reference-count":21,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T00:00:00Z","timestamp":1759622400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T00:00:00Z","timestamp":1759622400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,10,5]]},"DOI":"10.1109\/smc58881.2025.11343677","type":"proceedings-article","created":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T20:54:44Z","timestamp":1769633684000},"page":"5125-5130","source":"Crossref","is-referenced-by-count":0,"title":["Formal Modeling and Quantitative Evaluation for Online Monitoring Systems in Nuclear Facilities"],"prefix":"10.1109","author":[{"given":"Letian","family":"Fang","sequence":"first","affiliation":[{"name":"East China Normal University,Shanghai Key Laboratory of Trustworthy Computing,Shanghai,China"}]},{"given":"Wenbing","family":"Tang","sequence":"additional","affiliation":[{"name":"Nanyang Technological University,College of Computing and Data Science,Singapore"}]},{"given":"Xin","family":"Wang","sequence":"additional","affiliation":[{"name":"East China Normal University,Shanghai Key Laboratory of Trustworthy Computing,Shanghai,China"}]},{"given":"Jing","family":"Liu","sequence":"additional","affiliation":[{"name":"East China Normal University,Shanghai Key Laboratory of Trustworthy Computing,Shanghai,China"}]},{"given":"Shengyuan","family":"Wang","sequence":"additional","affiliation":[{"name":"Tsinghua University,Department of Computer Science and Technology,China"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/tr.2024.3392931"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MPE.2023.3247053"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3104903"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3342355"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/NCETACS.2012.6203309"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2012.2235073"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2017.2681076"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3477041"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2023.3326544"},{"issue":"2","key":"ref10","first-page":"305","article-title":"Statistical model checking for rare-event in safety-critical system","volume":"26","author":"Du","year":"2015","journal-title":"Journal of Software"},{"key":"ref11","first-page":"125","article-title":"Uppaal 4.0","volume":"6","author":"Behrmann","year":"2006","journal-title":"QEST"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3544973"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3365438.3410936"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3286976"},{"issue":"2","key":"ref15","first-page":"332","article-title":"Trustworthy translation for eliminating high-order operation of a synchronous dataflow language","volume":"26","author":"Liu","year":"2015","journal-title":"Journal of Software"},{"key":"ref16","article-title":"Modeling and verification of human-machine-object fusion systems in uncertain environments","volume-title":"Ph.D. dissertation","author":"Dongdong","year":"2020"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1155\/2022\/9896689"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2050199"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s11227-023-05669-3"},{"issue":"6","key":"ref20","first-page":"1779","article-title":"Hybrid aadl modeling and model conversion for cps time and space properties verification","volume":"32","author":"Chen","year":"2021","journal-title":"Journal of Software"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICICSE52190.2021.9404135"}],"event":{"name":"2025 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","location":"Vienna, Austria","start":{"date-parts":[[2025,10,5]]},"end":{"date-parts":[[2025,10,8]]}},"container-title":["2025 IEEE International Conference on Systems, Man, and Cybernetics (SMC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11342430\/11342431\/11343677.pdf?arnumber=11343677","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T20:53:03Z","timestamp":1770843183000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11343677\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,5]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/smc58881.2025.11343677","relation":{},"subject":[],"published":{"date-parts":[[2025,10,5]]}}}