Concepedia

Bernd Becker

BB

174

Publications

4.8K

Citations

36

H-Index

1985

Active since

Affiliations

University of Freiburg(Current)

Goethe University Frankfurt

University of Passau

University of Stuttgart

Saarland University

Bernd Becker is an author at University of Freiburg specializing in engineering, computer engineering, and computer science.

Top concepts

EngineeringComputer EngineeringComputer ScienceFormal VerificationFormal MethodsVerificationSystems EngineeringSoftware TestingProgram AnalysisDesign For Testing

Publications per year

1985–2023

174

Publications

174

Efficient representation and manipulation of switching functions based on ordered Kronecker functional decision diagrams

Rolf Drechsler, Andisheh Sarabi, Michael Theobald et al. · 1994 · 199 citations

Circuit Complexity, Efficient Package, Engineering +9

A Definition and Classification of Timing Anomalies

Jan Reineke, Björn Wachter, Reinhard Wilhelm et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2006 · 157 citations · Full text

Wcet Analysis, Anomaly Detection, Engineering +23

A Family of Logical Fault Models for Reversible Circuits

Ilia Polian, T. Fiehn, Bernd Becker et al. · 2005 · 134 citations

Circuit Complexity, Engineering, Optimal Test Sets +16

Testing for Missing-Gate Faults in Reversible Circuits

John P. Hayes, Ilia Polian, Bernd Becker · 2005 · 114 citations

Engineering, Verification, Formal Verification +20

Genetic algorithm for variable ordering of OBDDs

Rolf Drechsler, Bernd Becker, Nicole Göckel · IEE Proceedings - Computers and Digital Techniques · 1996 · 103 citations

Rows per page

1–5 of 174