Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)

Adresse Robert-Hooke-Straße 1
28359 Bremen
Deutschland

GERiT Diese Institution in GERiT

28359 Bremen

Projekte

Schwerpunktprogramme
- abgeschlossene Projekte
  - Umsetzung und Erweiterung von Informationsflusskontroltechniken zur Entwicklung sicherer Systeme am Beispiel von Workflow-Systemen (MORES2)
    (Antragsteller Hutter, Dieter )
  - Umsetzung von Sicherheitspolitiken auf eine strukturierte, formale Softwareentwicklung
    (Antragsteller Hutter, Dieter )
Sachbeihilfen
- abgeschlossene Projekte
  - Beweisplanen mit Hilfe von Differenz-Reduktionstechniken
    (Antragsteller Hutter, Dieter )
  - Entwicklung von Methoden und Werkzeugen zur semantischen Aufwertung von Tabellenkalkulation
    (Antragsteller Hutter, Dieter ; Kohlhase, Michael )
  - Ontology-Driven Management of Change
    (Antragsteller Hutter, Dieter ; Kohlhase, Michael )
Graduiertenkollegs
- abgeschlossene Projekte
  - GRK 1572: Bionik - Interaktionen über Grenzflächen zur Außenwelt
    (Sprecher von der Emde, Gerhard )