Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

Universität Augsburg
Fakultät für Angewandte Informatik
Institute for Software und Systems Engineering

Adresse Universitätsstraße 6a
86159 Augsburg
Deutschland

GERiT Diese Institution in GERiT

86159 Augsburg

Projekte

Schwerpunktprogramme
- abgeschlossene Projekte
  - Entwicklung von Systemen mit sicherem Informationsfluss
    (Antragsteller Reif, Wolfgang )
  - Formale Methoden für den sicheren Einsatz von Java Chipkarten
    (Antragsteller Reif, Wolfgang )
  - Formal Modeling, Safety Analysis, and Verification of Organic Computing Applications
    (Antragsteller Reif, Wolfgang )
  - Ingenieurwissenschaftliche Sicherheitsanalyse im Kontext formaler Spezifikation
    (Antragsteller Reif, Wolfgang )
Sachbeihilfen
- laufende Projekte
  - Korrekte Übersetzung abstrakter Spezifikationen in C-Programme
    (Antragsteller Reif, Wolfgang )
- abgeschlossene Projekte
  - COMBO – Kombination von Planung, Selbst-Organisation und Rekonfiguration in einem Roboterensemble zur Ausführung von ScORe Missionen
    (Antragsteller Reif, Wolfgang )
  - Flashix II: Inkrementelle Verifikation nicht-lokaler Verfeinerungen
    (Antragsteller Reif, Wolfgang )
  - Interoperabilität von Kalkülen zur Systemmodellierung
    (Antragsteller Reif, Wolfgang )
  - Modellgetriebene Softwareentwicklung für sichere Systeme
    (Antragsteller Reif, Wolfgang )
  - TeamBotS - Eine toolunterstützte Methodik zur Entwicklung von Software für dynamische Roboterteams
    (Antragsteller Reif, Wolfgang ; Voggenreiter, Heinz )
  - Testen selbst-organisierender, adaptiver Systeme (TeSOS)
    (Antragsteller Knapp, Alexander ; Reif, Wolfgang )
  - Verifikation Lock-freier Algorithmen
    (Antragsteller Reif, Wolfgang )
Forschungsgruppen
- abgeschlossene Projekte
  - FOR 1085: OC-TRUST - Vertrauenswürdigkeit von Organic Computing Systemen
    (Sprecher Reif, Wolfgang )
  - ForSa@OC-TRUST: Formale Analyse und Softwarearchitekturen für Vertrauenswürdiges Organic Computing
    (Antragsteller Reif, Wolfgang )
  - Koordination
    (Antragsteller Reif, Wolfgang )

© 2024 DFG Kontakt / Impressum / Datenschutz