Eclipse Plugin for Feature Oriented Software Development
SoftVarE Working Group
The working group for Software Variability and Evolution (SoftVarE) was established in January 2020. The group is headed by Prof. Thomas Thüm and located at the Institute of Software Engineering and Programming Languages at the University of Ulm.
Research Projects
Automating the Synchronization of Software Variants
Team
Prof. Dr. Thomas Thüm
Prof. Dr.
Thomas
Thüm
Professor
Ulm University
Institute of Software Engineering and Programming Languages
Albert-Einstein-Allee 11
89069
Ulm
Germany
M.Sc. Paul Maximilian Bittner
M.Sc.
Paul Maximilian
Bittner
Research Assistant
Ulm University
Institute of Software Engineering and Programming Languages
Albert-Einstein-Allee 11
89069
Ulm
Germany
M.Sc. Tobias Heß
M.Sc.
Tobias
Heß
Research Assistant
SoftVarE Working Group
M.Sc. Chico Sundermann
M.Sc.
Chico
Sundermann
Research Assistant
Ulm University
Institute of Software Engineering and Programming Languages
Albert-Einstein-Allee 11
89069
Ulm
Germany
2021
10.
Krieter,
Sebastian;
Arens,
Rahel;
Nieke,
Michael;
Sundermann,
Chico;
Heß,
Tobias;
Thüm,
Thomas;
Seidl,
Christoph
Incremental Construction of Modal Implication Graphs for Evolving Feature Models
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 64-74
Publisher: ACM, New York, NY, USA
September 2021
Incremental Construction of Modal Implication Graphs for Evolving Feature Models
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 64-74
Publisher: ACM, New York, NY, USA
September 2021
| DOI: | 10.1145/3461001.3471148 |
| ISBN: | 9781450384698 |
| File: |  https://github.com/SoftVarE-Group/Papers/raw/master/2021/2021-SPLC-Krieter.pdf |
9.
Heß,
Tobias;
Sundermann,
Chico;
Thüm,
Thomas
On the Scalability of Building Binary Decision Diagrams for Current Feature Models
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 131-135
Publisher: ACM, New York, NY, USA
September 2021
On the Scalability of Building Binary Decision Diagrams for Current Feature Models
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 131-135
Publisher: ACM, New York, NY, USA
September 2021
| DOI: | 10.1145/3461001.3474452 |
| ISBN: | 9781450384698 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/master/2021/2021-SPLC-Hess.pdf |
8.
Sundermann,
Chico;
Feichtinger,
Kevin;
Engelhardt,
Dominik;
Rabiser,
Rick;
Thüm,
Thomas
Yet Another Textual Variability Language? A Community Effort Towards a Unified Language
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 136-147
Publisher: ACM, New York, NY, USA
September 2021
Yet Another Textual Variability Language? A Community Effort Towards a Unified Language
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 136-147
Publisher: ACM, New York, NY, USA
September 2021
| DOI: | 10.1145/3461001.3471145 |
| ISBN: | 9781450384698 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/master/2021/2021-SPLC-Sundermann.pdf |
7.
Bittner,
Paul Maximilian;
Schultheiß,
Alexander;
Thüm,
Thomas;
Kehrer,
Timo;
Young,
Jeffrey M.;
Linsbauer,
Lukas
Feature Trace Recording
Proc. Europ. Software Engineering Conf./Foundations of Software Engineering (ESEC/FSE), Page 1007-1020
Publisher: ACM, New York, NY, USA
August 2021
Feature Trace Recording
Proc. Europ. Software Engineering Conf./Foundations of Software Engineering (ESEC/FSE), Page 1007-1020
Publisher: ACM, New York, NY, USA
August 2021
| DOI: | 10.1145/3468264.3468531 |
| ISBN: | 9781450385626 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/master/2021/2021-ESECFSE-Bittner.pdf |
6.
Kehrer,
Timo;
Thüm,
Thomas;
Schultheiß,
Alexander;
Bittner,
Paul Maximilian
Bridging the Gap Between Clone-and-Own and Software Product Lines
Proc. Int'l Conf. on Software Engineering (ICSE), Page 21-25
Publisher: IEEE, Piscataway, NJ, USA
May 2021
Bridging the Gap Between Clone-and-Own and Software Product Lines
Proc. Int'l Conf. on Software Engineering (ICSE), Page 21-25
Publisher: IEEE, Piscataway, NJ, USA
May 2021
| DOI: | 10.1109/ICSE-NIER52604.2021.00013 |
| ISBN: | 978-1-6654-0140-1 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/master/2021/2021-ICSE-Kehrer.pdf |
5.
Sundermann,
Chico;
Nieke,
Michael;
Bittner,
Paul Maximilian;
Heß,
Tobias;
Thüm,
Thomas;
Schaefer,
Ina
Applications of #SAT Solvers on Feature Models
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Publisher: ACM, New York, NY, USA
2021
Applications of #SAT Solvers on Feature Models
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Publisher: ACM, New York, NY, USA
2021
| DOI: | 10.1145/3442391.3442404 |
| ISBN: | 9781450388245 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/master/2021/2021-VaMoS-Sundermann.pdf |
2020
4.
Sundermann,
Chico;
Thüm,
Thomas;
Schaefer,
Ina
Evaluating #SAT Solvers on Industrial Feature Models
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Page 3:1--3:9
Publisher: ACM, New York, NY, USA
February 2020
Evaluating #SAT Solvers on Industrial Feature Models
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Page 3:1--3:9
Publisher: ACM, New York, NY, USA
February 2020
| DOI: | 10.1145/3377024.3377025 |
| ISBN: | 9781450375016 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/master/2020/2020-VaMoS-Sundermann.pdf |
3.
Sprey,
Joshua;
Sundermann,
Chico;
Krieter,
Sebastian;
Nieke,
Michael;
Mauro,
Jacopo;
Thüm,
Thomas;
Schaefer,
Ina
SMT-Based Variability Analyses in FeatureIDE
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Page 6:1--6:9
Publisher: ACM, New York, NY, USA
February 2020
SMT-Based Variability Analyses in FeatureIDE
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Page 6:1--6:9
Publisher: ACM, New York, NY, USA
February 2020
| DOI: | 10.1145/3377024.3377036 |
| ISBN: | 9781450375016 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/master/2020/2020-VaMoS-Sprey.pdf |
2.
Schultheiß,
Alexander;
Bittner,
Paul Maximilian;
Kehrer,
Timo;
Thüm,
Thomas
On the Use of Product-Line Variants as Experimental Subjects for Clone-and-Own Research: A Case Study
Proc. Int'l Systems and Software Product Line Conf. (SPLC)
Publisher: ACM, New York, NY, USA
2020
On the Use of Product-Line Variants as Experimental Subjects for Clone-and-Own Research: A Case Study
Proc. Int'l Systems and Software Product Line Conf. (SPLC)
Publisher: ACM, New York, NY, USA
2020
| DOI: | 10.1145/3382025.3414972 |
| ISBN: | 9781450375696 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/master/2020/2020-SPLC-Schultheiss.pdf |
2019
1.
Bittner,
Paul Maximilian;
Thüm,
Thomas;
Schaefer,
Ina
SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses
Proc. Int'l Conf. on Software Engineering and Formal Methods (SEFM), Page 127-144
Publisher: Springer, Berlin, Heidelberg, Germany
September 2019
SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses
Proc. Int'l Conf. on Software Engineering and Formal Methods (SEFM), Page 127-144
Publisher: Springer, Berlin, Heidelberg, Germany
September 2019
| DOI: | 10.1007/978-3-030-30446-1_7 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/master/2019/2019-SEFM-Bittner.pdf |
1.
T.
Netzer,
"Development of a Parallelized BDD Library in Rust",
University of Ulm,
Germany,
Jul.
2021.