[Zurück]
 
Bitte auswählen
Jahr
Details
Sprache
Sortierung
Ausgabe
neu: RTF !
 Forschungsbericht für das Jahr 2022

Rechnerarchitektur

Prof. Dr. Bernd Becker

Georges-Köhler-Allee 051
79110 Freiburg i. Br.
Tel: 0761 203 8140 Fax: 0761 203 8142
http://ira.informatik.uni-freiburg.de


Wissenschaftliche Mitarbeiterinnen und Mitarbeiter

Einträge in der Rubrik "Who is Who"

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
  • AVACS: Automatic Verification and Analysis of Complex Systems
  • Bounded Model Checking of Blackbox Designs via Quantified Boolean Formulas
  • CEBug
  • Debat-O-Meter
  • EMS - Eingebettete Mikrosysteme
  • MoPo - Mobile Pools
  • Scale4Edge - Skalierbare Infrastruktur für Edge-Computing
    • Projektleitung: Prof. Dr. Bernd Becker
    • Laufzeit: 01.05.2020 bis 30.04.2023
    • Details zum Projekt
  • SMILE - Smartphones in der Lehre
  • Weiterbildungsprogramm Intelligente Eingebettete Mikrosysteme

Wissenschaftliche Publikationen

Besondere wissenschaftliche Aktivitäten

Verbände und Fachgesellschaften:
  • 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