Detailseite

Professorin Dr. Heike Wehrheim

Adresse Carl von Ossietzky Universität Oldenburg
Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften
Department für Informatik
Ammerländer Heerstraße 114-118
26129 Oldenburg

Projekte

Als Antragstellerin
- laufende Projekte
  - Verifikation paralleler Programme für schwache Speichermodelle (Sachbeihilfen)
  - Kooperative Softwareverifikation 2 (Sachbeihilfen)
- abgeschlossene Projekte
  - Verifikationstechniken für Spezifikationen verteilter Systeme mit objektorientierten daten- und prozeßorientierten Verhaltensbeschreibungen (Forschungsstipendien)
  - Einbettung einer objekt-orientierten formalen Methode in einen objekt-orientierten Software-Entwicklungsprozeß (Sachbeihilfen)
  - Modelltransformationen und Modellrefactorings für integrierte Spezifikationsformalismen (Sachbeihilfen)
  - Abstraktionstechniken zur Verifikation lokaler Eigenschaften großer paralleler Systeme (Sachbeihilfen)
  - Lina4WM Linearizierbarkeitsbeweise für schwache Speichermodelle (Sachbeihilfen)
  - VaST - Validierung von Software Transaktionalem Speicher (Sachbeihilfen)
Als beteiligte Wissenschaftlerin
- laufende Projekte
  - GRK 2972: CAUSE Konzepte und Algorithmen für - und Nutzung von - selbsterklärenden digital kontrollierten Systemen (Graduiertenkollegs)
- abgeschlossene Projekte
  - GRK 1076: Vertrauenswürdige Software Systeme - Konstruktion, Zertifizierung, Einsatz (Graduiertenkollegs)
Als Teilprojektleiterin
- abgeschlossene Projekte
  - Entwurfstechniken für selbstoptimierende Multiagentsysteme mit mechatronischen Komponenten (Sonderforschungsbereiche)
  - Kompositionsanalyse in unsicheren Kontexten (Sonderforschungsbereiche)
  - Proof-Carrying Services (Sonderforschungsbereiche)

Servicenavigation

Hauptnavigation

Professorin Dr. Heike Wehrheim

Zusatzinformationen

Servicenavigation

Hauptnavigation

Professorin Dr. Heike Wehrheim

Zusatzinformationen

Textvergrößerung und Kontrastanpassung