Professor Dr. Arnd Poetzsch-Heffter

Address Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
Universitätsleitung - Präsidium
Gottlieb-Daimler-Straße 47
67663 Kaiserslautern

Projects

As Applicant
- Completed projects
  - Semantische Kapselung und Nebenläufigkeitstransparenz in der objektorientierten Programmierung (Research Grants)
  - Modular verification of security properties in actor implementations (Priority Programmes)
As Participating Person
- Completed projects
  - Robustness against Relaxed Memory Models (R2M2) (Research Grants)