LEITER DES FORSCHUNGSBEREICHS Cyber-Physical Systems

Prof. Dr. Rolf Drechsler

Publikationen

Marcel Walter, Robert Wille, Frank Sill Torres, Daniel Große, Rolf Drechsler

In: 24th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-24) January 21-24 Tokyo Jersey 2019.

Zur Publikation
Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler

In: 24th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-24) January 21-24 Tokyo Japan 2019.

Zur Publikation
Hoang M. Le, Daniel Große, Niklas Bruns, Rolf Drechsler

In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2019) March 25-29 Florence Italy 2019.

Zur Publikation

Profil

SAFE-10-T


Sicherheit der Transport-Infrastruktur im TEN-T Netzwerk

Das SAFE-10-T Projekt wird ein Framework entwickeln, das ein hohes Sicherheitsniveau von Straßen-, Schienen- und Wasserweg-Netzwerken sicherstellen wird, während gleichzeitig deren Lebensdauer...

SELFIE


Selbstverifikation von Elektronischen Systemen

Das exponentielle Wachstum der Komplexität elektronischer Systeme erschwert

den Nachweis der Korrektheit (Verifikation) dieser Systeme zusehends. Ziel

des Projektes SELFIE ist daher ein fundamentaler...

MANIAC


Manipulation von BDDs für Approximate Computing

Das Projekt MANIAC zielt auf die Optimierung von Algorithmen für Approximate Computing auf Basis von Binären Entscheidungsdiagrammen. Approximate Computing (AC) – zu Deutsch annäherndes Rechnen –...

SPECifIC


Quality-driven Design Flow using Formal Specifications and Functional Change Management

Ziel des Projektes SPECifIC ist ein neuartiger Entwurfsablauf samt Werkzeugunterstützung für eingebettete und cyber-physikalische Systeme, der den extrem gestiegenen Anforderungen an die Qualität und...

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence