Rechnerarchitektur

Prof. Dr. Bernd Becker

Wissenschaftliche Mitarbeiterinnen und Mitarbeiter

Forschungsschwerpunkte

• Basis-Datenstrukturen und Kern-Algorithmen (SAT, QBF, Logik der ersten Stufe, Craig-Interpolanten, …)
• Test und Zuverlässigkeit (ATPG, Simulation und Diagnose von klassischen und defektbasierten Fehlermodellen, SAT-basierte Testalgorithmen, sequentielles ATPG, Signalintegrität, fehlertolerante Systeme, …)
• Verifikation (Model Checking, BMC, Optimierungen von Transitionssytemen, iSAT, …)

Finanzierung

• SFB/ TR-14 Automated Verification and Analysis of Complex Systems (Standortsprecher, 3 Teilprojekte)
• DFG Be1176/ 14, Test und Diagnose in Nanoscale Technologien
• DFG Be1176/ 15, REALTest

Wissenschaftliche Projekte und Forschungsvorhaben

• Automatisierte Verifikationstechniken bei unvollständiger Information
  • Projektleitung: Becker B
  • Laufzeit: seit 2000
  • Details zum Projekt
• AVACS: Automatic Verification and Analysis of Complex Systems
  • Projektleitung: Becker B
  • Laufzeit: seit 2004
  • Details zum Projekt
• Bounded Model Checking of Blackbox Designs via Quantified Boolean Formulas
  • Projektleitung: Becker B
  • Laufzeit: seit 2000
  • Details zum Projekt
• CEBug
  • Projektleitung: Becker B
  • Laufzeit: seit 2011
  • Details zum Projekt
• Debat-O-Meter
  • Projektleitung: Bernd Becker
  • Laufzeit: seit 01.08.2015
  • Details zum Projekt
• EMS - Eingebettete Mikrosysteme
  • Projektleitung: Becker B
  • Laufzeit: seit 2000
  • Details zum Projekt
• MoPo - Mobile Pools
  • Projektleitung: Becker B
  • Laufzeit: seit 2000
  • Details zum Projekt
• SMILE - Smartphones in der Lehre
  • Projektleitung: Bernd Becker
  • Laufzeit: seit 2010
  • Details zum Projekt
• Weiterbildungsprogramm Intelligente Eingebettete Mikrosysteme
  • Projektleitung: Prof. Dr. Bernd Becker, , Schubert T
  • Laufzeit: seit 2007
  • Details zum Projekt

Wissenschaftliche Publikationen

Besondere wissenschaftliche Aktivitäten

• Prof. Dr. Bernd Becker: Mitglied des Leitungsgremiums, German GI/ ITG/GME Group on Testing and Fault Tolerance, seit 1990.
• Prof. Dr. Bernd Becker: Mitglied, Herausgebergremium „Leitfäden der Informatik“, Teubner-Verlag, seit 2003.
• Prof. Dr. Bernd Becker: Mitglied des Programmkomitees, VTS (IEEE VLSI Test Symposium), seit 2005.
• Prof. Dr. Bernd Becker: Member of Steering Committee: Zuverlässigkeit und Entwurf (ZuE), seit 2007.
• Prof. Dr. Bernd Becker: Member of Steering Committee: European Test Symposium (ETS), seit 2007.
• Prof. Dr. Bernd Becker: IEEE Fellow, seit 2008.
• Prof. Dr. Bernd Becker: Board of Directors, Centre for Security and Society, University of Freiburg, seit 2010.
• Prof. Dr. Bernd Becker: Member of Steering Committee: IEEE International Workshop on Reliability Aware System Design and Test (RASDAT), seit 2010.
• Prof. Dr. Bernd Becker: Member of the Scientific Directorate, Leibniz Center for Informatics, Schloss Dagstuhl, seit 2011.

Abschlussarbeiten