Karlsruher Institut für Technologie (KIT)
Institut für Programmstrukturen und Datenorganisation (IPD)
Address
Am Fasanengarten 5
76131 Karlsruhe
Deutschland
GERiT
This institution in GERiT
76131 Karlsruhe
Projects
Research Grants
Current projects
FeCoMASS -- Featured Composition of Model-based Analyses for Software-intensive Systems
(Applicants
Heinrich, Robert
;
Rumpe, Bernhard
)
Completed projects
Enabling trust by fluid access control to data and physical resources in Industry 4.0 systems
(Applicant
Heinrich, Robert
)
Optimierung von Leistung und Datenorganisation eines Linux-Clusters der 150-Gflops-Klasse im praktischen Einsatz
(Applicant
Lippert, Thomas
)
Optimierung von Leistung und Datenorganisation eines Linux-Clusters der 150-Gflops-Klasse im praktischen Einsatz
(Applicant
Tichy, Walter
)
Optimization of the cache performance of datastructures
(Applicant
Goos, Gerhard
)
Representation, analyses and transformation of component systems for adaptation and optimization
(Applicant
Goos, Gerhard
)
Verifikation von Übersetzerspezifikationen, -implementierungen und -generierungstechniken
(Applicant
Goos, Gerhard
)
Collaborative Research Centres
Current projects
Complexity of Consistency
(Project Heads
Atkinson, Colin
;
Burger, Erik
;
Ulbrich, Mattias
)
Consistency of Data-Defined Models
(Project Heads
Althoff, Matthias
;
Platzer, André
)
Consistency of Hybrid / Continuous Models
(Project Heads
Althoff, Matthias
;
Platzer, André
;
Pretschner, Alexander
)
Consistency Under Uncertainty
(Project Heads
Acosta, Maribel
;
Koziolek, Anne
)
Maintaining Consistency between Variants and Versions
(Project Heads
Aßmann, Uwe
;
Burger, Erik
;
Schaefer, Ina
)
Processes for Consistent CPS Engineering
(Project Heads
Albers, Albert
;
Koziolek, Anne
)
Recovery from Temporary Inconsistency
(Project Heads
Koziolek, Anne
;
Ulbrich, Mattias
)
Research Training Group
(Project Heads
Beckert, Bernhard
;
Koziolek, Anne
)
Completed projects
Kooperation in verteilten Objektbanken
(Project Heads
Hillebrand, Gerd
;
Lockemann, Peter C.
)
Research Training Groups
Current projects
GRK 2153: Energy Status Data - Informatics Methods for its Collextion, Analysis and Exploitation
(Spokesperson
Böhm, Klemens
)
NFDI technical and methodological consortia
Current projects
National Research Data Infrastructure for and with Computer Science
(Spokesperson
Goedicke, Michael
)
