E-LIB Suche - Ergebnisse für: Sundermann, Chico

1

How Easy is SAT-Based Analysis of a Feature Model?:

, In: Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems,

Kuiter, Elias ; Heß, Tobias ; Sundermann, Chico... - p. 149-151 , 2024

Link: https://dl.acm.org/doi/1..

2

UVLParser : Extending UVL with Language Levels and Conve..:

, In: Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume B,

Sundermann, Chico ; Vill, Stefan ; Thüm, Thomas... - p. 39-42 , 2023

Link: https://dl.acm.org/doi/1..

3

Second Tutorial on the Universal Variability Language:

, In: Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A,

Krieter, Sebastian ; Feichtinger, Kevin ; Galindo, José A.... - p. 273 ff. , 2023

Link: https://dl.acm.org/doi/1..

4

UVLS : A Language Server Protocol For UVL:

, In: Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume B,

Loth, Jacob ; Sundermann, Chico ; Schrull, Tobias... - p. 43-46 , 2023

Link: https://dl.acm.org/doi/1..

5

On the benefits of knowledge compilation for feature-model ..:

Sundermann, Chico ; Kuiter, Elias ; Heß, Tobias...
Annals of Mathematics and Artificial Intelligence. , 2023

Link: https://doi.org/10.1007/..

6

Evaluating state-of-the-art # SAT solvers on industrial con..:

Sundermann, Chico ; Heß, Tobias ; Nieke, Michael...
Empirical Software Engineering. 28 (2023) 2 - p. , 2023

Link: https://doi.org/10.1007/..

7

Tseitin or not Tseitin? The Impact of CNF Transformations o..:

, In: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering,

Kuiter, Elias ; Krieter, Sebastian ; Sundermann, Chico.. - p. 1-13 , 2022

Link: https://dl.acm.org/doi/1..

8

Tutorial on the universal variability language:

, In: Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume A,

Sundermann, Chico ; Feichtinger, Kevin ; Galindo, José A.... - p. 260 ff. , 2022

Link: https://dl.acm.org/doi/1..

9

It's your loss : classifying information loss during var..:

, In: Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume A,

Feichtinger, Kevin ; Sundermann, Chico ; Thüm, Thomas. - p. 67-78 , 2022

Link: https://dl.acm.org/doi/1..

10

ddueruem : a wrapper for feature-model analysis tools:

, In: Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B,

Heß, Tobias ; Müller, Tobias ; Sundermann, Chico. - p. 54-57 , 2022

Link: https://dl.acm.org/doi/1..

11

Quantifying the variability mismatch between problem and so..:

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems,

Hentze, Marc ; Sundermann, Chico ; Thüm, Thomas. - p. 322-333 , 2022

Link: https://dl.acm.org/doi/1..

12

Generic Solution-Space Sampling for Multi-domain Product Li..:

, In: Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences,

Hentze, Marc ; Pett, Tobias ; Sundermann, Chico... - p. 135-147 , 2022

Link: https://dl.acm.org/doi/1..

13

Integration of UVL in FeatureIDE:

, In: Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B,

Sundermann, Chico ; Heß, Tobias ; Engelhardt, Dominik... - p. 73-79 , 2021

Link: https://dl.acm.org/doi/1..

14

Applications of #SAT Solvers on Feature Models:

, In: 15th International Working Conference on Variability Modelling of Software-Intensive Systems,

Sundermann, Chico ; Nieke, Michael ; Bittner, Paul M.... - p. 1-10 , 2021

Link: https://dl.acm.org/doi/1..

15

On the scalability of building binary decision diagrams for..:

, In: Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A,

Heß, Tobias ; Sundermann, Chico ; Thüm, Thomas - p. 131-135 , 2021

Link: https://dl.acm.org/doi/1..