Detailseite

Professor Dr. Bernd Becker

Adresse Albert-Ludwigs-Universität Freiburg
Technische Fakultät
Institut für Informatik
Georges-Köhler-Allee 106
79110 Freiburg

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Effiziente Algorithmen zur Logiksynthese und Verifikation bei VLSI-Schaltkreisen (Schwerpunktprogramme)
  - Routing-Probleme in VLSI-Systemen - Lösungsansätze mit Genetischen Algorithmen (Sachbeihilfen)
  - Einsatz von Verifikationstechniken unter Berücksichtigung unvollständiger Information (Sachbeihilfen)
  - Identifikation und Test von anfälligen Schaltungskomponenten unter Prozessvariationen (Sachbeihilfen)
  - Test und Diagnose in Nanoscale-Technologien (Sachbeihilfen)
  - Lösen von abhängigkeitsquantifizierten Booleschen Formeln (Sachbeihilfen)
  - Algebraische Fehlerangriffe (Sachbeihilfen)
Als beteiligter Wissenschaftler
- abgeschlossene Projekte
  - GRK 806: Mathematische Logik und Anwendungen (Graduiertenkollegs)
  - GRK 1103: Eingebettete Mikrosysteme (Graduiertenkollegs)
  - EXC 1086: BrainLinks-BrainTools (Exzellenzcluster)
Als Teilprojektleiter
- abgeschlossene Projekte
  - Bounded Model Checking and Inductive Verification of Hybrid Systems (Transregios)
  - Constraint-basierte Verfikation hybrider Systeme (Transregios)
  - Kompositionelle Verifikation komplexer Systeme (Transregios)
  - Verifikation von Verlässlichkeitseigenschaften (Transregios)
  - Zentrale Aufgaben des SFB/Transregio (Transregios)
  - Exakte Nichterreichbarkeitsanalyse für eingebetteten C Code durch arithmetisches Constraint Solving (Transregios)
Als Beteiligte Person
- abgeschlossene Projekte
  - Berechnung von Gegenbeispielen für stochastische Systeme unter Verwendung von Bounded Model Checking (Sachbeihilfen)

Servicenavigation

Hauptnavigation

Professor Dr. Bernd Becker

Zusatzinformationen

Servicenavigation

Hauptnavigation

Professor Dr. Bernd Becker

Zusatzinformationen

Textvergrößerung und Kontrastanpassung