Detailseite
Person
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
- Als Antragsteller
- laufende Projekte
- 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)
- Koordination (Forschungsgruppen)
- Entwicklung von Systemen mit sicherem Informationsfluss (Schwerpunktprogramme)
-
Testen selbst-organisierender, adaptiver Systeme (TeSOS) (Sachbeihilfen)
-
- laufende Projekte
- Als Sprecher
