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 Applicant
- Completed projects
  - Effiziente Algorithmen zur Logiksynthese und Verifikation bei VLSI-Schaltkreisen (Priority Programmes)
  - Routing-Probleme in VLSI-Systemen - Lösungsansätze mit Genetischen Algorithmen (Research Grants)
  - Einsatz von Verifikationstechniken unter Berücksichtigung unvollständiger Information (Research Grants)
  - Identifikation und Test von anfälligen Schaltungskomponenten unter Prozessvariationen (Research Grants)
  - Test und Diagnose in Nanoscale-Technologien (Research Grants)
  - Solving Dependency Quantified Boolean Formulas (Research Grants)
  - Algebraic Fault Attacks (Research Grants)
As Participating Researcher
- Completed projects
  - GRK 806: Mathematical logic and applications (Research Training Groups)
  - GRK 1103: Embedded Microsystems (Research Training Groups)
  - EXC 1086: BrainLinks-BrainTools (Clusters of Excellence)
As Project Head
- Completed projects
  - Bounded Model Checking and Inductive Verification of Hybrid Systems (CRC/Transregios)
  - Constaint-based Verification for Hybrid Systems (CRC/Transregios)
  - Compositional Approaches to System Verification (CRC/Transregios)
  - Verification of Dependability Properties (CRC/Transregios)
  - Central Tasks (CRC/Transregios)
  - Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving (DeCoDe) (CRC/Transregios)
As Participating Person
- Completed projects
  - Counterexample generation for stochastic systems using Bounded Model Checking (Research Grants)

Servicenavigation

Hauptnavigation

Professor Dr. Bernd Becker

Additional Information

Servicenavigation

Hauptnavigation

Professor Dr. Bernd Becker

Additional Information

Textvergrößerung und Kontrastanpassung