{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:29:09Z","timestamp":1750220949760,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T00:00:00Z","timestamp":1555372800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["FA8750-18-C-0092"],"award-info":[{"award-number":["FA8750-18-C-0092"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100011030","name":"U.S. Department of Energy","doi-asserted-by":"publisher","award":["DE-OE0000780"],"award-info":[{"award-number":["DE-OE0000780"]}],"id":[{"id":"10.13039\/100011030","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006642","name":"U.S. Department of Education","doi-asserted-by":"publisher","award":["GAANN Fellowship"],"award-info":[{"award-number":["GAANN Fellowship"]}],"id":[{"id":"10.13039\/100006642","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA9550-16-1-0288"],"award-info":[{"award-number":["FA9550-16-1-0288"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,4,16]]},"DOI":"10.1145\/3302509.3313335","type":"proceedings-article","created":{"date-parts":[[2019,4,4]],"date-time":"2019-04-04T18:38:43Z","timestamp":1554403123000},"page":"348-349","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Toward multi-task support and security analyses in PLC program translation for verification"],"prefix":"10.1145","author":[{"given":"Luis","family":"Garcia","sequence":"first","affiliation":[{"name":"University of California"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Mitsch","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e9","family":"Platzer","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,4,16]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1145\/3302509.3311036"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1109\/28.216550"},{"unstructured":"\"ABB launches new Pluto programmable logic controller for rail safety applications.\" {Online}. Available: http:\/\/www.abb.com\/cawp\/seitp202\/fa405fb9803dd9eac1258035002f53c0.aspx  \"ABB launches new Pluto programmable logic controller for rail safety applications.\" {Online}. Available: http:\/\/www.abb.com\/cawp\/seitp202\/fa405fb9803dd9eac1258035002f53c0.aspx","key":"e_1_3_2_1_3_1"},{"volume-title":"California. Naval Postgraduate School","year":"2011","author":"Kesler B.","key":"e_1_3_2_1_4_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1016\/S0954-1810(97)10002-4"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1109\/37.272781"},{"unstructured":"D. Darvas E. Blanco Vinuela and I. Majzik \"A formal specification method for PLC-based applications \" in 15th International Conference on Accelerator and Large Experimental Physics Control Systems. JAC<scp>o<\/scp>W 2015 pp. 907--910.  D. Darvas E. Blanco Vinuela and I. Majzik \"A formal specification method for PLC-based applications \" in 15th International Conference on Accelerator and Large Experimental Physics Control Systems. JAC<scp>o<\/scp>W 2015 pp. 907--910.","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","first-page":"106","volume-title":"Proceedings of the 11th Euromicro Conference on. IEEE","author":"Mader A.","year":"1999"},{"key":"e_1_3_2_1_9_1","first-page":"228","volume-title":"Control and Automation, 2005 and International Conference on Intelligent Agents, Web Technologies and Internet Commerce, International Conference on","volume":"2","author":"Thapa D.","year":"2005"},{"key":"e_1_3_2_1_10_1","first-page":"3","article-title":"Simple on-the-fly automatic verification of linear temporal logic,\" in Protocol Specification","author":"Gerth R.","year":"1995","journal-title":"Testing and Verification XV. Springer"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1145\/5397.5399"},{"key":"e_1_3_2_1_12_1","first-page":"527","volume-title":"Springer","author":"Fulton N.","year":"2015"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1007\/s10817-008-9103-8"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1007\/s10817-016-9385-1"},{"doi-asserted-by":"crossref","unstructured":"A. Platzer Logical Foundations of Cyber-Physical Systems. Switzerland: Springer 2018.   A. Platzer Logical Foundations of Cyber-Physical Systems. Switzerland: Springer 2018.","key":"e_1_3_2_1_15_1","DOI":"10.1007\/978-3-319-63588-0"},{"volume-title":"Springer Science & Business Media","year":"2010","author":"John K.-H.","key":"e_1_3_2_1_16_1"},{"unstructured":"\"Antlr.\" {Online}. Available: https:\/\/www.antlr.org\/  \"Antlr.\" {Online}. Available: https:\/\/www.antlr.org\/","key":"e_1_3_2_1_17_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1145\/3192366.3192406"},{"doi-asserted-by":"crossref","unstructured":"Y. Chen C. M. Poskitt and J. Sun \"Learning from mutants: Using code mutation to learn and monitor invariants of a cyber-physical system \" in 2018 IEEE Symposium on Security and Privacy (SP) vol. 00 2018 pp. 240--252. {Online}. Available:  Y. Chen C. M. Poskitt and J. Sun \"Learning from mutants: Using code mutation to learn and monitor invariants of a cyber-physical system \" in 2018 IEEE Symposium on Security and Privacy (SP) vol. 00 2018 pp. 240--252. {Online}. Available:","key":"e_1_3_2_1_19_1","DOI":"10.1109\/SP.2018.00016"},{"unstructured":"S. Adepu F. Brasser L. Garcia M. Rodler L. Davi A.-R. Sadeghi and S. Zonouz \"Control behavior integrity for distributed cyber-physical systems \" arXiv preprint arXiv:1812.08310 2018.  S. Adepu F. Brasser L. Garcia M. Rodler L. Davi A.-R. Sadeghi and S. Zonouz \"Control behavior integrity for distributed cyber-physical systems \" arXiv preprint arXiv:1812.08310 2018.","key":"e_1_3_2_1_20_1"}],"event":{"sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","IEEE-CS\\TCRT TC on Real-Time Systems"],"acronym":"ICCPS '19","name":"ICCPS '19: ACM\/IEEE 10th International Conference on Cyber-Physical Systems","location":"Montreal Quebec Canada"},"container-title":["Proceedings of the 10th ACM\/IEEE International Conference on Cyber-Physical Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302509.3313335","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3302509.3313335","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3302509.3313335","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:55Z","timestamp":1750204435000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302509.3313335"}},"subtitle":["poster abstract"],"short-title":[],"issued":{"date-parts":[[2019,4,16]]},"references-count":20,"alternative-id":["10.1145\/3302509.3313335","10.1145\/3302509"],"URL":"https:\/\/doi.org\/10.1145\/3302509.3313335","relation":{},"subject":[],"published":{"date-parts":[[2019,4,16]]},"assertion":[{"value":"2019-04-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}