Klaus-Dieter Schubert
According to our database1,
Klaus-Dieter Schubert
authored at least 14 papers
between 2002 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
IBM J. Res. Dev., 2018
2015
The Verification Cockpit - Creating the Dream Playground for Data Analytics over the Verification Process.
Proceedings of the Hardware and Software: Verification and Testing, 2015
2014
Proceedings of the 51st Annual Design Automation Conference 2014, 2014
2012
Simplified Authentication and Authorization for RESTful Services in Trusted Environments.
Proceedings of the Service-Oriented and Cloud Computing - First European Conference, 2012
2011
Proceedings of the Hardware and Software: Verification and Testing, 2011
2009
Proceedings of the 2009 International Conference on Computer-Aided Design, 2009
2004
IBM J. Res. Dev., 2004
IBM J. Res. Dev., 2004
2003
Comparison of Bayesian networks and data mining for coverage directed verification category simulation-based verification.
Proceedings of the Eighth IEEE International High-Level Design Validation and Test Workshop 2003, 2003
Improvements in functional simulation addressing challenges in large, distributed industry projects.
Proceedings of the 40th Design Automation Conference, 2003
2002
Hyper-acceleration and HW/SW co-verification as an essential part of IBM eServer z900 verification.
IBM J. Res. Dev., 2002
Formal Verification versus Simulation in Functional Verification -- An Industry Perspective.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2002
Practical experiences in functional simulation. An integrated method from unit to co-simulation.
Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002