Professor Dr. Arnd Poetzsch-Heffter

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

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Semantische Kapselung und Nebenläufigkeitstransparenz in der objektorientierten Programmierung (Sachbeihilfen)
  - Modular verification of security properties in actor implementations (Schwerpunktprogramme)
Als Beteiligte Person
- abgeschlossene Projekte
  - Robustheit gegenüber schwachen Speichermodellen (Sachbeihilfen)