Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Klaus-Dieter Schubert
@article{DBLP:journals/ibmrd/SchubertAABBCCG18,
author = {Klaus{-}Dieter Schubert and
Syed Saif Abrar and
Duane Averill and
Ellen Bauman and
Aaron C. Brown and
Ron Cash and
Debapriya Chatterjee and
John Gullickson and
Mark Nelson and
Kevin A. Pasnik and
Krishnan Sugavanam},
title = {Addressing verification challenges of heterogeneous systems based
on {IBM} {POWER9}},
journal = {{IBM} J. Res. Dev.},
volume = {62},
number = {4/5},
pages = {11:1--11:12},
year = {2018},
url = {https://doi.org/10.1147/JRD.2018.2848418},
doi = {10.1147/JRD.2018.2848418},
timestamp = {Sun, 08 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ibmrd/SchubertAABBCCG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmrd/SchubertLABBCGH15,
author = {Klaus{-}Dieter Schubert and
John M. Ludden and
Salma Ayub and
J. Behrend and
Bishop Brock and
Fady Copty and
S. M. German and
Oz Hershkovitz and
H. Horbach and
Jonathan R. Jackson and
K. Keuerleber and
J. Koesters and
L. S. Leitner and
G. B. Meil and
Charles Meissner and
Ronny Morad and
Amir Nahir and
Viresh Paruthi and
Richard D. Peterson and
Randall R. Pratt and
Michal Rimon and
John Schumann},
title = {Solutions to {IBM} {POWER8} verification challenges},
journal = {{IBM} J. Res. Dev.},
volume = {59},
number = {1},
year = {2015},
url = {https://doi.org/10.1147/JRD.2014.2380271},
doi = {10.1147/JRD.2014.2380271},
timestamp = {Thu, 28 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ibmrd/SchubertLABBCGH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/ArarBBGGIKRSSSZ15,
author = {Moab Arar and
Michael L. Behm and
Odellia Boni and
Raviv Gal and
Alex Goldin and
Maxim Ilyaev and
Einat Kermany and
John R. Reysa and
Bilal Saleh and
Klaus{-}Dieter Schubert and
Gil Shurek and
Avi Ziv},
editor = {Nir Piterman},
title = {The Verification Cockpit - Creating the Dream Playground for Data
Analytics over the Verification Process},
booktitle = {Hardware and Software: Verification and Testing - 11th International
Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November
17-19, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9434},
pages = {51--66},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26287-1\_4},
doi = {10.1007/978-3-319-26287-1\_4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/ArarBBGGIKRSSSZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/NahirDKRRSSW14,
author = {Amir Nahir and
Manoj Dusanapudi and
Shakti Kapoor and
Kevin Reick and
Wolfgang Roesner and
Klaus{-}Dieter Schubert and
Keith Sharp and
Greg Wetli},
title = {Post-Silicon Validation of the {IBM} {POWER8} Processor},
booktitle = {The 51st Annual Design Automation Conference 2014, {DAC} '14, San
Francisco, CA, USA, June 1-5, 2014},
pages = {56:1--56:6},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2593069.2593183},
doi = {10.1145/2593069.2593183},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/NahirDKRRSSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/BrachmannDS12,
author = {Eric Brachmann and
Gero Dittmann and
Klaus{-}Dieter Schubert},
editor = {Flavio De Paoli and
Ernesto Pimentel and
Gianluigi Zavattaro},
title = {Simplified Authentication and Authorization for RESTful Services in
Trusted Environments},
booktitle = {Service-Oriented and Cloud Computing - First European Conference,
{ESOCC} 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7592},
pages = {244--258},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33427-6\_21},
doi = {10.1007/978-3-642-33427-6\_21},
timestamp = {Wed, 12 May 2021 10:56:07 +0200},
biburl = {https://dblp.org/rec/conf/esocc/BrachmannDS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/Schubert11,
author = {Klaus{-}Dieter Schubert},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {Verification Challenges of Workload Optimized Hardware Systems},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {4},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_4},
doi = {10.1007/978-3-642-34188-5\_4},
timestamp = {Fri, 27 Mar 2020 08:58:09 +0100},
biburl = {https://dblp.org/rec/conf/hvc/Schubert11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/Schubert09,
author = {Klaus{-}Dieter Schubert},
editor = {Jaijeet S. Roychowdhury},
title = {{POWER7} - Verification challenge of a multi-core processor},
booktitle = {2009 International Conference on Computer-Aided Design, {ICCAD} 2009,
San Jose, CA, USA, November 2-5, 2009},
pages = {809--812},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1687399.1687551},
doi = {10.1145/1687399.1687551},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/Schubert09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmrd/AndersonKRS04,
author = {Hans{-}Werner Anderson and
Hans Kriese and
Wolfgang Roesner and
Klaus{-}Dieter Schubert},
title = {Configurable system simulation model build comprising packaging design
data},
journal = {{IBM} J. Res. Dev.},
volume = {48},
number = {3-4},
pages = {367--378},
year = {2004},
url = {https://doi.org/10.1147/rd.483.0367},
doi = {10.1147/RD.483.0367},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ibmrd/AndersonKRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmrd/SchubertMPRWW04,
author = {Klaus{-}Dieter Schubert and
Edward C. McCain and
Hermann Pape and
Karin Rebmann and
Patrick M. West and
Ralf Winkelmann},
title = {Accelerating system integration by enhancing hardware, firmware, and
co-simulation},
journal = {{IBM} J. Res. Dev.},
volume = {48},
number = {3-4},
pages = {569--582},
year = {2004},
url = {https://doi.org/10.1147/rd.483.0569},
doi = {10.1147/RD.483.0569},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ibmrd/SchubertMPRWW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Schubert03a,
author = {Klaus{-}Dieter Schubert},
title = {Improvements in functional simulation addressing challenges in large,
distributed industry projects},
booktitle = {Proceedings of the 40th Design Automation Conference, {DAC} 2003,
Anaheim, CA, USA, June 2-6, 2003},
pages = {11--14},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/775832.775836},
doi = {10.1145/775832.775836},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Schubert03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/BraunRS03,
author = {Markus Braun and
Wolfgang Rosenstiel and
Klaus{-}Dieter Schubert},
title = {Comparison of Bayesian networks and data mining for coverage directed
verification category simulation-based verification},
booktitle = {Eighth {IEEE} International High-Level Design Validation and Test
Workshop 2003, San Francisco, CA, USA, November 12-14, 2003},
pages = {91--95},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/HLDVT.2003.1252480},
doi = {10.1109/HLDVT.2003.1252480},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/BraunRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmrd/KayserKS02,
author = {J{\"{o}}rg Kayser and
Stefan Koerner and
Klaus{-}Dieter Schubert},
title = {Hyper-acceleration and {HW/SW} co-verification as an essential part
of {IBM} eServer z900 verification},
journal = {{IBM} J. Res. Dev.},
volume = {46},
number = {4-5},
pages = {597--606},
year = {2002},
url = {https://doi.org/10.1147/rd.464.0597},
doi = {10.1147/RD.464.0597},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ibmrd/KayserKS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/Schubert02,
author = {Klaus{-}Dieter Schubert},
title = {Practical experiences in functional simulation. An integrated method
from unit to co-simulation},
booktitle = {Seventh {IEEE} International High-Level Design Validation and Test
Workshop 2002, Cannes, France, October 27-29, 2002},
pages = {42--44},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/HLDVT.2002.1224426},
doi = {10.1109/HLDVT.2002.1224426},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/Schubert02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/Schubert02,
author = {Klaus{-}Dieter Schubert},
editor = {J{\"{u}}rgen Ruf},
title = {Formal Verification versus Simulation in Functional Verification --
An Industry Perspective},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), T{\"{u}}bingen, Germany,
February 25-27, 2002},
pages = {123--123},
publisher = {Shaker},
year = {2002},
timestamp = {Thu, 28 Jun 2012 12:33:04 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/Schubert02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
