Projects

Motivation In many physically challenging jobs with heavy movements the risk for developing occupational illnesses after the age of 50 is …

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 …

The ASSAM project aims to compensate for declining physical and cognitive capabilities of elderly persons by user-centred development of modular …

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

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

Cloud computing is a key component in the future of IT infrastructure in organizations. Typically, however, not all components of IT infrastructure …

Whether in the powertrain, in central control units or in body and convenience electronics – there is a constant increase in the proportion of …

For many serious diseases, clinical practice guidelines (CPGs) providing detailed advice on diagnostics and treatment are today being made available …

SHIP aims at utilizing, extending, and adapting semantic modelling, analysis and verification technologies to design, simulate, implement and adapt …