Ina Schaefer

Papers

Total Citations

H-Index

About

Ina Schaefer is a leading researcher in software engineering, with a primary focus on variability-aware safety analysis and the formal verification of embedded control software. Her major contributions lie in advancing methods for ensuring the reliability of safety-critical systems that exist as product families—systems with many similar, yet distinct, variants. She pioneered the use of delta component fault diagrams, an extension of traditional Component Fault Diagrams (CFDs), to enable variability-aware safety analysis. This work allows engineers to specify and verify fault propagation paths across multiple system variants simultaneously, streamlining certification processes for complex, configurable safety-critical systems. Her most-cited paper on this topic has garnered 10 citations, reflecting its foundational impact in the field. Additionally, she has contributed to the automated verification of embedded control software, addressing the growing need for rigorous validation in real-time and resource-constrained environments. Schaefer’s work bridges the gap between formal methods and practical software engineering, making her a key figure in the development of dependable, variant-rich systems.