{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T00:13:40Z","timestamp":1725754420223},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/scam.2015.7335424","type":"proceedings-article","created":{"date-parts":[[2015,11,23]],"date-time":"2015-11-23T22:49:26Z","timestamp":1448318966000},"page":"265-270","source":"Crossref","is-referenced-by-count":2,"title":["A static microcode analysis tool for programmable load drivers"],"prefix":"10.1109","author":[{"given":"Luca","family":"Dariz","sequence":"first","affiliation":[]},{"given":"Massimiliano","family":"Ruggeri","sequence":"additional","affiliation":[]},{"given":"Michele","family":"Selvatici","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/236114.236115"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349330"},{"journal-title":"MC33816 Simulator Project example AN4954","year":"0","key":"ref12"},{"journal-title":"MC33816-analyzer","year":"0","key":"ref13"},{"journal-title":"MC33816 Analyzer Demo","year":"0","key":"ref14"},{"journal-title":"Freescale MC33816 SD6 Programmable Gate Driver for Solenoid Control","year":"0","key":"ref4"},{"journal-title":"ISO 13849-1 Safety of Machinery-safety-related Parts of Control Systems","year":"2006","key":"ref3"},{"key":"ref6","article-title":"Native x86 Decompilation using Semantics-Preserving Structural Analysis and Iterative Control-Flow Structuring","author":"schwartz","year":"2013","journal-title":"Proc 22nd USENIX Security Symp"},{"article-title":"Static Analysis of x86 Executables","year":"2010","author":"kinder","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1137\/0204007"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18275-4_6"},{"journal-title":"Road Vehicles - Functional Safety - Part 6 Product Development at the Software Level on ISO 26262","year":"2011","key":"ref2"},{"journal-title":"ISO 25119–3 - Tractors and machinery for agriculture and forestry - Safety-related parts of control systems - Part 3 Series development hardware and software","year":"2010","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(74)80049-8"}],"event":{"name":"2015 IEEE 15th International Working Conference on Source Code Analysis and Manipulation (SCAM)","start":{"date-parts":[[2015,9,27]]},"location":"Bremen","end":{"date-parts":[[2015,9,28]]}},"container-title":["2015 IEEE 15th International Working Conference on Source Code Analysis and Manipulation (SCAM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7321933\/7335391\/07335424.pdf?arnumber=7335424","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,5]],"date-time":"2020-02-05T23:01:48Z","timestamp":1580943708000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7335424\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/scam.2015.7335424","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}