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

1

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

2

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

3

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

4

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

5

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

6

SPLC '22: Proceedings of the 26th ACM International Systems..:

Feichtinger, Kevin ; Sundermann, Chico ; Thüm, Thomas.
vignette : https://epub.jku.at/titlepage/urn/urn:nbn:at:at-ubl:3-16279/128. , 2022

Link: https://doi.org/10.1145/..

7

Quantifying the variability mismatch between problem and so..:

Hentze, Marc ; Sundermann, Chico ; Thüm, Thomas.
info:eu-repo/semantics/altIdentifier/doi/10.1145/3550355.3552411. , 2022

Link: https://publikationen.bi..

8

Incremental Construction of Modal Implication Graphs for Ev..:

Krieter, Sebastian ; Arens, Rahel ; Nieke, Michael...
Krieter , S , Arens , R , Nieke , M , Sundermann , C , Heß , T , Thüm , T & Seidl , C 2021 , Incremental Construction of Modal Implication Graphs for Evolving Feature Models . in Proceedings of the 25th ACM International Systems and Software Product Line Conference (SPLC'21) - Volume A . Association for Computing Machinery , pp. 64–74 . https://doi.org/10.1145/3461001.3471148 , https://doi.org/10.1145/3461001.3471148. , 2021

Link: https://pure.itu.dk/port..

9

Applications of #SAT Solvers for Product Lines: Master's Th..:

Sundermann, Chico
https://doi.org/10.24355/dbbs.084-202009161329-0. , 2020

Link: https://doi.org/10.24355..

10

Computing Attribute Ranges for Partial Configurations with ..:

Sprey, Joshua ; Sundermann, Chico
https://doi.org/10.24355/dbbs.084-201807060926-0. , 2018

Link: https://doi.org/10.24355..

11

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

12

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

Elias Kuiter ; Sebastian Krieter ; Chico Sundermann..
https://github.com/ekuiter/tseitin-or-not-tseitin. , 2022

Link: https://zenodo.org/recor..

13

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

Elias Kuiter ; Sebastian Krieter ; Chico Sundermann..
https://github.com/ekuiter/tseitin-or-not-tseitin. , 2022

Link: https://zenodo.org/recor..

14

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

Elias Kuiter ; Sebastian Krieter ; Chico Sundermann..
https://github.com/ekuiter/tseitin-or-not-tseitin. , 2022

Link: https://zenodo.org/recor..

15

SoftVarE-Group/emse-evaluation-sharpsat: EMSE Publication:

Chico Sundermann
https://github.com/SoftVarE-Group/emse-evaluation-sharpsat/tree/v1.0. , 2022

Link: https://zenodo.org/recor..