{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,4]],"date-time":"2026-02-04T15:59:57Z","timestamp":1770220797316,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,9,3]],"date-time":"2012-09-03T00:00:00Z","timestamp":1346630400000},"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":[[2012,9,3]]},"DOI":"10.1145\/2351676.2351741","type":"proceedings-article","created":{"date-parts":[[2012,9,4]],"date-time":"2012-09-04T12:51:11Z","timestamp":1346763071000},"page":"338-341","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":52,"title":["Arcade.PLC: a verification platform for programmable logic controllers"],"prefix":"10.1145","author":[{"given":"Sebastian","family":"Biallas","sequence":"first","affiliation":[{"name":"RWTH Aachen University, Germany"}]},{"given":"J\u00f6rg","family":"Brauer","sequence":"additional","affiliation":[{"name":"Verified Systems International, Germany"}]},{"given":"Stefan","family":"Kowalewski","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, Germany"}]}],"member":"320","published-online":{"date-parts":[[2012,9,3]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"170","volume-title":"CAV","author":"Bardin S.","year":"2011","unstructured":"S. Bardin , P. Herrmann , J. Leroux , O. Ly , R. Tabary , and A. Vincent . The BINCOA Framework for Binary Code Analysis . In CAV , pages 165\u2013 170 , 2011 . S. Bardin, P. Herrmann, J. Leroux, O. Ly, R. Tabary, and A. Vincent. The BINCOA Framework for Binary Code Analysis. In CAV, pages 165\u2013170, 2011."},{"key":"e_1_3_2_1_2_1","first-page":"9","volume-title":"SSV","author":"Biallas S.","unstructured":"S. Biallas , J. Brauer , and S. Kowalewski . Counterexample-Guided Abstraction Re\ufb01nement for PLCs . In SSV , pages 1\u2013 9 . USENIX, 2010. S. Biallas, J. Brauer, and S. Kowalewski. Counterexample-Guided Abstraction Re\ufb01nement for PLCs. In SSV, pages 1\u20139. USENIX, 2010."},{"key":"e_1_3_2_1_3_1","first-page":"463","volume":"6806","author":"Brumley D.","year":"2011","unstructured":"D. Brumley , I. Jager , T. Avgerinos , and E. J. Schwartz . BAP: A Binary Analysis Platform. In CAV , volume 6806 of LNCS, pages 463 \u2013 469 . Springer, 2011 . D. Brumley, I. Jager, T. Avgerinos, and E. J. Schwartz. BAP: A Binary Analysis Platform. In CAV, volume 6806 of LNCS, pages 463\u2013469. Springer, 2011.","journal-title":"BAP: A Binary Analysis Platform. In CAV"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2000.884359"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678428"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.3182\/20080706-5-KR-1001.00857"},{"key":"e_1_3_2_1_7_1","volume-title":"International Electrotechnical Commission","author":"International Electrotechnical Commission","year":"1993","unstructured":"International Electrotechnical Commission . IEC 61131-3 : Programmable Controllers \u2014 Part 3 Programming languages . International Electrotechnical Commission , Geneva, Switzerland , 1993 . International Electrotechnical Commission. IEC 61131-3: Programmable Controllers \u2014 Part 3 Programming languages. International Electrotechnical Commission, Geneva, Switzerland, 1993."},{"key":"e_1_3_2_1_8_1","volume-title":"Electronic and Programmable Electronic Safety-Related Systems. International Electrotechnical Commission","author":"International Electrotechnical Commission","year":"1998","unstructured":"International Electrotechnical Commission . IEC 61508 : Functional Safety of Electrical , Electronic and Programmable Electronic Safety-Related Systems. International Electrotechnical Commission , Geneva, Switzerland , 1998 . International Electrotechnical Commission. IEC 61508: Functional Safety of Electrical, Electronic and Programmable Electronic Safety-Related Systems. International Electrotechnical Commission, Geneva, Switzerland, 1998."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/37.272781"},{"key":"e_1_3_2_1_10_1","unstructured":"O. Pavlovic R. Pinger and M. Kollmann. Automated formal veri\ufb01cation of PLC programms written in IL. In VERIFY number 259 in Workshop Proce. pages 152\u2013163. CEUR-WS.org 2007.  O. Pavlovic R. Pinger and M. Kollmann. Automated formal veri\ufb01cation of PLC programms written in IL. In VERIFY number 259 in Workshop Proce. pages 152\u2013163. CEUR-WS.org 2007."},{"key":"e_1_3_2_1_11_1","volume-title":"PLCopen","author":"Copen","year":"2006","unstructured":"PL Copen TC5. Safety Software Technical Speci\ufb01cation, Version 1.0, Part 1: Concepts and Function Blocks . PLCopen , Germany , 2006 . PLCopen TC5. Safety Software Technical Speci\ufb01cation, Version 1.0, Part 1: Concepts and Function Blocks. PLCopen, Germany, 2006."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.1998.694666"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/3220918.3221222"}],"event":{"name":"ASE'12: IEEE\/ACM International Conference on Automated Software Engineering","location":"Essen Germany","acronym":"ASE'12","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGAI ACM Special Interest Group on Artificial Intelligence","Universit\u00e4t Duisburg Essen Universit\u00e4t Duisburg Essen","TCSE IEEE Computer Society's Tech. Council on Software Engin."]},"container-title":["Proceedings of the 27th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2351676.2351741","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2351676.2351741","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:34:24Z","timestamp":1750239264000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2351676.2351741"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,3]]},"references-count":13,"alternative-id":["10.1145\/2351676.2351741","10.1145\/2351676"],"URL":"https:\/\/doi.org\/10.1145\/2351676.2351741","relation":{},"subject":[],"published":{"date-parts":[[2012,9,3]]},"assertion":[{"value":"2012-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}