Dirk Bolte
IBM
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Dirk Bolte.
Ibm Journal of Research and Development | 2012
Stefan Koerner; Constantin Werner; Thomas Hess; Philip Sebastian Schulz; Markus Strasser; Sven Wagner; Harald Böhm; Martin Troester; Dirk Bolte; Herwig Elfering; Thomas Pohl; Klaus Theurich; W. H. Miller; P. Szwed
In IBM zEnterprise® 196, we introduced another set of firmware verification environments to enhance the verification coverage. In this paper, we discuss four affected areas: 1) virtualization of the support element, the hardware management console, and the flexible support processor; 2) test cases; 3) simulation of input/output adapter firmware; and 4) static analysis for millicode. These start another round in increasing verification coverage with the final goal of having all firmware components under simulation and test before the final system becomes available.
Archive | 2013
Dirk Bolte; Daniel Ketcham; Thomas Pohl; Martin Strobel; Martin Troester
Archive | 2014
Dirk Bolte; Herwig Elfering; Thomas Pohl; Martin Troester
Archive | 2009
Hans-Juergen Aminger; Dirk Bolte; Herwig Elfering; Adolf Martens
Archive | 2008
Frank Scholz; Dirk Bolte; Friedrich Michael Welter; Martin Kuenzel; Friedemann Baitinger; Andreas Bieswanger; Juergen Saalmueller; Andreas Arnez
Archive | 2012
Dirk Bolte; Herwig Elfering; Thomas Pohl; Martin Troester
Archive | 2014
Dirk Bolte; Herwig Elfering; Susanne Friedhilde Heisser; Juergen Nowak; Thomas Pohl; Martin Troester
Archive | 2015
Michael Andres; Dirk Bolte; Thomas Hess; Markus Strasser
Archive | 2015
Andreas Bieswanger; Dirk Bolte; Carl Mayer; Thomas Pohl; Martin Troester
Archive | 2013
Dirk Bolte; Yaroslav Chernov; Victor Gusev; Alexander Kuchin; Martin Kuenzel; Adolf Martens; Andrey Mishin; Dmitry Moor
