Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Karlsruher Institut für Technologie
KASTEL - Institut für Informationssicherheit und Verlässlichkeit

Address Am Fasanengarten 5
76131 Karlsruhe
Deutschland

GERiT This institution in GERiT

76131 Karlsruhe

Projects

Research Grants
- Current projects
  - Continuous Exploration of Infinitely Configurable Cyber-Physical Systems for Sample-based Testing (Co-InCyTe)
    (Applicants Lochau, Malte ; Schaefer, Ina )
  - Propositional Proofs as Big Data
    (Applicant Schreiber, Dominik )
- Completed projects
  - Reverse Engineering Design of Software Product Lines for Automation Technology (RED SPLAT)
    (Applicants Schaefer, Ina ; Vogel-Heuser, Birgit )
  - Scalable Verification of Variable and Evolvable Systems (SCAVES)
    (Applicant Schaefer, Ina )
Priority Programmes
- Current projects
  - Coordination Funds
    (Applicant Schaefer, Ina )
  - Seamless Development of Quantum Software with Stakeholder-Specific Views
    (Applicants Mauerer, Wolfgang ; Schaefer, Ina )
  - SPP 2514: Quantum Software, Algorithms and Systems - Concepts, Methods and Tools for the Quantum Software Stack
    (Spokesperson Schaefer, Ina )
- Completed projects
  - Integrated Model-based Testing of Continuously Evolving Software Product Lines (IMoTEP 2)
    (Applicants Lochau, Malte ; Schaefer, Ina )
  - Scalable design and performance analysis for long-living software families (DAPS2)
    (Applicant Schaefer, Ina )
Research Fellowships
- Completed projects
  - Feature-orientierte Verifikation von Softwareproduktlinien
    (Applicant Schaefer, Ina )
Research Units
- Completed projects
  - FOR 1800: Controlling Concurrent Change (CCC)
    (Spokesperson Ernst, Rolf )
  - Formal Methods for Contracting
    (Applicant Schaefer, Ina )
Collaborative Research Centres
- Current projects
  - Consistency-Aware Testing of CPS Variants and Versions
    (Project Heads Albers, Albert ; Sax, Eric ; Schaefer, Ina )
  - Dynamic Consistency Management for Autonomous Traffic Agents
    (Project Head Schwammberger, Maike )
  - Engineering Consistent CPS Generations
    (Project Heads Albers, Albert ; Schaefer, Ina )
  - Maintaining Consistency between Variants and Versions
    (Project Heads Aßmann, Uwe ; Burger, Erik ; Schaefer, Ina )
Research Training Groups
- Completed projects
  - GRK 895: Information Engineering and Management - A Market Engineering Perspective
    (Spokesperson Weinhardt, Christof )
  - GRK 1194: Self-organising Sensor-Actuator-Networks
    (Spokesperson Hanebeck, Uwe D. )

© 2026 DFG Disclaimer / Copyright / Privacy Policy