Professor Dr. Rupak Majumdar

Adresse Max-Planck-Institut für Softwaresysteme
Paul-Ehrlich-Straße G 26
67663 Kaiserslautern

Projekte

Als Teilprojektleiter
- laufende Projekte
  - Dynamische, Hybride und Probabilistische Systeme: Verifikation & Erklärung (Transregios)
  - Programmierabstraktionen für cyber-physische Systeme (Transregios)
- abgeschlossene Projekte
  - Probabilistische Kausalität und Erklärungen (Transregios)
Als Beteiligte Person
- abgeschlossene Projekte
  - Robustheit gegenüber schwachen Speichermodellen (Sachbeihilfen)