{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T19:10:03Z","timestamp":1755976203027,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T00:00:00Z","timestamp":1719792000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,2]]},"DOI":"10.1145\/3626205.3659149","type":"proceedings-article","created":{"date-parts":[[2024,5,20]],"date-time":"2024-05-20T06:04:25Z","timestamp":1716185065000},"page":"64-76","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["K-RAPID: A Formal Executable Semantics of the RAPID Robot Programming Language"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8999-6358","authenticated-orcid":false,"given":"Zichen","family":"Wang","sequence":"first","affiliation":[{"name":"College of Control Science and Engineering, Zhejiang University, Hangzhou, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7113-7635","authenticated-orcid":false,"given":"Jingyi","family":"Wang","sequence":"additional","affiliation":[{"name":"College of Control Science and Engineering, Zhejiang University, Hangzhou, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0581-2679","authenticated-orcid":false,"given":"Fu","family":"Song","sequence":"additional","affiliation":[{"name":"Key Laboratory of System Software, (Chinese Academy of Sciences) and State Key Laboratory of Computer, Science, Institute of Software, Chinese Academy of Sciences, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5523-1330","authenticated-orcid":false,"given":"Kun","family":"Wang","sequence":"additional","affiliation":[{"name":"College of Control Science and Engineering, Zhejiang University, Hangzhou, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0759-5815","authenticated-orcid":false,"given":"Hongyi","family":"Pu","sequence":"additional","affiliation":[{"name":"College of Control Science and Engineering, Zhejiang University, Hangzhou, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4221-2162","authenticated-orcid":false,"given":"Peng","family":"Cheng","sequence":"additional","affiliation":[{"name":"College of Control Science and Engineering, Zhejiang University, Hangzhou, China"}]}],"member":"320","published-online":{"date-parts":[[2024,7]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"ABB. 2008. Technical reference manual - RAPID kernel."},{"key":"e_1_3_2_1_2_1","unstructured":"ABB. 2022. RobotStudio Suite. https:\/\/new.abb.com\/products\/robotics\/robotstudio."},{"key":"e_1_3_2_1_3_1","volume-title":"Conference Record of the Annual ACM Symposium on Principles of Programming Languages 2015","author":"Bogdna\u015f D.","year":"2015","unstructured":"D. Bogdna\u015f and G. Ro\u015fu. 2015. K-Java: A complete semantics of Java. Conference Record of the Annual ACM Symposium on Principles of Programming Languages 2015 (2015), 445--456."},{"key":"e_1_3_2_1_4_1","unstructured":"Sudeep Chakravarty. 2019. World's Top 10 Industrial Robot Manufacturers. https:\/\/www.marketresearchreports.com\/blog\/2019\/05\/08\/world%E2%80%99s-top-10-industrial-robot-manufacturers."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103719"},{"key":"e_1_3_2_1_6_1","volume-title":"An Executable Formal Semantics of PHP. In ECOOP 2014 - Object-Oriented Programming. 567--592","author":"Filaretti Daniele","year":"2014","unstructured":"Daniele Filaretti and Sergio Maffeis. 2014. An Executable Formal Semantics of PHP. In ECOOP 2014 - Object-Oriented Programming. 567--592."},{"key":"e_1_3_2_1_7_1","unstructured":"Dwight Guth. 2013. A formal semantics of Python 3.3. http:\/\/hdl.handle.net\/2142\/45275."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737979"},{"volume-title":"International Organization for Standardization, Robots and robotic devices - Vocabulary, ser. International standard","author":"International Organization for Standardization. 2012.","key":"e_1_3_2_1_9_1","unstructured":"International Organization for Standardization. 2012. International Organization for Standardization, Robots and robotic devices - Vocabulary, ser. International standard; ISO 8373."},{"key":"e_1_3_2_1_10_1","volume-title":"Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity. In 2020 IEEE Symposium on Security and Privacy, SP 2020","author":"Jiao Jiao","year":"2020","unstructured":"Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David San\u00e1n, Yang Liu, and Jun Sun. 2020. Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity. In 2020 IEEE Symposium on Security and Privacy, SP 2020, San Francisco, CA, USA, May 18-21, 2020. 1695--1712."},{"key":"e_1_3_2_1_11_1","unstructured":"Federico Maggi and Marcello Pogliani. 2020. Rogue Automation - Vulnerable and Malicious Code in Industrial Programming. https:\/\/documents.trendmicro.com\/assets\/white_papers\/wp-rogue-automation-vulnerable-and-malicious-code-in-industrial-programming.pdf."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2017.13"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2018.8502576"},{"key":"e_1_3_2_1_14_1","unstructured":"Jeff Martin. 2016. Robotic machine kills woman at auto parts plant two weeks before wedding. https:\/\/www.ctvnews.ca\/world\/robotic-machine-kills-woman-at-auto-parts-plant-two-weeks-before-wedding-1.3204248."},{"key":"e_1_3_2_1_15_1","unstructured":"Michal. 2019. What programming language is used for robotics? https:\/\/roboticsbook.com\/what-programming-language-is-used-for- robotics\/."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3320269.3384735"},{"key":"e_1_3_2_1_17_1","unstructured":"Runtime Verification Inc. 2022. K Semantic Framework. https:\/\/kframework.org\/."},{"key":"e_1_3_2_1_18_1","unstructured":"Staff RT. 2015. Factory Robot Kills Worker in India. https:\/\/www.roboticsbusiness-review.com\/rbr\/factory_robot_kills_worker_in_india\/."},{"key":"e_1_3_2_1_19_1","unstructured":"Staff RT. 2015. Robot Kills Worker in Volkswagen Factory Accident. https:\/\/www.roboticsbusinessreview.com\/rbr\/robot_kills_worker_in_volkswagen_factory_accident\/#:~:text=Robot%20Kills%20Worker%20in%20Volkswagen%20Factory%20Accident%20A injuries.%20By%20RT%20Staff%20%7C%20July%201%2C%202015."},{"key":"e_1_3_2_1_20_1","volume-title":"KRust: A Formal Executable Semantics of Rust. In 2018 International Symposium on Theoretical Aspects of Software Engineering, TASE 2018","author":"Wang Feng","year":"2018","unstructured":"Feng Wang, Fu Song, Min Zhang, Xiaoran Zhu, and Jun Zhang. 2018. KRust: A Formal Executable Semantics of Rust. In 2018 International Symposium on Theoretical Aspects of Software Engineering, TASE 2018, Guangzhou, China, August 29-31, 2018. 44--51."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2023.3315292"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2018.2867285"}],"event":{"name":"ASIA CCS '24: ACM Asia Conference on Computer and Communications Security","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Singapore Singapore","acronym":"ASIA CCS '24"},"container-title":["Proceedings of the 10th ACM Cyber-Physical System Security Workshop"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3626205.3659149","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3626205.3659149","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T18:34:56Z","timestamp":1755974096000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3626205.3659149"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7]]},"references-count":22,"alternative-id":["10.1145\/3626205.3659149","10.1145\/3626205"],"URL":"https:\/\/doi.org\/10.1145\/3626205.3659149","relation":{},"subject":[],"published":{"date-parts":[[2024,7]]},"assertion":[{"value":"2024-07-01","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}