Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Forschung « Projekte
» Sonderforschungsbereich 1320: EASE – Everyday Activity Science and Engineering
Logo

Logo

Der Sonderforschungsbereich 1320 Everyday Activity Science and Engineering (EASE) ist ein interdisziplinärer SFB an der Universität Bremen in dem daran gearbeitet wird, dass Roboter abstrakte Anweisungen selbständig umsetzen können. Unsere Arbeitsgruppe ist im zweiten Forschungsbereich beteiligt und erforscht die Formalisierung und Verifikation von Plänen.

Weitere Informationen:
http://ease-crc.org


Kontakt: Prof. Dr. Rolf Drechsler, Dr. Daniel Große
 
» Sonderforschungsbereich 1232: Von farbigen Zuständen zu evolutionären Konstruktionswerkstoffen
Logo

Logo

Der Sonderforschungsbereich 1232 "Farbige Zustände" realisiert ein neuartiges, experimentelles Hochdurchsatzverfahren zur Werkstoffentwicklung. Im Mittelpunkt steht hierbei die Identifikation von vielversprechenden chemischen Kompositionen und geeigneten Prozessketten, die eine Erzeugung von leistungsfähigen metallischen Konstruktionswerkstoffen ermöglichen.

Weitere Informationen:
http://sfb1232.de


Kontakt: Prof. Dr. Rolf Drechsler
 
» CONFIRM: Automatisierter Firmware-Entwurf für anwendungsspezifische Elektroniksysteme
Logo

Logo

Im Projekt werden neue Methoden zur Verifikation von Firmwarebasierten Powermanagement-Strategien entwickelt.

Weitere Informationen:
https://www.edacentrum.de/confirm/


Kontakt: Prof. Dr. Rolf Drechsler, Dr. Daniel Große
 
» Entwicklung eines durchgängigen Verifikationsablaufes für den ESL Entwurf
Logo

Im Rahmen des Reinhart Koselleck-Projektes werden neue Methoden entwickelt, welche die Korrektheit von modernen Schaltkreis- und Systementwürfen in Eingebetteten Systemen (embedded systems) sicherstellen.

Kontakt: Prof. Dr. Rolf Drechsler
 








Bereiche
Projekte
Kooperationen





English


Die Arbeitsgruppe






Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt