Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

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
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 )

© 2024 DFG Disclaimer / Copyright / Privacy Policy