Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professorin Dr.-Ing. Ina Schaefer

Address Karlsruher Institut für Technologie (KIT)
KASTEL - Institut für Informationssicherheit und Verlässlichkeit
Am Fasanengarten 5
76131 Karlsruhe

Projects

As Applicant
- Current projects
  - Continuous Exploration of Infinitely Configurable Cyber-Physical Systems for Sample-based Testing (Co-InCyTe) (Research Grants)
- Completed projects
  - Feature-orientierte Verifikation von Softwareproduktlinien (Research Fellowships)
  - Scalable Verification of Variable and Evolvable Systems (SCAVES) (Research Grants)
  - Scalable design and performance analysis for long-living software families (DAPS2) (Priority Programmes)
  - Integrated Model-based Testing of Continuously Evolving Software Product Lines (IMoTEP 2) (Priority Programmes)
  - Formal Methods for Contracting (Research Units)
  - Reverse Engineering Design of Software Product Lines for Automation Technology (RED SPLAT) (Research Grants)
As Project Head
- Current projects
  - Maintaining Consistency between Variants and Versions (Collaborative Research Centres)
  - Engineering Consistent CPS Generations (Collaborative Research Centres)
  - Consistency-Aware Testing of CPS Variants and Versions (Collaborative Research Centres)

© 2024 DFG Disclaimer / Copyright / Privacy Policy