Thomas Schlipf

Edward W. Chencinski, M. A. Check, C. DeCusatis, H. Deng, M. Grassi, Thomas A. Gregg, Markus M. Helms, A. D. Koenig, L. Mohr, Kulwant M. Pandey, Thomas Schlipf, T. Schober, H. Ulrich, C. R. Walters: IBM System z10 I/O subsystem. IBM Journal of Research and Development 53(1): 6 (2009)

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: Design and verification of the IBM System z10 I/O subsystem chips. IBM Journal of Research and Development 53(1): 7 (2009)

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

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, Gerhard Zilles: The structure of chips and links comprising the IBM eServer z990 I/O subsystem. IBM Journal of Research and Development 48(3-4): 449-460 (2004)

Thomas Buechner, Rolf Fritz, Peter Guenther, Markus M. Helms, Kirk D. Lamb, Manfred Loew, Thomas Schlipf, Manfred H. Walz: Event monitoring in highly complex hardware systems. IBM Journal of Research and Development 43(5): 889-898 (1999)

Gerhard Döttling, Klaus Joerg Getzlaff, Bernd Leppla, Walter Lipponer, Thomas Pflueger, Thomas Schlipf, Dietmar Schmunkamp, Udo Wille: S/390 Parallel Enterprise Server Generation 3: A balanced system and cache structure. IBM Journal of Research and Development 41(4&5): 405-428 (1997)

Thomas Schlipf, Thomas Buechner, Rolf Fritz, Markus M. Helms, Juergen Koehl: Formal verification made easy. IBM Journal of Research and Development 41(4&5): 567-576 (1997)