FeatureIDE
Eclipse Plugin for Feature Oriented Software Development
Prof. Dr.-Ing. Thomas Thüm
Since January 2020, Thomas Thüm is an associate professor for the Construction and Analysis of Secure Software Systems at the University of Ulm. From 2015 to 2019, he was a PostDoc (Akademischer Rat) at the TU Braunschweig in Ina Schaefer’s institute. He received his Ph.D. in 2015 from the University of Magdeburg under the supervision of Gunter Saake. His Ph.D. thesis received the Dissertation Award 2015 of the University of Magdeburg and his master’s thesis the Software Engineering Award 2011 of the Ernst Denert Foundation. He coauthored about 100 peer-reviewed publications and is known for his contributions to the well-known open-source project FeatureIDE.
Publications
2020
84.
Sundermann,
Chico;
Thüm,
Thomas;
Schaefer,
Ina
Evaluating #SAT solvers on industrial feature models
VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020, Page 3:1--3:9
In Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Editor
Publisher: ACM
2020
Evaluating #SAT solvers on industrial feature models
VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020, Page 3:1--3:9
In Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Editor
Publisher: ACM
2020
| DOI: | 10.1145/3377024.3377025 |
83.
Bordis,
Tabea;
Runge,
Tobias;
Knüppel,
Alexander;
Thüm,
Thomas;
Schaefer,
Ina
Variational correctness-by-construction
VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020, Page 7:1--7:9
In Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Editor
Publisher: ACM
2020
Variational correctness-by-construction
VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020, Page 7:1--7:9
In Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Editor
Publisher: ACM
2020
| DOI: | 10.1145/3377024.3377038 |
82.
Krieter,
Sebastian;
Thüm,
Thomas;
Schulze,
Sandro;
Saake,
Gunter;
Leich,
Thomas
YASA: Yet another sampling algorithm
VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020, Page 4:1--4:10
In Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Editor
Publisher: ACM
2020
YASA: Yet another sampling algorithm
VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020, Page 4:1--4:10
In Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Editor
Publisher: ACM
2020
| DOI: | 10.1145/3377024.3377042 |
81.
Sprey,
Joshua;
Sundermann,
Chico;
Krieter,
Sebastian;
Nieke,
Michael;
Mauro,
Jacopo;
Thüm,
Thomas;
Schaefer,
Ina
SMT-based variability analyses in FeatureIDE
VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020, Page 6:1--6:9
In Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Editor
Publisher: ACM
2020
SMT-based variability analyses in FeatureIDE
VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020, Page 6:1--6:9
In Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Editor
Publisher: ACM
2020
| DOI: | 10.1145/3377024.3377036 |
2019
80.
Pett,
Tobias;
Thüm,
Thomas;
Runge,
Tobias;
Krieter,
Sebastian;
Lochau,
Malte;
Schaefer,
Ina
Product sampling for product lines: the scalability challenge
In 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, Editor, Proceedings of the 23rd International Systems and Software Product Line Conference, {SPLC} 2019, Volume A, Paris, France, September 9-13, 2019, Page 14:1--14:6
In 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, Editor
Publisher: {ACM}
2019
Product sampling for product lines: the scalability challenge
In 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, Editor, Proceedings of the 23rd International Systems and Software Product Line Conference, {SPLC} 2019, Volume A, Paris, France, September 9-13, 2019, Page 14:1--14:6
In 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, Editor
Publisher: {ACM}
2019
| DOI: | 10.1145/3336294.3336322 |
| File: | https://doi.org/10.1145/3336294.3336322 |
79.
Thüm,
Thomas;
Teixeira,
Leopoldo;
Schmid,
Klaus;
Walkingshaw,
Eric;
Mukelabai,
Mukelabai;
Varshosaz,
Mahsa;
Botterweck,
Goetz;
Schaefer,
Ina;
Kehrer,
Timo
Towards efficient analysis of variation in time and space
In 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, Editor, Proceedings of the 23rd International Systems and Software Product Line Conference, {SPLC} 2019, Volume B, Paris, France, September 9-13, 2019, Page 69:1--69:8
In 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, Editor
Publisher: {ACM}
2019
Towards efficient analysis of variation in time and space
In 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, Editor, Proceedings of the 23rd International Systems and Software Product Line Conference, {SPLC} 2019, Volume B, Paris, France, September 9-13, 2019, Page 69:1--69:8
In 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, Editor
Publisher: {ACM}
2019
| DOI: | 10.1145/3307630.3342414 |
| File: | https://doi.org/10.1145/3307630.3342414 |
78.
Runge,
Tobias;
Schaefer,
Ina;
Cleophas,
Loek;
Thüm,
Thomas;
Kourie,
Derrick G.;
Watson,
Bruce W.
Tool Support for Correctness-by-Construction
In Reiner H{\"{a}}hnle and Wil M. P. van der Aalst, Editor, 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, ProceedingsVolume11424fromLecture Notes in Computer Science, Page 25--42
In Reiner H{\"{a}}hnle and Wil M. P. van der Aalst, Editor
Publisher: Springer
2019
Tool Support for Correctness-by-Construction
In Reiner H{\"{a}}hnle and Wil M. P. van der Aalst, Editor, 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, ProceedingsVolume11424fromLecture Notes in Computer Science, Page 25--42
In Reiner H{\"{a}}hnle and Wil M. P. van der Aalst, Editor
Publisher: Springer
2019
| DOI: | 10.1007/978-3-030-16722-6\_2 |
| File: | https://doi.org/10.1007/978-3-030-16722-6\_2 |
77.
Bittner,
Paul Maximilian;
Thüm,
Thomas;
Schaefer,
Ina
SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses
In Peter Csaba Ölveczky and Gwen Salaün, Editor, Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, ProceedingsVolume11724fromLecture Notes in Computer Science, Page 127-144
In Peter Csaba Ölveczky and Gwen Salaün, Editor
Publisher: Springer
2019
SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses
In Peter Csaba Ölveczky and Gwen Salaün, Editor, Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, ProceedingsVolume11724fromLecture Notes in Computer Science, Page 127-144
In Peter Csaba Ölveczky and Gwen Salaün, Editor
Publisher: Springer
2019
| DOI: | 10.1007/978-3-030-30446-1_7 |
| File: | https://doi.org/10.1007/978-3-030-30446-1_7 |
76.
Lity,
Sascha;
Nieke,
Manuel;
Thüm,
Thomas;
Schaefer,
Ina
Retest test selection for product-line regression testing of variants and versions of variants
J. Syst. Softw., 147 :46--63
2019
Retest test selection for product-line regression testing of variants and versions of variants
J. Syst. Softw., 147 :46--63
2019
| DOI: | 10.1016/j.jss.2018.09.090 |
| File: | https://doi.org/10.1016/j.jss.2018.09.090 |
75.
Thüm,
Thomas;
Hoorn,
André;
Apel,
Sven;
Bürdek,
Johannes;
Getir,
Sinem;
Heinrich,
Robert;
Jung,
Reiner;
Kowal,
Matthias;
Lochau,
Malte;
Schaefer,
Ina;
Walter,
Jürgen
Performance Analysis Strategies for Software Variants and Versions
In Ralf H. Reussner and Michael Goedicke and Wilhelm Hasselbring and Birgit Vogel{-}Heuser and Jan Keim and Lukas M{\"{a}}rtin, Editor, Managed Software Evolution
Page 175--206
Publisher: Springer
2019
175--206
Performance Analysis Strategies for Software Variants and Versions
In Ralf H. Reussner and Michael Goedicke and Wilhelm Hasselbring and Birgit Vogel{-}Heuser and Jan Keim and Lukas M{\"{a}}rtin, Editor, Managed Software Evolution
Page 175--206
Publisher: Springer
2019
175--206
| DOI: | 10.1007/978-3-030-13499-0\_8 |
| File: | https://doi.org/10.1007/978-3-030-13499-0\_8 |
Editorials
5.
Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume A, Paris, France, September 9-13, 2019
In Thorsten Berger, Philippe Collet, Laurence Duchien, Thomas Fogdal, Patrick Heymans, Timo Kehrer, Jabier Martinez, Raúl Mazo, Leticia Montalvillo, Camille Salinesi, Xhevahire Tërnava, Thomas Thüm, and Tewfik Ziadi, Editor
Publisher: ACM
2019
| DOI: | 10.1145/3336294 |
| ISBN: | 978-1-4503-7138-4 |
4.
Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume B, Paris, France, September 9-13, 2019
In Carlos Cetina, Oscar Díaz, Laurence Duchien, Marianne Huchard, Rick Rabiser, Camille Salinesi, Christoph Seidl, Xhevahire Tërnava, Leopoldo Teixeira, Thomas Thüm, and Tewfik Ziadi, Editor
Publisher: ACM
2019
| DOI: | 10.1145/3307630 |
| ISBN: | 978-1-4503-6668-7 |
2017
3.
Proceedings of the 21st International Systems and Software Product Line Conference, SPLC 2017, Volume B, Sevilla, Spain, September 25-29, 2017
In Maurice H. ter Beek, Walter Cazzola, Oscar Díaz, Marcello La Rosa, Roberto E. Lopez-Herrejon, Thomas Thüm, Javier Troya, Antonio Ruiz Cortés, and David Benavides, Editor
Publisher: ACM
2017
| DOI: | 10.1145/3109729 |
| ISBN: | 978-1-4503-5119-5 |
2016
2.
Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, FMSPLE@ETAPS 2016, Eindhoven, The Netherlands, April 3, 2016
In Julia Rubin and Thomas Thüm, Editor, Volume 206 from EPTCS
2016
| DOI: | 10.4204/EPTCS.206 |
2012
1.
4th International Workshop on Feature-Oriented Software Development, FOSD '12, Dresden, Germany - September 24 - 25, 2012
In Ina Schaefer and Thomas Thüm, Editor
Publisher: ACM
2012
| DOI: | 10.1145/2377816 |
| ISBN: | 978-1-4503-1309-4 |
Teaching
Prof. Dr. Thomas Thüm
Prof. Dr.
Thomas
Thüm
Professor
Institute of Software Engineering and Programming Languages
Ulm University
Ulm University
89081 Ulm
Germany