Projects

Displaying results 1 to 10 of 19

The aim of the VerSys project is to develop a consistent platform for early software development based on RISC-V technology, an instruction set ...

In the KI-Staging project, the DFKI research department Cyber-Physical Systems and the ePhilos AG develop intelligent methods for the analysis of ...

The exponential growth of the complexity of electronic systems makes it increasingly diffult to prove their correctness (verification). Addressing ...

The project MANIAC aims to optimise algorithms for approximate computing on the basis of binary decision diagrams. Approximate computing (AC) exploits ...

The project aims at the development and implementation of appropriate security policies and mechanisms that allow one to incrementally integrate ...

MORES2 aims at the development of appropriate refinement techniques for workflow specifications. In particular, the notion of refinement to be ...

eProcurementsysteme allow for an efficient as well as cheap (with respect to personnel as well as financial costs) handling of consumable orderings in ...

The goal of the SPECifIC project is a novel design flow to support the development of embedded and cyber-physical systems, which will meet the ...

This projects aims at the development of methods for a semi-automatic formalization of legal regulations provided in natural language. For this ...

Spreadsheets have become very popular to analyze and visualize business and science data, so their complexity and impact increased dramatically over ...

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