Projects
current
- ASSAM (Assistants for Safe Mobility)
- MORES (Modelling and Refinement of Security Requirements on Data and Processes)
- RESCAR (2.0) (Robust design of new electronic components for applications in the field of electromobility)
- SATCLOUD (Secure and highly-available Trust contexts for mixed cloud scenarios)
- SHIP (Semantic Integration of Heterogenous Processes)
- SIMPLE (Semantically Founded Implementation of Clinical Practice Guidelines)
- SiSSY (Software Engineering for Spreadsheet Interaction)
completed
- AWE (Abstraction and Reuse of Formal Developments )
- FormalSafe (Formal Development for Safe Robotics)
- GenMod (Generic Algorithms and Complexity Bounds in Coalgebraic Modal Logic)
- HasCASL (HasCASL)
- Hets (Heterogeneous Tool Set )
- LATIN (Logic Atlas & Integrator )
- MMISS (Multimedia - Instruktion in Sicheren Systemen )
- PGKit (Generic User Interfaces for Interactive Theorem Provers )
- SAMS (Safety component for autonomous mobile service robots )
- SATCloud (Sichere und hochverfügbare Vertrauenskontexte für Mixed-Cloud-Szenarien)
- SHARE-it (Supported Human Autonomy for Recovery and Enhancement of cognitive and motor abilities using information technologies)
- SPP RoboCup (Automatic recognition of plans and intentions of mobile robots in cooperating and competing dynamic environments )