Cooperative Software Verification

Duration: 10/2019 - 09/2022

CRC 901 - Composition Analysis in Partially Unknown Contexts (Subproject B3)

Duration: 07/2011 - 06/2023

CRC 901: On-The-Fly Computing - Individualized IT-services in dynamic markets

The objective of CRC 901 – On-The-Fly Computing (OTF Computing) – is to develop techniques and processes for automatic on-the-fly configuration and provision of individual IT services out of base services that are available on world-wide markets. In addition to the configuration by special OTF service providers and the provision by so-called OTF ...

Duration: 07/2011 - 06/2023

Contact: Dr. Ulf-Peter Schroeder

CRC 901 - Proof-Carrying Services (Subproject B4)

Duration: 01/2011 - 06/2023

SFB 614: Self-Optimizing Concepts and Structures in Mechanical Engineering

Information technology is increasingly penetrating the field of conventional mechanical engineering, and this offers considerable potential for innovation. This is expressed in the term "mechatronics", which was itself formed by conjoining "mechanics" and "electronics". It describes the close interaction between mechanical science, electronics, ...

Duration: 01/2002 - 12/2013

Validation of Software Transactional Memory

gepris.dfg.de/gepris/projekt/362038437

Duration: 01/1999 - 01/1999