{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T04:28:11Z","timestamp":1743049691726,"version":"3.40.3"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319162133"},{"type":"electronic","value":"9783319162140"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-16214-0_32","type":"book-chapter","created":{"date-parts":[[2015,3,30]],"date-time":"2015-03-30T22:56:39Z","timestamp":1427756199000},"page":"365-372","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["On-The-Fly Verification of Reconfigurable Image Processing Modules Based on a Proof-Carrying Hardware Approach"],"prefix":"10.1007","author":[{"given":"Tobias","family":"Wiersema","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sen","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Platzner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,3,31]]},"reference":[{"unstructured":"ReconOS - operating system for reconfigurable computing (2014). http:\/\/www.reconos.de\/","key":"32_CR1"},{"issue":"1","key":"32_CR2","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1109\/MM.2013.110","volume":"34","author":"A Agne","year":"2013","unstructured":"Agne, A., Happe, M., Keller, A., L\u00fcbbers, E., Plattner, B., Platzner, M., Plessl, C.: ReconOS: An operating system approach for reconfigurable computing. IEEE Micro 34(1), 60\u201371 (2013)","journal-title":"IEEE Micro"},{"doi-asserted-by":"crossref","unstructured":"Brant, A., Lemieux, G.G.: ZUMA: An open FPGA overlay architecture. In: International Symposium on Field-Programmable Custom Computing Machines (FCCM), pp. 93\u201396. IEEE Computer Society (2012)","key":"32_CR3","DOI":"10.1109\/FCCM.2012.25"},{"doi-asserted-by":"crossref","unstructured":"Drzevitzky, S., Kastens, U., Platzner, M.: Proof-carrying hardware: Concept and prototype tool flow for online verification. International Journal of Reconfigurable Computing 2010, 11 (2010)","key":"32_CR4","DOI":"10.1155\/2010\/180242"},{"issue":"1","key":"32_CR5","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/TIFS.2011.2160627","volume":"7","author":"E Love","year":"2012","unstructured":"Love, E., Jin, Y., Makris, Y.: Proof-carrying hardware intellectual property: A pathway to trusted module acquisition. IEEE Transactions on Information Forensics and Security 7(1), 25\u201340 (2012)","journal-title":"IEEE Transactions on Information Forensics and Security"},{"key":"32_CR6","doi-asserted-by":"publisher","first-page":"8:1","DOI":"10.1145\/1596532.1596540","volume":"9","author":"E L\u00fcbbers","year":"2009","unstructured":"L\u00fcbbers, E., Platzner, M.: ReconOS: Multithreaded programming for reconfigurable computers. ACM Transactions on Embedded Computing Systems (TECS) 9, 8:1\u20138:33 (2009)","journal-title":"ACM Transactions on Embedded Computing Systems (TECS)"},{"issue":"2","key":"32_CR7","first-page":"6:1","volume":"7","author":"J Luu","year":"2014","unstructured":"Luu, J., Goeders, J., Wainberg, M., Somerville, A., Yu, T., Nasartschuk, M.N., Wang, S., Liu, T., Ahmed, N., Kent, K.B., Anderson, J., Rose, J., Betz, V.: VTR 7.0: Next generation architecture and CAD system for FPGAs. ACM Transactions on Reconfigurable Technology and Systems (TRETS) 7(2), 6:1\u20136:30 (2014)","journal-title":"ACM Transactions on Reconfigurable Technology and Systems (TRETS)"},{"unstructured":"Necula, G., Lee, P.: Proof-carrying code. Tech. Rep. CMU-CS-96-165, School of Computer Science. Carnegie Mellon University, Pittsburgh, PA 15213, November 1996","key":"32_CR8"},{"doi-asserted-by":"crossref","unstructured":"Wiersema, T., Bockhorn, A., Platzner, M.: Embedding FPGA overlays into configurable systems-on-chip: ReconOS meets ZUMA. In: International Conference on ReConFigurable Computing and FPGAs (ReConFig). IEEE Computer Society, December 2014 (to appear)","key":"32_CR9","DOI":"10.1109\/ReConFig.2014.7032514"},{"doi-asserted-by":"crossref","unstructured":"Wiersema, T., Drzevitzky, S., Platzner, M.: Memory security in reconfigurable computers: Combining formal verification with monitoring. In: International Conference on Field-Programmable Technology (FPT), pp. 167\u2013174. IEEE Computer Society, December 2014 (to appear)","key":"32_CR10","DOI":"10.1109\/FPT.2014.7082771"}],"container-title":["Lecture Notes in Computer Science","Applied Reconfigurable Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-16214-0_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T23:53:16Z","timestamp":1676937196000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-16214-0_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319162133","9783319162140"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-16214-0_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"31 March 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}