Practical experiences in functional simulation. An integrated method from unit to co-simulation. - Klaus-Dieter Schubert (HLDVT, 2002)

Formal Verification versus Simulation in Functional Verification – An Industry Perspective. - Klaus-Dieter Schubert (MBMV, 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)

Improvements in functional simulation addressing challenges in large, distributed industry projects. - Klaus-Dieter Schubert (DAC, 2003)

Comparison of Bayesian networks and data mining for coverage directed verification category simulation-based verification. - Markus Braun; Wolfgang Rosenstiel; Klaus-Dieter Schubert (HLDVT, 2003)

Configurable system simulation model build comprising packaging design data. - Hans-Werner Anderson; Hans Kriese; Wolfgang Roesner; Klaus-Dieter Schubert (IBM J. Res. Dev., 2004)

Accelerating system integration by enhancing hardware, firmware, and co-simulation. - Klaus-Dieter Schubert; Edward C. McCain; Hermann Pape; Karin Rebmann; Patrick M. West; Ralf Winkelmann (IBM J. Res. Dev., 2004)

POWER7 - Verification challenge of a multi-core processor. - Klaus-Dieter Schubert (ICCAD, 2009)

Verification Challenges of Workload Optimized Hardware Systems. - Klaus-Dieter Schubert (Haifa Verification Conference, 2011)

Simplified Authentication and Authorization for RESTful Services in Trusted Environments. - Eric Brachmann; Gero Dittmann; Klaus-Dieter Schubert (ESOCC, 2012)

Post-Silicon Validation of the IBM POWER8 Processor. - Amir Nahir; Manoj Dusanapudi; Shakti Kapoor; Kevin Reick; Wolfgang Roesner; Klaus-Dieter Schubert; Keith Sharp; Greg Wetli (DAC, 2014)

The Verification Cockpit - Creating the Dream Playground for Data Analytics over the Verification Process. - Moab Arar; Michael L. Behm; Odellia Boni; Raviv Gal; Alex Goldin; Maxim Ilyaev; Einat Kermany; John R. Reysa; Bilal Saleh; Klaus-Dieter Schubert; Gil Shurek; Avi Ziv (Haifa Verification Conference, 2015)

Solutions to IBM POWER8 verification challenges. - Klaus-Dieter Schubert; John M. Ludden; Salma Ayub; J. Behrend; Bishop Brock; Fady Copty; S. M. German; Oz Hershkovitz; H. Horbach; Jonathan R. Jackson; K. Keuerleber; J. Koesters; et al. (IBM J. Res. Dev., 2015)

Addressing verification challenges of heterogeneous systems based on IBM POWER9. - Klaus-Dieter Schubert; Syed Saif Abrar; Duane Averill; Ellen Bauman; Aaron C. Brown; Ron Cash; Debapriya Chatterjee; John Gullickson; Mark Nelson; Kevin A. Pasnik; Krishnan Sugavanam (IBM J. Res. Dev., 2018)