Personensuche
X
?
Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems ,
1
How Easy is SAT-Based Analysis of a Feature Model?:
, In:
?
Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A ,
2
Second Tutorial on the Universal Variability Language:
, In:
?
Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume B ,
3
UVLParser : Extending UVL with Language Levels and Conve..:
, In:
?
Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume B ,
4
UVLS : A Language Server Protocol For UVL:
, In:
?
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering ,
5
Tseitin or not Tseitin? The Impact of CNF Transformations o..:
, In:
?
Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume A ,
6
Tutorial on the universal variability language:
, In:
?
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems ,
7
Quantifying the variability mismatch between problem and so..:
, In:
?
Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B ,
8
ddueruem : a wrapper for feature-model analysis tools:
, In:
?
Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume A ,
9
It's your loss : classifying information loss during var..:
, In:
?
Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences ,
10
Generic Solution-Space Sampling for Multi-domain Product Li..:
, In:
?
Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A ,
11
Incremental construction of modal implication graphs for ev..:
, In:
?
Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A ,
12
On the scalability of building binary decision diagrams for..:
, In:
?
Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A ,
13
Yet another textual variability language? : a community ..:
, In:
?
15th International Working Conference on Variability Modelling of Software-Intensive Systems ,
14
Applications of #SAT Solvers on Feature Models:
, In:
?
Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B ,
15