Projects

Combination of Symbolic and Subsymbolic Methods

Deep learning methods are used in many application areas and work very

efficiently after a training phase. However, in general no reliable

statement can be made about their correctness. In contrast,…

Timely Validation of Safey and Security Requirements in Autonomous Vehicles

The aim of the project is to develop techniques to elicit requirements for systems to control autonomous vehicles, and validate them in a timely fashion, such that the necessary safety and security…

Safe Execution of Foreign Application in an Enterprise Infrastructure

The project aims at the development and implementation of appropriate security policies and mechanisms that allow one to incrementally integrate foreign software packages into an existing corporate…

Modelling and Refinement of Security Requirements on Data and Processes 2

MORES2 aims at the development of appropriate refinement techniques for workflow specifications. In particular, the notion of refinement to be developed has to support the refinement of the various…

Software Engineering for Spreadsheet Interaction

Spreadsheets have become very popular to analyze and visualize business and science data, so their complexity and impact increased dramatically over the years. As active documents they are situated…

Modelling and Refinement of Security Requirements on Data and Processes

The project MoReS aims at the transfer and enhancement of existing information-flow control techniques for the development of secure systems using the example of decision support systems in the area…

Secure and highly-available Trust contexts for mixed cloud scenarios

Cloud computing is a key component in the future of IT infrastructure in organizations. Typically, however, not all components of IT infrastructure are migrated to the cloud, but rather existing…

Semantically Founded Implementation of Clinical Practice Guidelines

For many serious diseases, clinical practice guidelines (CPGs) providing detailed advice on diagnostics and treatment are today being made available by medical societies. Although it has been shown…

Semantic Integration of Heterogenous Processes

SHIP aims at utilizing, extending, and adapting semantic modelling, analysis and verification technologies to design, simulate, implement and adapt reliable distributed heterogeneous processes.

With…

Formal Development for Safe Robotics

FormalSafe aims at the computer-supported management of the many and diverse

documents produced during the development of highly dependable systems, in

particular in the area of safe robotics.

 

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