S/390 Parallel Enterprise Server Generation 3: A balanced system and cache structure. - Gerhard Döttling; Klaus Joerg Getzlaff; Bernd Leppla; Walter Lipponer; Thomas Pflueger; Thomas Schlipf; Dietmar Schmunkamp; Udo Wille (IBM J. Res. Dev., 1997)

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)

Task-accurate performance modeling in SystemC for real-time multi-processor architectures. - Martin Streubühr; Joachim Falk; Christian Haubelt; Jürgen Teich; Rainer Dorsch; Thomas Schlipf (DATE, 2006)

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)