Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Chico Sundermann
39  Ergebnisse:
Personensuche X
?
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

UVLHub: A feature model data repository using UVL and open ..:

Romero-Organvidez, David ; Galindo, José A. ; Sundermann, Chico..
Journal of Systems and Software.  , 2024
Link: https://doi.org/10.1016/..
 
?
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

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/..
 
?
5

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..
 
?
6

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/..
 
?
7

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..
 
?
8

ddueruem: A Wrapper for Feature-Model Analysis Tools:

Heß, Tobias ; Müller, Tobias ; Sundermann, Chico.
http://dx.doi.org/10.18725/OPARU-50730.  , 2023
Link: https://doi.org/10.18725..
 
?
9

UVLHub: a feature model data repository using UVL and open ..:

David Romero-Organvidez ; José A. Galindo ; Chico Sundermann..
doi:10.5281/zenodo.8189754.  , 2023
Link: https://zenodo.org/recor..
 
?
10

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

Kuiter, Elias ; Krieter, Sebastian ; Sundermann, Chico..
http://dx.doi.org/10.18725/OPARU-50731.  , 2023
Link: https://doi.org/10.18725..
 
?
11

It's Your Loss: Classifying Information Loss During Variabi..:

Feichtinger, Kevin ; Sundermann, Chico ; Thüm, Thomas.
http://dx.doi.org/10.18725/OPARU-50876.  , 2023
Link: https://doi.org/10.18725..
 
?
12

Exploiting d-DNNFs for Repetitive Counting Queries on Featu..:

Sundermann, Chico ; Raab, Heiko ; Heß, Tobias..
http://arxiv.org/abs/2303.12383.  , 2023
Link: http://arxiv.org/abs/230..
 
?
13

Tutorial on the Universal Variability Language:

Sundermann, Chico ; Feichtinger, Kevin ; Galindo, José A...
http://dx.doi.org/10.18725/OPARU-50877.  , 2023
Link: https://doi.org/10.18725..
 
?
14

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..
 
?
15

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..
 
1-15