Formal verification made easy. - Thomas Schlipf; Thomas Buechner; Rolf Fritz; Markus M. Helms; Juergen Koehl (IBM J. Res. Dev., 1997)

Event monitoring in highly complex hardware systems. - Thomas Buechner; Rolf Fritz; Peter Guenther; Markus M. Helms; Kirk D. Lamb; Manfred Loew; Thomas Schlipf; Manfred H. Walz (IBM J. Res. Dev., 1999)

The structure of chips and links comprising the IBM eServer z990 I/O subsystem. - Edward W. Chencinski; Michael J. Becht; Tim E. Bubb; Carolynn G. Burwick; Juergen Haess; Markus M. Helms; Joseph M. Hoke; Thomas Schlipf; Jeffrey M. Turner; Hartmut Ulland; Manfred H. Walz; Carl H. Whitehead; et al. (IBM J. Res. Dev., 2004)

IBM System z10 I/O subsystem. - Edward W. Chencinski; M. A. Check; Casimer M. DeCusatis; H. Deng; M. Grassi; Thomas A. Gregg; Markus M. Helms; A. D. Koenig; L. Mohr; Kulwant M. Pandey; Thomas Schlipf; Torsten Schober; et al. (IBM J. Res. Dev., 2009)

Design and verification of the IBM System z10 I/O subsystem chips. - Thomas Schlipf; Markus M. Helms; Jürgen Ruf; M. Klein; Rainer Dorsch; B. Hoppe; Walter Lipponer; S. Boekholt; T. Rower; Manfred H. Walz; S. Junghans (IBM J. Res. Dev., 2009)

IBM Parallel Sysplex design for the IBM z196 system. - Rainer Dorsch; Richard K. Errickson; Markus M. Helms; G. Crew; Thomas A. Gregg; Welela Haileselassie; L. W. Helmer; Andreas Kohler; Kulwant M. Pandey; Susanne Roscher; E. S. Rotter; Christian Haubelt (IBM J. Res. Dev., 2012)

The IBM z13 multithreaded microprocessor. - Brian W. Curran; Christian Jacobi 002; J. J. Bonanno; D. A. Schroter; K. J. Alexander; A. Puranik; Markus M. Helms (IBM J. Res. Dev., 2015)

Design of the IBM z14 microprocessor. - Christian Jacobi 002; Anthony Saporito; Martin Recktenwald; Aaron Tsai; Ulrich Mayer; Markus M. Helms; Adam Collura; Pak-kin Mak; Robert J. Sonnelitter; Michael A. Blake; Tim Bronson; Arthur O'neill; et al. (IBM J. Res. Dev., 2018)