home > projektübersicht

| IIF | English | Login

Lehrstuhl für Rechnerarchitektur / Chair of Computer Architecture
Aktuelles
Team
Projekte
Kontakt		 Publikationen
Impressum
Verifikation
VALSE-XT (Förderschwerpunkt EkompaSS des BMBF, gemeinsam mit der Arbeitsgruppe für Betriebssysteme)
Bounded Model Checking of Blackbox Designs via Quantified Boolean Formulas (gefördert durch den DAAD (VIGONI))
AVACS: Automatic Verification and Analysis of Complex Systems (Sonderforschungsbereich/Transregio, gefördert durch die DFG)
Automatisierte Verifikationstechniken bei unvollständiger Information (gefördert durch die DFG, in Kooperation mit der Arbeitsgruppe für Betriebssysteme)

Test
RealTest Reliability and Test in Nanoscale Technologies
DBT - Defect Based Testing (gefördert von der DFG und Mentor Graphics; in Kooperation mit Mentor Graphics (Portland) und LIRMM (Montpellier))

E-Learning
MoPo - Mobile Pools (Mobile Rechner Pools, unterstützt durch das MWK Baden Württemberg)

Graduiertenkollegs
EMS - Eingebettete Mikrosysteme (gefördert durch die DFG)

Know-how Transfer, Ausgründungen
mindshape
Life-2-Digital
FEST-AmI: Freiburg Embedded SystemsTalks - Academia meets Industry (in Kooperation mit Endress+Hauser AG, Micronas GmbH, Sick AG)