Run-control and service element code simulation for the S/390 microprocessor. - Stefan Koerner; Steven M. Licker (IBM J. Res. Dev., 1997)

Code simulation concept for S/390 processors using an emulation system. - Stefan Koerner (HLDVT, 2000)

Hyper-acceleration and HW/SW co-verification as an essential part of IBM eServer z900 verification. - Jörg Kayser; Stefan Koerner; Klaus-Dieter Schubert (IBM J. Res. Dev., 2002)

IBM eServer z900 system microcode verification by simulation: The virtual power-on process. - Stefan Koerner; Martin Kuenzel; Edward C. McCain (IBM J. Res. Dev., 2002)

The z990 first error data capture concept. - Stefan Koerner; Rainer Bawidamann; Wolfgang Fischer 001; Ulrich Helmich; Daniel Klodt; Brian K. Tolan; Paul A. Wojciak (IBM J. Res. Dev., 2004)

IBM eServer z990 improvements in firmware simulation. - Michael Stetter; Joachim von Buttlar; Ping T. (Danny) Chan; Dietmar Decker; Herwig Elfering; Paul M. Gioquindo; Thomas Hess; Stefan Koerner; Andreas Kohler; Heinrich Lindner; Karlo Petri; Mooheng Zee (IBM J. Res. Dev., 2004)

IBM System z10 firmware simulation. - Stefan Koerner; Andreas Kohler; J. Babinsky; H. Pape; Felix Eickhoff; S. Kriese; Herwig Elfering (IBM J. Res. Dev., 2009)

Firmware verification and simulation in IBM zEnterprise 196. - Stefan Koerner; Constantin Werner; Thomas Hess; Philip Schulz; Markus Strasser; Sven Wagner; Harald Böhm; Martin Troester; Dirk Bolte; Herwig Elfering; Thomas Pohl; Klaus Theurich; et al. (IBM J. Res. Dev., 2012)