Search for persons
X
?
Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B ,
1
Derivation of subset product lines in FeatureIDE:
, In:
?
Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems ,
6
Explaining Edits to Variability Annotations in Evolving Sof..:
, In:
?
Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems ,
7
Partial Proofs to Optimize Deductive Verification of Featur..:
, In:
?
Proceedings; 2024 Stuttgart International Symposium on Automotive and Engine Technology ,
8
Integrated Approach for High-quality Software Development o..:
, In:
?
Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A ,
9
Continuous T-Wise Coverage:
, In:
?
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops; Lecture Notes in Computer Science ,
10
VarCorC: Developing Object-Oriented Software Product Lines ..:
, In:
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
11
Model-Based Fault Classification for Automotive Software:
, In:
?
Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences ,
12
Generic Solution-Space Sampling for Multi-domain Product Li..:
, In:
?
15th International Working Conference on Variability Modelling of Software-Intensive Systems ,
13
Stability of Product-Line Samplingin Continuous Integration:
, In:
?
Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B ,
14
Integration of UVL in FeatureIDE:
, In:
?
Natural Language Processing and Information Systems; Lecture Notes in Computer Science ,
15