Ina Schaefer
Technische Universität Braunschweig
H-index: 47
Europe-Germany
Top articles of Ina Schaefer
Ernst Denert Software Engineering Award 2022
2024/3/28
Explaining Edits to Variability Annotations in Evolving Software Product Lines
2024/2/7
Sampling Cardinality-Based Feature Models
2024/2/7
Ina Schaefer
H-Index: 29
Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines
2024/2/7
Tobias Runge
H-Index: 4
Ina Schaefer
H-Index: 29
Methods, approaches and applications in software-driven manufacturing
2023/5/25
Birgit Vogel-Heuser
H-Index: 34
Ina Schaefer
H-Index: 29
Systems and software product lines of the future
2023/5/1
Ina Schaefer
H-Index: 29
Correctness-by-Construction: An Overview of the CorC Ecosystem
2023/4/5
Tobias Runge
H-Index: 4
Ina Schaefer
H-Index: 29
Exploiting d-dnnfs for repetitive counting queries on feature models
arXiv preprint arXiv:2303.12383
2023/3/22
Immutability and Encapsulation for Sound OO Information Flow Control
ACM Transactions on Programming Languages and Systems
2023/3/3
Evaluating state-of-the-art# SAT solvers on industrial configuration spaces
Empirical Software Engineering
2023/3
Variability in Products and Production
2023/2/3
Coverage-Driven Test Automation for Highly-Configurable Railway Systems
2023/1/25
Nils Przigoda
H-Index: 10
Ina Schaefer
H-Index: 29
Providing Quantum Readiness: The Vision of the ProvideQ Toolbox
2023
Ina Schaefer
H-Index: 29
Correctness-by-Construction–Wie machen wir bessere Software?(Prof. Dr.-Ing. Ina Schaefer)
2023
Ina Schaefer
H-Index: 29
Quantum Software Engineering-Quo Vadis?
2023
Ina Schaefer
H-Index: 29
Consistency in the View-Based Development of Cyber-Physical Systems (Convide)
2023/10/1
Is scenario generation ready for SOTIF? a systematic literature review
2023/9/24
SOTIF-compliant scenario generation using semi-concrete scenarios and parameter sampling
2023/9/24
Automated Integration of Heteregeneous Architecture Information into a Unified Model
2023/9/8
Lukas Linsbauer
H-Index: 15
Ina Schaefer
H-Index: 29
A Query Language for Software Architecture Information
2023/9/8
Lukas Linsbauer
H-Index: 15
Ina Schaefer
H-Index: 29