Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Person

Druckansicht

Professorin Dr.-Ing. Ina Schaefer

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

Projekte

Als Antragstellerin
- laufende Projekte
  - Kontinuierliche Exploration unendlich konfigurierbarer Cyber-physischer Systeme für Sample-basiertes Testen. (Sachbeihilfen)
- abgeschlossene Projekte
  - Feature-orientierte Verifikation von Softwareproduktlinien (Forschungsstipendien)
  - Skalierbare Verifikation von Variablen und Evolvierenden Systemen (SCAVES) (Sachbeihilfen)
  - Scalable design and performance analysis for long-living software families (DAPS2) (Schwerpunktprogramme)
  - Integrated Model-based Testing of Continuously Evolving Software Product Lines (IMoTEP 2) (Schwerpunktprogramme)
  - Formale Methoden für Contracting (Forschungsgruppen)
  - Reverse Engineering von Softwareproduktlinien für Maschinen und Anlagenbau (Sachbeihilfen)
Als Teilprojektleiterin
- laufende Projekte
  - Aufrechterhaltung der Konsistenz zwischen Varianten und Versionen (Sonderforschungsbereiche)
  - Entwicklung konsistenter CPS-Generationen (Sonderforschungsbereiche)
  - Konsistenzbewusstes Testen von CPS-Varianten und -Versionen (Sonderforschungsbereiche)

© 2024 DFG Kontakt / Impressum / Datenschutz