Project Details
Professor Dr. Ralf Heinrich Reussner
Address
Karlsruher Institut für Technologie (KIT)
Institut für Programmstrukturen und Datenorganisation
Software Design and Quality
Am Fasanengarten 5
76131 Karlsruhe
-
As Applicant
-
Completed projects
-
Procedures and tools for constructing component-based software architectures with predictable properties (Independent Junior Research Groups)
-
Scientific Coordination of SPP 1593 (Priority Programmes)
-
Serviceproject (Priority Programmes)
-
Scientific Coordination of SPP 1593 (Priority Programmes)
-
-
Completed projects
-
As Spokesperson
-
Current projects
-
SFB 1608: Consistency in the View-Based Development of Cyber-Physical Systems (Collaborative Research Centres)
-
-
Completed projects
-
SPP 1593: Design for Future - Managed Software Evolution (Priority Programmes)
-
-
Current projects
-
As Participating Researcher
-
Completed projects
-
GRK 1076: Trustworthy Software Systems - Construction, Certification, Application (Research Training Groups)
-
-
Completed projects
-
As Project Head
-
Current projects
-
Formalising and Relating Different Notions of Consistency (Collaborative Research Centres)
-
B02 Concurrent Editing and Transactionality (Collaborative Research Centres)
-
Consistency-Enabled Incremental Quality Analysis of CPS (Collaborative Research Centres)
-
Central Tasks of the CRC (Collaborative Research Centres)
-
-
Current projects
-
As Co-Spokesperson
-
Current projects
-
National Research Data Infrastructure for and with Computer Science (NFDI technical and methodological consortia)
-
-
Current projects
- As Co-Investigator