Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Carl von Ossietzky Universität Oldenburg
Department für Informatik
Abteilung Entwicklung korrekter Systeme

Address 26111 Oldenburg
Deutschland

GERiT This institution in GERiT

26111 Oldenburg

Projects

Research Grants
- Completed projects
Research Training Groups
- Completed projects
  - GRK 1076: Trustworthy Software Systems - Construction, Certification, Application
    (Spokespersons Hasselbring, Wilhelm ; Olderog, Ernst-Rüdiger )
  - GRK 1765: System Correctness under Adverse Conditions - SCARE
    (Spokesperson Olderog, Ernst-Rüdiger )
CRC/Transregios
- Completed projects
  - Automated Verification of Cooperating Traffic Agents
    (Project Heads Althaus, Ernst ; Damm, Werner ; Olderog, Ernst-Rüdiger ; Scholl, Christoph ; Sofronie-Stokkermans, Viorica ; Waldmann, Uwe )
  - Beyond Timed Automata
    (Project Heads Finkbeiner, Bernd ; Fränzle, Martin ; Olderog, Ernst-Rüdiger ; Podelski, Andreas ; Sofronie-Stokkermans, Viorica )

© 2024 DFG Disclaimer / Copyright / Privacy Policy