Projekte

Seite 1 von 1.

Fast&Slow - Kombination Symbolischer und Subsymbolischer Methoden
Deep-Learning-Verfahren werden in vielen Anwendungsgebieten
eingesetzt und arbeiten nach einer Trainingsphase sehr effizient. Allerdings kann über ihre …
SecProPort - Skalierbare Sicherheitsarchitekturen für die Geschäftsprozesse in deutschen Häfen
Moderne See- und Binnenhäfen werden zunehmend durch IT-Systeme gesteuert. Jeder der am Hafentransport beteiligten Akteure (wie z.B. Terminalbetreiber, …
SATiSFy - Validierung von SAfeTy- und Security-Anforderungen in autonomen Fahrzeugen
Ziel dieses Projektes ist es, Techniken zur Erfassung und frühzeitigen Verifikation von Anforderungen für Systeme zur autonomen Fahrzeugführung zu …
SaferApps - Sichere Ausführung von Fremdapplikationen in einer Unternehmensinfrastruktur
Ziel des Projekts ist die Entwicklung und Umsetzung geeigneter Sicherheitspolitiken, die es erlauben, inkrementell Softwarepakete in bestehende …
MORES2 - Modelling and Refinement of Security Requirements on Data and Processes 2
Das Projekt MORES2 zielt auf die Entwicklung geeigneter Verfeinerungstechniken für Workflow-Spezifikationen. Dabei müssen zum einen die verschiedenen …
SiSSi - Software Engineering for Spreadsheet Interaction
Hintergrund für das Projekt SiSSi ist die seit Jahren stark wachsende Bedeutung und Komplexität von Spreadsheets zur Analyse und Visualisierung von …
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 …
SATCLOUD - Secure and highly-available Trust contexts for mixed cloud scenarios
Cloud Computing ist in der Zukunft ein zentraler Bestandteil von IT-Infrastruktur in Organisationen. Typischerweise werden dabei jedoch nicht alle …
SIMPLE - Semantisch fundierte Implementierung klinischer Leitlinien
Das Forschungsprojekt SIMPLE hat sich zum Ziel gesetzt, durch Softwareunterstützung die Einhaltung klinischer Leitlinien in der medizinischen …
SHIP - Semantic Integration of Heterogenous Processes
Ziel des Projektes SHIP ist es, die semantische Modellierung und Analyse, und darauf basierende Verifkationstechniken zu nutzen, zu erweitern und zu …
FormalSafe - Formale Entwicklung für Sichere Robotik
FormalSafe zielt auf die computergestützte Verwaltung der vielen Arten von Dokumenten, die in der Entwicklung hochzuverlässiger Systeme vorkommen, mit …