Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professor Dr. Ernst-Rüdiger Olderog

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

Projects

As Applicant
- Completed projects
  - Design of communicating real-time systems by combining specification techniques for process, data and time (Research Grants)
  - Einbettung einer objekt-orientierten formalen Methode in einen objekt-orientierten Software-Entwicklungsprozeß (Research Grants)
  - Algorithms for Reengineering and Synthesis (ARS) (Research Grants)
  - Meta-Modeling and Graph Grammars: Generating Development Environments for Modeling Languages (Research Grants)
  - Algorithms for Synthesis and Pre-Synthesis Based on Petri Net Structure Theory (ASYST) (Research Grants)
  - Petri Games: A Semantic and Algorithmic Approach for the Efficient Synthesis of Distributed Reactive Systems (Research Grants)
As Spokesperson
- Completed projects
  - GRK 1076: Trustworthy Software Systems - Construction, Certification, Application (Research Training Groups)
  - GRK 1765: System Correctness under Adverse Conditions - SCARE (Research Training Groups)
As Project Head
- Completed projects
  - Beyond Timed Automata (CRC/Transregios)
  - Automated Verification of Cooperating Traffic Agents (CRC/Transregios)

© 2024 DFG Disclaimer / Copyright / Privacy Policy