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

Detailseite

Person

Druckansicht

Professor Dr. Wolfgang Reif

Adresse Universität Augsburg
Fakultät für Angewandte Informatik
Institute for Software und Systems Engineering
Universitätsstraße 6a
86159 Augsburg

Projekte

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

© 2024 DFG Kontakt / Impressum / Datenschutz