a person in the record
Bernd Becker
Supervised 24 doctoral students; doctoral advisor Günter Hotz on Wikidata; 26 doctoral students on Wikidata.
Students24
- Leonore Winterer“Solving the unsolvable - guarantee-based methods for strategy synthesis in POMDPs”2025 · doctoral
- Linus Feiten“Take the power back! : Secrecy, accountability and trust in the Digital Age”2021 · doctoral
- Pascal Raiola“Security of data flow in IEEE Std 1687 reconfigurable scan networks”2021 · doctoral
- Philipp M. Scholl“Activity recognition with instrumented and wearable artifacts”2018 · doctoral
- Jan Burchard“Applying advanced SAT-based techniques to circuit testing”2018 · doctoral
- Karsten Scheibler“Applying CDCL to verification and test: when laziness pays off”2017 · doctoral
- Bettina Claudia Braitling“Spielbasierte Abstraktion von Markow-Automaten”2016 · doctoral
- Andreas Riefert“Test and diagnosis of embedded processor cores with formal methods”2016 · doctoral
- Christian Miller“Modeling the unknown using quantification”2014 · doctoral
- Alexander Czutro“Efficiency and applications of SAT-based test pattern generation: complex fault models and optimisation problems”2013 · doctoral
- Ralf Wimmer“Symbolische Methoden für die probabilistische Verifikation : Zustandsraumreduktion und Gegenbeispiele”2011 · doctoral
- Piet Engelke“Resistive bridging faults - defect-oriented modeling and efficient testing”2009 · doctoral
- Jochen Eisinger“Automatenbasierte Entscheidungsverfahren für Theorien der Logik erster Stufe mit Addition”2009 · doctoral
- Thomas Eschbach“Visualisierungen im Schaltkreisentwurf”2008 · doctoral
- Marc Herbstritt“SAT-based verification - from core algorithms to novel application domains”2008 · doctoral
- Tobias Schubert“SAT-Algorithmen und Systemaspekte: vom Mikroprozessor zum parallelen System”2008 · doctoral
- Martin Keim“Symbolic methods for testing digital circuits”2004 · doctoral
- Andreas Hett“Binäre Expression-Diagramme”2002 · doctoral
- Wolfgang Günther“Minimierung von Entscheidungsdiagrammen und Anwendungen im Schaltkreisentwurf”2001 · doctoral
- Harry Hengster“EXOR-basierte Logiksynthese mit Kronecker Functional Decision Diagrams”2001 · doctoral
- Nicole Drechsler“Über die Anwendung Evolutionärer Algorithmen im Schaltkreisentwurf”2000 · doctoral
- Rolf Drechsler“Ordered Kronecker Functional Decision Diagrams und ihre Anwendung”1995 · doctoral
- Ralf Hahn“Datenstrukturen und Algorithmen zu Testzwecken”1994 · doctoral
- Rolf Krieger“Über OBDDs und ihre Anwendung in der Testbarkeitsanalyse”1994 · doctoral
Students on Wikidata26
From Wikidata, shown separately from the thesis records.
- Rolf Drechslerborn 1969
- Ralf Wimmerborn 1980
- Alexander Czutro
- Andreas Hett
- Andreas Riefert
- Bettina Braitling
- Christian Miller
- Dominik Erb
- Frank Schmiedle
- Harry Hengster
- Ilia Polian
- Jochen Eisinger
- Karsten Scheibler
- Marc Herbstritt
- Martin Keim
- Matthew Lewis
- Matthias Sauer
- Piet Engelke
- Ralf Hahn
- Rolf Krieger
- Stefan Hillebrecht
- Stefan Kupferschmid
- Sven Reimer
- Thomas Eschbach
- Tobias Schubert
- Wolfgang Günther
Cite this page
The record changes as sources are read again, so a citation says when the page was read.
bibtex
@misc{academicancestry_Q18620981,
author = {{Academic Ancestry}},
title = {{Bernd Becker: advisors and students}},
year = {2026},
url = {https://academicancestry.org/person/Q18620981},
note = {read on 2026-10-19}
}apa
Academic Ancestry. (2026, October 19). Bernd Becker: Advisors and students [Read on 2026-10-19]. https://academicancestry.org/person/Q18620981