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
