{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T20:07:41Z","timestamp":1783714061179,"version":"3.55.0"},"reference-count":24,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,9,8]],"date-time":"2021-09-08T00:00:00Z","timestamp":1631059200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,9,8]],"date-time":"2021-09-08T00:00:00Z","timestamp":1631059200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,9,8]],"date-time":"2021-09-08T00:00:00Z","timestamp":1631059200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100002347","name":"German Federal Ministry of Education and Research (BMBF)","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002347","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,9,8]]},"DOI":"10.1109\/fdl53530.2021.9568384","type":"proceedings-article","created":{"date-parts":[[2021,10,26]],"date-time":"2021-10-26T21:10:42Z","timestamp":1635282642000},"page":"01-07","source":"Crossref","is-referenced-by-count":2,"title":["In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes"],"prefix":"10.1109","author":[{"given":"Soren","family":"Tempel","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vladimir","family":"Herdt","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10506-2_14"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2001.919080"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-19153-5_29"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086282"},{"key":"ref14","article-title":"International Organization for Standardization, “Programming languages - C","year":"1999","journal-title":"International Organization for Standardization Geneva CH Standard"},{"key":"ref15","year":"2010","journal-title":"DWARF Debugging Information Format Version 4"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/j.sysarc.2020.101756","article-title":"RISC-V based virtual prototype: An extensible and configurable platform for the system-level","volume":"109","author":"herdt","year":"2020","journal-title":"Journal of Systems Architecture"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2018.2815038"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2015.2505901"},{"key":"ref19","article-title":"Connecting the World of Embedded Mobiles: The RIOT Approach to Ubiquitous Networking for the Internet of Things","volume":"abs 1801 2833","author":"lenders","year":"2018","journal-title":"Computing Research Repository"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IEEESTD.2012.6134619"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23166"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1196636.1196637"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21375-5_10"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945471"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ISCE.2007.4382142"},{"key":"ref2","first-page":"73","article-title":"Internet of Pwnable Things: Challenges in Embedded Binary Security","volume":"42","author":"wetzels","year":"2017","journal-title":"USENIX login"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.17487\/rfc7228"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1113830.1113833"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.5091709"},{"key":"ref22","first-page":"463","article-title":"FIE on Firmware: Finding Vulnerabilities in Embedded Systems Using Symbolic Execution","author":"davidson","year":"2013","journal-title":"22nd USENIX Security Symposium (USENIX Security'13) USENIX"},{"key":"ref21","first-page":"209","article-title":"KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs","author":"cadar","year":"2008","journal-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation Ser OSDI'08"},{"key":"ref24","doi-asserted-by":"crossref","DOI":"10.23919\/DATE51398.2021.9474149","article-title":"An Effective Methodology for Integrating Concolic Testing with SystemC-based Virtual Prototypes","author":"tempel","year":"2021","journal-title":"Design Automation and Test in Europe Conference (DATE) Design Automation & Test in Europe (DATE-2021)"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950396"}],"event":{"name":"2021 Forum on specification & Design Languages (FDL)","location":"Antibes, France","start":{"date-parts":[[2021,9,8]]},"end":{"date-parts":[[2021,9,10]]}},"container-title":["2021 Forum on specification & Design Languages (FDL)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9568274\/9568370\/09568384.pdf?arnumber=9568384","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T15:47:22Z","timestamp":1652197642000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9568384\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,8]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/fdl53530.2021.9568384","relation":{},"subject":[],"published":{"date-parts":[[2021,9,8]]}}}