Project Details

Professorin Dr. Heike Wehrheim

Address 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

Projects

As Applicant
- Current projects
  - Concurrency Reasoning for Weak Memory (Research Grants)
  - Cooperative Software Verification 2 (Research Grants)
- Completed projects
  - Verifikationstechniken für Spezifikationen verteilter Systeme mit objektorientierten daten- und prozeßorientierten Verhaltensbeschreibungen (Research Fellowships)
  - Einbettung einer objekt-orientierten formalen Methode in einen objekt-orientierten Software-Entwicklungsprozeß (Research Grants)
  - Modelltransformationen und Modellrefactorings für integrierte Spezifikationsformalismen (Research Grants)
  - Abstraktionstechniken zur Verifikation lokaler Eigenschaften großer paralleler Systeme (Research Grants)
  - Lina4WM Linearizability Proofs for Weak Memory Models (Research Grants)
  - VaST - Validation of Software Transactional Memory (Research Grants)
As Participating Researcher
- Current projects
  - GRK 2972: CAUSE Concepts and Algorithms for – and Usage of – Self-Explaining Digitally Controlled Systems (Research Training Groups)
- Completed projects
  - GRK 1076: Trustworthy Software Systems - Construction, Certification, Application (Research Training Groups)
As Project Head
- Completed projects
  - Design Techniques for Safety-Critical, Self-Optimizing Multi-Agent Systems in the Context of Mechatronic (Collaborative Research Centres)
  - Composition analysis in uncertain contexts (Collaborative Research Centres)
  - Proof-Carrying Services (Collaborative Research Centres)

Servicenavigation

Hauptnavigation

Professorin Dr. Heike Wehrheim

Additional Information

Servicenavigation

Hauptnavigation

Professorin Dr. Heike Wehrheim

Additional Information

Textvergrößerung und Kontrastanpassung