Project Details

Professor Dr. Bernd Becker

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

Projects

As 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)
As beteiligter Wissenschaftler
- abgeschlossene Projekte
  - GRK 806: Mathematische Logik und Anwendungen (Graduiertenkollegs)
  - GRK 1103: Eingebettete Mikrosysteme (Graduiertenkollegs)
  - EXC 1086: BrainLinks-BrainTools (Exzellenzcluster)
As 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)
As Beteiligte Person
- abgeschlossene Projekte
  - Berechnung von Gegenbeispielen für stochastische Systeme unter Verwendung von Bounded Model Checking (Sachbeihilfen)

Servicenavigation

Hauptnavigation

Professor Dr. Bernd Becker

Additional Information

Servicenavigation

Hauptnavigation

Professor Dr. Bernd Becker

Additional Information

Textvergrößerung und Kontrastanpassung