Skip to contents

  2. Sundermann, Chico [Author] ; Schaefer, Ina [Degree supervisor]; Nieke, Michael [Degree supervisor]; Thüm, Thomas [Degree supervisor]

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

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Braunschweig: Institut für Softwaretechnik und Fahrzeuginformatik, 2020

  3. Sprey, Joshua [Author]; Sundermann, Chico [Author] ; Schaefer, Ina [Degree supervisor]; Thüm, Thomas [Degree supervisor]

    Computing Attribute Ranges for Partial Configurations with JavaSMT : Bachelor's Thesis

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Braunschweig: Institut für Softwaretechnik und Fahrzeuginformatik, 2018

  5. Sundermann, Chico [Author]; Raab, Heiko [Author]; Heß, Tobias [Author]; Thüm, Thomas [Author]; Schaefer, Ina [Author]

    Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Ulm: Universität Ulm, 2023

  8. Kuiter, Elias [Author]; Krieter, Sebastian [Author]; Sundermann, Chico [Author]; Thüm, Thomas [Author]; Saake, Gunter [Author]

    Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Ulm: Universität Ulm, 2023

  9. Kuiter, Elias [Author]; Krieter, Sebastian [Author]; Sundermann, Chico [Author]; Thüm, Thomas [Author]; Saake, Gunter [Author]

    Tseitin or not Tseitin? : the impact of CNF transformations on feature-model analyses

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2023

    Published in: Software Engineering 2023 ; (2023), Seite 83-84

  10. Heß, Tobias [Author]; Müller, Tobias [Author]; Sundermann, Chico [Author]; Thüm, Thomas [Author]

    ddueruem: A Wrapper for Feature-Model Analysis Tools

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Ulm: Universität Ulm, 2022

  11. Feichtinger, Kevin [Author]; Sundermann, Chico [Author]; Thüm, Thomas [Author]; Rabiser, Rick [Author]

    It’s Your Loss: Classifying Information Loss During Variability Model Roundtrip Transformations

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Ulm: Universität Ulm, 2022

  14. Krieter, Sebastian [Author]; Feichtinger, Kevin [Author]; Galindo, José A. [Author]; Benavides, David [Author]; Rabiser, Rick [Author]; Sundermann, Chico [Author]; Thüm, Thomas [Author]

    Second Tutorial on the Universal Variability Language

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Ulm: Universität Ulm, 2023

  15. Loth, Jacob [Author]; Sundermann, Chico [Author]; Schrull, Tobias [Author]; Brugger, Thilo [Author]; Rieg, Felix [Author]; Thüm, Thomas [Author]

    UVLS: A Language Server Protocol For UVL

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Ulm: Universität Ulm, 2023

  17. Sundermann, Chico [Author]; Feichtinger, Kevin [Author]; Galindo, José A. [Author]; Benavides, David [Author]; Rabiser, Rick [Author]; Krieter, Sebastian [Author]; Thüm, Thomas [Author]

    Tutorial on the Universal Variability Language

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Ulm: Universität Ulm, 2022

  18. Sundermann, Chico [Author]; Vill, Stefan [Author]; Thüm, Thomas [Author]; Feichtinger, Kevin [Author]; Agarwal, Prankur [Author]; Rabiser, Rick [Author]; Galindo, José A. [Author]; Benavides, David [Author]

    UVLParser: Extending UVL with Language Levels and Conversion Strategies

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Ulm: Universität Ulm, 2023

  19. Sundermann, Chico [Author]; Vill, Stefan [Author]; Thüm, Thomas [Author]; Feichtinger, Kevin [Author]; Agarwal, Prankur [Author]; Rabiser, Rick [Author]; Galindo, José A. [Author]; Benavides, David [Author]

    UVLParser: Extending UVL with Language Levels and Conversion Strategies

    Conference Proceedings
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Universität Ulm, 2023-08-28