Project Details
Person
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
-
As Applicant
-
Current projects
-
Cooperative Software Verification (Research Grants)
-
Concurrency Reasoning for Weak Memory (Research Grants)
-
-
Completed projects
-
Lina4WM Linearizability Proofs for Weak Memory Models (Research Grants) -
VaST - Validation of Software Transactional Memory (Research Grants)
-
Current projects
-
As Participating Researcher
-
Completed projects
-
GRK 1076: Trustworthy Software Systems - Construction, Certification, Application (Research Training Groups)
-
-
Completed projects
-
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)
-
-
Completed projects
