Stefan Koerner

According to our database, Stefan Koerner authored at least 9 papers between 1997 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Development and Implementation of a Serial Production Cyber-Physical System: A Closed Quality Loop for Transportable Positioning Devices in an Automotive Body-in-White Process.

Michael Gfoellner, Stefan Koerner, Christoph Kribernegg, Dejan Verdnik, Michael Matzer, Franz Haas

Proceedings of the 7th International Conference on Industry of the Future and Smart Manufacturing (ISM 2025), 2025

2012

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, William H. Miller, Peter Szwed

IBM J. Res. Dev., 2012

2009

IBM System z10 firmware simulation.

Stefan Koerner, Andreas Kohler, J. Babinsky, H. Pape, Felix Eickhoff, S. Kriese, Herwig Elfering

IBM J. Res. Dev., 2009

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

The z990 first error data capture concept.

Stefan Koerner, Rainer Bawidamann, Wolfgang Fischer, Ulrich Helmich, Daniel Klodt, Brian K. Tolan, Paul A. Wojciak

IBM J. Res. Dev., 2004

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

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

2000

Code simulation concept for S/390 processors using an emulation system.

Stefan Koerner

Proceedings of the IEEE International High-Level Design Validation and Test Workshop 2000, 2000

1997

Run-control and service element code simulation for the S/390 microprocessor.

Stefan Koerner, Steven M. Licker

IBM J. Res. Dev., 1997