Bernd Becker

Navedeno

	Vse	Od leta 2020
Navedbe	11606	2492
indeks h	52	23
indeks i10	291	80

580

290

145

435

19871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202531 31 28 49 45 56 47 88 166 185 235 169 186 159 216 220 148 198 218 250 335 367 409 492 452 479 566 532 497 486 464 554 473 520 495 519 454 449 55

Javni dostop

Prikaži vse

158 člankov

32 člankov

na voljo

ni na voljo

Na podlagi zahtev v povezavi s financiranjem

Soavtorji

Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, GermanyPreverjeni e-poštni naslov na uni-bremen.de
Ilia PolianUniversity of StuttgartPreverjeni e-poštni naslov na polian.de
Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyPreverjeni e-poštni naslov na informatik.uni-freiburg.de
Matthias SauerAdvantest Europe GmbHPreverjeni e-poštni naslov na advantest.com
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityPreverjeni e-poštni naslov na cs.rwth-aachen.de
Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumPreverjeni e-poštni naslov na rub.de
Hans-Joachim WunderlichProfessor Emeritus of Computer Science, University of StuttgartPreverjeni e-poštni naslov na informatik.uni-stuttgart.de
Sudhakar ReddyDepartment of ECE, University of IowaPreverjeni e-poštni naslov na engineering.uiowa.edu
Paul MolitorMartin Luther University Halle-Wittenberg, Institute for Computer SciencePreverjeni e-poštni naslov na informatik.uni-halle.de
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusPreverjeni e-poštni naslov na cs.uni-saarland.de
Sybille HellebrandUniversity of Paderborn, GermanyPreverjeni e-poštni naslov na uni-paderborn.de

Spremljaj

Bernd Becker

Professor of Computer Science, University of Freiburg

Preverjeni e-poštni naslov na informatik.uni-freiburg.de

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


Naslov Razvrsti po navedbah Razvrsti po letniku Razvrsti po naslovu	Navedeno Navedeno	Leto
Binary decision diagrams: theory and implementation R Drechsler, B Becker Springer Science & Business Media, 2013	355	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	297	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	288	2006
How robust is the n-cube? B Becker, HU Simon Information and Computation 77 (2), 162-178, 1988	220	1988
Genetic algorithm for variable ordering of OBDDs R Drechsler, B Becker, N Gockel IEE Proceedings-Computers and Digital Techniques 143 (6), 364-368, 1996	177	1996
Multi-objective Optimisation Based on Relation Favour N Drechsler, R Drechsler, B Becker International conference on evolutionary multi-criterion optimization, 154-166, 2001	156	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	144	2004
Checking equivalence for partial implementations C Scholl, B Becker Proceedings of the 38th Annual Design Automation Conference, 238-243, 2001	134	2001
Multithreaded SAT solving M Lewis, T Schubert, B Becker 2007 Asia and South Pacific Design Automation Conference, 926-931, 2007	133	2007
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	133	2004
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	123	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	112	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	105	2006
Towards Verification of Artificial Neural Networks. K Scheibler, L Winterer, R Wimmer, B Becker MBMV, 30-40, 2015	97	2015
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	91	2010
On the relation between BDDs and FDDs B Becker, R Drechsler, R Werchner Information and Computation 123 (2), 185-197, 1995	89	1995
The K* BMD: A verification data structure R Drechsler, B Becker, S Ruppertz IEEE Design & Test of Computers 14 (2), 51-59, 1997	86	1997
Finite-state controllers of POMDPs via parameter synthesis JSL Junges, NH Jansen, R Wimmer, T Quatmann, L Winterer, JP Katoen, ... Corvallis: AUAI Press, 2018	82	2018
Sigref – A Symbolic Bisimulation Tool Box R Wimmer, M Herbstritt, H Hermanns, K Strampp, B Becker International Symposium on Automated Technology for Verification and …, 2006	79	2006

Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.

Članki 1–20

Št. navedb na leto

Podvojene navedbe

Združene navedbe

Dodajanje soavtorjevSoavtorji

Spremljaj

Navedeno

Soavtorji