Prof. Dr.-Ing. Daniel Große

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

English

Mitarbeiter

Organisationseinheit
Cyber-Physical Systems

Kontakt
Telefon (Bremen): +49 421 218 63935
Daniel.Grosse@dfki.de
http://www.daniel-grosse.de

Adresse (Bremen)
Mehrzweckhochhaus (MZH)
Bibliothekstraße 5
D-28359 Bremen

Publikationen

Alireza Mahzoon, Daniel Große, Christoph Scholl, Alexander Konrad, Rolf Drechsler

In: 59th Design Automation Conference (DAC). Design Automation Conference (DAC) July 10-14 San Francisco United States 2022.

Zur Publikation

Pascal Pieper, Vladimir Herdt, Daniel Große, Rolf Drechsler

In: 59th Design Automation Conference (DAC). Design Automation Conference (DAC-2022) July 10-14 San Francisco United States 2022.

Zur Publikation

Niklas Bruns, Vladimir Herdt, Daniel Große, Rolf Drechsler

In: Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2022) June 6-8 Irvine United States 2022.

Zur Publikation

Alle Publikationen

Profil

Projekte

AUTOASSERT

Simulationsbasiertes Entwurfswerkzeug zur automatisierten Überprüfung von analog-digitalen Elektroniksystemen

Mikroelektronische Hard- und Softwaresysteme sind die Schlüsselkomponente für die Mehrzahl der Innovationen in aktuellen und künftigen Systemen. Die Verifikation, d.h. der Nachweis der korrekten…

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-Entwicklung 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…

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…