Bernd Becker

Citado por

	Total	Desde 2019
Citas	11426	2847
Índice h	51	24
Índice i10	285	87

580

290

145

435

1987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202430 30 28 48 44 51 47 88 164 187 231 167 184 159 214 218 148 206 219 248 332 362 409 485 446 470 572 527 492 480 449 549 474 503 489 523 450 407

Acceso público

Ver todo

157 artículos

33 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, GermanyDirección de correo verificada de uni-bremen.de
Ilia PolianUniversity of StuttgartDirección de correo verificada de polian.de
Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyDirección de correo verificada de informatik.uni-freiburg.de
Matthias SauerAdvantest Europe GmbHDirección de correo verificada de advantest.com
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityDirección de correo verificada de cs.rwth-aachen.de
Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumDirección de correo verificada de rub.de
Hans-Joachim WunderlichProfessor Emeritus of Computer Science, University of StuttgartDirección de correo verificada de informatik.uni-stuttgart.de
Sudhakar ReddyDepartment of ECE, University of IowaDirección de correo verificada de engineering.uiowa.edu
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusDirección de correo verificada de cs.uni-saarland.de
Paul MolitorMartin Luther University Halle-Wittenberg, Institute for Computer ScienceDirección de correo verificada de informatik.uni-halle.de
Sybille HellebrandUniversity of Paderborn, GermanyDirección de correo verificada de uni-paderborn.de

Seguir

Bernd Becker

Professor of Computer Science, University of Freiburg

Dirección de correo verificada de informatik.uni-freiburg.de

Test Verification Safety and Security Computer Aided Design and Basic Data Structures Multmedia in Teaching


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Binary decision diagrams: theory and implementation R Drechsler, B Becker Springer Science & Business Media, 2013	351	2013
Efficient representation and manipulation of switching functions based on ordered Kronecker functional decision diagrams R Drechsler, A Sarabi, M Theobald, B Becker, MA Perkowski Proceedings of the 31st annual Design Automation Conference, 415-419, 1994	298	1994
A definition and classification of timing anomalies J Reineke, B Wachter, S Thesing, R Wilhelm, I Polian, J Eisinger, ... 6th International Workshop on Worst-Case Execution Time Analysis (WCET'06), 2006	291	2006
How robust is the n-cube? B Becker, HU Simon Information and Computation 77 (2), 162-178, 1988	218	1988
Genetic algorithm for variable ordering of OBDDs R Drechsler, B Becker, N Göckel IEE Proceedings-Computers and Digital Techniques 143 (6), 364-368, 1996	178	1996
Multi-objective Optimisation Based on Relation Favour N Drechsler, R Drechsler, B Becker International conference on evolutionary multi-criterion optimization, 154-166, 2001	155	2001
A family of logical fault models for reversible circuits I Polian, T Fiehn, B Becker, JP Hayes 14th Asian Test Symposium (ATS'05), 422-427, 2005	154	2005
Testing for missing-gate faults in reversible circuits JP Hayes, I Polian, B Becker 13th Asian test symposium, 100-105, 2004	145	2004
Checking equivalence for partial implementations C Scholl, B Becker Proceedings of the 38th Annual Design Automation Conference, 238-243, 2001	135	2001
X-masking during logic BIST and its impact on defect coverage Y Tang, HJ Wunderlich, H Vranken, F Hapke, M Wittke, P Engelke, ... 2004 International Conferce on Test, 442-451, 2004	134	2004
Multithreaded SAT solving M Lewis, T Schubert, B Becker 2007 Asia and South Pacific Design Automation Conference, 926-931, 2007	130	2007
Fast OFDD-based minimization of fixed polarity Reed-Muller expressions R Drechsler, M Theobald, B Becker IEEE Transactions on Computers 45 (11), 1294-1299, 1996	122	1996
K* BMDs: A new data structure for verification R Drechsler, B Becker, S Ruppertz Proceedings ED&TC European Design and Test Conference, 2-8, 1996	111	1996
Simulating resistive-bridging and stuck-at faults P Engelke, I Polian, M Renovell, B Becker IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2006	107	2006
Towards Verification of Artificial Neural Networks. K Scheibler, L Winterer, R Wimmer, B Becker MBMV, 30-40, 2015	95	2015
On the relation between BDDs and FDDs B Becker, R Drechsler, R Werchner Information and Computation 123 (2), 185-197, 1995	90	1995
PaMiraXT: Parallel SAT solving with threads and message passing T Schubert, M Lewis, B Becker Journal on Satisfiability, Boolean Modeling and Computation 6 (4), 203-222, 2010	89	2010
The K* BMD: A verification data structure R Drechsler, B Becker, S Ruppertz IEEE Design & Test of Computers 14 (2), 51-59, 1997	84	1997
Accelerating parametric probabilistic verification N Jansen, F Corzilius, M Volk, R Wimmer, E Ábrahám, JP Katoen, ... International Conference on Quantitative Evaluation of Systems, 404-420, 2014	82	2014
An analysis framework for transient-error tolerance JP Hayes, I Polian, B Becker 25th IEEE VLSI Test Symposium (VTS'07), 249-255, 2007	78	2007

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores