Project Details
Person
Professor Dr. Rupak Majumdar
Address
Max-Planck-Institut für Softwaresysteme
Paul-Ehrlich-Straße 26
67663 Kaiserslautern
-
As Project Head
-
Current projects
-
Dynamical, Hybrid, and Probabilistic Systems: Verification & Explication (CRC/Transregios)
-
Programming Abstractions for Cyber-Physical Systems (CRC/Transregios)
-
-
Completed projects
-
Probabilistic Causality and Explications (CRC/Transregios)
-
-
Current projects
-
As Participating Person
-
Completed projects
-
Robustness against Relaxed Memory Models (R2M2) (Research Grants)
-
-
Completed projects
