Bernd Becker - Publications, H-index & Citations

Back

Bernd Becker

University of Freiburg

39H-index

686Paper Count

7.7KCitation Count

Published Papers 12

Publication Date

Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2021-03-01

OAAI

Winterer, Leonore; Junges, Sebastian; Wimmer, Ralf; Jansen, Nils; Topcu, Ufuk; Katoen, Joost-Pieter; Becker, Bernd

Save

PHAETON: A SAT-Based Framework for Timing-Aware Path Sensitization

IEEE TRANSACTIONS ON COMPUTERS

IF3.8

2016-06-01

PREAI

Sauer, Matthias; Becker, Bernd; Polian, Ilia

Save

Transient Reward Approximation for Continuous-Time Markov Chains

IEEE TRANSACTIONS ON RELIABILITY

IF5.7

2015-12-01

OAAI

Hahn, Ernst Moritz; Hermanns, Holger; Wimmer, Ralf; Becker, Bernd

Save

Variation-aware fault modeling

SCIENCE CHINA-INFORMATION SCIENCES

IF7.6

2011-08-03

PREAI

Hopsch, Fabian; Becker, Bernd; Hellebrand, Sybille; Polian, Ilia; Straube, Bernd; Vermeiren, Wolfgang; Wunderlich, Hans-Joachim

Save

Modeling and Mitigating Transient Errors in Logic Circuits

IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING

IF7.5

2011-07-01

OAAI

Polian, Ilia; Hayes, John P.; Reddy, Sudhakar M.; Becker, Bernd

Save

Compositional Dependability Evaluation for STATEMATE

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2009-03-01

PREAI

Boede, Eckard; Herbstritt, Marc; Hermanns, Holger; Johr, Sven; Peikenkamp, Thomas; Pulungan, Reza; Rakow, Jan; Wimmer, Ralf; Becker, Bernd

Save

Rapid and specific detection of Listeria monocytogenes in smoked salmon with BAX®-PCR

FOOD CONTROL

IF6.3

2005-10-01

PREAI

Becker, B; Jordan, S; Holzapfel, WH

Save

A high-molecular-weight complex of membrane proteins BAP29/BAP31 is involved in the retention of membrane-bound IgD in the endoplasmic reticulum

PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA

IF9.1

2003-07-28

OAAI

Schamel, WWA; Kuppig, S; Becker, B; Gimborn, K; Hauri, HP; Reth, M

Save

Exact routing with search space reduction

IEEE TRANSACTIONS ON COMPUTERS

IF3.8

2003-06-01

PREAI

Schmiedle, F; Drechsler, R; Becker, B

Save

On variable ordering and decomposition type choice in OKFDDs

IEEE TRANSACTIONS ON COMPUTERS

IF3.8

1998-01-01

PREAI

Drechsler, R; Becker, B; Jahnke, A

Save

A genetic algorithm for RKRO minimization

EXPERT SYSTEMS WITH APPLICATIONS

IF7.5

1997-01-01

PREAI

Drechsler, R; Becker, B; Gockel, N

Save

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

IEEE TRANSACTIONS ON COMPUTERS

IF3.8

1996-01-01

PREAI

Drechsler, R; Theobald, M; Becker, B

Save

Research Directions