{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T18:08:48Z","timestamp":1761588528965,"version":"build-2065373602"},"reference-count":16,"publisher":"IBM","issue":"1.2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IBM J. Res. & Dev."],"published-print":{"date-parts":[[2012,1]]},"DOI":"10.1147\/jrd.2011.2178566","type":"journal-article","created":{"date-parts":[[2012,2,2]],"date-time":"2012-02-02T10:11:38Z","timestamp":1328177498000},"page":"14:1-14:17","source":"Crossref","is-referenced-by-count":1,"title":["Firmware verification and simulation in IBM zEnterprise 196"],"prefix":"10.1147","volume":"56","author":[{"given":"S.","family":"Koerner","sequence":"first","affiliation":[{"name":"IBM Systems and Technology Group, IBM Deutschland Research and Development GmbH, Schoenaicherstrasse 220, Boeblingen, Germany"}]},{"given":"C.","family":"Werner","sequence":"additional","affiliation":[{"name":"IBM Systems and Technology Group, IBM Deutschland Research and Development GmbH, Schoenaicherstrasse 220, Boeblingen, Germany"}]},{"given":"T.","family":"Hess","sequence":"additional","affiliation":[{"name":"IBM Deutschland Research and Development GmbH, Schoenaicherstrasse 220, Boeblingen, Germany"}]},{"given":"P.","family":"Schulz","sequence":"additional","affiliation":[{"name":"IBM Systems and Technology Group, IBM Deutschland Research and Development GmbH, Schoenaicherstrasse 220, Boeblingen, Germany"}]},{"given":"M.","family":"Strasser","sequence":"additional","affiliation":[{"name":"IBM Systems and Technology Group, IBM Deutschland Research and Development GmbH, Schoenaicherstrasse 220, Boeblingen, Germany"}]},{"given":"S.","family":"Wagner","sequence":"additional","affiliation":[{"name":"IBM Systems and Technology Group, IBM Deutschland Research and Development GmbH, Schoenaicherstrasse 220, Boeblingen, Germany"}]},{"given":"H.","family":"B\u00f6hm","sequence":"additional","affiliation":[{"name":"IBM Systems and Technology Group, IBM Deutschland Research and Development GmbH, Schoenaicherstrasse 220, Boeblingen, Germany"}]},{"given":"M.","family":"Troester","sequence":"additional","affiliation":[{"name":"IBM Systems and Technology Group, IBM Deutschland Research and Development GmbH, Schoenaicherstrasse 220, Boeblingen, Germany"}]},{"given":"D.","family":"Bolte","sequence":"additional","affiliation":[{"name":"IBM Systems and Technology Group, IBM Deutschland Research and Development GmbH, Schoenaicherstrasse 220, Boeblingen, Germany"}]},{"given":"H.","family":"Elfering","sequence":"additional","affiliation":[{"name":"IBM Systems and Technology Group, IBM Deutschland Research and Development GmbH, Schoenaicherstrasse 220, Boeblingen, Germany"}]},{"given":"T.","family":"Pohl","sequence":"additional","affiliation":[{"name":"IBM Systems and Technology Group, IBM Deutschland Research and Development GmbH, Schoenaicherstrasse 220, Boeblingen, Germany"}]},{"given":"K.","family":"Theurich","sequence":"additional","affiliation":[{"name":"IBM Systems and Technology Group, IBM Deutschland Research and Development GmbH, Schoenaicherstrasse 220, Boeblingen, Germany"}]},{"given":"W. H.","family":"Miller","sequence":"additional","affiliation":[{"name":"IBM Systems and Technology Group, Poughkeepsie, USA"}]},{"given":"P.","family":"Szwed","sequence":"additional","affiliation":[{"name":"IBM Systems and Technology Group, Poughkeepsie, USA"}]}],"member":"3082","reference":[{"journal-title":"Virtual Private Networks","year":"1999","author":"scott","key":"ref10"},{"journal-title":"Modern Operating Systems","year":"2007","author":"tannenbaum","key":"ref11"},{"journal-title":"Virtualization with Xen","year":"2007","author":"williams","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1147\/rd.464.0421"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1147\/JRD.2011.2178278"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1147\/rd.483.0425"},{"journal-title":"Error detection by data flow analysis restricted to executable paths","year":"1999","author":"brand","key":"ref16"},{"key":"ref4","first-page":"383","article-title":"Chapter 13: Unified resource manager","author":"white","year":"0","journal-title":"IBM zEnterprise System Technical Guide"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1147\/JRD.2009.5388577"},{"journal-title":"IBM Market Insights Cloud Computing Strategy Research","year":"2009","key":"ref6"},{"journal-title":"The IBM zEnterprise System—A New Dimension in Computing IBM Europe Middle East and Africa Hardware Announcement","first-page":"3","year":"2010","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1147\/rd.483.0583"},{"journal-title":"IBM Corporation IBM Global Technology Services Defing a Framework for Cloud Adoption—How Common Ground can Help Enterprises Drive Success With Cloud Computing CIW03067-USEN-01","year":"2010","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1147\/rd.464.0607"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.464.0523"},{"journal-title":"IEEE 802 1Q—Virtual LANs Institute of Electrical and Electronics Engineers","year":"0","key":"ref9"}],"container-title":["IBM Journal of Research and Development"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5288520\/6136228\/06139292.pdf?arnumber=6139292","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T18:03:12Z","timestamp":1761588192000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6139292\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1]]},"references-count":16,"journal-issue":{"issue":"1.2"},"URL":"https:\/\/doi.org\/10.1147\/jrd.2011.2178566","relation":{},"ISSN":["0018-8646","0018-8646"],"issn-type":[{"type":"print","value":"0018-8646"},{"type":"electronic","value":"0018-8646"}],"subject":[],"published":{"date-parts":[[2012,1]]}}}