Projects

13 running Projects

Project Duration Funding
VeryHuman

VeryHuman

Learning and Verifying Complex Behaviour of Humanoid Robots
Jun 2020 - May 2024 BMBF
AUTOASSERT

AUTOASSERT

Simulation-based Design Tool for Automated Checking of Analog-digital Electronic Systems
Apr 2020 - Mar 2023 BMBF
KI-SIGS

KI-SIGS

AI-Space for Intelligent Health Systems
Apr 2020 - Mar 2023 BMWi
AdaMeKoR

AdaMeKoR

AdaMeKoR project part: Robotic arm assistance system and integrated robotic concepts for patient transfer
Mar 2020 - Mar 2023 BMBF
KosmoS

KosmoS

Cooperative, modular, mobile Smart Life Lab
Feb 2020 - Jan 2023 BMBF
ASCAPE

ASCAPE

Artificial intelligence Supporting CAncer Patients across Europe
Jan 2020 - Dec 2022 EU
Fast&Slow

Fast&Slow

Combination of Symbolic and Subsymbolic Methods
Nov 2019 - Oct 2022 BMBF
VerSys

VerSys

A Sound Verification Platform for Early Software Development for RISC-V based Systems
Aug 2019 - Jul 2022 BMBF
ConText

ConText

Textile surfaces for electrical supply, information technology communication and intuitive interaction with IoT devices in the Smart Home
Jul 2019 - Jun 2022 BMBF
SecProPort

SecProPort

Scalable Security Architectures for Commercial Workflows in German Harbors
Nov 2018 - Oct 2021 BMVI
INTUITIV

INTUITIV

Intuitive-nonverbal and informative-verbal robot-human communication
Jun 2018 - May 2021 BMBF
SATiSFy

SATiSFy

Timely Validation of Safey and Security Requirements in Autonomous Vehicles
May 2018 - Apr 2021 BMBF
QuadCore SoC

QuadCore SoC

Verifikation eines QuadCore-Prozessors
Oct 2016 - Jan 2021 Industry
© DFKI GmbH
last updated 23/09/2020
to top