Stefan Koerner

Stefan Koerner, C. Werner, Thomas Hess, P. Schulz, M. Strasser, S. Wagner, Harald Böhm, Martin Troester, Dirk Bolte, Herwig Elfering, T. Pohl, Klaus Theurich, W. H. Miller, P. Szwed: Firmware verification and simulation in IBM zEnterprise 196. IBM Journal of Research and Development 56(1): 14 (2012)

Stefan Koerner, Andreas Kohler, J. Babinsky, H. Pape, Felix Eickhoff, S. Kriese, Herwig Elfering: IBM System z10 firmware simulation. IBM Journal of Research and Development 53(1): 12 (2009)

Stefan Koerner, Rainer Bawidamann, Wolfgang Fischer, Ulrich Helmich, Daniel Klodt, Brian K. Tolan, Paul Wojciak: The z990 first error data capture concept. IBM Journal of Research and Development 48(3-4): 557-568 (2004)

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 eServer z990 improvements in firmware simulation. IBM Journal of Research and Development 48(3-4): 583-594 (2004)

Stefan Koerner, Martin Kuenzel, Edward C. McCain: IBM eServer z900 system microcode verification by simulation: The virtual power-on process. IBM Journal of Research and Development 46(4-5): 587-596 (2002)

Jörg Kayser, Stefan Koerner, Klaus-Dieter Schubert: Hyper-acceleration and HW/SW co-verification as an essential part of IBM eServer z900 verification. IBM Journal of Research and Development 46(4-5): 597-606 (2002)

Stefan Koerner: Code simulation concept for S/390 processors using an emulation system. HLDVT 2000: 101-102

Stefan Koerner, Steven M. Licker: Run-control and service element code simulation for the S/390 microprocessor. IBM Journal of Research and Development 41(4&5): 577-580 (1997)