Projekte

laufend

• ASSAM (Assistants for Safe Mobility)
• MORES (Modelling and Refinement of Security Requirements on Data and Processes)
• RESCAR (2.0) (Robuster Entwurf von neuen Elektronikkomponenten für Anwendungen im Bereich Elektromobilität)
• SATCLOUD (Secure and highly-available Trust contexts for mixed cloud scenarios)
• SHIP (Semantic Integration of Heterogenous Processes)
• SIMPLE (Semantisch fundierte Implementierung klinischer Leitlinien)
• SiSSi (Software Engineering for Spreadsheet Interaction)

abgeschlossen

• AWE (Abstraktion und Wiederverwendung Formaler Entwicklungen )
• FormalSafe (Formale Entwicklung für Sichere Robotik)
• GenMod (Generische Algorithmen und Komplexitätsschranken für Koalgebraische Modallogiken)
• HasCASL (HasCASL)
• Hets (Heterogeneous Tool Set )
• LATIN (Logic Atlas & Integrator )
• MMISS (Multimedia - Instruktion in Sicheren Systemen )
• PGKit (Generische Benutzerschnittstellen für interaktive Theorembeweiser )
• SAMS (Sicherungskomponente für Autonome Mobile Systeme )
• 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 (Automatische Plan- und Intentionserkennung fremder mobiler Roboter in kooperierenden und konkurrierenden dynamischen Umgebungen )