Homepage Sitemap Contact




Home « Research « Projects
» Collaborative Research Center 1320: EASE – Everyday Activity Science and Engineering
Logo

Logo

EASE is a interdisciplinary Collaborative Research Center (CRC) at the University of Bremen that investigates everyday activity science & engineering. Our group is involved in the second research area and investigates the formalization and verification of plans.

More information are available at:
http://ease-crc.org


Contact: Prof. Dr. Rolf Drechsler, Dr. Daniel Große
 
» Collaborative Research Center 1232: High throughput exploration for evolutionary structural materials
Logo

Logo

The Collaborative Research Center 1232 "Farbige Zustände" is aimed at establishing a completely new, experimental high throughput method for material development.
Hereby, it is focused to identify most promising chemical compositions as well as appropriate process chains, which allows to generate superior metallic structural materials.

More information are available at:
http://sfb1232.de


Contact: Prof. Dr. Rolf Drechsler
 
» CONFIRM: Automatic firmware design for application-specific electronic systems
Logo

Logo

The project develops verification methods for firmware-based powermanagement.

For more information see:
https://www.edacentrum.de/confirm/


Contact: Prof. Dr. Rolf Drechsler, Dr. Daniel Große
 
» Development of a Continuous Verification Flow for ESL
Logo

In the Reinhart Koselleck Project new methods are developed to ensure the correctness of modern circuit and system descriptions in embedded systems.

Contact: Prof. Dr. Rolf Drechsler
 







Deutsch








Sitemap Kontakt

ISMVL2014 DUHDE