default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Thomas Thüm
@inproceedings{DBLP:conf/se/SundermannHNBYT24,
author = {Chico Sundermann and
Tobias He{\ss} and
Michael Nieke and
Paul Maximilian Bittner and
Jeffrey M. Young and
Thomas Th{\"{u}}m and
Ina Schaefer},
editor = {Rick Rabiser and
Manuel Wimmer and
Iris Groher and
Andreas Wortmann and
Bianca Wiesmayr},
title = {Evaluating State-of-the-Art {\#}SAT Solvers on Industrial Configuration
Spaces},
booktitle = {Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik,
Linz, Austria, February 26 - March 1, 2024},
series = {{LNI}},
volume = {{P-343}},
pages = {67--68},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2024},
url = {https://doi.org/10.18420/sw2024\_18},
doi = {10.18420/SW2024\_18},
timestamp = {Mon, 11 Mar 2024 16:51:10 +0100},
biburl = {https://dblp.org/rec/conf/se/SundermannHNBYT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BittnerSMKT24,
author = {Paul Maximilian Bittner and
Alexander Schulthei{\ss} and
Benjamin Moosherr and
Timo Kehrer and
Thomas Th{\"{u}}m},
editor = {Marcelo d'Amorim},
title = {Variability-Aware Differencing with DiffDetective},
booktitle = {Companion Proceedings of the 32nd {ACM} International Conference on
the Foundations of Software Engineering, {FSE} 2024, Porto de Galinhas,
Brazil, July 15-19, 2024},
pages = {632--636},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3663529.3663813},
doi = {10.1145/3663529.3663813},
timestamp = {Fri, 19 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/BittnerSMKT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/PettKTS24,
author = {Tobias Pett and
Sebastian Krieter and
Thomas Th{\"{u}}m and
Ina Schaefer},
editor = {Maxime Cordy and
Daniel Str{\"{u}}ber and
M{\'{o}}nica Pinto and
Iris Groher and
Deepak Dhungana and
Jacob Kr{\"{u}}ger and
Juliana Alves Pereira and
Mathieu Acher and
Thomas Th{\"{u}}m and
Maurice H. ter Beek and
Jessie Galasso{-}Carbonnel and
Paolo Arcaini and
Mohammad Reza Mousavi and
Xhevahire T{\"{e}}rnava and
Jos{\'{e}} A. Galindo and
Tao Yue and
Lidia Fuentes and
Jos{\'{e}} Miguel Horcas},
title = {MulTi-Wise Sampling: Trading Uniform T-Wise Feature Interaction Coverage
for Smaller Samples},
booktitle = {Proceedings of the 28th {ACM} International Systems and Software Product
Line Conference - Volume A, {SPLC} 2024, Dommeldange, Luxembourg,
September 2-6, 2024},
pages = {47--53},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3646548.3672589},
doi = {10.1145/3646548.3672589},
timestamp = {Fri, 30 Aug 2024 14:47:40 +0200},
biburl = {https://dblp.org/rec/conf/splc/PettKTS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/SundermannBKKHT24,
author = {Chico Sundermann and
Vincenzo Francesco Brancaccio and
Elias Kuiter and
Sebastian Krieter and
Tobias He{\ss} and
Thomas Th{\"{u}}m},
editor = {Maxime Cordy and
Daniel Str{\"{u}}ber and
M{\'{o}}nica Pinto and
Iris Groher and
Deepak Dhungana and
Jacob Kr{\"{u}}ger and
Juliana Alves Pereira and
Mathieu Acher and
Thomas Th{\"{u}}m and
Maurice H. ter Beek and
Jessie Galasso{-}Carbonnel and
Paolo Arcaini and
Mohammad Reza Mousavi and
Xhevahire T{\"{e}}rnava and
Jos{\'{e}} A. Galindo and
Tao Yue and
Lidia Fuentes and
Jos{\'{e}} Miguel Horcas},
title = {Collecting Feature Models from the Literature: {A} Comprehensive Dataset
for Benchmarking},
booktitle = {Proceedings of the 28th {ACM} International Systems and Software Product
Line Conference - Volume A, {SPLC} 2024, Dommeldange, Luxembourg,
September 2-6, 2024},
pages = {54--65},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3646548.3672590},
doi = {10.1145/3646548.3672590},
timestamp = {Thu, 22 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/SundermannBKKHT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/SundermannHSKKT24,
author = {Chico Sundermann and
Tobias He{\ss} and
Rahel Sundermann and
Elias Kuiter and
Sebastian Krieter and
Thomas Th{\"{u}}m},
editor = {Maxime Cordy and
Daniel Str{\"{u}}ber and
M{\'{o}}nica Pinto and
Iris Groher and
Deepak Dhungana and
Jacob Kr{\"{u}}ger and
Juliana Alves Pereira and
Mathieu Acher and
Thomas Th{\"{u}}m and
Maurice H. ter Beek and
Jessie Galasso{-}Carbonnel and
Paolo Arcaini and
Mohammad Reza Mousavi and
Xhevahire T{\"{e}}rnava and
Jos{\'{e}} A. Galindo and
Tao Yue and
Lidia Fuentes and
Jos{\'{e}} Miguel Horcas},
title = {Generating Feature Models with UVL's Full Expressiveness},
booktitle = {Proceedings of the 28th {ACM} International Systems and Software Product
Line Conference - Volume B, {SPLC} 2024, Dommeldange, Luxembourg,
September 2-6, 2024},
pages = {61--65},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3646548.3676602},
doi = {10.1145/3646548.3676602},
timestamp = {Sun, 08 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/SundermannHSKKT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/0001SBTK24,
author = {Sandra Greiner and
Alexander Schulthei{\ss} and
Paul Maximilian Bittner and
Thomas Th{\"{u}}m and
Timo Kehrer},
editor = {Maxime Cordy and
Daniel Str{\"{u}}ber and
M{\'{o}}nica Pinto and
Iris Groher and
Deepak Dhungana and
Jacob Kr{\"{u}}ger and
Juliana Alves Pereira and
Mathieu Acher and
Thomas Th{\"{u}}m and
Maurice H. ter Beek and
Jessie Galasso{-}Carbonnel and
Paolo Arcaini and
Mohammad Reza Mousavi and
Xhevahire T{\"{e}}rnava and
Jos{\'{e}} A. Galindo and
Tao Yue and
Lidia Fuentes and
Jos{\'{e}} Miguel Horcas},
title = {Give an Inch and Take a Mile? Effects of Adding Reliable Knowledge
to Heuristic Feature Tracing},
booktitle = {Proceedings of the 28th {ACM} International Systems and Software Product
Line Conference - Volume A, {SPLC} 2024, Dommeldange, Luxembourg,
September 2-6, 2024},
pages = {84--95},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3646548.3672593},
doi = {10.1145/3646548.3672593},
timestamp = {Thu, 22 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/0001SBTK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/HessSSTT24,
author = {Tobias He{\ss} and
Sean Niklas Semmler and
Chico Sundermann and
Jacobo Tor{\'{a}}n and
Thomas Th{\"{u}}m},
editor = {Maxime Cordy and
Daniel Str{\"{u}}ber and
M{\'{o}}nica Pinto and
Iris Groher and
Deepak Dhungana and
Jacob Kr{\"{u}}ger and
Juliana Alves Pereira and
Mathieu Acher and
Thomas Th{\"{u}}m and
Maurice H. ter Beek and
Jessie Galasso{-}Carbonnel and
Paolo Arcaini and
Mohammad Reza Mousavi and
Xhevahire T{\"{e}}rnava and
Jos{\'{e}} A. Galindo and
Tao Yue and
Lidia Fuentes and
Jos{\'{e}} Miguel Horcas},
title = {Towards Deterministic Compilation of Binary Decision Diagrams From
Feature Models},
booktitle = {Proceedings of the 28th {ACM} International Systems and Software Product
Line Conference - Volume A, {SPLC} 2024, Dommeldange, Luxembourg,
September 2-6, 2024},
pages = {136--147},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3646548.3672598},
doi = {10.1145/3646548.3672598},
timestamp = {Sun, 08 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/HessSSTT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/SundermannKHRKT24,
author = {Chico Sundermann and
Elias Kuiter and
Tobias He{\ss} and
Heiko Raab and
Sebastian Krieter and
Thomas Th{\"{u}}m},
editor = {Maxime Cordy and
Daniel Str{\"{u}}ber and
M{\'{o}}nica Pinto and
Iris Groher and
Deepak Dhungana and
Jacob Kr{\"{u}}ger and
Juliana Alves Pereira and
Mathieu Acher and
Thomas Th{\"{u}}m and
Maurice H. ter Beek and
Jessie Galasso{-}Carbonnel and
Paolo Arcaini and
Mohammad Reza Mousavi and
Xhevahire T{\"{e}}rnava and
Jos{\'{e}} A. Galindo and
Tao Yue and
Lidia Fuentes and
Jos{\'{e}} Miguel Horcas},
title = {On the Benefits of Knowledge Compilation for Feature-Model Analyses},
booktitle = {Proceedings of the 28th {ACM} International Systems and Software Product
Line Conference - Volume A, {SPLC} 2024, Dommeldange, Luxembourg,
September 2-6, 2024},
pages = {217},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3646548.3676540},
doi = {10.1145/3646548.3676540},
timestamp = {Thu, 22 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/SundermannKHRKT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/BohmKHTL24,
author = {Sabrina B{\"{o}}hm and
Sebastian Krieter and
Tobias He{\ss} and
Thomas Th{\"{u}}m and
Malte Lochau},
editor = {Timo Kehrer and
Marianne Huchard and
Leopoldo Teixeira and
Christian Birchler},
title = {Incremental Identification of T-Wise Feature Interactions},
booktitle = {Proceedings of the 18th International Working Conference on Variability
Modelling of Software-Intensive Systems, VaMoS 2024, Bern, Switzerland,
February 7-9, 2024},
pages = {27--36},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3634713.3634715},
doi = {10.1145/3634713.3634715},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vamos/BohmKHTL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/HessSOKT24,
author = {Tobias He{\ss} and
Tim Jannik Schmidt and
Lukas Ostheimer and
Sebastian Krieter and
Thomas Th{\"{u}}m},
editor = {Timo Kehrer and
Marianne Huchard and
Leopoldo Teixeira and
Christian Birchler},
title = {UnWise: High T-Wise Coverage from Uniform Sampling},
booktitle = {Proceedings of the 18th International Working Conference on Variability
Modelling of Software-Intensive Systems, VaMoS 2024, Bern, Switzerland,
February 7-9, 2024},
pages = {37--45},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3634713.3634716},
doi = {10.1145/3634713.3634716},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vamos/HessSOKT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/GuthingBST24,
author = {Lukas G{\"{u}}thing and
Paul Maximilian Bittner and
Ina Schaefer and
Thomas Th{\"{u}}m},
editor = {Timo Kehrer and
Marianne Huchard and
Leopoldo Teixeira and
Christian Birchler},
title = {Explaining Edits to Variability Annotations in Evolving Software Product
Lines},
booktitle = {Proceedings of the 18th International Working Conference on Variability
Modelling of Software-Intensive Systems, VaMoS 2024, Bern, Switzerland,
February 7-9, 2024},
pages = {93--102},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3634713.3634725},
doi = {10.1145/3634713.3634725},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vamos/GuthingBST24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/KuiterHSKTS24,
author = {Elias Kuiter and
Tobias He{\ss} and
Chico Sundermann and
Sebastian Krieter and
Thomas Th{\"{u}}m and
Gunter Saake},
editor = {Timo Kehrer and
Marianne Huchard and
Leopoldo Teixeira and
Christian Birchler},
title = {How Easy is SAT-Based Analysis of a Feature Model?},
booktitle = {Proceedings of the 18th International Working Conference on Variability
Modelling of Software-Intensive Systems, VaMoS 2024, Bern, Switzerland,
February 7-9, 2024},
pages = {149--151},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3634713.3634733},
doi = {10.1145/3634713.3634733},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vamos/KuiterHSKTS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/splc/2024a,
editor = {Maxime Cordy and
Daniel Str{\"{u}}ber and
M{\'{o}}nica Pinto and
Iris Groher and
Deepak Dhungana and
Jacob Kr{\"{u}}ger and
Juliana Alves Pereira and
Mathieu Acher and
Thomas Th{\"{u}}m and
Maurice H. ter Beek and
Jessie Galasso{-}Carbonnel and
Paolo Arcaini and
Mohammad Reza Mousavi and
Xhevahire T{\"{e}}rnava and
Jos{\'{e}} A. Galindo and
Tao Yue and
Lidia Fuentes and
Jos{\'{e}} Miguel Horcas},
title = {Proceedings of the 28th {ACM} International Systems and Software Product
Line Conference - Volume A, {SPLC} 2024, Dommeldange, Luxembourg,
September 2-6, 2024},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3646548},
doi = {10.1145/3646548},
isbn = {979-8-4007-0593-9},
timestamp = {Fri, 30 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/2024a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/splc/2024b,
editor = {Maxime Cordy and
Daniel Str{\"{u}}ber and
M{\'{o}}nica Pinto and
Iris Groher and
Deepak Dhungana and
Jacob Kr{\"{u}}ger and
Juliana Alves Pereira and
Mathieu Acher and
Thomas Th{\"{u}}m and
Maurice H. ter Beek and
Jessie Galasso{-}Carbonnel and
Paolo Arcaini and
Mohammad Reza Mousavi and
Xhevahire T{\"{e}}rnava and
Jos{\'{e}} A. Galindo and
Tao Yue and
Lidia Fuentes and
Jos{\'{e}} Miguel Horcas},
title = {Proceedings of the 28th {ACM} International Systems and Software Product
Line Conference - Volume B, {SPLC} 2024, Dommeldange, Luxembourg,
September 2-6, 2024},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3646548},
doi = {10.1145/3646548},
isbn = {979-8-4007-0593-9},
timestamp = {Fri, 30 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/2024b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2406-19801,
author = {Tobias Pett and
Sebastian Krieter and
Thomas Th{\"{u}}m and
Ina Schaefer},
title = {MulTi-Wise Sampling: Trading Uniform T-Wise Feature Interaction Coverage
for Smaller Samples},
journal = {CoRR},
volume = {abs/2406.19801},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2406.19801},
doi = {10.48550/ARXIV.2406.19801},
eprinttype = {arXiv},
eprint = {2406.19801},
timestamp = {Wed, 24 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2406-19801.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/YoungBWT23,
author = {Jeffrey M. Young and
Paul Maximilian Bittner and
Eric Walkingshaw and
Thomas Th{\"{u}}m},
title = {Variational satisfiability solving: efficiently solving lots of related
{SAT} problems},
journal = {Empir. Softw. Eng.},
volume = {28},
number = {1},
pages = {14},
year = {2023},
url = {https://doi.org/10.1007/s10664-022-10217-3},
doi = {10.1007/S10664-022-10217-3},
timestamp = {Thu, 05 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ese/YoungBWT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/SundermannHNBYTS23,
author = {Chico Sundermann and
Tobias He{\ss} and
Michael Nieke and
Paul Maximilian Bittner and
Jeffrey M. Young and
Thomas Th{\"{u}}m and
Ina Schaefer},
title = {Evaluating state-of-the-art {\#} {SAT} solvers on industrial configuration
spaces},
journal = {Empir. Softw. Eng.},
volume = {28},
number = {2},
pages = {29},
year = {2023},
url = {https://doi.org/10.1007/s10664-022-10265-9},
doi = {10.1007/S10664-022-10265-9},
timestamp = {Tue, 28 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ese/SundermannHNBYTS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/RungeBPTS23,
author = {Tobias Runge and
Tabea Bordis and
Alex Potanin and
Thomas Th{\"{u}}m and
Ina Schaefer},
title = {Flexible Correct-by-Construction Programming},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {2},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(2:16)2023},
doi = {10.46298/LMCS-19(2:16)2023},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/RungeBPTS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/SchultheissBBGTK23,
author = {Alexander Schulthei{\ss} and
Paul Maximilian Bittner and
Alexander Boll and
Lars Grunske and
Thomas Th{\"{u}}m and
Timo Kehrer},
title = {RaQuN: a generic and scalable n-way model matching algorithm},
journal = {Softw. Syst. Model.},
volume = {22},
number = {5},
pages = {1495--1517},
year = {2023},
url = {https://doi.org/10.1007/s10270-022-01062-5},
doi = {10.1007/S10270-022-01062-5},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/SchultheissBBGTK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cscs2/BottnerHETK23,
author = {Laura Bottner and
Artur Hermann and
Jeremias Eppler and
Thomas Th{\"{u}}m and
Frank Kargl},
editor = {Bj{\"{o}}rn Br{\"{u}}cher and
Christoph Krau{\ss} and
Mario Fritz and
Hans{-}Joachim Hof and
Oliver Wasenm{\"{u}}ller},
title = {Evaluation of Free and Open Source Tools for Automated Software Composition
Analysis},
booktitle = {Proceedings of the 7th {ACM} Computer Science in Cars Symposium, {CSCS}
2023, Darmstadt, Germany, 5 December 2023},
pages = {3:1--3:11},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3631204.3631862},
doi = {10.1145/3631204.3631862},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cscs2/BottnerHETK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/BittnerTSVKT23,
author = {Paul Maximilian Bittner and
Christof Tinnes and
Alexander Schulthei{\ss} and
S{\"{o}}ren Viegener and
Timo Kehrer and
Thomas Th{\"{u}}m},
editor = {Gregor Engels and
Regina Hebig and
Matthias Tichy},
title = {Classifying Edits to Variability in Source Code - Summary},
booktitle = {Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik,
20.-24. Februar 2023, Paderborn},
series = {{LNI}},
volume = {{P-332}},
pages = {39--40},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2023},
url = {https://dl.gi.de/handle/20.500.12116/40070},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/BittnerTSVKT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/FeichtingerSTR23,
author = {Kevin Feichtinger and
Chico Sundermann and
Thomas Th{\"{u}}m and
Rick Rabiser},
editor = {Gregor Engels and
Regina Hebig and
Matthias Tichy},
title = {It's Your Loss: Classifying Information Loss During Variability Model
Roundtrip Transformations},
booktitle = {Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik,
20.-24. Februar 2023, Paderborn},
series = {{LNI}},
volume = {{P-332}},
pages = {51--52},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2023},
url = {https://dl.gi.de/handle/20.500.12116/40076},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/FeichtingerSTR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/KuiterKSTS23,
author = {Elias Kuiter and
Sebastian Krieter and
Chico Sundermann and
Thomas Th{\"{u}}m and
Gunter Saake},
editor = {Gregor Engels and
Regina Hebig and
Matthias Tichy},
title = {Tseitin or not Tseitin? The Impact of {CNF} Transformations on Feature-Model
Analyses},
booktitle = {Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik,
20.-24. Februar 2023, Paderborn},
series = {{LNI}},
volume = {{P-332}},
pages = {83--84},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2023},
url = {https://dl.gi.de/handle/20.500.12116/40094},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/KuiterKSTS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/SchultheissBTK23,
author = {Alexander Schulthei{\ss} and
Paul Maximilian Bittner and
Thomas Th{\"{u}}m and
Timo Kehrer},
editor = {Gregor Engels and
Regina Hebig and
Matthias Tichy},
title = {Quantifying the Potential to Automate the Synchronization of Variants
in Clone-and-Own - Summary},
booktitle = {Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik,
20.-24. Februar 2023, Paderborn},
series = {{LNI}},
volume = {{P-332}},
pages = {109--110},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2023},
url = {https://dl.gi.de/handle/20.500.12116/40108},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/SchultheissBTK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/YoungBWT23,
author = {Jeffrey M. Young and
Paul Maximilian Bittner and
Eric Walkingshaw and
Thomas Th{\"{u}}m},
editor = {Gregor Engels and
Regina Hebig and
Matthias Tichy},
title = {Variational Satisfiability Solving: Efficiently Solving Lots of Related
{SAT} Problems - Summary},
booktitle = {Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik,
20.-24. Februar 2023, Paderborn},
series = {{LNI}},
volume = {{P-332}},
pages = {129--130},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2023},
url = {https://dl.gi.de/handle/20.500.12116/40119},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/YoungBWT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/SundermannVTFAR23,
author = {Chico Sundermann and
Stefan Vill and
Thomas Th{\"{u}}m and
Kevin Feichtinger and
Prankur Agarwal and
Rick Rabiser and
Jos{\'{e}} A. Galindo and
David Benavides},
editor = {Paolo Arcaini and
Maurice H. ter Beek and
Gilles Perrouin and
Iris Reinhartz{-}Berger and
Ivan Machado and
Silvia Regina Vergilio and
Rick Rabiser and
Tao Yue and
Xavier Devroey and
M{\'{o}}nica Pinto and
Hironori Washizaki},
title = {UVLParser: Extending {UVL} with Language Levels and Conversion Strategies},
booktitle = {Proceedings of the 27th {ACM} International Systems and Software Product
Line Conference - Volume B, {SPLC} 2023, Tokyo, Japan, 28 August 2023-
1 September 2023},
pages = {39--42},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3579028.3609013},
doi = {10.1145/3579028.3609013},
timestamp = {Mon, 24 Jun 2024 20:34:56 +0200},
biburl = {https://dblp.org/rec/conf/splc/SundermannVTFAR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/LothSSBRT23,
author = {Jacob Loth and
Chico Sundermann and
Tobias Schrull and
Thilo Brugger and
Felix Rieg and
Thomas Th{\"{u}}m},
editor = {Paolo Arcaini and
Maurice H. ter Beek and
Gilles Perrouin and
Iris Reinhartz{-}Berger and
Ivan Machado and
Silvia Regina Vergilio and
Rick Rabiser and
Tao Yue and
Xavier Devroey and
M{\'{o}}nica Pinto and
Hironori Washizaki},
title = {{UVLS:} {A} Language Server Protocol For {UVL}},
booktitle = {Proceedings of the 27th {ACM} International Systems and Software Product
Line Conference - Volume B, {SPLC} 2023, Tokyo, Japan, 28 August 2023-
1 September 2023},
pages = {43--46},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3579028.3609014},
doi = {10.1145/3579028.3609014},
timestamp = {Thu, 31 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/LothSSBRT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/PettHKTS23,
author = {Tobias Pett and
Tobias He{\ss} and
Sebastian Krieter and
Thomas Th{\"{u}}m and
Ina Schaefer},
editor = {Paolo Arcaini and
Maurice H. ter Beek and
Gilles Perrouin and
Iris Reinhartz{-}Berger and
Miguel R. Luaces and
Christa Schwanninger and
Shaukat Ali and
Mahsa Varshosaz and
Angelo Gargantini and
Stefania Gnesi and
Malte Lochau and
Laura Semini and
Hironori Washizaki},
title = {Continuous T-Wise Coverage},
booktitle = {Proceedings of the 27th {ACM} International Systems and Software Product
Line Conference - Volume A, {SPLC} 2023, Tokyo, Japan, 28 August 2023-
1 September 2023},
pages = {87--98},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3579027.3608980},
doi = {10.1145/3579027.3608980},
timestamp = {Mon, 28 Aug 2023 16:26:53 +0200},
biburl = {https://dblp.org/rec/conf/splc/PettHKTS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/BittnerSGMKTKT23,
author = {Paul Maximilian Bittner and
Alexander Schulthei{\ss} and
Sandra Greiner and
Benjamin Moosherr and
Sebastian Krieter and
Christof Tinnes and
Timo Kehrer and
Thomas Th{\"{u}}m},
editor = {Paolo Arcaini and
Maurice H. ter Beek and
Gilles Perrouin and
Iris Reinhartz{-}Berger and
Miguel R. Luaces and
Christa Schwanninger and
Shaukat Ali and
Mahsa Varshosaz and
Angelo Gargantini and
Stefania Gnesi and
Malte Lochau and
Laura Semini and
Hironori Washizaki},
title = {Views on Edits to Variational Software},
booktitle = {Proceedings of the 27th {ACM} International Systems and Software Product
Line Conference - Volume A, {SPLC} 2023, Tokyo, Japan, 28 August 2023-
1 September 2023},
pages = {141--152},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3579027.3608985},
doi = {10.1145/3579027.3608985},
timestamp = {Mon, 16 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/BittnerSGMKTKT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/KrieterFG0RST23,
author = {Sebastian Krieter and
Kevin Feichtinger and
Jos{\'{e}} A. Galindo and
David Benavides and
Rick Rabiser and
Chico Sundermann and
Thomas Th{\"{u}}m},
editor = {Paolo Arcaini and
Maurice H. ter Beek and
Gilles Perrouin and
Iris Reinhartz{-}Berger and
Miguel R. Luaces and
Christa Schwanninger and
Shaukat Ali and
Mahsa Varshosaz and
Angelo Gargantini and
Stefania Gnesi and
Malte Lochau and
Laura Semini and
Hironori Washizaki},
title = {Second Tutorial on the Universal Variability Language},
booktitle = {Proceedings of the 27th {ACM} International Systems and Software Product
Line Conference - Volume A, {SPLC} 2023, Tokyo, Japan, 28 August 2023-
1 September 2023},
pages = {273},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3579027.3609002},
doi = {10.1145/3579027.3609002},
timestamp = {Thu, 31 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/KrieterFG0RST23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vamos/2023,
editor = {Myra B. Cohen and
Thomas Th{\"{u}}m and
Jacopo Mauro},
title = {Proceedings of the 17th International Working Conference on Variability
Modelling of Software-Intensive Systems, VaMoS 2023, Odense, Denmark,
January 25-27, 2023},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3571788},
doi = {10.1145/3571788},
timestamp = {Wed, 18 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vamos/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-12383,
author = {Chico Sundermann and
Heiko Raab and
Tobias He{\ss} and
Thomas Th{\"{u}}m and
Ina Schaefer},
title = {Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models},
journal = {CoRR},
volume = {abs/2303.12383},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.12383},
doi = {10.48550/ARXIV.2303.12383},
eprinttype = {arXiv},
eprint = {2303.12383},
timestamp = {Thu, 13 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-12383.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/NiekeSTSTS22,
author = {Michael Nieke and
Gabriela Sampaio and
Thomas Th{\"{u}}m and
Christoph Seidl and
Leopoldo Teixeira and
Ina Schaefer},
title = {Guiding the evolution of product-line configurations},
journal = {Softw. Syst. Model.},
volume = {21},
number = {1},
pages = {225--247},
year = {2022},
url = {https://doi.org/10.1007/s10270-021-00906-w},
doi = {10.1007/S10270-021-00906-W},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/NiekeSTSTS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ease/SchultheissBETK22,
author = {Alexander Schulthei{\ss} and
Paul Maximilian Bittner and
Sascha El{-}Sharkawy and
Thomas Th{\"{u}}m and
Timo Kehrer},
editor = {Miroslaw Staron and
Christian Berger and
Jocelyn Simmonds and
Rafael Prikladnicki},
title = {Simulating the Evolution of Clone-and-Own Projects with {VEVOS}},
booktitle = {{EASE} 2022: The International Conference on Evaluation and Assessment
in Software Engineering 2022, Gothenburg, Sweden, June 13 - 15, 2022},
pages = {231--236},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3530019.3534084},
doi = {10.1145/3530019.3534084},
timestamp = {Wed, 15 Jun 2022 09:45:58 +0200},
biburl = {https://dblp.org/rec/conf/ease/SchultheissBETK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/RungePTS22,
author = {Tobias Runge and
Alex Potanin and
Thomas Th{\"{u}}m and
Ina Schaefer},
editor = {Mohammad Reza Mousavi and
Anna Philippou},
title = {Traits: Correctness-by-Construction for Free},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 42nd {IFIP} {WG} 6.1 International Conference, {FORTE} 2022, Held
as Part of the 17th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13273},
pages = {131--150},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08679-3\_9},
doi = {10.1007/978-3-031-08679-3\_9},
timestamp = {Wed, 15 Jun 2022 16:45:18 +0200},
biburl = {https://dblp.org/rec/conf/forte/RungePTS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/HentzePSK0S22,
author = {Marc Hentze and
Tobias Pett and
Chico Sundermann and
Sebastian Krieter and
Thomas Th{\"{u}}m and
Ina Schaefer},
editor = {Bernhard Scholz and
Yukiyoshi Kameyama},
title = {Generic Solution-Space Sampling for Multi-domain Product Lines},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Generative Programming: Concepts and Experiences, {GPCE} 2022, Auckland,
New Zealand, December 6-7, 2022},
pages = {135--147},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3564719.3568695},
doi = {10.1145/3564719.3568695},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gpce/HentzePSK0S22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/SchultheissBTK22,
author = {Alexander Schulthei{\ss} and
Paul Maximilian Bittner and
Thomas Th{\"{u}}m and
Timo Kehrer},
title = {Quantifying the Potential to Automate the Synchronization of Variants
in Clone-and-Own},
booktitle = {{IEEE} International Conference on Software Maintenance and Evolution,
{ICSME} 2022, Limassol, Cyprus, October 3-7, 2022},
pages = {269--280},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICSME55016.2022.00032},
doi = {10.1109/ICSME55016.2022.00032},
timestamp = {Wed, 11 Jan 2023 16:16:16 +0100},
biburl = {https://dblp.org/rec/conf/icsm/SchultheissBTK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KuiterKSTS22,
author = {Elias Kuiter and
Sebastian Krieter and
Chico Sundermann and
Thomas Th{\"{u}}m and
Gunter Saake},
title = {Tseitin or not Tseitin? The Impact of {CNF} Transformations on Feature-Model
Analyses},
booktitle = {37th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2022, Rochester, MI, USA, October 10-14, 2022},
pages = {110:1--110:13},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3551349.3556938},
doi = {10.1145/3551349.3556938},
timestamp = {Wed, 18 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/KuiterKSTS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/HentzeSTS22,
author = {Marc Hentze and
Chico Sundermann and
Thomas Th{\"{u}}m and
Ina Schaefer},
editor = {Eugene Syriani and
Houari A. Sahraoui and
Nelly Bencomo and
Manuel Wimmer},
title = {Quantifying the variability mismatch between problem and solution
space},
booktitle = {Proceedings of the 25th International Conference on Model Driven Engineering
Languages and Systems, {MODELS} 2022, Montreal, Quebec, Canada, October
23-28, 2022},
pages = {322--333},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3550355.3552411},
doi = {10.1145/3550355.3552411},
timestamp = {Thu, 27 Oct 2022 15:55:50 +0200},
biburl = {https://dblp.org/rec/conf/models/HentzeSTS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/BittnerSTKYL22,
author = {Paul Maximilian Bittner and
Alexander Schulthei{\ss} and
Thomas Th{\"{u}}m and
Timo Kehrer and
Jeffrey M. Young and
Lukas Linsbauer},
editor = {Lars Grunske and
Janet Siegmund and
Andreas Vogelsang},
title = {Feature Trace Recording - Summary},
booktitle = {Software Engineering 2022, Fachtagung des GI-Fachbereichs Softwaretechnik,
21.-25. Februar 2022, Virtuell},
series = {{LNI}},
volume = {{P-320}},
pages = {19--20},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2022},
url = {https://doi.org/10.18420/se2022-ws-002},
doi = {10.18420/SE2022-WS-002},
timestamp = {Fri, 21 Jan 2022 16:00:25 +0100},
biburl = {https://dblp.org/rec/conf/se/BittnerSTKYL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/SchultheissBTK22,
author = {Alexander Schulthei{\ss} and
Paul Maximilian Bittner and
Thomas Th{\"{u}}m and
Timo Kehrer},
editor = {Lars Grunske and
Janet Siegmund and
Andreas Vogelsang},
title = {Scalable N-Way Model Matching Using Multi-Dimensional Search Trees
- Summary},
booktitle = {Software Engineering 2022, Fachtagung des GI-Fachbereichs Softwaretechnik,
21.-25. Februar 2022, Virtuell},
series = {{LNI}},
volume = {{P-320}},
pages = {83--84},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2022},
url = {https://doi.org/10.18420/se2022-ws-028},
doi = {10.18420/SE2022-WS-028},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/se/SchultheissBTK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BittnerTSVKT22,
author = {Paul Maximilian Bittner and
Christof Tinnes and
Alexander Schulthei{\ss} and
S{\"{o}}ren Viegener and
Timo Kehrer and
Thomas Th{\"{u}}m},
editor = {Abhik Roychoudhury and
Cristian Cadar and
Miryung Kim},
title = {Classifying edits to variability in source code},
booktitle = {Proceedings of the 30th {ACM} Joint European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/FSE} 2022, Singapore, Singapore, November 14-18, 2022},
pages = {196--208},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3540250.3549108},
doi = {10.1145/3540250.3549108},
timestamp = {Sat, 02 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/BittnerTSVKT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/LinsbauerWBKTS22,
author = {Lukas Linsbauer and
Paul Westphal and
Paul Maximilian Bittner and
Sebastian Krieter and
Thomas Th{\"{u}}m and
Ina Schaefer},
editor = {Alexander Felfernig and
Lidia Fuentes and
Jane Cleland{-}Huang and
Wesley K. G. Assun{\c{c}}{\~{a}}o and
Cl{\'{e}}ment Quinton and
Jianmei Guo and
Klaus Schmid and
Marianne Huchard and
Inmaculada Ayala and
Jos{\'{e}} Miguel Rojas and
Viet{-}Man Le and
Jos{\'{e}} Miguel Horcas},
title = {Derivation of subset product lines in FeatureIDE},
booktitle = {{SPLC} '22: 26th {ACM} International Systems and Software Product
Line Conference, Graz, Austria, September 12 - 16, 2022, Volume {B}},
pages = {38--41},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3503229.3547033},
doi = {10.1145/3503229.3547033},
timestamp = {Fri, 26 Aug 2022 13:04:12 +0200},
biburl = {https://dblp.org/rec/conf/splc/LinsbauerWBKTS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/HessMST22,
author = {Tobias He{\ss} and
Tobias M{\"{u}}ller and
Chico Sundermann and
Thomas Th{\"{u}}m},
editor = {Alexander Felfernig and
Lidia Fuentes and
Jane Cleland{-}Huang and
Wesley K. G. Assun{\c{c}}{\~{a}}o and
Cl{\'{e}}ment Quinton and
Jianmei Guo and
Klaus Schmid and
Marianne Huchard and
Inmaculada Ayala and
Jos{\'{e}} Miguel Rojas and
Viet{-}Man Le and
Jos{\'{e}} Miguel Horcas},
title = {ddueruem: a wrapper for feature-model analysis tools},
booktitle = {{SPLC} '22: 26th {ACM} International Systems and Software Product
Line Conference, Graz, Austria, September 12 - 16, 2022, Volume {B}},
pages = {54--57},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3503229.3547032},
doi = {10.1145/3503229.3547032},
timestamp = {Fri, 26 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/HessMST22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/FeichtingerSTR22,
author = {Kevin Feichtinger and
Chico Sundermann and
Thomas Th{\"{u}}m and
Rick Rabiser},
editor = {Alexander Felfernig and
Lidia Fuentes and
Jane Cleland{-}Huang and
Wesley K. G. Assun{\c{c}}{\~{a}}o and
Andreas A. Falkner and
Maider Azanza and
Miguel {\'{A}}. Rodr{\'{\i}}guez Luaces and
Megha Bhushan and
Laura Semini and
Xavier Devroey and
Cl{\'{a}}udia Maria Lima Werner and
Christoph Seidl and
Viet{-}Man Le and
Jos{\'{e}} Miguel Horcas},
title = {It's your loss: classifying information loss during variability model
roundtrip transformations},
booktitle = {{SPLC} '22: 26th {ACM} International Systems and Software Product
Line Conference, Graz, Austria, September 12 - 16, 2022, Volume {A}},
pages = {67--78},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3546932.3546990},
doi = {10.1145/3546932.3546990},
timestamp = {Mon, 26 Jun 2023 20:46:40 +0200},
biburl = {https://dblp.org/rec/conf/splc/FeichtingerSTR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/SundermannFG0RK22,
author = {Chico Sundermann and
Kevin Feichtinger and
Jos{\'{e}} A. Galindo and
David Benavides and
Rick Rabiser and
Sebastian Krieter and
Thomas Th{\"{u}}m},
editor = {Alexander Felfernig and
Lidia Fuentes and
Jane Cleland{-}Huang and
Wesley K. G. Assun{\c{c}}{\~{a}}o and
Andreas A. Falkner and
Maider Azanza and
Miguel {\'{A}}. Rodr{\'{\i}}guez Luaces and
Megha Bhushan and
Laura Semini and
Xavier Devroey and
Cl{\'{a}}udia Maria Lima Werner and
Christoph Seidl and
Viet{-}Man Le and
Jos{\'{e}} Miguel Horcas},
title = {Tutorial on the universal variability language},
booktitle = {{SPLC} '22: 26th {ACM} International Systems and Software Product
Line Conference, Graz, Austria, September 12 - 16, 2022, Volume {A}},
pages = {260},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3546932.3547024},
doi = {10.1145/3546932.3547024},
timestamp = {Fri, 26 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/SundermannFG0RK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-05644,
author = {Tobias Runge and
Alex Potanin and
Thomas Th{\"{u}}m and
Ina Schaefer},
title = {Traits for Correct-by-Construction Programming},
journal = {CoRR},
volume = {abs/2204.05644},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.05644},
doi = {10.48550/ARXIV.2204.05644},
eprinttype = {arXiv},
eprint = {2204.05644},
timestamp = {Tue, 19 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-05644.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-15180,
author = {Sebastian Krieter and
Thomas Th{\"{u}}m and
Sandro Schulze and
Sebastian Ruland and
Malte Lochau and
Gunter Saake and
Thomas Leich},
title = {T-Wise Presence Condition Coverage and Sampling for Configurable Systems},
journal = {CoRR},
volume = {abs/2205.15180},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.15180},
doi = {10.48550/ARXIV.2205.15180},
eprinttype = {arXiv},
eprint = {2205.15180},
timestamp = {Wed, 01 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-15180.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-15261,
author = {Tobias Runge and
Tabea Bordis and
Alex Potanin and
Thomas Th{\"{u}}m and
Ina Schaefer},
title = {Flexible Correct-by-Construction Programming},
journal = {CoRR},
volume = {abs/2211.15261},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.15261},
doi = {10.48550/ARXIV.2211.15261},
eprinttype = {arXiv},
eprint = {2211.15261},
timestamp = {Tue, 29 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-15261.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/DuchienGT21,
author = {Laurence Duchien and
Paul Gr{\"{u}}nbacher and
Thomas Th{\"{u}}m},
title = {Foreword to the Special Issue on Configurable Systems},
journal = {Empir. Softw. Eng.},
volume = {26},
number = {4},
pages = {72},
year = {2021},
url = {https://doi.org/10.1007/s10664-021-09964-6},
doi = {10.1007/S10664-021-09964-6},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ese/DuchienGT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KehrerTSB21,
author = {Timo Kehrer and
Thomas Th{\"{u}}m and
Alexander Schulthei{\ss} and
Paul Maximilian Bittner},
title = {Bridging the Gap Between Clone-and-Own and Software Product Lines},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering:
New Ideas and Emerging Results, {ICSE} {(NIER)} 2021, Madrid, Spain,
May 25-28, 2021},
pages = {21--25},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE-NIER52604.2021.00013},
doi = {10.1109/ICSE-NIER52604.2021.00013},
timestamp = {Mon, 28 Jun 2021 14:51:23 +0200},
biburl = {https://dblp.org/rec/conf/icse/KehrerTSB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KnuppelTS21,
author = {Alexander Kn{\"{u}}ppel and
Thomas Th{\"{u}}m and
Ina Schaefer},
editor = {Simon Bliudze and
Stefania Gnesi and
Nico Plat and
Laura Semini},
title = {{GUIDO:} Automated Guidance for the Configuration of Deductive Program
Verifiers},
booktitle = {9th {IEEE/ACM} International Conference on Formal Methods in Software
Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021},
pages = {124--129},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/FormaliSE52586.2021.00018},
doi = {10.1109/FORMALISE52586.2021.00018},
timestamp = {Wed, 15 Sep 2021 16:14:40 +0200},
biburl = {https://dblp.org/rec/conf/icse/KnuppelTS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/SchultheissBGTK21,
author = {Alexander Schulthei{\ss} and
Paul Maximilian Bittner and
Lars Grunske and
Thomas Th{\"{u}}m and
Timo Kehrer},
title = {Scalable N-Way Model Matching Using Multi-Dimensional Search Trees},
booktitle = {24th International Conference on Model Driven Engineering Languages
and Systems, {MODELS} 2021, Fukuoka, Japan, October 10-15, 2021},
pages = {1--12},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/MODELS50736.2021.00010},
doi = {10.1109/MODELS50736.2021.00010},
timestamp = {Wed, 23 Feb 2022 10:19:29 +0100},
biburl = {https://dblp.org/rec/conf/models/SchultheissBGTK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/KnuppelJNRTS21,
author = {Alexander Kn{\"{u}}ppel and
Inga Jatzkowski and
Marcus Nolte and
Tobias Runge and
Thomas Th{\"{u}}m and
Ina Schaefer},
editor = {Anne Koziolek and
Ina Schaefer and
Christoph Seidl},
title = {Skill-Based Verification of Cyber-Physical Systems},
booktitle = {Software Engineering 2021, Fachtagung des GI-Fachbereichs Softwaretechnik,
22.-26. Februar 2021, Braunschweig/Virtuell},
series = {{LNI}},
volume = {{P-310}},
pages = {67--68},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2021},
url = {https://doi.org/10.18420/SE2021\_22},
doi = {10.18420/SE2021\_22},
timestamp = {Thu, 18 Feb 2021 17:09:52 +0100},
biburl = {https://dblp.org/rec/conf/se/KnuppelJNRTS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/RungeSCTKW21,
author = {Tobias Runge and
Ina Schaefer and
Loek Cleophas and
Thomas Th{\"{u}}m and
Derrick G. Kourie and
Bruce W. Watson},
editor = {Anne Koziolek and
Ina Schaefer and
Christoph Seidl},
title = {Tool Support for Correctness-by-Construction},
booktitle = {Software Engineering 2021, Fachtagung des GI-Fachbereichs Softwaretechnik,
22.-26. Februar 2021, Braunschweig/Virtuell},
series = {{LNI}},
volume = {{P-310}},
pages = {93--94},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2021},
url = {https://doi.org/10.18420/SE2021\_34},
doi = {10.18420/SE2021\_34},
timestamp = {Thu, 18 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/se/RungeSCTKW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BittnerSTKYL21,
author = {Paul Maximilian Bittner and
Alexander Schulthei{\ss} and
Thomas Th{\"{u}}m and
Timo Kehrer and
Jeffrey M. Young and
Lukas Linsbauer},
editor = {Diomidis Spinellis and
Georgios Gousios and
Marsha Chechik and
Massimiliano Di Penta},
title = {Feature trace recording},
booktitle = {{ESEC/FSE} '21: 29th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Athens,
Greece, August 23-28, 2021},
pages = {1007--1020},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3468264.3468531},
doi = {10.1145/3468264.3468531},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BittnerSTKYL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/PettKTLS21,
author = {Tobias Pett and
Sebastian Krieter and
Thomas Th{\"{u}}m and
Malte Lochau and
Ina Schaefer},
editor = {Mohammad Reza Mousavi and
Pierre{-}Yves Schobbens},
title = {AutoSMP: an evaluation platform for sampling algorithms},
booktitle = {{SPLC} '21: 25th {ACM} International Systems and Software Product
Line Conference, Leicester, United Kindom, September 6-11, 2021, Volume
{B}},
pages = {41--44},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3461002.3473073},
doi = {10.1145/3461002.3473073},
timestamp = {Sun, 24 Apr 2022 17:23:47 +0200},
biburl = {https://dblp.org/rec/conf/splc/PettKTLS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/KrieterANSHT021,
author = {Sebastian Krieter and
Rahel Arens and
Michael Nieke and
Chico Sundermann and
Tobias He{\ss} and
Thomas Th{\"{u}}m and
Christoph Seidl},
editor = {Mohammad Reza Mousavi and
Pierre{-}Yves Schobbens},
title = {Incremental construction of modal implication graphs for evolving
feature models},
booktitle = {{SPLC} '21: 25th {ACM} International Systems and Software Product
Line Conference, Leicester, United Kingdom, September 6-11, 2021,
Volume {A}},
pages = {64--74},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3461001.3471148},
doi = {10.1145/3461001.3471148},
timestamp = {Sun, 24 Apr 2022 17:23:32 +0200},
biburl = {https://dblp.org/rec/conf/splc/KrieterANSHT021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/HessST21,
author = {Tobias He{\ss} and
Chico Sundermann and
Thomas Th{\"{u}}m},
editor = {Mohammad Reza Mousavi and
Pierre{-}Yves Schobbens},
title = {On the scalability of building binary decision diagrams for current
feature models},
booktitle = {{SPLC} '21: 25th {ACM} International Systems and Software Product
Line Conference, Leicester, United Kingdom, September 6-11, 2021,
Volume {A}},
pages = {131--135},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3461001.3474452},
doi = {10.1145/3461001.3474452},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/HessST21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/SundermannFERT21,
author = {Chico Sundermann and
Kevin Feichtinger and
Dominik Engelhardt and
Rick Rabiser and
Thomas Th{\"{u}}m},
editor = {Mohammad Reza Mousavi and
Pierre{-}Yves Schobbens},
title = {Yet another textual variability language?: a community effort towards
a unified language},
booktitle = {{SPLC} '21: 25th {ACM} International Systems and Software Product
Line Conference, Leicester, United Kingdom, September 6-11, 2021,
Volume {A}},
pages = {136--147},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3461001.3471145},
doi = {10.1145/3461001.3471145},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/SundermannFERT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/ThumCA21,
author = {Thomas Th{\"{u}}m and
Philippe Collet and
Mathieu Acher},
editor = {Mohammad Reza Mousavi and
Pierre{-}Yves Schobbens},
title = {Fourth International Workshop on Languages for Modelling Variability
([email protected] 2021)},
booktitle = {{SPLC} '21: 25th {ACM} International Systems and Software Product
Line Conference, Leicester, United Kingdom, September 6-11, 2021,
Volume {A}},
pages = {205},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3461001.3473056},
doi = {10.1145/3461001.3473056},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/ThumCA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfm/RungeBTS21,
author = {Tobias Runge and
Tabea Bordis and
Thomas Th{\"{u}}m and
Ina Schaefer},
editor = {Jo{\~{a}}o F. Ferreira and
Alexandra Mendes and
Claudio Menghi},
title = {Teaching Correctness-by-Construction and Post-hoc Verification - The
Online Experience},
booktitle = {Formal Methods Teaching - 4th International Workshop and Tutorial,
FMTea 2021, Virtual Event, November 21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13122},
pages = {101--116},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91550-6\_8},
doi = {10.1007/978-3-030-91550-6\_8},
timestamp = {Fri, 22 Apr 2022 14:23:22 +0200},
biburl = {https://dblp.org/rec/conf/tfm/RungeBTS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/SundermannNBHTS21,
author = {Chico Sundermann and
Michael Nieke and
Paul Maximilian Bittner and
Tobias He{\ss} and
Thomas Th{\"{u}}m and
Ina Schaefer},
editor = {Paul Gr{\"{u}}nbacher and
Christoph Seidl and
Deepak Dhungana and
Helena Lovasz{-}Bukvova},
title = {Applications of {\#}SAT Solvers on Feature Models},
booktitle = {VaMoS'21: 15th International Working Conference on Variability Modelling
of Software-Intensive Systems, Virtual Event / Krems, Austria, February
9-11, 2021},
pages = {12:1--12:10},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3442391.3442404},
doi = {10.1145/3442391.3442404},
timestamp = {Mon, 26 Jun 2023 20:49:00 +0200},
biburl = {https://dblp.org/rec/conf/vamos/SundermannNBHTS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/HentzePTS21,
author = {Marc Hentze and
Tobias Pett and
Thomas Th{\"{u}}m and
Ina Schaefer},
editor = {Paul Gr{\"{u}}nbacher and
Christoph Seidl and
Deepak Dhungana and
Helena Lovasz{-}Bukvova},
title = {Hyper Explanations for Feature-Model Defect Analysis},
booktitle = {VaMoS'21: 15th International Working Conference on Variability Modelling
of Software-Intensive Systems, Virtual Event / Krems, Austria, February
9-11, 2021},
pages = {14:1--14:9},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3442391.3442406},
doi = {10.1145/3442391.3442406},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vamos/HentzePTS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/PettKRTLS21,
author = {Tobias Pett and
Sebastian Krieter and
Tobias Runge and
Thomas Th{\"{u}}m and
Malte Lochau and
Ina Schaefer},
editor = {Paul Gr{\"{u}}nbacher and
Christoph Seidl and
Deepak Dhungana and
Helena Lovasz{-}Bukvova},
title = {Stability of Product-Line Samplingin Continuous Integration},
booktitle = {VaMoS'21: 15th International Working Conference on Variability Modelling
of Software-Intensive Systems, Virtual Event / Krems, Austria, February
9-11, 2021},
pages = {18:1--18:9},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3442391.3442410},
doi = {10.1145/3442391.3442410},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vamos/PettKRTLS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/KnuppelJNTRS20,
author = {Alexander Kn{\"{u}}ppel and
Inga Jatzkowski and
Marcus Nolte and
Thomas Th{\"{u}}m and
Tobias Runge and
Ina Schaefer},
editor = {Heike Wehrheim and
Jordi Cabot},
title = {Skill-Based Verification of Cyber-Physical Systems},
booktitle = {Fundamental Approaches to Software Engineering - 23rd International
Conference, {FASE} 2020, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2020, Dublin, Ireland,
April 25-30, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12076},
pages = {203--223},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45234-6\_10},
doi = {10.1007/978-3-030-45234-6\_10},
timestamp = {Fri, 14 May 2021 08:34:14 +0200},
biburl = {https://dblp.org/rec/conf/fase/KnuppelJNTRS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/RungeKTS20,
author = {Tobias Runge and
Alexander Kn{\"{u}}ppel and
Thomas Th{\"{u}}m and
Ina Schaefer},
editor = {Kyungmin Bae and
Domenico Bianculli and
Stefania Gnesi and
Nico Plat},
title = {Lattice-Based Information Flow Control-by-Construction for Security-by-Design},
booktitle = {FormaliSE@ICSE 2020: 8th International Conference on Formal Methods
in Software Engineering, Seoul, Republic of Korea, July 13, 2020},
pages = {44--54},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3372020.3391565},
doi = {10.1145/3372020.3391565},
timestamp = {Thu, 27 Jul 2023 16:07:53 +0200},
biburl = {https://dblp.org/rec/conf/icse/RungeKTS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/Thum20,
author = {Thomas Th{\"{u}}m},
editor = {Roberto Erick Lopez{-}Herrejon},
title = {A {BDD} for Linux?: the knowledge compilation challenge for variability},
booktitle = {{SPLC} '20: 24th {ACM} International Systems and Software Product
Line Conference, Montreal, Quebec, Canada, October 19-23, 2020, Volume
{A}},
pages = {16:1--16:6},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3382025.3414943},
doi = {10.1145/3382025.3414943},
timestamp = {Thu, 29 Oct 2020 11:14:57 +0100},
biburl = {https://dblp.org/rec/conf/splc/Thum20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/YoungWT20,
author = {Jeffrey M. Young and
Eric Walkingshaw and
Thomas Th{\"{u}}m},
editor = {Roberto Erick Lopez{-}Herrejon},
title = {Variational satisfiability solving},
booktitle = {{SPLC} '20: 24th {ACM} International Systems and Software Product
Line Conference, Montreal, Quebec, Canada, October 19-23, 2020, Volume
{A}},
pages = {18:1--18:12},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3382025.3414965},
doi = {10.1145/3382025.3414965},
timestamp = {Thu, 22 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/YoungWT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/SchultheissBKT20,
author = {Alexander Schulthei{\ss} and
Paul Maximilian Bittner and
Timo Kehrer and
Thomas Th{\"{u}}m},
editor = {Roberto Erick Lopez{-}Herrejon},
title = {On the use of product-line variants as experimental subjects for clone-and-own
research: a case study},
booktitle = {{SPLC} '20: 24th {ACM} International Systems and Software Product
Line Conference, Montreal, Quebec, Canada, October 19-23, 2020, Volume
{A}},
pages = {27:1--27:6},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3382025.3414972},
doi = {10.1145/3382025.3414972},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/SchultheissBKT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/NiekeST0TS20,
author = {Michael Nieke and
Gabriela Sampaio and
Thomas Th{\"{u}}m and
Christoph Seidl and
Leopoldo Teixeira and
Ina Schaefer},
editor = {Rafael Capilla and
Philippe Collet and
Paul Gazzillo and
Jacob Kr{\"{u}}ger and
Roberto Erick Lopez{-}Herrejon and
Sarah Nadi and
Gilles Perrouin and
Iris Reinhartz{-}Berger and
Julia Rubin and
Ina Schaefer},
title = {GuyDance: Guiding Configuration Updates for Product-Line Evolution},
booktitle = {{SPLC} '20: 24th {ACM} International Systems and Software Product
Line Conference, Montreal, Quebec, Canada, October 19-23, 2020, Volume
{B}},
pages = {56--64},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3382026.3425769},
doi = {10.1145/3382026.3425769},
timestamp = {Tue, 29 Dec 2020 18:30:47 +0100},
biburl = {https://dblp.org/rec/conf/splc/NiekeST0TS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/SundermannTS20,
author = {Chico Sundermann and
Thomas Th{\"{u}}m and
Ina Schaefer},
editor = {Maxime Cordy and
Mathieu Acher and
Danilo Beuche and
Gunter Saake},
title = {Evaluating {\#}SAT solvers on industrial feature models},
booktitle = {VaMoS '20: 14th International Working Conference on Variability Modelling
of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020},
pages = {3:1--3:9},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377024.3377025},
doi = {10.1145/3377024.3377025},
timestamp = {Sat, 08 Feb 2020 14:49:22 +0100},
biburl = {https://dblp.org/rec/conf/vamos/SundermannTS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/KrieterTSSL20,
author = {Sebastian Krieter and
Thomas Th{\"{u}}m and
Sandro Schulze and
Gunter Saake and
Thomas Leich},
editor = {Maxime Cordy and
Mathieu Acher and
Danilo Beuche and
Gunter Saake},
title = {{YASA:} yet another sampling algorithm},
booktitle = {VaMoS '20: 14th International Working Conference on Variability Modelling
of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020},
pages = {4:1--4:10},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377024.3377042},
doi = {10.1145/3377024.3377042},
timestamp = {Sat, 08 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vamos/KrieterTSSL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/SpreySKNMTS20,
author = {Joshua Sprey and
Chico Sundermann and
Sebastian Krieter and
Michael Nieke and
Jacopo Mauro and
Thomas Th{\"{u}}m and
Ina Schaefer},
editor = {Maxime Cordy and
Mathieu Acher and
Danilo Beuche and
Gunter Saake},
title = {SMT-based variability analyses in FeatureIDE},
booktitle = {VaMoS '20: 14th International Working Conference on Variability Modelling
of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020},
pages = {6:1--6:9},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377024.3377036},
doi = {10.1145/3377024.3377036},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vamos/SpreySKNMTS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/BordisRKTS20,
author = {Tabea Bordis and
Tobias Runge and
Alexander Kn{\"{u}}ppel and
Thomas Th{\"{u}}m and
Ina Schaefer},
editor = {Maxime Cordy and
Mathieu Acher and
Danilo Beuche and
Gunter Saake},
title = {Variational correctness-by-construction},
booktitle = {VaMoS '20: 14th International Working Conference on Variability Modelling
of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020},
pages = {7:1--7:9},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377024.3377038},
doi = {10.1145/3377024.3377038},
timestamp = {Sat, 08 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vamos/BordisRKTS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/KnuppelKTBKBS20,
author = {Alexander Kn{\"{u}}ppel and
Stefan Kr{\"{u}}ger and
Thomas Th{\"{u}}m and
Richard Bubel and
Sebastian Krieter and
Eric Bodden and
Ina Schaefer},
editor = {Wolfgang Ahrendt and
Bernhard Beckert and
Richard Bubel and
Reiner H{\"{a}}hnle and
Mattias Ulbrich},
title = {Using Abstract Contracts for Verifying Evolving Features and Their
Interactions},
booktitle = {Deductive Software Verification: Future Perspectives - Reflections
on the Occasion of 20 Years of KeY},
series = {Lecture Notes in Computer Science},
volume = {12345},
pages = {122--148},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64354-6\_5},
doi = {10.1007/978-3-030-64354-6\_5},
timestamp = {Mon, 14 Dec 2020 16:21:57 +0100},
biburl = {https://dblp.org/rec/series/lncs/KnuppelKTBKBS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/LityNTS19,
author = {Sascha Lity and
Manuel Nieke and
Thomas Th{\"{u}}m and
Ina Schaefer},
title = {Retest test selection for product-line regression testing of variants
and versions of variants},
journal = {J. Syst. Softw.},
volume = {147},
pages = {46--63},
year = {2019},
url = {https://doi.org/10.1016/j.jss.2018.09.090},
doi = {10.1016/J.JSS.2018.09.090},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/LityNTS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/ThumKKBS19,
author = {Thomas Th{\"{u}}m and
Alexander Kn{\"{u}}ppel and
Stefan Kr{\"{u}}ger and
Stefanie Bolle and
Ina Schaefer},
title = {Feature-oriented contract composition},
journal = {J. Syst. Softw.},
volume = {152},
pages = {83--107},
year = {2019},
url = {https://doi.org/10.1016/j.jss.2019.01.044},
doi = {10.1016/J.JSS.2019.01.044},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/ThumKKBS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/Al-HajjajiTLMS19,
author = {Mustafa Al{-}Hajjaji and
Thomas Th{\"{u}}m and
Malte Lochau and
Jens Meinicke and
Gunter Saake},
title = {Effective product-line testing using similarity-based product prioritization},
journal = {Softw. Syst. Model.},
volume = {18},
number = {1},
pages = {499--521},
year = {2019},
url = {https://doi.org/10.1007/s10270-016-0569-2},
doi = {10.1007/S10270-016-0569-2},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/Al-HajjajiTLMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/RungeSCTKW19,
author = {Tobias Runge and
Ina Schaefer and
Loek Cleophas and
Thomas Th{\"{u}}m and
Derrick G. Kourie and
Bruce W. Watson},
editor = {Reiner H{\"{a}}hnle and
Wil M. P. van der Aalst},
title = {Tool Support for Correctness-by-Construction},
booktitle = {Fundamental Approaches to Software Engineering - 22nd International
Conference, {FASE} 2019, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2019, Prague, Czech Republic,
April 6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11424},
pages = {25--42},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-16722-6\_2},
doi = {10.1007/978-3-030-16722-6\_2},
timestamp = {Tue, 29 Dec 2020 18:33:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/RungeSCTKW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/RungeTCSW19,
author = {Tobias Runge and
Thomas Th{\"{u}}m and
Loek Cleophas and
Ina Schaefer and
Bruce W. Watson},
editor = {Emil Sekerinski and
Nelma Moreira and
Jos{\'{e}} N. Oliveira and
Daniel Ratiu and
Riccardo Guidotti and
Marie Farrell and
Matt Luckcuck and
Diego Marmsoler and
Jos{\'{e}} Creissac Campos and
Troy Astarte and
Laure Gonnord and
Antonio Cerone and
Luis Couto and
Brijesh Dongol and
Martin Kutrib and
Pedro Monteiro and
David Delmas},
title = {Comparing Correctness-by-Construction with Post-Hoc Verification -
{A} Qualitative User Study},
booktitle = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal,
October 7-11, 2019, Revised Selected Papers, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12233},
pages = {388--405},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-54997-8\_25},
doi = {10.1007/978-3-030-54997-8\_25},
timestamp = {Mon, 05 Feb 2024 20:31:40 +0100},
biburl = {https://dblp.org/rec/conf/fm/RungeTCSW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/KrieterTSSS19,
author = {Sebastian Krieter and
Thomas Th{\"{u}}m and
Sandro Schulze and
Reimar Schr{\"{o}}ter and
Gunter Saake},
editor = {Steffen Becker and
Ivan Bogicevic and
Georg Herzwurm and
Stefan Wagner},
title = {Propagating Configuration Decisions with Modal Implication Graphs},
booktitle = {Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart,
Germany, February 18-22, 2019},
series = {{LNI}},
volume = {{P-292}},
pages = {77--78},
publisher = {{GI}},
year = {2019},
url = {https://doi.org/10.18420/se2019-20},
doi = {10.18420/SE2019-20},
timestamp = {Wed, 13 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/se/KrieterTSSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/KnuppelTPS19,
author = {Alexander Kn{\"{u}}ppel and
Thomas Th{\"{u}}m and
Carsten Immanuel Pardylla and
Ina Schaefer},
editor = {Steffen Becker and
Ivan Bogicevic and
Georg Herzwurm and
Stefan Wagner},
title = {Understanding Parameters of Deductive Verification: An Empirical Investigation
of KeY},
booktitle = {Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart,
Germany, February 18-22, 2019},
series = {{LNI}},
volume = {{P-292}},
pages = {165--166},
publisher = {{GI}},
year = {2019},
url = {https://doi.org/10.18420/se2019-51},
doi = {10.18420/SE2019-51},
timestamp = {Wed, 13 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/se/KnuppelTPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BittnerTS19,
author = {Paul Maximilian Bittner and
Thomas Th{\"{u}}m and
Ina Schaefer},
editor = {Peter Csaba {\"{O}}lveczky and
Gwen Sala{\"{u}}n},
title = {{SAT} Encodings of the At-Most-k Constraint - {A} Case Study on Configuring
University Courses},
booktitle = {Software Engineering and Formal Methods - 17th International Conference,
{SEFM} 2019, Oslo, Norway, September 18-20, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11724},
pages = {127--144},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30446-1\_7},
doi = {10.1007/978-3-030-30446-1\_7},
timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BittnerTS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/ThumKKBS19,
author = {Thomas Th{\"{u}}m and
Alexander Kn{\"{u}}ppel and
Stefan Kr{\"{u}}ger and
Stefanie Bolle and
Ina Schaefer},
editor = {Thorsten Berger and
Philippe Collet and
Laurence Duchien and
Thomas Fogdal and
Patrick Heymans and
Timo Kehrer and
Jabier Martinez and
Ra{\'{u}}l Mazo and
Leticia Montalvillo and
Camille Salinesi and
Xhevahire T{\"{e}}rnava and
Thomas Th{\"{u}}m and
Tewfik Ziadi},
title = {Feature-oriented contract composition},
booktitle = {Proceedings of the 23rd International Systems and Software Product
Line Conference, {SPLC} 2019, Volume A, Paris, France, September 9-13,
2019},
pages = {5:1},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3336294.3342374},
doi = {10.1145/3336294.3342374},
timestamp = {Thu, 29 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/ThumKKBS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/PettTRKLS19,
author = {Tobias Pett and
Thomas Th{\"{u}}m and
Tobias Runge and
Sebastian Krieter and
Malte Lochau and
Ina Schaefer},
editor = {Thorsten Berger and
Philippe Collet and
Laurence Duchien and
Thomas Fogdal and
Patrick Heymans and
Timo Kehrer and
Jabier Martinez and
Ra{\'{u}}l Mazo and
Leticia Montalvillo and
Camille Salinesi and
Xhevahire T{\"{e}}rnava and
Thomas Th{\"{u}}m and
Tewfik Ziadi},
title = {Product sampling for product lines: the scalability challenge},
booktitle = {Proceedings of the 23rd International Systems and Software Product
Line Conference, {SPLC} 2019, Volume A, Paris, France, September 9-13,
2019},
pages = {14:1--14:6},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3336294.3336322},
doi = {10.1145/3336294.3336322},
timestamp = {Thu, 29 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/PettTRKLS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/ThumTSWMVBSK19,
author = {Thomas Th{\"{u}}m and
Leopoldo Teixeira and
Klaus Schmid and
Eric Walkingshaw and
Mukelabai Mukelabai and
Mahsa Varshosaz and
Goetz Botterweck and
Ina Schaefer and
Timo Kehrer},
editor = {Carlos Cetina and
Oscar D{\'{\i}}az and
Laurence Duchien and
Marianne Huchard and
Rick Rabiser and
Camille Salinesi and
Christoph Seidl and
Xhevahire T{\"{e}}rnava and
Leopoldo Teixeira and
Thomas Th{\"{u}}m and
Tewfik Ziadi},
title = {Towards efficient analysis of variation in time and space},
booktitle = {Proceedings of the 23rd International Systems and Software Product
Line Conference, {SPLC} 2019, Volume B, Paris, France, September 9-13,
2019},
pages = {69:1--69:8},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3307630.3342414},
doi = {10.1145/3307630.3342414},
timestamp = {Tue, 06 Aug 2024 17:12:58 +0200},
biburl = {https://dblp.org/rec/conf/splc/ThumTSWMVBSK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/ThumSS19,
author = {Thomas Th{\"{u}}m and
Christoph Seidl and
Ina Schaefer},
editor = {Carlos Cetina and
Oscar D{\'{\i}}az and
Laurence Duchien and
Marianne Huchard and
Rick Rabiser and
Camille Salinesi and
Christoph Seidl and
Xhevahire T{\"{e}}rnava and
Leopoldo Teixeira and
Thomas Th{\"{u}}m and
Tewfik Ziadi},
title = {On language levels for feature modeling notations},
booktitle = {Proceedings of the 23rd International Systems and Software Product
Line Conference, {SPLC} 2019, Volume B, Paris, France, September 9-13,
2019},
pages = {83:1--83:4},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3307630.3342404},
doi = {10.1145/3307630.3342404},
timestamp = {Wed, 25 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/ThumSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/19/JungMJPLTSTU19,
author = {Reiner Jung and
Lukas M{\"{a}}rtin and
Jan Ole Johanssen and
Barbara Paech and
Malte Lochau and
Thomas Th{\"{u}}m and
Kurt Schneider and
Matthias Tichy and
Mattias Ulbrich},
editor = {Ralf H. Reussner and
Michael Goedicke and
Wilhelm Hasselbring and
Birgit Vogel{-}Heuser and
Jan Keim and
Lukas M{\"{a}}rtin},
title = {Addressed Challenges},
booktitle = {Managed Software Evolution},
pages = {21--36},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-13499-0\_3},
doi = {10.1007/978-3-030-13499-0\_3},
timestamp = {Sat, 30 Sep 2023 09:32:41 +0200},
biburl = {https://dblp.org/rec/books/sp/19/JungMJPLTSTU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/19/ThumHABGHJKLSW19,
author = {Thomas Th{\"{u}}m and
Andr{\'{e}} van Hoorn and
Sven Apel and
Johannes B{\"{u}}rdek and
Sinem Getir and
Robert Heinrich and
Reiner Jung and
Matthias Kowal and
Malte Lochau and
Ina Schaefer and
J{\"{u}}rgen Walter},
editor = {Ralf H. Reussner and
Michael Goedicke and
Wilhelm Hasselbring and
Birgit Vogel{-}Heuser and
Jan Keim and
Lukas M{\"{a}}rtin},
title = {Performance Analysis Strategies for Software Variants and Versions},
booktitle = {Managed Software Evolution},
pages = {175--206},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-13499-0\_8},
doi = {10.1007/978-3-030-13499-0\_8},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/19/ThumHABGHJKLSW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/splc/2019a,
editor = {Thorsten Berger and
Philippe Collet and
Laurence Duchien and
Thomas Fogdal and
Patrick Heymans and
Timo Kehrer and
Jabier Martinez and
Ra{\'{u}}l Mazo and
Leticia Montalvillo and
Camille Salinesi and
Xhevahire T{\"{e}}rnava and
Thomas Th{\"{u}}m and
Tewfik Ziadi},
title = {Proceedings of the 23rd International Systems and Software Product
Line Conference, {SPLC} 2019, Volume A, Paris, France, September 9-13,
2019},
publisher = {{ACM}},
year = {2019},
url = {https://dl.acm.org/citation.cfm?id=3336294},
isbn = {978-1-4503-7138-4},
timestamp = {Fri, 09 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/2019a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/splc/2019b,
editor = {Carlos Cetina and
Oscar D{\'{\i}}az and
Laurence Duchien and
Marianne Huchard and
Rick Rabiser and
Camille Salinesi and
Christoph Seidl and
Xhevahire T{\"{e}}rnava and
Leopoldo Teixeira and
Thomas Th{\"{u}}m and
Tewfik Ziadi},
title = {Proceedings of the 23rd International Systems and Software Product
Line Conference, {SPLC} 2019, Volume B, Paris, France, September 9-13,
2019},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3307630},
doi = {10.1145/3307630},
isbn = {978-1-4503-6668-7},
timestamp = {Tue, 06 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/2019b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/confws/ThumKS18,
author = {Thomas Th{\"{u}}m and
Sebastian Krieter and
Ina Schaefer},
editor = {Alexander Felfernig and
Juha Tiihonen and
Lothar Hotz and
Martin Stettinger},
title = {Product Configuration in the Wild: Strategies for Conflicting Decisions
in Web Configurators},
booktitle = {Proceedings of the 20th Configuration Workshop, Graz, Austria, September
27-28, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2220},
pages = {1--8},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2220/01\_CONFWS18\_paper\_35.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:15 +0100},
biburl = {https://dblp.org/rec/conf/confws/ThumKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/RulandLBLTLR18,
author = {Sebastian Ruland and
Lars Luthmann and
Johannes B{\"{u}}rdek and
Sascha Lity and
Thomas Th{\"{u}}m and
Malte Lochau and
M{\'{a}}rcio Ribeiro},
editor = {Eric Van Wyk and
Tiark Rompf},
title = {Measuring effectiveness of sample-based product-line testing},
booktitle = {Proceedings of the 17th {ACM} {SIGPLAN} International Conference on
Generative Programming: Concepts and Experiences, {GPCE} 2018, Boston,
MA, USA, November 5-6, 2018},
pages = {119--133},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3278122.3278130},
doi = {10.1145/3278122.3278130},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/gpce/RulandLBLTLR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/NiekeMSTYF18,
author = {Michael Nieke and
Jacopo Mauro and
Christoph Seidl and
Thomas Th{\"{u}}m and
Ingrid Chieh Yu and
Felix Franzke},
editor = {Eric Van Wyk and
Tiark Rompf},
title = {Anomaly analyses for feature-model evolution},
booktitle = {Proceedings of the 17th {ACM} {SIGPLAN} International Conference on
Generative Programming: Concepts and Experiences, {GPCE} 2018, Boston,
MA, USA, November 5-6, 2018},
pages = {188--201},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3278122.3278123},
doi = {10.1145/3278122.3278123},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gpce/NiekeMSTYF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KrieterTSSS18,
author = {Sebastian Krieter and
Thomas Th{\"{u}}m and
Sandro Schulze and
Reimar Schr{\"{o}}ter and
Gunter Saake},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {Propagating configuration decisions with modal implication graphs},
booktitle = {Proceedings of the 40th International Conference on Software Engineering,
{ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018},
pages = {898--909},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3180155.3180159},
doi = {10.1145/3180155.3180159},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/KrieterTSSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KnuppelTPS18,
author = {Alexander Kn{\"{u}}ppel and
Thomas Th{\"{u}}m and
Carsten Pardylla and
Ina Schaefer},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Scalability of Deductive Verification Depends on Method Call Treatment},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {159--175},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_15},
doi = {10.1007/978-3-030-03427-6\_15},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/KnuppelTPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/KnuppelTPS18,
author = {Alexander Kn{\"{u}}ppel and
Thomas Th{\"{u}}m and
Carsten Immanuel Pardylla and
Ina Schaefer},
editor = {Jeremy Avigad and
Assia Mahboubi},
title = {Understanding Parameters of Deductive Verification: An Empirical Investigation
of KeY},
booktitle = {Interactive Theorem Proving - 9th International Conference, {ITP}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 9-12, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10895},
pages = {342--361},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94821-8\_20},
doi = {10.1007/978-3-319-94821-8\_20},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/KnuppelTPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modellierung/ThumLK18,
author = {Thomas Th{\"{u}}m and
Thomas Leich and
Sebastian Krieter},
editor = {Ina Schaefer and
Dimitris Karagiannis and
Andreas Vogelsang and
Daniel M{\'{e}}ndez and
Christoph Seidl},
title = {Feature Modeling and Development with FeatureIDE},
booktitle = {Modellierung 2018, 21.-23. Februar 2018, Braunschweig, Germany},
series = {{LNI}},
volume = {{P-280}},
pages = {297--298},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2018},
url = {https://dl.gi.de/handle/20.500.12116/14947},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modellierung/ThumLK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/KnuppelTMMS18,
author = {Alexander Kn{\"{u}}ppel and
Thomas Th{\"{u}}m and
Stephan Mennicke and
Jens Meinicke and
Ina Schaefer},
editor = {Matthias Tichy and
Eric Bodden and
Marco Kuhrmann and
Stefan Wagner and
Jan{-}Philipp Stegh{\"{o}}fer},
title = {Is There a Mismatch between Real-World Feature Models and Product-Line
Research?},
booktitle = {Software Engineering und Software Management 2018, Fachtagung des
GI-Fachbereichs Softwaretechnik, {SE} 2018, 5.-9. M{\"{a}}rz
2018, Ulm, Germany},
series = {{LNI}},
volume = {{P-279}},
pages = {53--54},
publisher = {Gesellschaft f{\"{u}}r Informatik},
year = {2018},
url = {https://dl.gi.de/handle/20.500.12116/16312},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/KnuppelTMMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/VarshosazATRMS18,
author = {Mahsa Varshosaz and
Mustafa Al{-}Hajjaji and
Thomas Th{\"{u}}m and
Tobias Runge and
Mohammad Reza Mousavi and
Ina Schaefer},
editor = {Thorsten Berger and
Paulo Borba and
Goetz Botterweck and
Tomi M{\"{a}}nnist{\"{o}} and
David Benavides and
Sarah Nadi and
Timo Kehrer and
Rick Rabiser and
Christoph Elsner and
Mukelabai Mukelabai},
title = {A classification of product sampling for software product lines},
booktitle = {Proceeedings of the 22nd International Systems and Software Product
Line Conference - Volume 1, {SPLC} 2018, Gothenburg, Sweden, September
10-14, 2018},
pages = {1--13},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3233027.3233035},
doi = {10.1145/3233027.3233035},
timestamp = {Sat, 09 Apr 2022 12:37:33 +0200},
biburl = {https://dblp.org/rec/conf/splc/VarshosazATRMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/NiekeST18,
author = {Michael Nieke and
Christoph Seidl and
Thomas Th{\"{u}}m},
editor = {Philippe Collet and
Jianmei Guo and
Jabier Martinez and
Christoph Seidl and
Julia Rubin and
Oscar D{\'{\i}}az and
Mukelabai Mukelabai and
Thorsten Berger},
title = {Back to the future: avoiding paradoxes in feature-model evolution},
booktitle = {Proceeedings of the 22nd International Systems and Software Product
Line Conference - Volume 2, {SPLC} 2018, Gothenburg, Sweden, September
10-14, 2018},
pages = {48--51},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236405.3237201},
doi = {10.1145/3236405.3237201},
timestamp = {Tue, 06 Aug 2024 17:12:58 +0200},
biburl = {https://dblp.org/rec/conf/splc/NiekeST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/KrugerFTASL18,
author = {Jacob Kr{\"{u}}ger and
Wolfram Fenske and
Thomas Th{\"{u}}m and
Dirk Aporius and
Gunter Saake and
Thomas Leich},
editor = {Thorsten Berger and
Paulo Borba and
Goetz Botterweck and
Tomi M{\"{a}}nnist{\"{o}} and
David Benavides and
Sarah Nadi and
Timo Kehrer and
Rick Rabiser and
Christoph Elsner and
Mukelabai Mukelabai},
title = {Apo-games: a case study for reverse engineering variability from cloned
Java variants},
booktitle = {Proceeedings of the 22nd International Systems and Software Product
Line Conference - Volume 1, {SPLC} 2018, Gothenburg, Sweden, September
10-14, 2018},
pages = {251--256},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3233027.3236403},
doi = {10.1145/3233027.3236403},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/KrugerFTASL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/ThumKL18,
author = {Thomas Th{\"{u}}m and
Sebastian Krieter and
Thomas Leich},
editor = {Thorsten Berger and
Paulo Borba and
Goetz Botterweck and
Tomi M{\"{a}}nnist{\"{o}} and
David Benavides and
Sarah Nadi and
Timo Kehrer and
Rick Rabiser and
Christoph Elsner and
Mukelabai Mukelabai},
title = {Clean your variable code with featureIDE},
booktitle = {Proceeedings of the 22nd International Systems and Software Product
Line Conference - Volume 1, {SPLC} 2018, Gothenburg, Sweden, September
10-14, 2018},
pages = {299},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3233027.3233053},
doi = {10.1145/3233027.3233053},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/ThumKL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/CarvalhoGRFAGT18,
author = {Luiz Carvalho and
Marcio Augusto Guimar{\~{a}}es and
M{\'{a}}rcio Ribeiro and
Leonardo Fernandes and
Mustafa Al{-}Hajjaji and
Rohit Gheyi and
Thomas Th{\"{u}}m},
editor = {Rafael Capilla and
Malte Lochau and
Lidia Fuentes},
title = {Equivalent Mutants in Configurable Systems: An Empirical Study},
booktitle = {Proceedings of the 12th International Workshop on Variability Modelling
of Software-Intensive Systems, {VAMOS} 2018, Madrid, Spain, February
7-9, 2018},
pages = {11--18},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3168365.3168379},
doi = {10.1145/3168365.3168379},
timestamp = {Thu, 28 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vamos/CarvalhoGRFAGT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/LityNTSS18,
author = {Sascha Lity and
Sophia Nahrendorf and
Thomas Th{\"{u}}m and
Christoph Seidl and
Ina Schaefer},
editor = {Rafael Capilla and
Malte Lochau and
Lidia Fuentes},
title = {175{\%} Modeling for Product-Line Evolution of Domain Artifacts},
booktitle = {Proceedings of the 12th International Workshop on Variability Modelling
of Software-Intensive Systems, {VAMOS} 2018, Madrid, Spain, February
7-9, 2018},
pages = {27--34},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3168365.3168369},
doi = {10.1145/3168365.3168369},
timestamp = {Wed, 25 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vamos/LityNTSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1811-10818,
author = {Alexander Kn{\"{u}}ppel and
Thomas Th{\"{u}}m and
Carsten Pardylla and
Ina Schaefer},
editor = {Paolo Masci and
Rosemary Monahan and
Virgile Prevosto},
title = {Experience Report on Formally Verifying Parts of OpenJDK's {API} with
KeY},
booktitle = {Proceedings 4th Workshop on Formal Integrated Development Environment,
F-IDE@FLoC 2018, Oxford, England, 14 July 2018},
series = {{EPTCS}},
volume = {284},
pages = {53--70},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.284.5},
doi = {10.4204/EPTCS.284.5},
timestamp = {Sat, 09 Apr 2022 12:27:07 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-10818.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/MeinickeTSBLS17,
author = {Jens Meinicke and
Thomas Th{\"{u}}m and
Reimar Schr{\"{o}}ter and
Fabian Benduhn and
Thomas Leich and
Gunter Saake},
title = {Mastering Software Variability with FeatureIDE},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61443-4},
doi = {10.1007/978-3-319-61443-4},
isbn = {978-3-319-61442-7},
timestamp = {Thu, 05 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/MeinickeTSBLS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BenduhnTSS17,
author = {Fabian Benduhn and
Thomas Th{\"{u}}m and
Ina Schaefer and
Gunter Saake},
editor = {Zhenhua Duan and
Luke Ong},
title = {Modularization of Refinement Steps for Agile Formal Methods},
booktitle = {Formal Methods and Software Engineering - 19th International Conference
on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
13-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10610},
pages = {19--35},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68690-5\_2},
doi = {10.1007/978-3-319-68690-5\_2},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/BenduhnTSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Al-HajjajiLLTSS17,
author = {Mustafa Al{-}Hajjaji and
Sascha Lity and
Remo Lachmann and
Thomas Th{\"{u}}m and
Ina Schaefer and
Gunter Saake},
title = {Delta-Oriented Product Prioritization for Similarity-Based Product-Line
Testing},
booktitle = {2nd {IEEE/ACM} International Workshop on Variability and Complexity
in Software Design, VACE@ICSE 2017, Buenos Aires, Argentina, May 27,
2017},
pages = {34--40},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/VACE.2017.8},
doi = {10.1109/VACE.2017.8},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/icse/Al-HajjajiLLTSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/SchroterKTBS17,
author = {Reimar Schr{\"{o}}ter and
Sebastian Krieter and
Thomas Th{\"{u}}m and
Fabian Benduhn and
Gunter Saake},
editor = {Jan J{\"{u}}rjens and
Kurt Schneider},
title = {Compositional Analyses of Highly-Configurable Systems with Feature-Model
Interfaces},
booktitle = {Software Engineering 2017, Fachtagung des GI-Fachbereichs Softwaretechnik,
21.-24. Februar 2017, Hannover, Deutschland},
series = {{LNI}},
volume = {{P-267}},
pages = {129--130},
publisher = {{GI}},
year = {2017},
url = {https://dl.gi.de/handle/20.500.12116/1306},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/SchroterKTBS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KnuppelTMMS17,
author = {Alexander Kn{\"{u}}ppel and
Thomas Th{\"{u}}m and
Stephan Mennicke and
Jens Meinicke and
Ina Schaefer},
editor = {Eric Bodden and
Wilhelm Sch{\"{a}}fer and
Arie van Deursen and
Andrea Zisman},
title = {Is there a mismatch between real-world feature models and product-line
research?},
booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
pages = {291--302},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3106237.3106252},
doi = {10.1145/3106237.3106252},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/KnuppelTMMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/KrieterPKSSTLS17,
author = {Sebastian Krieter and
Marcus Pinnecke and
Jacob Kr{\"{u}}ger and
Joshua Sprey and
Christopher Sontag and
Thomas Th{\"{u}}m and
Thomas Leich and
Gunter Saake},
editor = {Maurice H. ter Beek and
Walter Cazzola and
Oscar D{\'{\i}}az and
Marcello La Rosa and
Roberto E. Lopez{-}Herrejon and
Thomas Th{\"{u}}m and
Javier Troya and
Antonio Ruiz Cort{\'{e}}s and
David Benavides},
title = {FeatureIDE: Empowering Third-Party Developers},
booktitle = {Proceedings of the 21st International Systems and Software Product
Line Conference, {SPLC} 2017, Volume B, Sevilla, Spain, September
25-29, 2017},
pages = {42--45},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3109729.3109751},
doi = {10.1145/3109729.3109751},
timestamp = {Tue, 06 Aug 2024 17:12:58 +0200},
biburl = {https://dblp.org/rec/conf/splc/KrieterPKSSTLS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/LityATS17,
author = {Sascha Lity and
Mustafa Al{-}Hajjaji and
Thomas Th{\"{u}}m and
Ina Schaefer},
editor = {Maurice H. ter Beek and
Norbert Siegmund and
Ina Schaefer},
title = {Optimizing product orders using graph algorithms for improving incremental
product-line analysis},
booktitle = {Proceedings of the Eleventh International Workshop on Variability
Modelling of Software-intensive Systems, VaMoS 2017, Eindhoven, Netherlands,
February 1-3, 2017},
pages = {60--67},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3023956.3023961},
doi = {10.1145/3023956.3023961},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vamos/LityATS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/splc/2017b,
editor = {Maurice H. ter Beek and
Walter Cazzola and
Oscar D{\'{\i}}az and
Marcello La Rosa and
Roberto E. Lopez{-}Herrejon and
Thomas Th{\"{u}}m and
Javier Troya and
Antonio Ruiz Cort{\'{e}}s and
David Benavides},
title = {Proceedings of the 21st International Systems and Software Product
Line Conference, {SPLC} 2017, Volume B, Sevilla, Spain, September
25-29, 2017},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3109729},
doi = {10.1145/3109729},
isbn = {978-1-4503-5119-5},
timestamp = {Tue, 06 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/2017b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/RheinTSLA16,
author = {Alexander von Rhein and
Thomas Th{\"{u}}m and
Ina Schaefer and
J{\"{o}}rg Liebig and
Sven Apel},
title = {Variability encoding: From compile-time to load-time variability},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {1},
pages = {125--145},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.06.007},
doi = {10.1016/J.JLAMP.2015.06.007},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/RheinTSLA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/SchinkSSTS16,
author = {Hagen Schink and
Janet Siegmund and
Reimar Schr{\"{o}}ter and
Thomas Th{\"{u}}m and
Gunter Saake},
title = {A Study on Tool Support for Refactoring in Database Applications},
journal = {Softwaretechnik-Trends},
volume = {36},
number = {2},
year = {2016},
url = {https://fb-swt.gi.de/fileadmin/FB/SWT/Softwaretechnik-Trends/Verzeichnis/Band\_36\_Heft\_2/WSRE2016\_13\_paper\_4.pdf},
timestamp = {Wed, 13 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stt/SchinkSSTS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/KowalAT16,
author = {Matthias Kowal and
Sofia Ananieva and
Thomas Th{\"{u}}m},
editor = {Bernd Fischer and
Ina Schaefer},
title = {Explaining anomalies in feature models},
booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
Generative Programming: Concepts and Experiences, {GPCE} 2016, Amsterdam,
The Netherlands, October 31 - November 1, 2016},
pages = {132--143},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2993236.2993248},
doi = {10.1145/2993236.2993248},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/gpce/KowalAT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/Al-HajjajiKTLS16,
author = {Mustafa Al{-}Hajjaji and
Sebastian Krieter and
Thomas Th{\"{u}}m and
Malte Lochau and
Gunter Saake},
editor = {Bernd Fischer and
Ina Schaefer},
title = {IncLing: efficient product-line testing using incremental pairwise
sampling},
booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
Generative Programming: Concepts and Experiences, {GPCE} 2016, Amsterdam,
The Netherlands, October 31 - November 1, 2016},
pages = {144--155},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2993236.2993253},
doi = {10.1145/2993236.2993253},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gpce/Al-HajjajiKTLS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/Al-HajjajiMKSTL16,
author = {Mustafa Al{-}Hajjaji and
Jens Meinicke and
Sebastian Krieter and
Reimar Schr{\"{o}}ter and
Thomas Th{\"{u}}m and
Thomas Leich and
Gunter Saake},
editor = {Bernd Fischer and
Ina Schaefer},
title = {Tool demo: testing configurable systems with FeatureIDE},
booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
Generative Programming: Concepts and Experiences, {GPCE} 2016, Amsterdam,
The Netherlands, October 31 - November 1, 2016},
pages = {173--177},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2993236.2993254},
doi = {10.1145/2993236.2993254},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gpce/Al-HajjajiMKSTL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MeinickeTSKBSL16,
author = {Jens Meinicke and
Thomas Th{\"{u}}m and
Reimar Schr{\"{o}}ter and
Sebastian Krieter and
Fabian Benduhn and
Gunter Saake and
Thomas Leich},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {FeatureIDE: taming the preprocessor wilderness},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume},
pages = {629--632},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2889160.2889175},
doi = {10.1145/2889160.2889175},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/MeinickeTSKBSL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SchroterKTBS16,
author = {Reimar Schr{\"{o}}ter and
Sebastian Krieter and
Thomas Th{\"{u}}m and
Fabian Benduhn and
Gunter Saake},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {Feature-model interfaces: the highway to compositional analyses of
highly-configurable systems},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
pages = {667--678},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2884781.2884823},
doi = {10.1145/2884781.2884823},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/SchroterKTBS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsr/LityMTS16,
author = {Sascha Lity and
Thomas Morbach and
Thomas Th{\"{u}}m and
Ina Schaefer},
editor = {Georgia M. Kapitsaki and
Eduardo Santana de Almeida},
title = {Applying Incremental Model Slicing to Product-Line Regression Testing},
booktitle = {Software Reuse: Bridging with Social-Awareness - 15th International
Conference, {ICSR} 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9679},
pages = {3--19},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-35122-3\_1},
doi = {10.1007/978-3-319-35122-3\_1},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/icsr/LityMTS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HolthusenNTS16,
author = {S{\"{o}}nke Holthusen and
Michael Nieke and
Thomas Th{\"{u}}m and
Ina Schaefer},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Proof-Carrying Apps: Contract-Based Deployment-Time Verification},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {839--855},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_58},
doi = {10.1007/978-3-319-47166-2\_58},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/HolthusenNTS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MeinickeWKTS16,
author = {Jens Meinicke and
Chu{-}Pan Wong and
Christian K{\"{a}}stner and
Thomas Th{\"{u}}m and
Gunter Saake},
editor = {David Lo and
Sven Apel and
Sarfraz Khurshid},
title = {On essential configuration complexity: measuring interactions in highly-configurable
systems},
booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016},
pages = {483--494},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2970276.2970322},
doi = {10.1145/2970276.2970322},
timestamp = {Sat, 30 Sep 2023 09:51:40 +0200},
biburl = {https://dblp.org/rec/conf/kbse/MeinickeWKTS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AnanievaKTS16,
author = {Sofia Ananieva and
Matthias Kowal and
Thomas Th{\"{u}}m and
Ina Schaefer},
editor = {Christoph Seidl and
Leopoldo Teixeira},
title = {Implicit constraints in partial feature models},
booktitle = {Proceedings of the 7th International Workshop on Feature-Oriented
Software Development, FOSD@SPLASH 2016, Amsterdam, The Netherlands,
October 30, 2016},
pages = {18--27},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/3001867.3001870},
doi = {10.1145/3001867.3001870},
timestamp = {Wed, 23 Feb 2022 11:06:28 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/AnanievaKTS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/KrieterSTFS16,
author = {Sebastian Krieter and
Reimar Schr{\"{o}}ter and
Thomas Th{\"{u}}m and
Wolfram Fenske and
Gunter Saake},
editor = {Hong Mei},
title = {Comparing algorithms for efficient feature-model slicing},
booktitle = {Proceedings of the 20th International Systems and Software Product
Line Conference, {SPLC} 2016, Beijing, China, September 16-23, 2016},
pages = {60--64},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2934466.2934477},
doi = {10.1145/2934466.2934477},
timestamp = {Tue, 09 May 2023 08:00:06 +0200},
biburl = {https://dblp.org/rec/conf/splc/KrieterSTFS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/ThumRSSD16,
author = {Thomas Th{\"{u}}m and
M{\'{a}}rcio Ribeiro and
Reimar Schr{\"{o}}ter and
Janet Siegmund and
Francisco Dalton},
editor = {Hong Mei},
title = {Product-line maintenance with emergent contract interfaces},
booktitle = {Proceedings of the 20th International Systems and Software Product
Line Conference, {SPLC} 2016, Beijing, China, September 16-23, 2016},
pages = {134--143},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2934466.2934471},
doi = {10.1145/2934466.2934471},
timestamp = {Thu, 28 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/ThumRSSD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/ThumLK16,
author = {Thomas Th{\"{u}}m and
Thomas Leich and
Sebastian Krieter},
editor = {Hong Mei},
title = {Clean your variable code with featureIDE},
booktitle = {Proceedings of the 20th International Systems and Software Product
Line Conference, {SPLC} 2016, Beijing, China, September 16-23, 2016},
pages = {308},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2934466.2956655},
doi = {10.1145/2934466.2956655},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/ThumLK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/PfofeTSFS16,
author = {Tristan Pfofe and
Thomas Th{\"{u}}m and
Sandro Schulze and
Wolfram Fenske and
Ina Schaefer},
editor = {Hong Mei},
title = {Synchronizing software variants with variantsync},
booktitle = {Proceedings of the 20th International Systems and Software Product
Line Conference, {SPLC} 2016, Beijing, China, September 16-23, 2016},
pages = {329--332},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2934466.2962726},
doi = {10.1145/2934466.2962726},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/PfofeTSFS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/Al-HajjajiBTLS16,
author = {Mustafa Al{-}Hajjaji and
Fabian Benduhn and
Thomas Th{\"{u}}m and
Thomas Leich and
Gunter Saake},
editor = {Ina Schaefer and
Vander Alves and
Eduardo Santana de Almeida},
title = {Mutation Operators for Preprocessor-Based Variability},
booktitle = {Proceedings of the Tenth International Workshop on Variability Modelling
of Software-intensive Systems, Salvador, Brazil, January 27 - 29,
2016},
pages = {81--88},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2866614.2866626},
doi = {10.1145/2866614.2866626},
timestamp = {Tue, 06 Nov 2018 16:58:56 +0100},
biburl = {https://dblp.org/rec/conf/vamos/Al-HajjajiBTLS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/ThumWS0K16,
author = {Thomas Th{\"{u}}m and
Tim Winkelmann and
Reimar Schr{\"{o}}ter and
Martin Hentschel and
Stefan Kr{\"{u}}ger},
editor = {Ina Schaefer and
Vander Alves and
Eduardo Santana de Almeida},
title = {Variability Hiding in Contracts for Dependent Software Product Lines},
booktitle = {Proceedings of the Tenth International Workshop on Variability Modelling
of Software-intensive Systems, Salvador, Brazil, January 27 - 29,
2016},
pages = {97--104},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2866614.2866628},
doi = {10.1145/2866614.2866628},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vamos/ThumWS0K16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/RubinT16,
editor = {Julia Rubin and
Thomas Th{\"{u}}m},
title = {Proceedings 7th International Workshop on Formal Methods and Analysis
in Software Product Line Engineering, FMSPLE@ETAPS 2016, Eindhoven,
The Netherlands, April 3, 2016},
series = {{EPTCS}},
volume = {206},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.206},
doi = {10.4204/EPTCS.206},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RubinT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Thum15,
author = {Thomas Th{\"{u}}m},
title = {Product-line specification and verification with feature-oriented
contracts},
school = {Otto von Guericke University Magdeburg},
year = {2015},
url = {https://nbn-resolving.org/urn:nbn:de:gbv:ma9:1-5915},
urn = {urn:nbn:de:gbv:ma9:1-5915},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Thum15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/ThumAKSS15,
author = {Thomas Th{\"{u}}m and
Sven Apel and
Christian K{\"{a}}stner and
Ina Schaefer and
Gunter Saake},
editor = {Uwe A{\ss}mann and
Birgit Demuth and
Thorsten Spitta and
Georg P{\"{u}}schel and
Ronny Kaiser},
title = {Analysis Strategies for Software Product Lines: {A} Classification
and Survey},
booktitle = {Software Engineering {\&} Management 2015, Multikonferenz der
GI-Fachbereiche Softwaretechnik {(SWT)} und Wirtschaftsinformatik
(WI), {FA} WI-MAW, 17. M{\"{a}}rz - 20. M{\"{a}}rz 2015,
Dresden, Germany},
series = {{LNI}},
volume = {{P-239}},
pages = {57--58},
publisher = {{GI}},
year = {2015},
timestamp = {Thu, 14 Nov 2019 16:35:28 +0100},
biburl = {https://dblp.org/rec/conf/se/ThumAKSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/OchoaRT15,
author = {Lina Ochoa and
Oscar Gonz{\'{a}}lez Rojas and
Thomas Th{\"{u}}m},
editor = {Richard F. Paige and
Davide Di Ruscio and
Markus V{\"{o}}lter},
title = {Using decision rules for solving conflicts in extended feature models},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Software Language Engineering, {SLE} 2015, Pittsburgh, PA, USA, October
25-27, 2015},
pages = {149--160},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814251.2814263},
doi = {10.1145/2814251.2814263},
timestamp = {Thu, 21 Apr 2022 11:12:19 +0200},
biburl = {https://dblp.org/rec/conf/sle/OchoaRT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/BenduhnTLLS15,
author = {Fabian Benduhn and
Thomas Th{\"{u}}m and
Malte Lochau and
Thomas Leich and
Gunter Saake},
editor = {Klaus Schmid and
{\O}ystein Haugen and
Johannes M{\"{u}}ller},
title = {A Survey on Modeling Techniques for Formal Behavioral Verification
of Software Product Lines},
booktitle = {Proceedings of the Ninth International Workshop on Variability Modelling
of Software-intensive Systems, VaMoS '15, Hildesheim, Germany, January
21-23, 2015},
pages = {80},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2701319.2701332},
doi = {10.1145/2701319.2701332},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vamos/BenduhnTLLS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/gi/Thum15,
author = {Thomas Th{\"{u}}m},
editor = {Abraham Bernstein and
Wolfgang Effelsberg and
Felix C. Freiling and
Steffen H{\"{o}}lldobler and
Hans{-}Peter Lenhof and
Paul Molitor and
Gustaf Neumann and
R{\"{u}}diger Reischuk and
Nicole Schweikardt and
Myra Spiliopoulou and
Harald St{\"{o}}rrle and
Sabine S{\"{u}}sstrunk},
title = {Spezifikation und Verifikation von Produktlinien mit Feature-orientierten
Vertr{\"{a}}gen},
booktitle = {Ausgezeichnete Informatikdissertationen 2015},
series = {{LNI}},
volume = {{D-16}},
pages = {299--308},
publisher = {{GI}},
year = {2015},
url = {https://dl.gi.de/handle/20.500.12116/4592},
timestamp = {Tue, 04 Jul 2023 17:43:42 +0200},
biburl = {https://dblp.org/rec/conf/gi/Thum15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/ThumAKSS14,
author = {Thomas Th{\"{u}}m and
Sven Apel and
Christian K{\"{a}}stner and
Ina Schaefer and
Gunter Saake},
title = {A Classification and Survey of Analysis Strategies for Software Product
Lines},
journal = {{ACM} Comput. Surv.},
volume = {47},
number = {1},
pages = {6:1--6:45},
year = {2014},
url = {https://doi.org/10.1145/2580950},
doi = {10.1145/2580950},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csur/ThumAKSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ThumKBMSL14,
author = {Thomas Th{\"{u}}m and
Christian K{\"{a}}stner and
Fabian Benduhn and
Jens Meinicke and
Gunter Saake and
Thomas Leich},
title = {FeatureIDE: An extensible framework for feature-oriented software
development},
journal = {Sci. Comput. Program.},
volume = {79},
pages = {70--85},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2012.06.002},
doi = {10.1016/J.SCICO.2012.06.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ThumKBMSL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/RebeloLBRLZCT14,
author = {Henrique Reb{\^{e}}lo and
Gary T. Leavens and
Mehdi Bagherzadeh and
Hridesh Rajan and
Ricardo Massa Ferreira Lima and
Daniel M. Zimmerman and
M{\'{a}}rcio Corn{\'{e}}lio and
Thomas Th{\"{u}}m},
editor = {Walter Binder and
Erik Ernst and
Achille Peternier and
Robert Hirschfeld},
title = {Modularizing crosscutting contracts with AspectJML},
booktitle = {13th International Conference on Modularity, {MODULARITY} '14, Lugano,
Switzerland, April 22-26, 2014},
pages = {21--24},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2584469.2584476},
doi = {10.1145/2584469.2584476},
timestamp = {Tue, 21 Mar 2023 21:01:43 +0100},
biburl = {https://dblp.org/rec/conf/aosd/RebeloLBRLZCT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/RebeloLBRLZCT14a,
author = {Henrique Reb{\^{e}}lo and
Gary T. Leavens and
Mehdi Bagherzadeh and
Hridesh Rajan and
Ricardo Massa Ferreira Lima and
Daniel M. Zimmerman and
M{\'{a}}rcio Corn{\'{e}}lio and
Thomas Th{\"{u}}m},
editor = {Walter Binder and
Erik Ernst and
Achille Peternier and
Robert Hirschfeld},
title = {AspectJML: modular specification and runtime checking for crosscutting
contracts},
booktitle = {13th International Conference on Modularity, {MODULARITY} '14, Lugano,
Switzerland, April 22-26, 2014},
pages = {157--168},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2577080.2577084},
doi = {10.1145/2577080.2577084},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aosd/RebeloLBRLZCT14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Thum14,
author = {Thomas Th{\"{u}}m},
editor = {Wilhelm Hasselbring and
Nils Christian Ehmke},
title = {Modular Reasoning for Crosscutting Concerns with Contracts},
booktitle = {Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik,
25. Februar - 28. Februar 2014, Kiel, Germany},
series = {{LNI}},
volume = {{P-227}},
pages = {65--66},
publisher = {{GI}},
year = {2014},
url = {https://dl.gi.de/handle/20.500.12116/30962},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/Thum14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/MeinickeTSBS14,
author = {Jens Meinicke and
Thomas Th{\"{u}}m and
Reimar Schr{\"{o}}ter and
Fabian Benduhn and
Gunter Saake},
editor = {Stefania Gnesi and
Alessandro Fantechi and
Maurice H. ter Beek and
Goetz Botterweck and
Martin Becker},
title = {An overview on analysis tools for software product lines},
booktitle = {18th International Software Product Lines Conference - Companion Volume
for Workshop, Tools and Demo papers, {SPLC} '14, Florence, Italy,
September 15-19, 2014},
pages = {94--101},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2647908.2655972},
doi = {10.1145/2647908.2655972},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/MeinickeTSBS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/SchroterSTS14,
author = {Reimar Schr{\"{o}}ter and
Norbert Siegmund and
Thomas Th{\"{u}}m and
Gunter Saake},
editor = {Stefania Gnesi and
Alessandro Fantechi and
Patrick Heymans and
Julia Rubin and
Krzysztof Czarnecki and
Deepak Dhungana},
title = {Feature-context interfaces: tailored programming interfaces for software
product lines},
booktitle = {18th International Software Product Line Conference, {SPLC} '14, Florence,
Italy, September 15-19, 2014},
pages = {102--111},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2648511.2648522},
doi = {10.1145/2648511.2648522},
timestamp = {Fri, 30 Dec 2022 23:08:55 +0100},
biburl = {https://dblp.org/rec/conf/splc/SchroterSTS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/ThumMBHRS14,
author = {Thomas Th{\"{u}}m and
Jens Meinicke and
Fabian Benduhn and
Martin Hentschel and
Alexander von Rhein and
Gunter Saake},
editor = {Stefania Gnesi and
Alessandro Fantechi and
Patrick Heymans and
Julia Rubin and
Krzysztof Czarnecki and
Deepak Dhungana},
title = {Potential synergies of theorem proving and model checking for software
product lines},
booktitle = {18th International Software Product Line Conference, {SPLC} '14, Florence,
Italy, September 15-19, 2014},
pages = {177--186},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2648511.2648530},
doi = {10.1145/2648511.2648530},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/ThumMBHRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/Al-HajjajiTMLS14,
author = {Mustafa Al{-}Hajjaji and
Thomas Th{\"{u}}m and
Jens Meinicke and
Malte Lochau and
Gunter Saake},
editor = {Stefania Gnesi and
Alessandro Fantechi and
Patrick Heymans and
Julia Rubin and
Krzysztof Czarnecki and
Deepak Dhungana},
title = {Similarity-based prioritization in software product-line testing},
booktitle = {18th International Software Product Line Conference, {SPLC} '14, Florence,
Italy, September 15-19, 2014},
pages = {197--206},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2648511.2648532},
doi = {10.1145/2648511.2648532},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/Al-HajjajiTMLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/FenskeTS14,
author = {Wolfram Fenske and
Thomas Th{\"{u}}m and
Gunter Saake},
editor = {Philippe Collet and
Andrzej Wasowski and
Thorsten Weyer},
title = {A taxonomy of software product line reengineering},
booktitle = {The Eighth International Workshop on Variability Modelling of Software-intensive
Systems, VaMoS '14, Sophia Antipolis, France, January 22-24, 2014},
pages = {4:1--4:8},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2556624.2556643},
doi = {10.1145/2556624.2556643},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vamos/FenskeTS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/ApelRTK13,
author = {Sven Apel and
Alexander von Rhein and
Thomas Th{\"{u}}m and
Christian K{\"{a}}stner},
title = {Feature-interaction detection based on feature-based specifications},
journal = {Comput. Networks},
volume = {57},
number = {12},
pages = {2399--2409},
year = {2013},
url = {https://doi.org/10.1016/j.comnet.2013.02.025},
doi = {10.1016/J.COMNET.2013.02.025},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cn/ApelRTK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/SiegmundTSJ13,
author = {Janet Siegmund and
Thomas Th{\"{u}}m and
Sandro Schulze and
Elmar J{\"{u}}rgens},
editor = {Matthias Horbach},
title = {Agile Methoden im Softwareprojekt},
booktitle = {43. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
angepasst an Mensch, Organisation und Umwelt, {INFORMATIK} 2013, Koblenz,
Germany, September 16-20, 2013},
series = {{LNI}},
volume = {{P-220}},
pages = {234},
publisher = {{GI}},
year = {2013},
url = {https://dl.gi.de/handle/20.500.12116/20745},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/SiegmundTSJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Thum13,
author = {Thomas Th{\"{u}}m},
editor = {Mauro Pezz{\`{e}} and
Mark Harman},
title = {Product-line verification with feature-oriented contracts},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
'13, Lugano, Switzerland, July 15-20, 2013},
pages = {374--377},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2483760.2492396},
doi = {10.1145/2483760.2492396},
timestamp = {Sun, 02 Oct 2022 16:10:12 +0200},
biburl = {https://dblp.org/rec/conf/issta/Thum13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/SchroterST13,
author = {Reimar Schr{\"{o}}ter and
Norbert Siegmund and
Thomas Th{\"{u}}m},
title = {Towards modular analysis of multi product lines},
booktitle = {17th International Software Product Line Conference co-located workshops,
{SPLC} 2013 workshops, Tokyo, Japan - August 26 - 30, 2013},
pages = {96--99},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2499777.2500719},
doi = {10.1145/2499777.2500719},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/SchroterST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/SchroterTSS13,
author = {Reimar Schr{\"{o}}ter and
Thomas Th{\"{u}}m and
Norbert Siegmund and
Gunter Saake},
editor = {Stefania Gnesi and
Philippe Collet and
Klaus Schmid},
title = {Automated analysis of dependent feature models},
booktitle = {The Seventh International Workshop on Variability Modelling of Software-intensive
Systems, VaMoS '13, Pisa , Italy, January 23 - 25, 2013},
pages = {9:1--9:5},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2430502.2430515},
doi = {10.1145/2430502.2430515},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vamos/SchroterTSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/RheinAKTS13,
author = {Alexander von Rhein and
Sven Apel and
Christian K{\"{a}}stner and
Thomas Th{\"{u}}m and
Ina Schaefer},
editor = {Stefania Gnesi and
Philippe Collet and
Klaus Schmid},
title = {The {PLA} model: on the combination of product-line analyses},
booktitle = {The Seventh International Workshop on Variability Modelling of Software-intensive
Systems, VaMoS '13, Pisa , Italy, January 23 - 25, 2013},
pages = {14:1--14:8},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2430502.2430522},
doi = {10.1145/2430502.2430522},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vamos/RheinAKTS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/KastnerATS12,
author = {Christian K{\"{a}}stner and
Sven Apel and
Thomas Th{\"{u}}m and
Gunter Saake},
title = {Type checking annotation-based product lines},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {21},
number = {3},
pages = {14:1--14:39},
year = {2012},
url = {https://doi.org/10.1145/2211616.2211617},
doi = {10.1145/2211616.2211617},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/KastnerATS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/ThumSKAS12,
author = {Thomas Th{\"{u}}m and
Ina Schaefer and
Martin Kuhlemann and
Sven Apel and
Gunter Saake},
editor = {Juan de Lara and
Andrea Zisman},
title = {Applying Design by Contract to Feature-Oriented Programming},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {255--269},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_18},
doi = {10.1007/978-3-642-28872-2\_18},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/ThumSKAS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/ThumSHA12,
author = {Thomas Th{\"{u}}m and
Ina Schaefer and
Martin Hentschel and
Sven Apel},
editor = {Klaus Ostermann and
Walter Binder},
title = {Family-based deductive verification of software product lines},
booktitle = {Generative Programming and Component Engineering, GPCE'12, Dresden,
Germany, September 26-28, 2012},
pages = {11--20},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2371401.2371404},
doi = {10.1145/2371401.2371404},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gpce/ThumSHA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/SchulzeTKS12,
author = {Sandro Schulze and
Thomas Th{\"{u}}m and
Martin Kuhlemann and
Gunter Saake},
editor = {Ulrich W. Eisenecker and
Sven Apel and
Stefania Gnesi},
title = {Variant-preserving refactoring in feature-oriented software product
lines},
booktitle = {Sixth International Workshop on Variability Modelling of Software-Intensive
Systems, Leipzig, Germany, January 25-27, 2012. Proceedings},
pages = {73--81},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2110147.2110156},
doi = {10.1145/2110147.2110156},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vamos/SchulzeTKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gpce/2012fosd,
editor = {Ina Schaefer and
Thomas Th{\"{u}}m},
title = {4th International Workshop on Feature-Oriented Software Development,
{FOSD} '12, Dresden, Germany - September 24 - 25, 2012},
publisher = {{ACM}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2377816},
isbn = {978-1-4503-1309-4},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gpce/2012fosd.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ThumSKA11,
author = {Thomas Th{\"{u}}m and
Ina Schaefer and
Martin Kuhlemann and
Sven Apel},
title = {Proof Composition for Deductive Verification of Software Product Lines},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop
Proceedings},
pages = {270--277},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICSTW.2011.48},
doi = {10.1109/ICSTW.2011.48},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/ThumSKA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/ScholzTAL11,
author = {Wolfgang Scholz and
Thomas Th{\"{u}}m and
Sven Apel and
Christian Lengauer},
editor = {Ina Schaefer and
Isabel John and
Klaus Schmid},
title = {Automatic detection of feature interactions using the Java modeling
language: an experience report},
booktitle = {Software Product Lines - 15th International Conference, {SPLC} 2011,
Munich, Germany, August 22-26, 2011. Workshop Proceedings (Volume
2)},
pages = {7},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2019136.2019144},
doi = {10.1145/2019136.2019144},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/ScholzTAL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/ThumKES11,
author = {Thomas Th{\"{u}}m and
Christian K{\"{a}}stner and
Sebastian Erdweg and
Norbert Siegmund},
editor = {Eduardo Santana de Almeida and
Tomoji Kishi and
Christa Schwanninger and
Isabel John and
Klaus Schmid},
title = {Abstract Features in Feature Modeling},
booktitle = {Software Product Lines - 15th International Conference, {SPLC} 2011,
Munich, Germany, August 22-26, 2011},
pages = {191--200},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SPLC.2011.53},
doi = {10.1109/SPLC.2011.53},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/ThumKES11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/RosenmullerSTS11,
author = {Marko Rosenm{\"{u}}ller and
Norbert Siegmund and
Thomas Th{\"{u}}m and
Gunter Saake},
editor = {Patrick Heymans and
Krzysztof Czarnecki and
Ulrich W. Eisenecker},
title = {Multi-dimensional variability modeling},
booktitle = {Fifth International Workshop on Variability Modelling of Software-Intensive
Systems, Namur, Belgium, January 27-29, 2011. Proceedings},
series = {{ACM} International Conference Proceedings Series},
pages = {11--20},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1944892.1944894},
doi = {10.1145/1944892.1944894},
timestamp = {Fri, 30 Dec 2022 23:08:55 +0100},
biburl = {https://dblp.org/rec/conf/vamos/RosenmullerSTS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ThumBK09,
author = {Thomas Th{\"{u}}m and
Don S. Batory and
Christian K{\"{a}}stner},
title = {Reasoning about edits to feature models},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Proceedings},
pages = {254--264},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE.2009.5070526},
doi = {10.1109/ICSE.2009.5070526},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ThumBK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KastnerTSFLWA09,
author = {Christian K{\"{a}}stner and
Thomas Th{\"{u}}m and
Gunter Saake and
Janet Feigenspan and
Thomas Leich and
Fabian Wielgorz and
Sven Apel},
title = {FeatureIDE: {A} tool framework for feature-oriented software development},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Proceedings},
pages = {611--614},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE.2009.5070568},
doi = {10.1109/ICSE.2009.5070568},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/KastnerTSFLWA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-10 02:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
