Professor Dr. Ernst-Rüdiger Olderog

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

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Entwicklung von kommunizierenden und zeitkritischen Systemen durch Kombination von Prozessen, Daten und Zeit (Sachbeihilfen)
  - Einbettung einer objekt-orientierten formalen Methode in einen objekt-orientierten Software-Entwicklungsprozeß (Sachbeihilfen)
  - Algorithmen für Reengineering und Synthese (ARS) (Sachbeihilfen)
  - Metamodellierung und Graphgrammatiken: Generierung von Entwicklungsumgebungen für Modellierungssprachen (Sachbeihilfen)
  - Algorithmen für Synthese und Präsynthese auf Grundlage der Strukturtheorie von Petrinetzen (ASYST) (Sachbeihilfen)
  - Petri-Spiele: ein semantischer und algorithmischer Ansatz für die effiziente Synthese von verteilten reaktiven Systemen (Sachbeihilfen)
Als Sprecher
- abgeschlossene Projekte
  - GRK 1076: Vertrauenswürdige Software Systeme - Konstruktion, Zertifizierung, Einsatz (Graduiertenkollegs)
  - GRK 1765: Systemkorrektheit unter widrigen Umständen - SCARE (Graduiertenkollegs)
Als Teilprojektleiter
- abgeschlossene Projekte
  - Über Realzeitautomaten hinaus (Transregios)
  - Automatisierte Verifikation kooperierender Verkehrssysteme (Transregios)