Projects

The industrial partner employs concepts of role-based access controls within several of its applications. They allow a description and implementation …

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 …

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 …