Projects

In order to design systems efficiently, the correct and safe functioning of the entire system has to be ensured as early as possible in the design phase. In addition it is necessary to consider both,

The exponential growth of the complexity of electronic systems makes it increasingly diffult to prove their correctness (verification). Addressing this problem, the goal of the SELFIE project is a fun

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

The industrial partner employs concepts of role-based access controls within several of its applications. They allow a description and implementation of security requirements (such as Separation of Du

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 ne

eProcurementsysteme allow for an efficient as well as cheap (with respect to personnel as well as financial costs) handling of consumable orderings in industry. Employees may chose the desired article

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 as

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 challenges of the increased demand on the quality, and th

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 so

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 compo