Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

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 )

© 2024 DFG Disclaimer / Copyright / Privacy Policy