Mitarbeiter

Dr.-Ing. Daniel Große

  • Adresse (Bremen)
    MZH

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) 24th January 21-24 Tokyo Japan 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) 24th 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

Projekte

VerSys


Eine konsistente Verifikationsplattform zur frühen Softwareentwicklung für RISC-V-basierte Systeme

Ziel des Projektes VerSys ist die Entwicklung einer konsistenten Entwicklungsplattform für die frühzeitige Software-Entwick

lung auf Basis der RISC-V-Technologie, einer Befehlssatzarchitektur für...

SATiSFy


Validierung von SAfeTy- und Security-Anforderungen in autonomen Fahrzeugen

Ziel dieses Projektes ist es, Techniken zur Erfassung und frühzeitigen Verifikation von Anforderungen für Systeme zur autonomen Fahrzeugführung zu entwickeln, um die notwendigen Security- und...

SATiSFy

CONVERS


Entwurfsautomatisierung für komplexe Elektroniksysteme

Um Systeme effizient zu entwerfen, muss die korrekte und sichere Funktionsweise des Gesamtsystems in möglichst frühen Entwurfsphasen nachgewiesen werden. Dabei ist es notwendig sowohl analoges als...

CONVERS

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