{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:32:02Z","timestamp":1750307522331,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,10,15]],"date-time":"2009-10-15T00:00:00Z","timestamp":1255564800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004955","name":"\u00d6sterreichische Forschungsf\u00f6rderungsgesellschaft","doi-asserted-by":"publisher","award":["81141"],"award-info":[{"award-number":["81141"]}],"id":[{"id":"10.13039\/501100004955","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,10,15]]},"DOI":"10.1145\/1631716.1631721","type":"proceedings-article","created":{"date-parts":[[2009,10,20]],"date-time":"2009-10-20T12:43:40Z","timestamp":1256042620000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Stack bounds analysis for microcontroller assembly code"],"prefix":"10.1145","author":[{"given":"J\u00f6rg","family":"Brauer","sequence":"first","affiliation":[{"name":"RWTH Aachen University, Aachen, Germany"}]},{"given":"Bastian","family":"Schlich","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, Aachen, Germany"}]},{"given":"Thomas","family":"Reinbacher","sequence":"additional","affiliation":[{"name":"University of Applied Sciences Technikum Wien, Vienna"}]},{"given":"Stefan","family":"Kowalewski","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, Aachen, Germany"}]}],"member":"320","published-online":{"date-parts":[[2009,10,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_17"},{"key":"e_1_3_2_1_2_1","volume-title":"Experiments (VSTTE 2005","volume":"4171","author":"Balakrishnan G.","year":"2005","unstructured":"G. Balakrishnan , T. W. Reps , D. Melski , and T. Teitelbaum . WYSINWYX: What you see is not what you execute. In Verified Software: Theories, Tools , Experiments (VSTTE 2005 ), volume 4171 of Lecture Notes in Computer Science, pages 202--213. Springer , 2005 . G. Balakrishnan, T. W. Reps, D. Melski, and T. Teitelbaum. WYSINWYX: What you see is not what you execute. In Verified Software: Theories, Tools, Experiments (VSTTE 2005), volume 4171 of Lecture Notes in Computer Science, pages 202--213. Springer, 2005."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87603-8_10"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/647067.757010"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/381473.381478"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/645545.656038"},{"key":"e_1_3_2_1_7_1","volume-title":"Model Checking","author":"Clarke E. M.","year":"1999","unstructured":"E. M. Clarke , O. Grumberg , and D. A. Peled . Model Checking . The MIT Press , 1999 . E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, 1999."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_32"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134029"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/520050.828438"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008189014032"},{"key":"e_1_3_2_1_12_1","unstructured":"C. Linn S. Debray G. Andrews and B. Schwarz. Stack analysis of x86 executables. http:\/\/www.cs.arizona.edu\/~debray\/Publications\/stack-analysis.pdf 2004.  C. Linn S. Debray G. Andrews and B. Schwarz. Stack analysis of x86 executables. http:\/\/www.cs.arizona.edu\/~debray\/Publications\/stack-analysis.pdf 2004."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/555142"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1787497.1787520"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45212-6_20"},{"key":"e_1_3_2_1_16_1","volume-title":"Industrial Embedded Systems (SIES","author":"Reinbacher T.","year":"2009","unstructured":"T. Reinbacher , J. Brauer , M. Horauer , and B. Schlich . Refining assembly code static analysis for the Intel MCS-51 microcontroller . In Industrial Embedded Systems (SIES 2009 ). IEEE Computer Society Press , 2009. To appear. T. Reinbacher, J. Brauer, M. Horauer, and B. Schlich. Refining assembly code static analysis for the Intel MCS-51 microcontroller. In Industrial Embedded Systems (SIES 2009). IEEE Computer Society Press, 2009. To appear."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2008.4577709"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1788374.1788377"},{"key":"e_1_3_2_1_19_1","volume-title":"Model Checking of Software for Microcontrollers. Dissertation","author":"Schlich B.","year":"2008","unstructured":"B. Schlich . Model Checking of Software for Microcontrollers. Dissertation , RWTH Aachen University , Aachen, Germany , June 2008 . B. Schlich. Model Checking of Software for Microcontrollers. Dissertation, RWTH Aachen University, Aachen, Germany, June 2008."},{"key":"e_1_3_2_1_20_1","volume-title":"Dependable Control of Discrete Systems (DCDS'09)","author":"Schlich B.","year":"2009","unstructured":"B. Schlich , J. Brauer , J. Wernerus , and S. Kowalewski . Direct model checking of PLC programs in IL . In Dependable Control of Discrete Systems (DCDS'09) , 2009 . To appear. B. Schlich, J. Brauer, J. Wernerus, and S. Kowalewski. Direct model checking of PLC programs in IL. In Dependable Control of Discrete Systems (DCDS'09), 2009. To appear."},{"key":"e_1_3_2_1_21_1","first-page":"27","volume-title":"Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS\/FORMAT 2008","author":"Schlich B.","year":"2008","unstructured":"B. Schlich , D. G\u00fcckel , and S. Kowalewski . Modeling the environment of microcontrollers to tackle the state-explosion problem in model checking. In G. Tarnai and E. Schnieder, editors , Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS\/FORMAT 2008 ), pages 27 -- 34 . L'Harmattan, 2008 . B. Schlich, D. G\u00fcckel, and S. Kowalewski. Modeling the environment of microcontrollers to tackle the state-explosion problem in model checking. In G. Tarnai and E. Schnieder, editors, Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS\/FORMAT 2008), pages 27--34. L'Harmattan, 2008."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/1793603.1793609"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:FORM.0000033963.55470.9e"}],"event":{"name":"ESWeek '09: Fifth Embedded Systems Week","sponsor":["CEDA Council on Electronic Design Automation","SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing","IEEE CS"],"location":"Grenoble France","acronym":"ESWeek '09"},"container-title":["Proceedings of the 4th Workshop on Embedded Systems Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1631716.1631721","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1631716.1631721","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:18:18Z","timestamp":1750249098000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1631716.1631721"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10,15]]},"references-count":23,"alternative-id":["10.1145\/1631716.1631721","10.1145\/1631716"],"URL":"https:\/\/doi.org\/10.1145\/1631716.1631721","relation":{},"subject":[],"published":{"date-parts":[[2009,10,15]]},"assertion":[{"value":"2009-10-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}