Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professor Dr. Wolfgang Reif

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

Projects

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

© 2024 DFG Disclaimer / Copyright / Privacy Policy