{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:11:02Z","timestamp":1750219862091,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":6,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,5,9]],"date-time":"2023-05-09T00:00:00Z","timestamp":1683590400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,5,9]]},"DOI":"10.1145\/3576841.3589611","type":"proceedings-article","created":{"date-parts":[[2023,5,4]],"date-time":"2023-05-04T16:18:19Z","timestamp":1683217099000},"page":"231-232","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["pyUPPAAL: A Python Package for Risk Analysis of CPS"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1367-8331","authenticated-orcid":false,"given":"Guangyao","family":"Chen","sequence":"first","affiliation":[{"name":"ShanghaiTech University, China, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5469-5168","authenticated-orcid":false,"given":"Linshu","family":"Yang","sequence":"additional","affiliation":[{"name":"ShanghaiTech University, China, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9145-8575","authenticated-orcid":false,"given":"Haochen","family":"Yang","sequence":"additional","affiliation":[{"name":"ShanghaiTech University, China, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3951-6699","authenticated-orcid":false,"given":"Peilin","family":"He","sequence":"additional","affiliation":[{"name":"ShanghaiTech University, China, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6730-6915","authenticated-orcid":false,"given":"Zhihao","family":"Jiang","sequence":"additional","affiliation":[{"name":"ShanghaiTech University, China, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,5,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Fifth Annual IEEE Symposium on Logic in Computer Science. IEEE, 414--425","author":"Alur Rajeev","year":"1990","unstructured":"Rajeev Alur , Costas Courcoubetis , and David Dill . 1990 . Model-checking for real-time systems. In [1990] Proceedings . Fifth Annual IEEE Symposium on Logic in Computer Science. IEEE, 414--425 . Rajeev Alur, Costas Courcoubetis, and David Dill. 1990. Model-checking for real-time systems. In [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science. IEEE, 414--425."},{"key":"e_1_3_2_1_2_1","volume-title":"Aalborg university","author":"Behrmann Gerd","year":"2006","unstructured":"Gerd Behrmann , Alexandre David , and Kim G Larsen . 2006. A tutorial on Uppaal 4.0. Department of computer science , Aalborg university ( 2006 ). Gerd Behrmann, Alexandre David, and Kim G Larsen. 2006. A tutorial on Uppaal 4.0. Department of computer science, Aalborg university (2006)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2021.3087631"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28756-5_14"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1080\/03081060500120282"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3450267.3450539"}],"event":{"name":"ICCPS '23: ACM\/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023)","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","IEEE TCRTS"],"location":"San Antonio TX USA","acronym":"ICCPS '23"},"container-title":["Proceedings of the ACM\/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3576841.3589611","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:47:27Z","timestamp":1750178847000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3576841.3589611"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,9]]},"references-count":6,"alternative-id":["10.1145\/3576841.3589611","10.1145\/3576841"],"URL":"https:\/\/doi.org\/10.1145\/3576841.3589611","relation":{},"subject":[],"published":{"date-parts":[[2023,5,9]]},"assertion":[{"value":"2023-05-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}