Skip to main content Skip to main navigation

Projects

Search narrowed by:

Research Topics: Other Fields of application: Other
Remove all filters
Displaying results 71 to 80 of 84.
  1. CAxMan – Computer Aided Technologies for Additive Manufacturing

    CAxMan – Computer Aided Technologies for Additive Manufacturing

    Project The objectives and application areas for using computer aided technologies for additive manufacturing (CAxMan) are diverse. This project …

  2. SaferApps – Safe Execution of Foreign Application in an Enterprise Infrastructure

    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 …

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

    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 …

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

    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 …

  5. CloudFlow – Computational Cloud Services and Workflows for Agile Engineering

    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 …

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

    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 …

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

    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 …

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

    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 …

  9. SHIP – Semantic Integration of Heterogenous Processes

    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 …

  10. FormalSafe – Formal Development for Safe Robotics

    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, …

Research Departments

More options

Research Topics

More options

Fields of application

More options