{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:10:18Z","timestamp":1750219818186,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":2,"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:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,5,9]]},"DOI":"10.1145\/3575870.3589550","type":"proceedings-article","created":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T22:42:27Z","timestamp":1683585747000},"page":"1-2","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5029-5607","authenticated-orcid":false,"given":"Tanmay","family":"Khandait","sequence":"first","affiliation":[{"name":"School of Computing and Augmented Intelligence, Arizona State University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2914-9207","authenticated-orcid":false,"given":"Aniruddh","family":"Chandratre","sequence":"additional","affiliation":[{"name":"School of Computing and Augmented Intelligence, Arizona State University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-0737-2853","authenticated-orcid":false,"given":"Walstan","family":"Baptista","sequence":"additional","affiliation":[{"name":"School of Computing and Augmented Intelligence, Arizona State University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6726-9790","authenticated-orcid":false,"given":"Giulia","family":"Pedrielli","sequence":"additional","affiliation":[{"name":"School of Computing and Augmented Intelligence, Arizona State University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0456-2129","authenticated-orcid":false,"given":"Georgios","family":"Fainekos","sequence":"additional","affiliation":[{"name":"Toyota NA R&D, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,5,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3575870.3587122"},{"volume-title":"Formal Methods for Industrial Critical Systems, Alberto Lluch\u00a0Lafuente and Anastasia Mavridou (Eds.)","author":"Thibeault Quinn","key":"e_1_3_2_1_2_1","unstructured":"Quinn Thibeault, Jacob Anderson, Aniruddh Chandratre, Giulia Pedrielli, and Georgios Fainekos. 2021. PSY-TaLiRo: A Python Toolbox for\u00a0Search-Based Test Generation for\u00a0Cyber-Physical Systems. In Formal Methods for Industrial Critical Systems, Alberto Lluch\u00a0Lafuente and Anastasia Mavridou (Eds.). Springer International Publishing, Cham, 223\u2013231."}],"event":{"name":"HSCC '23: 26th ACM International Conference on Hybrid Systems: Computation and Control","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"San Antonio TX USA","acronym":"HSCC '23"},"container-title":["Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3575870.3589550","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3575870.3589550","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:46:12Z","timestamp":1750178772000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3575870.3589550"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,9]]},"references-count":2,"alternative-id":["10.1145\/3575870.3589550","10.1145\/3575870"],"URL":"https:\/\/doi.org\/10.1145\/3575870.3589550","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"}}]}}