Projects

SaferApps – Safe Execution of Foreign Application in an Enterprise Infrastructure

The project aims at the development and implementation of appropriate security policies and mechanisms that allow one to incrementally integrate …

MORES2 – Modelling and Refinement of Security Requirements on Data and Processes 2

MORES2 aims at the development of appropriate refinement techniques for workflow specifications. In particular, the notion of refinement to be …

SPECifIC – Quality-driven Design Flow using Formal Specifications and Functional Change Management

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 …

CloudFlow – Computational Cloud Services and Workflows for Agile Engineering

CloudFlow has the ambition to provide a Cloud Computing infrastructure based on existing technology and standards that allows SME software vendors to …

CyProS – Cyber-Physical Production Systems - Increasing Productivity and Flexibility for Small and Medium-sized Businesses by Interconnecting Intelligent Systems in Factories

The goal in the project CyPros, which is funded by the German Federal Ministry of Education and Research, is to create a representative spectrum of …

MORES – Modelling and Refinement of Security Requirements on Data and Processes

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

SATCLOUD – Secure and highly-available Trust contexts for mixed cloud scenarios

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

SHIP – Semantic Integration of Heterogenous Processes

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

FormalSafe – Formal Development for Safe Robotics

FormalSafe aims at the computer-supported management of the many and diverse documents produced during the development of highly dependable systems, …

GenMod – Generic Algorithms and Complexity Bounds in Coalgebraic Modal Logic

This project is concerned with the extension of existing generic algorithmic methods in coalgebraic modal logic, conceived as a generic semantic …