Universität Augsburg
Fakultät für Angewandte Informatik
Institute for Software und Systems Engineering
Address
Universitätsstraße 6a
86159 Augsburg
Deutschland
GERiT
This institution in GERiT
86159 Augsburg
Projects
Priority Programmes
Completed projects
Developing Systems with Secure Information Flow
(Applicant
Reif, Wolfgang
)
Formale Methoden für den sicheren Einsatz von Java Chipkarten
(Applicant
Reif, Wolfgang
)
Formal Modeling, Safety Analysis, and Verification of Organic Computing Applications
(Applicant
Reif, Wolfgang
)
Ingenieurwissenschaftliche Sicherheitsanalyse im Kontext formaler Spezifikation
(Applicant
Reif, Wolfgang
)
Research Grants
Current projects
Correct translation of abstract specifications to C-Code
(Applicant
Reif, Wolfgang
)
Completed projects
COMBO – Combining Planning, Self-Organization and Reconfiguration in Robot Ensembles for ScORe Missions
(Applicant
Reif, Wolfgang
)
Flashix II: Incremental verification of non-local refinements
(Applicant
Reif, Wolfgang
)
Interoperabilität von Kalkülen zur Systemmodellierung
(Applicant
Reif, Wolfgang
)
Modellgetriebene Softwareentwicklung für sichere Systeme
(Applicant
Reif, Wolfgang
)
TeamBotS - A tool-supported methodology for developing software for dynamic teams of robots
(Applicants
Reif, Wolfgang
;
Voggenreiter, Heinz
)
Testing self-organizing, adaptive systems (TeSOS)
(Applicants
Knapp, Alexander
;
Reif, Wolfgang
)
Verifikation Lock-freier Algorithmen
(Applicant
Reif, Wolfgang
)
Research Units
Completed projects
Coordination
(Applicant
Reif, Wolfgang
)
FOR 1085: OC-TRUST - Trustworthiness of Organic Computing Systems
(Spokesperson
Reif, Wolfgang
)
ForSa@OC-TRUST: Formal Analysis and Software Architectures for Trustworthy Organic Computing
(Applicant
Reif, Wolfgang
)