World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
47
Citations
8825
World Ranking
6500
National Ranking
306

Research.com Recognitions

  • 2011 - Member of Academia Europaea
  • 2008 - IEEE Fellow For contributions to the development of algorithms and data structures for testing and verification of integrated circuits

Overview

Bernd Becker is affiliated with the University of Freiburg in Germany and has a research focus spanning computer science, engineering, and social sciences. Their work encompasses various subfields including electrical and electronic engineering, computational theory and mathematics, artificial intelligence, hardware and architecture, as well as political science and international relations.

The central topics in Bernd Becker's research involve formal methods in verification, electoral systems and political participation, social media and politics, smart grid energy management, real-time systems scheduling, software testing and debugging techniques, and reinforcement learning in robotics.

Significant publications by Bernd Becker include:

  • "Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions" (2020) in IEEE Transactions on Automatic Control
  • "A Framework to Generate and Label Datasets for Non-Intrusive Load Monitoring" (2020) in Energies
  • "The Scale4Edge RISC-V Ecosystem" (2022) in 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE)
  • "The emotional valence of candidate ratings in televised debates" (2021) in Communications
  • "Automating the Generation of Programs Maximizing the Repeatable Constant Switching Activity in Microprocessor Units via MaxSAT" (2023) in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Frequent coauthors collaborating with Bernd Becker include Thomas Waldvogel, Uwe Wagschal, Samuel Weishaupt, Linus Feiten, and Leonore Winterer.

Bernd Becker's work is often published in venues such as IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Statistics Politics and Policy, IEEE Transactions on Automatic Control, Energies, and the Design, Automation & Test in Europe Conference & Exhibition (DATE).

In recognition of contributions to their fields, Bernd Becker has been named a Member of Academia Europaea in 2011 and was honored as an IEEE Fellow in 2008 for contributions to the development of algorithms and data structures for testing and verification of integrated circuits.

Best Publications

  • Binary Decision Diagrams: Theory and Implementation

    Bernd Becker;Rolf Drechsler

  • How robust is the n-cube?

    Bernd Becker;Hans-Ulrich Simon

  • Efficient Representation and Manipulation of Switching Functions Based on Ordered Kronecker Functional Decision Diagrams

    R. Drechsler;A. Sarabi;M. Theobald;B. Becker

  • A Definition and Classification of Timing Anomalies

    Jan Reineke;Björn Wachter;Stephan Thesing;Reinhard Wilhelm

  • Genetic algorithm for variable ordering of OBDDs

    R. Drechsler;B. Becker;N. Gockel

  • A Family of Logical Fault Models for Reversible Circuits

    I. Polian;T. Fiehn;B. Becker;J.P. Hayes

  • Multi-objective Optimisation Based on Relation Favour

    Nicole Drechsler;Rolf Drechsler;Bernd Becker

  • Testing for missing-gate faults in reversible circuits

    J.P. Hayes;I. Polian;B. Becker

  • X-masking during logic BIST and its impact on defect coverage

    Yuyi Tang;H.-J. Wunderlich;Piet Engelke;I. Polian

  • Simulating Resistive-Bridging and Stuck-At Faults

    Piet Engelke;I. Polian;M. Renovell;B. Becker

  • Multithreaded SAT Solving

    M. Lewis;T. Schubert;B. Becker

  • Fast OFDD-based minimization of fixed polarity Reed-Muller expressions

    R. Drechsler;M. Theobald;B. Becker

  • Checking equivalence for partial implementations

    Christoph Scholl;Bernd Becker

  • K*BMDs: a new data structure for verification

    Rolf Drechsler;Bernd Becker;Stefan Ruppertz

  • Power Droop Testing

    I. Polian;A. Czutro;S. Kundu;B. Becker

  • On the relation between BDDs and FDDs

    Bernd Becker;Rolf Drechsler;Ralph Werchner

  • On the Relation Betwen BDDs and FDDs

    Bernd Becker;Rolf Drechsler;Ralph Werchner

  • PaMiraXT: Parallel SAT Solving with Threads and Message Passing

    Tobias Schubert;Matthew D. T. Lewis;Bernd Becker

  • The K*BMD: A verification data structure

    R. Drechsler;B. Becker;S. Ruppertz

  • An Analysis Framework for Transient-Error Tolerance

    J.P. Hayes;I. Polian;B. Becker

  • Fast OFDD based minimization of fixed polarity Reed-Muller expressions

    Rolf Drechsler;Bernd Becker;Michael Theobald

Frequent Co-Authors

Ilia Polian
Ilia Polian University of Stuttgart
Rolf Drechsler
Rolf Drechsler University of Bremen
Sudhakar M. Reddy
Sudhakar M. Reddy University of Iowa
Hans-Joachim Wunderlich
Hans-Joachim Wunderlich University of Stuttgart
Joost-Pieter Katoen
Joost-Pieter Katoen RWTH Aachen University
Michel Renovell
Michel Renovell Montpellier Laboratory of Informatics, Robotics and Microelectronics
Holger Hermanns
Holger Hermanns Saarland University
Irith Pomeranz
Irith Pomeranz Purdue University West Lafayette
Sandip Kundu
Sandip Kundu University of Massachusetts Amherst
Ufuk Topcu
Ufuk Topcu The University of Texas at Austin

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

The field of Computer Science offers a range of online degrees catering to various career ambitions and schedules. If you want to quickly advance your credentials, consider exploring the fastest online master's degree programs. These options can help you acquire specialized knowledge while saving time.

For long-term career growth and higher earning potential, pursuing one of the best masters degree to get may be the right path. Many of these degrees are now available online, making advanced study flexible and accessible.

If you're just beginning your academic journey, online associate degree programs in computer science provide foundational skills, often at a fraction of the cost and time of a bachelor’s degree. You can use an associate degree as a direct entryway into IT roles or as a stepping stone to further education.

Affordability is also a crucial factor. Consider enrolling in one of the affordable online degree programs to minimize student debt while gaining valuable qualifications in Computer Science and related tech fields.

Best Scientists Citing Bernd Becker

Trending Scientists

Recently Published Articles