追蹤
Chico Sundermann
Chico Sundermann
PhD Student, Institute of Software Engineering and Programming Languages, University Ulm
在 uni-ulm.de 的電子郵件地址已通過驗證 - 首頁
標題
引用次數
引用次數
年份
Yet Another Textual Variability Language? A Community Effort Towards a Unified Language
C Sundermann, K Feichtinger, D Engelhardt, R Rabiser, T Thüm
Proceedings of the 25th ACM International Systems and Software Product Line …, 2021
722021
Evaluating #SAT solvers on industrial feature models
C Sundermann, T Thüm, I Schaefer
Proceedings of the 14th International Working Conference on Variability …, 2020
492020
Applications of #SAT Solvers on Feature Models
C Sundermann, M Nieke, PM Bittner, T Heß, T Thüm, I Schaefer
15th International Working Conference on Variability Modelling of Software …, 2021
382021
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses
E Kuiter, S Krieter, C Sundermann, T Thüm, G Saake
37th IEEE/ACM International Conference on Automated Software Engineering, 1-13, 2022
332022
SMT-Based Variability Analyses in FeatureIDE
J Sprey, C Sundermann, S Krieter, M Nieke, J Mauro, T Thüm, I Schaefer
Proceedings of the 14th International Working Conference on Variability …, 2020
322020
Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces
C Sundermann, T Heß, M Nieke, PM Bittner, JM Young, T Thüm, ...
Empirical Software Engineering 28 (2), 1-38, 2023
292023
On the scalability of building binary decision diagrams for current feature models
T Heß, C Sundermann, T Thüm
Proceedings of the 25th ACM International Systems and Software Product Line …, 2021
272021
UVLParser: Extending UVL with Language Levels and Conversion Strategies
C Sundermann, S Vill, T Thüm, K Feichtinger, P Agarwal, R Rabiser, ...
Proceedings of the 27th ACM International Systems and Software Product Line …, 2023
252023
It's your loss: classifying information loss during variability model roundtrip transformations
K Feichtinger, C Sundermann, T Thüm, R Rabiser
Proceedings of the 26th ACM International Systems and Software Product Line …, 2022
182022
Quantifying the variability mismatch between problem and solution space
M Hentze, C Sundermann, T Thüm, I Schaefer
Proceedings of the 25th International Conference on Model Driven Engineering …, 2022
172022
Integration of UVL in FeatureIDE
C Sundermann, T Heß, D Engelhardt, R Arens, J Herschel, K Jedelhauser, ...
Proceedings of the 25th ACM International Systems and Software Product Line …, 2021
172021
UVLHub: A feature model data repository using UVL and open science principles
D Romero-Organvídez, JA Galindo, C Sundermann, JM Horcas, ...
Journal of Systems and Software 216, 112150, 2024
122024
UVL: Feature modelling with the universal variability language
D Benavides, C Sundermann, K Feichtinger, JA Galindo, R Rabiser, ...
Journal of Systems and Software, 112326, 2025
112025
Tutorial on the Universal Variability Language
C Sundermann, K Feichtinger, JA Galindo, D Benavides, R Rabiser, ...
Proceedings of the 26th ACM International Systems and Software Product Line …, 2022
112022
Generic Solution-Space Sampling for Multi-domain Product Lines
M Hentze, T Pett, C Sundermann, S Krieter, T Thüm, I Schaefer
Proceedings of the 21st ACM SIGPLAN International Conference on Generative …, 2022
102022
On the benefits of knowledge compilation for feature-model analyses
C Sundermann, E Kuiter, T Heß, H Raab, S Krieter, T Thüm
Annals of Mathematics and Artificial Intelligence, 1-38, 2023
92023
ddueruem: a wrapper for feature-model analysis tools
T Heß, T Müller, C Sundermann, T Thüm
Proceedings of the 26th ACM International Systems and Software Product Line …, 2022
92022
Incremental construction of modal implication graphs for evolving feature models
S Krieter, R Arens, M Nieke, C Sundermann, T Heß, T Thüm, C Seidl
Proceedings of the 25th ACM International Systems and Software Product Line …, 2021
92021
UVLS: A Language Server Protocol For UVL
J Loth, C Sundermann, T Schrull, T Brugger, F Rieg, T Thüm
Proceedings of the 27th ACM International Systems and Software Product Line …, 2023
72023
Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models
C Sundermann, H Raab, T Heß, T Thüm, I Schaefer
arXiv preprint arXiv:2303.12383, 2023
62023
系統目前無法執行作業,請稍後再試。
文章 1–20