{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T03:02:07Z","timestamp":1725764527284},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,7]]},"DOI":"10.1109\/indin.2018.8472013","type":"proceedings-article","created":{"date-parts":[[2018,10,9]],"date-time":"2018-10-09T02:00:15Z","timestamp":1539050415000},"page":"754-759","source":"Crossref","is-referenced-by-count":1,"title":["Deriving a State Model of a Control Program by Symbolic Execution"],"prefix":"10.1109","author":[{"given":"Herbert","family":"Prahofer","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Bohm","sequence":"additional","affiliation":[]},{"given":"Josef","family":"Pichler","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"137","author":"dernehl","year":"2016","journal-title":"Combining Abstract Interpretation with Symbolic Execution for a Static Value Range Analysis of Block Diagrams"},{"key":"ref11","first-page":"337","article-title":"Z3: An efficient smt solver","author":"de moura","year":"2008","journal-title":"Proceedings of the Theory and Practice of Software 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2015.7081857"},{"year":"2011","key":"ref14","article-title":"Architecture-driven modernization: abstract syntax tree metamodel (astm), version 1.0"},{"year":"2003","key":"ref15","article-title":"IEC 61331-3, programmable controllers - part 3: Programming languages"},{"key":"ref16","first-page":"578","article-title":"Verification of hierarchical IEC 61499 component systems with behavioral event contracts","author":"pr\u00e4hofer","year":"2013","journal-title":"Proceedings of the 11th IEEE Int Conf on Industrial Informatics (INDIN’13)"},{"key":"ref17","first-page":"109","article-title":"Interface automata","author":"de alfaro","year":"0","journal-title":"Proceedings of the 8th European software engineering conference (ESEC\/FSE-9)"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2012.09.015"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2012.6489536"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2013.6622946"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2011.2166768"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2014.7005259"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2013.37"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCA.2005.1528274"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2006.347292"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"}],"event":{"name":"2018 IEEE 16th International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2018,7,18]]},"location":"Porto","end":{"date-parts":[[2018,7,20]]}},"container-title":["2018 IEEE 16th International Conference on Industrial Informatics (INDIN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8453042\/8471919\/08472013.pdf?arnumber=8472013","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,23]],"date-time":"2020-08-23T22:11:00Z","timestamp":1598220660000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8472013\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/indin.2018.8472013","relation":{},"subject":[],"published":{"date-parts":[[2018,7]]}}}