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…
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…
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…
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…
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…
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…
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…
SHIP aims at utilizing, extending, and adapting semantic modelling, analysis and verification technologies to design, simulate, implement and adapt reliable distributed heterogeneous processes.
