{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T16:13:02Z","timestamp":1783699982180,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,4,12]],"date-time":"2026-04-12T00:00:00Z","timestamp":1775952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,4,12]]},"DOI":"10.1145\/3793656.3793685","type":"proceedings-article","created":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T15:00:53Z","timestamp":1783695653000},"page":"121-125","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["VeriROS: Verifiable ROS2 Navigation Execution Framework"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0007-6098-4020","authenticated-orcid":false,"given":"Huan","family":"Zhang","sequence":"first","affiliation":[{"name":"Department of Computer Science, Maynooth University, Maynooth, kildare, Ireland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5010-4746","authenticated-orcid":false,"given":"Hao","family":"Wu","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Maynooth Univeristy, Maynooth, Kildare, Ireland"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,10]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1990.128746"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_19"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2018.00028"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2009.41"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12002-2_3"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"crossref","unstructured":"Chung\u00a0Laung Liu and James\u00a0W Layland. 1973. Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM (JACM) 20 1 (1973) 46\u201361.","DOI":"10.1145\/321738.321743"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75454-1_22"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"crossref","unstructured":"Gethin Norman David Parker and Jeremy Sproston. 2013. Model checking for probabilistic timed automata. Formal methods in system design 43 2 (2013) 164\u2013190.","DOI":"10.1007\/s10703-012-0177-x"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-60698-4_20"},{"key":"e_1_3_3_1_15_2","unstructured":"Shimin Wang Xiaojuan Liao Min Wang Luyue Chang Huan Yang and Tao Wang. 2020. An Improved SMT-Based Scheduling for Overloaded Real-Time Systems. Engineering Letters 28 1 (2020)."},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"crossref","unstructured":"Edwin\u00a0Bidwell Wilson. 1927. Probable Inference the Law of Succession and Statistical Inference. J. Amer. Statist. Assoc. 22 158 (1927) 209\u2013212.","DOI":"10.1080\/01621459.1927.10502953"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2009.20"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"crossref","unstructured":"Tong Zhao Ekim Yurtsever Joel\u00a0A Paulson and Giorgio Rizzoni. 2022. Formal certification methods for automated vehicle safety assessment. IEEE Transactions on Intelligent Vehicles 8 1 (2022) 232\u2013249.","DOI":"10.1109\/TIV.2022.3170517"}],"event":{"name":"FormaliSE '26: IEEE\/ACM 14th International Conference on Formal Methods in Software Engineering","location":"Rio de Janeiro Brazil","acronym":"FormaliSE '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the IEEE\/ACM 14th International Conference on Formal Methods in Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3793656.3793685","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T15:21:36Z","timestamp":1783696896000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3793656.3793685"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,12]]},"references-count":17,"alternative-id":["10.1145\/3793656.3793685","10.1145\/3793656"],"URL":"https:\/\/doi.org\/10.1145\/3793656.3793685","relation":{},"subject":[],"published":{"date-parts":[[2026,4,12]]},"assertion":[{"value":"2026-07-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}