Eclipse Plugin for Feature Oriented Software Development
Prof. Dr.-Ing. Thomas Thüm
Thomas Thüm is a professor for the Construction and Analysis of Secure Software Systems at the University of Ulm since January 2020 and head of the SoftVarE working group. His research interests range from Software Engineering and Formal Methods to Artificial Intelligence and Security. In particular, his research focuses on variability and evolution of software systems. From 2015 to 2019, he was a postdoctoral researcher 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 more than 100 peer-reviewed publications and is known for his contributions to the famous open-source project FeatureIDE. Since 2020, he is an associate editor for ACM Transactions on Software Engineering and Methodology (TOSEM).
Favorite Quote
“People have an enormous tendency to resist change. They love to say, 'We've always done it this way.' I try to fight that.” - Grace Hopper
Research Projects
Automating the Synchronization of Software Variants
Teaching
Lectures, Projects and Seminars
Lectures
Projects:
Seminars:
- ICSE 2023: 45th International Conference on Software Engineering (Technical Track)
- SPLC 2022: 26th Systems and Software Product Line Conference (Research Track and Doctorial Symposium)
- QAVS 2022: 3rd Workshop on Quantitative Aspects of Variant-Rich Systems
- ASE Workshop 2022: 19th Workshop on Automotive Software Engineering
- VaMoS 2022: 16th International Working Conference on Variability Modelling of Software-Intensive Systems
- QAVS 2021: 2nd Workshop on Quantitative Aspects of Variant-Rich Systems
- ASE Workshop 2021: 18th Workshop on Automotive Software Engineering
- MODEVAR 2021: 4th International Workshop on Languages for Modelling Variability (Program Chair)
- SPLC 2021: 25th Systems and Software Product Line Conference (Research Track and Doctorial Symposium)
- VaMoS 2021: 15th International Working Conference on Variability Modelling of Software-Intensive Systems
- MODEVAR@SPLC 2020: 3rd International Workshop on Languages for Modelling Variability
- SPLC 2020: 24th Systems and Software Product Line Conference (Research Track and Challenge Solutions Track)
- MODEVAR@VaMoS 2020: 2nd International Workshop on Languages for Modelling Variability
- ICSE 2020: 42nd International Conference on Software Engineering (SEIP Track)
- MODEVAR 2019: 1st International Workshop on Languages for Modelling Variability
- SPLC 2019: 22nd International Systems and Software Product Line Conference (Research Track Chair, Challenge Track)
- VaMoS 2019: 13th International Workshop on Variability Modelling of Software-Intensive Systems
- ICSE 2019: 41st International Conference on Software Engineering (Workshop Selection Committee)
- SPLC 2018: 21st International Systems and Software Product Line Conference (Research Track and Challenge Track)
- VSPLE 2018: Variability and Software Product Line Engineering track at SAC
- VaMoS 2018: 12th International Workshop on Variability Modelling of Software-Intensive Systems
- FOSD 2017: International Workshop on Feature-Oriented Software Development
- CTA 2017: IEEE International Workshop on Combinatorial Testing and its Applications
- GPCE 2017: 16th International Conference on Generative Programming: Concepts & Experiences
- SPLC 2017: 20th International Systems and Software Product Line Conference (Workshop Chair and Research Track PC Member)
- LASSY 2017: 2nd Workshop on Live Adaptation of Software SYstems at Programming 2017
- FMSPLE 2016: 7th Workshop on Formal Methods and Analysis in Software Product Line Engineering at ETAPS 2016 (Program Chair)
- FOAL 2016: 15th Workshop on Foundations of Aspect-Oriented Languages
- ETX 2015: 7th Workshop on Eclipse Technology eXchange at SPLASH 2015
- SPLASH 2015: ACM SIGPLAN Conference on Systems, Programming, Languages and Applications: Software for Humanity (Workshop Chair)
- FMSPLE 2015: 6th Workshop on Formal Methods and Analysis in Software Product Line Engineering at ETAPS 2015
- ETX 2014: 6th Workshop on Eclipse Technology eXchange at SPLASH 2014
- FOSD 2012: 4th International Workshop on Feature-Oriented Software Development (Program Chair)
- VaMoS 2012: 6th International Workshop on Variability Modelling of Software-intensive Systems
- FOSD 2011: 3rd International Workshop on Feature-Oriented Software Development
- FOSD 2010: 2nd International Workshop on Feature-Oriented Software Development
2021
7.
Fourth International Workshop on Languages for Modelling Variability (MODEVAR@SPLC 2021)
In Thomas Thüm and Philippe Collet and Mathieu Acher, Editor
Publisher: ACM, New York, NY, USA
September 2021
| DOI: | 10.1145/3461001.3473056 |
| ISBN: | 9781450384698 |
| File: |  https://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SPLC-Thuem.pdf |
6.
Special Issue on Configurable Systems in Empirical Software Engineering (EMSE)
In Laurence Duchien and Paul Grünbacher and Thomas Thüm, Editor
May 2021
| DOI: | 10.1007/s10664-021-09964-6 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-EMSE-Duchien.pdf |
2019
5.
SPLC '19: Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A
In Thorsten Berger and Philippe Collet and Laurence Duchien and Thomas Fogdal and Patrick Heymans and Timo Kehrer and Jabier Martinez and Raul Mazo and Leticia Montalvillo and Camille Salinesi and Xhevahire Ternava and Thomas Thüm and Tewfik Ziadi, Editor
Publisher: ACM, New York, NY, USA
September 2019
| ISBN: | 978-1-4503-7138-4 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/master/2019/2019-proceedings-Berger.pdf |
4.
SPLC '19: Proceedings of the 23rd International Systems and Software Product Line Conference - Volume B
In Carlos Cetina and Oscar Diaz and Laurence Duchien and Marianne Huchard and Rick Rabiser and Camille Salinesi and Christoph Seidl and Xhevahire Ternava and Leopoldo Teixeira and Thomas Thüm and Tewfik Ziadi, Editor
Publisher: ACM, New York, NY, USA
September 2019
| ISBN: | 978-1-4503-6668-7 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/master/2019/2019-proceedings-Cetina.pdf |
2017
3.
Proceedings of the 21st International Systems and Software Product Line Conference (SPLC) - Volume B
In Maurice ter Beek and Walter Cazzola and Oscar Diaz and Marcello La Rosa and Roberto Lopez-Herrejon and Thomas Thüm and Javier Troya and Antonio Ruiz-Cortes and David Benavides, Editor
Publisher: ACM, New York, NY, USA
2017
| DOI: | 10.1145/3109729 |
| ISBN: | 978-1-4503-5119-5 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/master/2017/2017-proceedings-Beek.pdf |
2016
2.
Proceedings of the 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE@ETAPS)
In Julia Rubin and Thomas Thüm, Editor
Publisher: Open Publishing Association, Waterloo, Australia
April 2016
| DOI: | 10.4204/EPTCS.206 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/master/2016/2016-proceedings-Rubin.pdf |
2012
1.
Proceedings of the 4th International Workshop on Feature-Oriented Software Development (FOSD)
In Ina Schaefer and Thomas Thüm, Editor
Publisher: ACM, New York, NY, USA
September 2012
| DOI: | 10.1145/2377816 |
| ISBN: | 978-1-4503-1309-4 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/master/2012/2012-proceedings-Schaefer.pdf |
2023
142.
Sundermann,
Chico;
Heß,
Tobias;
Nieke,
Michael;
Bittner,
Paul Maximilian;
Young,
Jeffrey M.;
Thüm,
Thomas;
Schaefer,
Ina
Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces
Empirical Software Engineering (EMSE) (To Appear)
2023
Publisher: Springer
Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces
Empirical Software Engineering (EMSE) (To Appear)
2023
Publisher: Springer
2022
141.
Runge,
Tobias;
Bordis,
Tabea;
Potanin,
Alex;
Thüm,
Thomas;
Schaefer,
Ina
Flexible Correct-by-Construction Programming
Technical Report arXiv:2205.15180
November 2022
Flexible Correct-by-Construction Programming
Technical Report arXiv:2205.15180
November 2022
| DOI: | 10.48550/arXiv.2205.15180 |
| File: | https://arxiv.org/abs/2211.15261 |
140.
Bittner,
Paul Maximilian;
Tinnes,
Christof;
Schultheiß,
Alexander;
Viegener,
Sören;
Kehrer,
Timo;
Thüm,
Thomas
Classifying Edits to Variability in Source Code
Proc. Europ. Software Engineering Conf./Foundations of Software Engineering (ESEC/FSE)
Publisher: ACM, New York, NY, USA
November 2022
Classifying Edits to Variability in Source Code
Proc. Europ. Software Engineering Conf./Foundations of Software Engineering (ESEC/FSE)
Publisher: ACM, New York, NY, USA
November 2022
| DOI: | 10.1145/3540250.3549108 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-ESECFSE-Bittner.pdf |
139.
Young,
Jeffrey M.;
Bittner,
Paul Maximilian;
Walkingshaw,
Eric;
Thüm,
Thomas
Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems
Empirical Software Engineering (EMSE)
November 2022
Publisher: Springer
Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems
Empirical Software Engineering (EMSE)
November 2022
Publisher: Springer
| DOI: | 10.1007/s10664-022-10217-3 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-EMSE-Young.pdf |
138.
Hentze,
Marc;
Sundermann,
Chico;
Thüm,
Thomas;
Schaefer,
Ina
Quantifying the Variability Mismatch Between Problem and Solution Space
Proc. Int'l Conf. on Model Driven Engineering Languages and Systems (MODELS)
Publisher: IEEE, Washington, DC, USA
October 2022
Quantifying the Variability Mismatch Between Problem and Solution Space
Proc. Int'l Conf. on Model Driven Engineering Languages and Systems (MODELS)
Publisher: IEEE, Washington, DC, USA
October 2022
137.
Schultheiß,
Alexander;
Bittner,
Paul Maximilian;
Thüm,
Thomas;
Kehrer,
Timo
Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own
Proc. Int'l Conf. on Software Maintenance and Evolution (ICSME) (To Appear)
Publisher: IEEE, Piscataway, NJ, USA
October 2022
Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own
Proc. Int'l Conf. on Software Maintenance and Evolution (ICSME) (To Appear)
Publisher: IEEE, Piscataway, NJ, USA
October 2022
136.
Kuiter,
Elias;
Krieter,
Sebastian;
Sundermann,
Chico;
Thüm,
Thomas;
Saake,
Gunter
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses
Proc. Int'l Conf. on Automated Software Engineering (ASE)
Publisher: ACM, New York, NY, USA
October 2022
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses
Proc. Int'l Conf. on Automated Software Engineering (ASE)
Publisher: ACM, New York, NY, USA
October 2022
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-ASE-Kuiter.pdf |
135.
Linsbauer,
Lukas;
Westphal,
Paul;
Bittner,
Paul Maximilian;
Krieter,
Sebastian;
Thüm,
Thomas;
Schaefer,
Ina
Derivation of Subset Product Lines in FeatureIDE
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 38-41
Publisher: ACM, New York, NY, USA
September 2022
Derivation of Subset Product Lines in FeatureIDE
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 38-41
Publisher: ACM, New York, NY, USA
September 2022
| DOI: | 10.1145/3503229.3547033 |
| ISBN: | 9781450392068 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-SPLC-Linsbauer.pdf |
134.
Heß,
Tobias;
Müller,
Tobias;
Sundermann,
Chico;
Thüm,
Thomas
ddueruem: A Wrapper for Feature-Model Analysis Tools
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 54-57
Publisher: ACM, New York, NY, USA
September 2022
ddueruem: A Wrapper for Feature-Model Analysis Tools
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 54-57
Publisher: ACM, New York, NY, USA
September 2022
| DOI: | 10.1145/3503229.3547032 |
| ISBN: | 9781450392068 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-SPLC-Hess.pdf |
133.
Feichtinger,
Kevin;
Sundermann,
Chico;
Thüm,
Thomas;
Rabiser,
Rick
It's Your Loss: Classifying Information Loss During Variability Model Roundtrip Transformations
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 67-78
Publisher: ACM, New York, NY, USA
September 2022
It's Your Loss: Classifying Information Loss During Variability Model Roundtrip Transformations
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 67-78
Publisher: ACM, New York, NY, USA
September 2022
| DOI: | 10.1145/3546932.3546990 |
| ISBN: | 9781450394437 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-SPLC-Feichtinger.pdf |
132.
Sundermann,
Chico;
Feichtinger,
Kevin;
Galindo,
Jose A.;
Benavides,
David;
Rabiser,
Rick;
Krieter,
Sebastian;
Thüm,
Thomas
Tutorial on the Universal Variability Language
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 260:1
Publisher: ACM, New York, NY, USA
September 2022
Tutorial on the Universal Variability Language
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 260:1
Publisher: ACM, New York, NY, USA
September 2022
| DOI: | 10.1145/3546932.3547024 |
| ISBN: | 9781450394437 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-SPLC-Sundermann.pdf |
131.
Runge,
Tobias;
Potanin,
Alex;
Thüm,
Thomas;
Schaefer,
Ina
Traits: Correctness-by-Construction for Free
Proc. Int'l Conf. on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Page 131-150
Publisher: Springer, Cham, Switzerland
June 2022
Traits: Correctness-by-Construction for Free
Proc. Int'l Conf. on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Page 131-150
Publisher: Springer, Cham, Switzerland
June 2022
| DOI: | 10.1007/978-3-031-08679-3_9 |
| ISBN: | 978-3-031-08679-3 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/master/2022/2022-FORTE-Runge.pdf |
130.
Schultheiß,
Alexander;
Bittner,
Paul Maximilian;
El-Sharkawy,
Sascha;
Thüm,
Thomas;
Kehrer,
Timo
Simulating the Evolution of Clone-and-Own Projects with VEVOS
Proc. Int'l Conf. on Evaluation Assessment in Software Engineering (EASE), Page 231-236
Publisher: ACM, New York, NY, USA
June 2022
Simulating the Evolution of Clone-and-Own Projects with VEVOS
Proc. Int'l Conf. on Evaluation Assessment in Software Engineering (EASE), Page 231-236
Publisher: ACM, New York, NY, USA
June 2022
| DOI: | 10.1145/3530019.3534084 |
| ISBN: | 9781450396134 |
| File: | https://doi.org/10.1145/3530019.3534084 |
129.
Krieter,
Sebastian;
Thüm,
Thomas;
Schulze,
Sandro;
Ruland,
Sebastian;
Lochau,
Malte;
Saake,
Gunter;
Leich,
Thomas
T-Wise Presence Condition Coverage and Sampling for Configurable Systems
Technical Report arXiv:2205.15180
May 2022
T-Wise Presence Condition Coverage and Sampling for Configurable Systems
Technical Report arXiv:2205.15180
May 2022
| DOI: | 10.48550/arXiv.2205.15180 |
| File: | https://arxiv.org/pdf/2205.15180 |
128.
Runge,
Tobias;
Potanin,
Alex;
Thüm,
Thomas;
Schaefer,
Ina
Traits for Correct-by-Construction Programming
Technical Report arXiv:2204.05644
April 2022
Traits for Correct-by-Construction Programming
Technical Report arXiv:2204.05644
April 2022
| File: | https://arxiv.org/abs/2204.05644 |
127.
Bittner,
Paul Maximilian;
Schultheiß,
Alexander;
Thüm,
Thomas;
Kehrer,
Timo;
Young,
Jeffrey M.;
Linsbauer,
Lukas
Feature Trace Recording - Summary
Proc. Software Engineering (SE), Page 19-20
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2022
Feature Trace Recording - Summary
Proc. Software Engineering (SE), Page 19-20
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2022
| DOI: | 10.18420/se2022-ws-002 |
| File: | https://doi.org/10.18420/se2022-ws-002 |
126.
Schultheiß,
Alexander;
Bittner,
Paul Maximilian;
Thüm,
Thomas;
Kehrer,
Timo
Scalable N-Way Model Matching Using Multi-Dimensional Search Trees - Summary
Proc. Software Engineering (SE), Page 83-84
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2022
Scalable N-Way Model Matching Using Multi-Dimensional Search Trees - Summary
Proc. Software Engineering (SE), Page 83-84
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2022
| DOI: | 10.18420/se2022-ws-028 |
| File: | https://doi.org/10.18420/se2022-ws-028 |
125.
Nieke,
Michael;
Sampaio,
Gabriela;
Thüm,
Thomas;
Seidl,
Christoph;
Teixeira,
Leopoldo;
Schaefer,
Ina
Guiding the Evolution of Product-Line Configurations
Software and System Modeling (SoSyM) :225-247
February 2022
Guiding the Evolution of Product-Line Configurations
Software and System Modeling (SoSyM) :225-247
February 2022
| DOI: | https://link.springer.com/article/10.1007/s10270-021-00906-w |
| File: | https://link.springer.com/content/pdf/10.1007/s10270-021-00906-w.pdf |
124.
Hentze,
Marc;
Pett,
Tobias;
Sundermann,
Chico;
Krieter,
Sebastian;
Thüm,
Thomas;
Schaefer,
Ina
Generic Solution-Space Sampling for Multi-Domain Product Lines
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE) (To Appear)
Publisher: ACM, New York, NY, USA
2022
Generic Solution-Space Sampling for Multi-Domain Product Lines
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE) (To Appear)
Publisher: ACM, New York, NY, USA
2022
2021
123.
Runge,
Tobias;
Bordis,
Tabea;
Thüm,
Thomas;
Schaefer,
Ina
Teaching Correctness-by-Construction and Post-Hoc Verification - The Online Experience
Proc. Int'l Workshop and Tutorial on Formal Methods Teaching (FMTea), Page 101-116
Publisher: Springer, Berlin, Heidelberg, Germany
November 2021
Teaching Correctness-by-Construction and Post-Hoc Verification - The Online Experience
Proc. Int'l Workshop and Tutorial on Formal Methods Teaching (FMTea), Page 101-116
Publisher: Springer, Berlin, Heidelberg, Germany
November 2021
| DOI: | 10.1007/978-3-030-91550-6_8 |
| ISBN: | 978-3-030-91549-0 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-FMTea-Runge.pdf |
122.
Schultheiß,
Alexander;
Bittner,
Paul Maximilian;
Grunske,
Lars;
Thüm,
Thomas;
Kehrer,
Timo
Scalable N-Way Model Matching Using Multi-Dimensional Search Trees
Proc. Int'l Conf. on Model Driven Engineering Languages and Systems (MODELS), Page 1-12
Publisher: IEEE, Washington, DC, USA
October 2021
Scalable N-Way Model Matching Using Multi-Dimensional Search Trees
Proc. Int'l Conf. on Model Driven Engineering Languages and Systems (MODELS), Page 1-12
Publisher: IEEE, Washington, DC, USA
October 2021
| DOI: | 10.1109/MODELS50736.2021.00010 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-MODELS-Schultheiss.pdf |
121.
Thüm,
Thomas
Keynote: Where Are My Constraints and What Do They Constrain?
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page XVIII
Publisher: ACM, New York, NY, USA
September 2021
Keynote: Where Are My Constraints and What Do They Constrain?
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page XVIII
Publisher: ACM, New York, NY, USA
September 2021
| ISBN: | 9781450384698 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SPLC-Thuem.pdf |
120.
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/main/2021/2021-SPLC-Sundermann.pdf |
119.
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/main/2021/2021-SPLC-Hess.pdf |
118.
Pett,
Tobias;
Krieter,
Sebastian;
Thüm,
Thomas;
Lochau,
Malte;
Schaefer,
Ina
AutoSMP: An Evaluation Platform for Sampling Algorithms
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 41-44
Publisher: ACM, New York, NY, USA
September 2021
AutoSMP: An Evaluation Platform for Sampling Algorithms
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 41-44
Publisher: ACM, New York, NY, USA
September 2021
| DOI: | 10.1145/3461002.3473073 |
| ISBN: | 9781450384704 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SPLC-Pett.pdf |
117.
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/main/2021/2021-SPLC-Krieter.pdf |
116.
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/main/2021/2021-ESECFSE-Bittner.pdf |
115.
Knüppel,
Alexander;
Thüm,
Thomas;
Schaefer,
Ina
GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers
Proc. Int'l Conf. on Formal Methods in Software Engineering (FormaliSE), Page 124-129
Publisher: IEEE, Piscataway, NJ, USA
May 2021
GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers
Proc. Int'l Conf. on Formal Methods in Software Engineering (FormaliSE), Page 124-129
Publisher: IEEE, Piscataway, NJ, USA
May 2021
| DOI: | 10.1109/FormaliSE52586.2021.00018 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-FormaliSE-Knueppel.pdf |
114.
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/main/2021/2021-ICSE-Kehrer.pdf |
113.
Hentze,
Marc;
Pett,
Tobias;
Thüm,
Thomas;
Schaefer,
Ina
Hyper Explanations for Feature-Model Defect Analysis
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Publisher: ACM, New York, NY, USA
February 2021
Hyper Explanations for Feature-Model Defect Analysis
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Publisher: ACM, New York, NY, USA
February 2021
| DOI: | 10.1145/3442391.3442406 |
| ISBN: | 9781450388245 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-VaMoS-Hentze.pdf |
112.
Knüppel,
Alexander;
Jatzkowski,
Inga;
Nolte,
Marcus;
Thüm,
Thomas;
Runge,
Tobias;
Schaefer,
Ina
Skill-Based Verification of Cyber-Physical Systems (Extended Abstract)
Proc. Software Engineering (SE), Page 67-68
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2021
Skill-Based Verification of Cyber-Physical Systems (Extended Abstract)
Proc. Software Engineering (SE), Page 67-68
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2021
| DOI: | 10.18420/SE2021_22 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SE-Knueppel.pdf |
111.
Pett,
Tobias;
Krieter,
Sebastian;
Runge,
Tobias;
Thüm,
Thomas;
Lochau,
Malte;
Schaefer,
Ina
Stability of Product-Line Sampling in Continuous Integration
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Publisher: ACM, New York, NY, USA
February 2021
Stability of Product-Line Sampling in Continuous Integration
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Publisher: ACM, New York, NY, USA
February 2021
| DOI: | 10.1145/3442391.3442410 |
| ISBN: | 9781450388245 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-VaMoS-Pett.pdf |
110.
Runge,
Tobias;
Schaefer,
Ina;
Cleophas,
Loek;
Thüm,
Thomas;
Kourie,
Derrick;
Watson,
Bruce W.
Tool Support for Correctness-by-Construction (Extended Abstract)
Proc. Software Engineering (SE), Page 93-94
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2021
Tool Support for Correctness-by-Construction (Extended Abstract)
Proc. Software Engineering (SE), Page 93-94
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2021
| DOI: | 10.18420/SE2021_34 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SE-Runge.pdf |
109.
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
February 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
February 2021
| DOI: | 10.1145/3442391.3442404 |
| ISBN: | 9781450388245 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-VaMoS-Sundermann.pdf |
2020
108.
Knüppel,
Alexander;
Krüger,
Stefan;
Thüm,
Thomas;
Bubel,
Richard;
Krieter,
Sebastian;
Bodden,
Eric;
Schaefer,
Ina
Using Abstract Contracts for Verifying Evolving Features and Their Interactions
Page 122-148
Publisher: Springer, Cham, Switzerland
December 2020
122-148
Using Abstract Contracts for Verifying Evolving Features and Their Interactions
Page 122-148
Publisher: Springer, Cham, Switzerland
December 2020
122-148
| DOI: | 10.1007/978-3-030-64354-6_5 |
| ISBN: | 978-3-030-64354-6 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-Knueppel.pdf |
107.
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
October 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
October 2020
| DOI: | 10.1145/3382025.3414972 |
| ISBN: | 9781450375696 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-SPLC-Schultheiss.pdf |
106.
Young,
Jeffrey M.;
Walkingshaw,
Eric;
Thüm,
Thomas
Variational Satisfiability Solving
Proc. Int'l Systems and Software Product Line Conf. (SPLC)
Publisher: ACM, New York, NY, USA
October 2020
Variational Satisfiability Solving
Proc. Int'l Systems and Software Product Line Conf. (SPLC)
Publisher: ACM, New York, NY, USA
October 2020
| DOI: | 10.1145/3382025.3414965 |
| ISBN: | 9781450375696 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-SPLC-Young.pdf |
105.
Thüm,
Thomas
A BDD for Linux? The Knowledge Compilation Challenge for Variability
Proc. Int'l Systems and Software Product Line Conf. (SPLC)
Publisher: ACM, New York, NY, USA
October 2020
A BDD for Linux? The Knowledge Compilation Challenge for Variability
Proc. Int'l Systems and Software Product Line Conf. (SPLC)
Publisher: ACM, New York, NY, USA
October 2020
| DOI: | 10.1145/3382025.3414943 |
| ISBN: | 9781450375696 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-SPLC-Thuem.pdf |
104.
Runge,
Tobias;
Knüppel,
Alexander;
Thüm,
Thomas;
Schaefer,
Ina
Lattice-Based Information Flow Control-by-Construction for Security-by-Design
Proc. Int'l Conf. on Formal Methods in Software Engineering (FormaliSE), Page 44-54
Publisher: ACM, New York, NY, USA
October 2020
Lattice-Based Information Flow Control-by-Construction for Security-by-Design
Proc. Int'l Conf. on Formal Methods in Software Engineering (FormaliSE), Page 44-54
Publisher: ACM, New York, NY, USA
October 2020
| DOI: | 10.1145/3372020.3391565 |
| ISBN: | 9781450370714 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-FormaliSE-Runge.pdf |
103.
Nieke,
Michael;
Sampaio,
Gabriela;
Thüm,
Thomas;
Seidl,
Christoph;
Teixeira,
Leopoldo;
Schaefer,
Ina
GuyDance: Guiding Configuration Updates for Product-Line Evolution
Proc. Int'l Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution), Page 56-64
Publisher: ACM, New York, NY, USA
October 2020
GuyDance: Guiding Configuration Updates for Product-Line Evolution
Proc. Int'l Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution), Page 56-64
Publisher: ACM, New York, NY, USA
October 2020
| DOI: | 10.1145/3382026.3425769 |
| ISBN: | 9781450375702 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-VariVolution-Nieke.pdf |
102.
Runge,
Tobias;
Thüm,
Thomas;
Cleophas,
Loek;
Schaefer,
Ina;
Watson,
Bruce W.
Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User Study
Proc. Int'l Workshop on Refinement (REFINE), Page 388-405
Publisher: Springer, Cham, Switzerland
August 2020
Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User Study
Proc. Int'l Workshop on Refinement (REFINE), Page 388-405
Publisher: Springer, Cham, Switzerland
August 2020
| DOI: | 10.1007/978-3-030-54997-8_25 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-REFINE-Runge.pdf |
101.
Knüppel,
Alexander;
Jatzkowski,
Inga;
Nolte,
Marcus;
Thüm,
Thomas;
Runge,
Tobias;
Schaefer,
Ina
Skill-Based Verification of Cyber-Physical Systems
Proc. Int'l Conf. on Fundamental Approaches to Software Engineering (FASE), Page 203-223
Publisher: Springer, Berlin, Heidelberg, Germany
April 2020
Skill-Based Verification of Cyber-Physical Systems
Proc. Int'l Conf. on Fundamental Approaches to Software Engineering (FASE), Page 203-223
Publisher: Springer, Berlin, Heidelberg, Germany
April 2020
| DOI: | 10.1007/978-3-030-45234-6_10 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-FASE-Knueppel.pdf |
100.
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)
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)
Publisher: ACM, New York, NY, USA
February 2020
| DOI: | 10.1145/3377024.3377036 |
| ISBN: | 9781450375016 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-VaMoS-Sprey.pdf |
99.
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)
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)
Publisher: ACM, New York, NY, USA
February 2020
| DOI: | 10.1145/3377024.3377025 |
| ISBN: | 9781450375016 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-VaMoS-Sundermann.pdf |
98.
Bordis,
Tabea;
Runge,
Tobias;
Knüppel,
Alexander;
Thüm,
Thomas;
Schaefer,
Ina
Variational Correctness-by-Construction
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Publisher: ACM, New York, NY, USA
February 2020
Variational Correctness-by-Construction
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Publisher: ACM, New York, NY, USA
February 2020
| DOI: | 10.1145/3377024.3377038 |
| ISBN: | 9781450375016 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-VaMoS-Bordis.pdf |
97.
Krieter,
Sebastian;
Thüm,
Thomas;
Schulze,
Sandro;
Saake,
Gunter;
Leich,
Thomas
YASA: Yet Another Sampling Algorithm
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Publisher: ACM, New York, NY, USA
February 2020
YASA: Yet Another Sampling Algorithm
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Publisher: ACM, New York, NY, USA
February 2020
| DOI: | 10.1145/3377024.3377042 |
| ISBN: | 9781450375016 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2020/2020-VaMoS-Krieter.pdf |
2019
96.
Thüm,
Thomas;
Seidl,
Christoph;
Schaefer,
Ina
On Language Levels for Feature Modeling Notations
Proc. Int'l Workshop on Languages for Modelling Variability (MODEVAR), Page 158-161
Publisher: ACM, New York, NY, USA
September 2019
On Language Levels for Feature Modeling Notations
Proc. Int'l Workshop on Languages for Modelling Variability (MODEVAR), Page 158-161
Publisher: ACM, New York, NY, USA
September 2019
| DOI: | 10.1145/3307630.3342404 |
| ISBN: | 9781450366687 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-MODEVAR-Thuem.pdf |
95.
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
Proc. Int'l Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution), Page 57-64
Publisher: ACM, New York, NY, USA
September 2019
Towards Efficient Analysis of Variation in Time and Space
Proc. Int'l Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution), Page 57-64
Publisher: ACM, New York, NY, USA
September 2019
| DOI: | 10.1145/3307630.3342414 |
| ISBN: | 9781450366687 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-VariVolution-Thuem.pdf |
94.
Pett,
Tobias;
Thüm,
Thomas;
Runge,
Tobias;
Krieter,
Sebastian;
Lochau,
Malte;
Schaefer,
Ina
Product Sampling for Product Lines: The Scalability Challenge
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 78-83
Publisher: ACM, New York, NY, USA
September 2019
Product Sampling for Product Lines: The Scalability Challenge
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 78-83
Publisher: ACM, New York, NY, USA
September 2019
| DOI: | 10.1145/3336294.3336322 |
| ISBN: | 9781450371384 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SPLC-Pett.pdf |
93.
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/main/2019/2019-SEFM-Bittner.pdf |
92.
Thüm,
Thomas;
Knüppel,
Alexander;
Krüger,
Stefan;
Bolle,
Stefanie;
Schaefer,
Ina
Feature-Oriented Contract Composition (Extended Abstract)
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 25
Publisher: ACM, New York, NY, USA
September 2019
Feature-Oriented Contract Composition (Extended Abstract)
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 25
Publisher: ACM, New York, NY, USA
September 2019
| DOI: | 10.1145/3336294.3342374 |
| ISBN: | 9781450371384 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SPLC-Thuem.pdf |
91.
Thüm,
Thomas;
Hoorn,
Andre;
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
Page 175-206
Publisher: Springer, Cham, Switzerland
June 2019
175-206
Performance Analysis Strategies for Software Variants and Versions
Page 175-206
Publisher: Springer, Cham, Switzerland
June 2019
175-206
| DOI: | 10.1007/978-3-030-13499-0_8 |
| ISBN: | 978-3-030-13499-0 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SPP1593-Thuem.pdf |
90.
Thüm,
Thomas;
Knüppel,
Alexander;
Krüger,
Stefan;
Bolle,
Stefanie;
Schaefer,
Ina
Feature-Oriented Contract Composition
J. Systems and Software (JSS) :83-107
June 2019
Publisher: Elsevier Science Inc.
ISSN: 0164-1212
Feature-Oriented Contract Composition
J. Systems and Software (JSS) :83-107
June 2019
Publisher: Elsevier Science Inc.
ISSN: 0164-1212
| DOI: | 10.1016/j.jss.2019.01.044 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-JSS-Thuem.pdf |
89.
Jung,
Reiner;
Märtin,
Lukas;
Johanssen,
Jan Ole;
Paech,
Barbara;
Lochau,
Malte;
Thüm,
Thomas;
Schneider,
Kurt;
Tichy,
Matthias;
Ulbrich,
Mattias
Addressed Challenges
Page 21-36
Publisher: Springer, Cham, Switzerland
June 2019
21-36
Addressed Challenges
Page 21-36
Publisher: Springer, Cham, Switzerland
June 2019
21-36
| DOI: | 10.1007/978-3-030-13499-0_3 |
| ISBN: | 978-3-030-13499-0 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SPP1593-Jung.pdf |
88.
Runge,
Tobias;
Schaefer,
Ina;
Cleophas,
Loek;
Thüm,
Thomas;
Kourie,
Derrick;
Watson,
Bruce W.
Tool Support for Correctness-by-Construction
Proc. Int'l Conf. on Fundamental Approaches to Software Engineering (FASE), Page 25-42
Publisher: Springer, Cham, Switzerland
April 2019
Tool Support for Correctness-by-Construction
Proc. Int'l Conf. on Fundamental Approaches to Software Engineering (FASE), Page 25-42
Publisher: Springer, Cham, Switzerland
April 2019
| ISBN: | 978-3-030-16722-6 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-FASE-Runge.pdf |
87.
Knüppel,
Alexander;
Thüm,
Thomas;
Pardylla,
Carsten Immanuel;
Schaefer,
Ina
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY (Extended Abstract)
Proc. Software Engineering (SE), Page 165-166
Publisher: Gesellschaft für Informatik
February 2019
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY (Extended Abstract)
Proc. Software Engineering (SE), Page 165-166
Publisher: Gesellschaft für Informatik
February 2019
| DOI: | 10.18420/se2019-51 |
| ISBN: | 978-3-88579-686-2 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SE-Knueppel.pdf |
86.
Krieter,
Sebastian;
Thüm,
Thomas;
Schulze,
Sandro;
Schröter,
Reimar;
Saake,
Gunter
Propagating Configuration Decisions with Modal Implication Graphs (Extended Abstract)
Proc. Software Engineering (SE), Page 77-78
Publisher: Gesellschaft für Informatik
February 2019
Propagating Configuration Decisions with Modal Implication Graphs (Extended Abstract)
Proc. Software Engineering (SE), Page 77-78
Publisher: Gesellschaft für Informatik
February 2019
| DOI: | 10.18420/se2019-20 |
| ISBN: | 978-3-88579-686-2 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SE-Krieter.pdf |
85.
Al-Hajjaji,
Mustafa;
Thüm,
Thomas;
Lochau,
Malte;
Meinicke,
Jens;
Saake,
Gunter
Effective Product-Line Testing Using Similarity-Based Product Prioritization
Software and System Modeling (SoSyM) :499-521
February 2019
Publisher: Springer
ISSN: 1619-1366
Effective Product-Line Testing Using Similarity-Based Product Prioritization
Software and System Modeling (SoSyM) :499-521
February 2019
Publisher: Springer
ISSN: 1619-1366
| DOI: | 10.1007/s10270-016-0569-2 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-SoSyM-Al-Hajjaji.pdf |
84.
Lity,
Sascha;
Nieke,
Manuel;
Thüm,
Thomas;
Schaefer,
Ina
Retest Test Selection for Product-Line Regression Testing of Variants and Versions of Variants
J. Systems and Software (JSS) :46-63
January 2019
Publisher: Elsevier Science Inc.
ISSN: 0164-1212
Retest Test Selection for Product-Line Regression Testing of Variants and Versions of Variants
J. Systems and Software (JSS) :46-63
January 2019
Publisher: Elsevier Science Inc.
ISSN: 0164-1212
| DOI: | 10.1016/j.jss.2018.09.090 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2019/2019-JSS-Lity.pdf |
2018
83.
Nieke,
Michael;
Mauro,
Jacopo;
Seidl,
Christoph;
Thüm,
Thomas;
Yu,
Ingrid Chieh;
Franzke,
Felix
Anomaly Analyses for Feature-Model Evolution
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Page 188-201
Publisher: ACM, New York, NY, USA
November 2018
Anomaly Analyses for Feature-Model Evolution
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Page 188-201
Publisher: ACM, New York, NY, USA
November 2018
| DOI: | 10.1145/3278122.3278123 |
| ISBN: | 978-1-4503-6045-6 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-GPCE-Nieke.pdf |
82.
Knüppel,
Alexander;
Thüm,
Thomas;
Pardylla,
Carsten Immanuel;
Schaefer,
Ina
Scalability of Deductive Verification Depends on Method Call Treatment
Proc. Int'l Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Page 159-175
Publisher: Springer, Cham, Switzerland
November 2018
Scalability of Deductive Verification Depends on Method Call Treatment
Proc. Int'l Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Page 159-175
Publisher: Springer, Cham, Switzerland
November 2018
| DOI: | 10.1007/978-3-030-03427-6_15 |
| ISBN: | 978-3-030-03426-9 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-ISoLA-Knueppel.pdf |
81.
Knüppel,
Alexander;
Thüm,
Thomas;
Pardylla,
Carsten Immanuel;
Schaefer,
Ina
Experience Report on Formally Verifying Parts of OpenJDK's API with KeY
Proc. Workshop on Formal Integrated Development Environment (F-IDE), Page 53-70
November 2018
Experience Report on Formally Verifying Parts of OpenJDK's API with KeY
Proc. Workshop on Formal Integrated Development Environment (F-IDE), Page 53-70
November 2018
| DOI: | 10.4204/EPTCS.284.5 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-FIDE-Knueppel.pdf |
80.
Ruland,
Sebastian;
Luthmann,
Lars;
Bürdek,
Johannes;
Lity,
Sascha;
Thüm,
Thomas;
Lochau,
Malte;
Ribeiro,
Marcio
Measuring Effectiveness of Sample-Based Product-Line Testing
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Page 119-133
Publisher: ACM, New York, NY, USA
November 2018
Measuring Effectiveness of Sample-Based Product-Line Testing
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Page 119-133
Publisher: ACM, New York, NY, USA
November 2018
| DOI: | 10.1145/3278122.3278130 |
| ISBN: | 978-1-4503-6045-6 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-GPCE-Ruland.pdf |
79.
Varshosaz,
Mahsa;
Al-Hajjaji,
Mustafa;
Thüm,
Thomas;
Runge,
Tobias;
Mousavi,
Mohammad Reza;
Schaefer,
Ina
A Classification of Product Sampling for Software Product Lines
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 1-13
Publisher: ACM, New York, NY, USA
September 2018
A Classification of Product Sampling for Software Product Lines
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 1-13
Publisher: ACM, New York, NY, USA
September 2018
| DOI: | 10.1145/3233027.3233035 |
| ISBN: | 978-1-4503-6464-5 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-SPLC-Varshosaz.pdf |
78.
Krüger,
Jacob;
Fenske,
Wolfram;
Thüm,
Thomas;
Aporius,
Dirk;
Saake,
Gunter;
Leich,
Thomas
Apo-Games: A Case Study for Reverse Engineering Variability from Cloned Java Variants
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 251-256
Publisher: ACM, New York, NY, USA
September 2018
Apo-Games: A Case Study for Reverse Engineering Variability from Cloned Java Variants
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 251-256
Publisher: ACM, New York, NY, USA
September 2018
| DOI: | 10.1145/3233027.3236403 |
| ISBN: | 978-1-4503-6464-5 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-SPLC-Krueger.pdf |
77.
Nieke,
Michael;
Seidl,
Christoph;
Thüm,
Thomas
Back to the Future: Avoiding Paradoxes in Feature-Model Evolution
Proc. Int'l Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution), Page 48-51
Publisher: ACM, New York, NY, USA
September 2018
Back to the Future: Avoiding Paradoxes in Feature-Model Evolution
Proc. Int'l Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution), Page 48-51
Publisher: ACM, New York, NY, USA
September 2018
| DOI: | 10.1145/3236405.3237201 |
| ISBN: | 978-1-4503-5945-0 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-VariVolution-Nieke.pdf |
76.
Thüm,
Thomas;
Krieter,
Sebastian;
Leich,
Thomas
Clean Your Variable Code with FeatureIDE (Second Edition)
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 299-299
Publisher: ACM, New York, NY, USA
September 2018
Clean Your Variable Code with FeatureIDE (Second Edition)
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 299-299
Publisher: ACM, New York, NY, USA
September 2018
| DOI: | 10.1145/3233027.3233053 |
| ISBN: | 978-1-4503-6464-5 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-SPLC-Thuem.pdf |
75.
Thüm,
Thomas;
Krieter,
Sebastian;
Schaefer,
Ina
Product Configuration in the Wild: Strategies for Conflicting Decisions in Web Configurators
Proc. Configuration Workshop (ConfWS), Page 1-8
Publisher: RWTH Aachen University, Aachen, Germany
September 2018
Product Configuration in the Wild: Strategies for Conflicting Decisions in Web Configurators
Proc. Configuration Workshop (ConfWS), Page 1-8
Publisher: RWTH Aachen University, Aachen, Germany
September 2018
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-CONFWS-Thuem.pdf |
74.
Knüppel,
Alexander;
Thüm,
Thomas;
Pardylla,
Carsten Immanuel;
Schaefer,
Ina
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY
Proc. Inte'l Conf. on Interactive Theorem Proving (ITP), Page 342-361
Publisher: Springer, Berlin, Heidelberg, Germany
July 2018
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY
Proc. Inte'l Conf. on Interactive Theorem Proving (ITP), Page 342-361
Publisher: Springer, Berlin, Heidelberg, Germany
July 2018
| DOI: | 10.1007/978-3-319-94821-8_20 |
| ISBN: | 978-3-319-94820-1 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-ITP-Knueppel.pdf |
73.
Krieter,
Sebastian;
Thüm,
Thomas;
Schulze,
Sandro;
Schröter,
Reimar;
Saake,
Gunter
Propagating Configuration Decisions with Modal Implication Graphs
Proc. Int'l Conf. on Software Engineering (ICSE), Page 898-909
Publisher: ACM, New York, NY, USA
May 2018
Propagating Configuration Decisions with Modal Implication Graphs
Proc. Int'l Conf. on Software Engineering (ICSE), Page 898-909
Publisher: ACM, New York, NY, USA
May 2018
| DOI: | 10.1145/3180155.3180159 |
| ISBN: | 978-1-4503-5638-1 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-ICSE-Krieter.pdf |
72.
Knüppel,
Alexander;
Thüm,
Thomas;
Mennicke,
Stephan;
Meinicke,
Jens;
Schaefer,
Ina
Is There a Mismatch between Real-World Feature Models and Product-Line Research? (Extended Abstract)
Proc. Software Engineering (SE), Page 53-54
Publisher: Gesellschaft für Informatik
March 2018
Is There a Mismatch between Real-World Feature Models and Product-Line Research? (Extended Abstract)
Proc. Software Engineering (SE), Page 53-54
Publisher: Gesellschaft für Informatik
March 2018
| ISBN: | 978-3-88579-673-2 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-SE-Knueppel.pdf |
71.
Carvalho,
Luiz;
Guimaraes,
Marcio Augusto;
Ribeiro,
Marcio;
Fernandes,
Leonardo;
Al-Hajjaji,
Mustafa;
Gheyi,
Rohit;
Thüm,
Thomas
Equivalent Mutants in Configurable Systems: An Empirical Study
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 11-18
Publisher: ACM, New York, NY, USA
February 2018
Equivalent Mutants in Configurable Systems: An Empirical Study
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 11-18
Publisher: ACM, New York, NY, USA
February 2018
| DOI: | 10.1145/3168365.3168379 |
| ISBN: | 978-1-4503-5398-4 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-VaMoS-Carvalho.pdf |
70.
Lity,
Sascha;
Nahrendorf,
Sophia;
Thüm,
Thomas;
Seidl,
Christoph;
Schaefer,
Ina
175% Modeling for Product-Line Evolution of Domain Artifacts
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 27-34
Publisher: ACM, New York, NY, USA
February 2018
175% Modeling for Product-Line Evolution of Domain Artifacts
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 27-34
Publisher: ACM, New York, NY, USA
February 2018
| DOI: | 10.1145/3168365.3168369 |
| ISBN: | 978-1-4503-5398-4 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-VaMoS-Lity.pdf |
69.
Thüm,
Thomas;
Krieter,
Sebastian;
Leich,
Thomas
Feature Modeling and Development with FeatureIDE
Proc. Modellierung, Page 297-298
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2018
Feature Modeling and Development with FeatureIDE
Proc. Modellierung, Page 297-298
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2018
| ISBN: | 978-3-88579-674-9 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2018/2018-Modellierung-Thuem.pdf |
2017
68.
Benduhn,
Fabian;
Thüm,
Thomas;
Schaefer,
Ina;
Saake,
Gunter
Modularization of Refinement Steps for Agile Formal Methods
Proc. Int'l Conf. on Formal Engineering Methods (ICFEM), Page 19-35
Publisher: Springer, Cham, Switzerland
November 2017
Modularization of Refinement Steps for Agile Formal Methods
Proc. Int'l Conf. on Formal Engineering Methods (ICFEM), Page 19-35
Publisher: Springer, Cham, Switzerland
November 2017
| DOI: | 10.1007/978-3-319-68690-5_2 |
| ISBN: | 978-3-319-68690-5 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2017/2017-ICFEM-Benduhn.pdf |
67.
Krieter,
Sebastian;
Pinnecke,
Marcus;
Krüger,
Jacob;
Sprey,
Joshua;
Sontag,
Christopher;
Thüm,
Thomas;
Leich,
Thomas;
Saake,
Gunter
FeatureIDE: Empowering Third-Party Developers
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 42-45
Publisher: ACM, New York, NY, USA
September 2017
FeatureIDE: Empowering Third-Party Developers
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 42-45
Publisher: ACM, New York, NY, USA
September 2017
| DOI: | 10.1145/3109729.3109751 |
| ISBN: | 978-1-4503-5119-5 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2017/2017-SPLC-Krieter.pdf |
66.
Knüppel,
Alexander;
Thüm,
Thomas;
Mennicke,
Stephan;
Meinicke,
Jens;
Schaefer,
Ina
Is There a Mismatch Between Real-World Feature Models and Product-Line Research?
Proc. Europ. Software Engineering Conf./Foundations of Software Engineering (ESEC/FSE), Page 291-302
Publisher: ACM, New York, NY, USA
September 2017
Is There a Mismatch Between Real-World Feature Models and Product-Line Research?
Proc. Europ. Software Engineering Conf./Foundations of Software Engineering (ESEC/FSE), Page 291-302
Publisher: ACM, New York, NY, USA
September 2017
| DOI: | 10.1145/3106237.3106252 |
| ISBN: | 978-1-4503-5105-8 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2017/2017-ESECFSE-Knueppel.pdf |
65.
Kowal,
Matthias;
Ananieva,
Sofia;
Thüm,
Thomas;
Schaefer,
Ina
Supporting the Development of Interdisciplinary Product Lines in the Manufacturing Domain
World Congress of the International Federation of Automatic Control (IFAC) :4336-4341
July 2017
ISSN: 2405-8963
Supporting the Development of Interdisciplinary Product Lines in the Manufacturing Domain
World Congress of the International Federation of Automatic Control (IFAC) :4336-4341
July 2017
ISSN: 2405-8963
| DOI: | 10.1016/j.ifacol.2017.08.870 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2017/2017-IFAC-Kowal.pdf |
64.
Al-Hajjaji,
Mustafa;
Lity,
Sascha;
Lachmann,
Remo;
Thüm,
Thomas;
Schaefer,
Ina;
Saake,
Gunter
Delta-Oriented Product Prioritization for Similarity-Based Product-Line Testing
Proc. Int'l Workshop on Variability and Complexity in Software Design (VACE), Page 34-40
Publisher: IEEE, Piscataway, NJ, USA
May 2017
Delta-Oriented Product Prioritization for Similarity-Based Product-Line Testing
Proc. Int'l Workshop on Variability and Complexity in Software Design (VACE), Page 34-40
Publisher: IEEE, Piscataway, NJ, USA
May 2017
| DOI: | 10.1109/VACE.2017..8 |
| ISBN: | 978-1-5386-2803-4 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2017/2017-VACE-Al-Hajjaji.pdf |
63.
Schröter,
Reimar;
Krieter,
Sebastian;
Thüm,
Thomas;
Benduhn,
Fabian;
Saake,
Gunter
Compositional Analyses of Highly-Configurable Systems with Feature-Model Interfaces
Proc. Software Engineering (SE), Page 129-130
Publisher: Gesellschaft für Informatik
February 2017
Compositional Analyses of Highly-Configurable Systems with Feature-Model Interfaces
Proc. Software Engineering (SE), Page 129-130
Publisher: Gesellschaft für Informatik
February 2017
| ISBN: | 978-3-88579-661-9 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2017/2017-SE-Schroeter.pdf |
62.
Lity,
Sascha;
Al-Hajjaji,
Mustafa;
Thüm,
Thomas;
Schaefer,
Ina
Optimizing Product Orders Using Graph Algorithms for Improving Incremental Product-line Analysis
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 60-67
Publisher: ACM, New York, NY, USA
January 2017
Optimizing Product Orders Using Graph Algorithms for Improving Incremental Product-line Analysis
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 60-67
Publisher: ACM, New York, NY, USA
January 2017
| DOI: | 10.1145/3023956.3023961 |
| ISBN: | 978-1-4503-4811-9 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2017/2017-VaMoS-Lity.pdf |
61.
Meinicke,
Jens;
Thüm,
Thomas;
Schröter,
Reimar;
Benduhn,
Fabian;
Leich,
Thomas;
Saake,
Gunter
Mastering Software Variability with FeatureIDE
Publisher: Springer, Berlin, Heidelberg, Germany
2017
Mastering Software Variability with FeatureIDE
Publisher: Springer, Berlin, Heidelberg, Germany
2017
| DOI: | 10.1007/978-3-319-61443-4 |
| ISBN: | 978-3-319-61442-7 |
2016
60.
Ananieva,
Sofia;
Kowal,
Matthias;
Thüm,
Thomas;
Schaefer,
Ina
Implicit Constraints in Partial Feature Models
Proc. Int'l Workshop on Feature-Oriented Software Development (FOSD), Page 18-27
Publisher: ACM, New York, NY, USA
October 2016
Implicit Constraints in Partial Feature Models
Proc. Int'l Workshop on Feature-Oriented Software Development (FOSD), Page 18-27
Publisher: ACM, New York, NY, USA
October 2016
| DOI: | 10.1145/3001867.3001870 |
| ISBN: | 978-1-4503-4647-4 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-FOSD-Ananieva.pdf |
59.
Al-Hajjaji,
Mustafa;
Meinicke,
Jens;
Krieter,
Sebastian;
Schröter,
Reimar;
Thüm,
Thomas;
Leich,
Thomas;
Saake,
Gunter
Tool Demo: Testing Configurable Systems with FeatureIDE
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Page 173-177
Publisher: ACM, New York, NY, USA
October 2016
Tool Demo: Testing Configurable Systems with FeatureIDE
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Page 173-177
Publisher: ACM, New York, NY, USA
October 2016
| DOI: | 10.1145/2993236.2993254 |
| ISBN: | 978-1-4503-4446-3 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-GPCE-Al-Hajjaji-Demo.pdf |
58.
Thüm,
Thomas
Spezifikation und Verifikation von Produktlinien mit Feature-orientierten Verträgen
Ausgezeichnete Informatikdissertationen 2015, Page 299-308
Publisher: Gesellschaft für Informatik, Bonn, Germany
October 2016
Spezifikation und Verifikation von Produktlinien mit Feature-orientierten Verträgen
Ausgezeichnete Informatikdissertationen 2015, Page 299-308
Publisher: Gesellschaft für Informatik, Bonn, Germany
October 2016
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-GI-Thuem.pdf |
57.
Holthusen,
Sönke;
Nieke,
Michael;
Thüm,
Thomas;
Schaefer,
Ina
Proof-Carrying Apps: Contract-Based Deployment-Time Verification
Proc. Int'l Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Page 839-855
Publisher: Springer, Berlin, Heidelberg, Germany
October 2016
Proof-Carrying Apps: Contract-Based Deployment-Time Verification
Proc. Int'l Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Page 839-855
Publisher: Springer, Berlin, Heidelberg, Germany
October 2016
| DOI: | 10.1007/978-3-319-47166-2_58 |
| ISBN: | 978-3-319-47166-2 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-ISoLA-Holthusen.pdf |
56.
Kowal,
Matthias;
Ananieva,
Sofia;
Thüm,
Thomas
Explaining Anomalies in Feature Models
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Page 132-143
Publisher: ACM, New York, NY, USA
October 2016
Explaining Anomalies in Feature Models
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Page 132-143
Publisher: ACM, New York, NY, USA
October 2016
| DOI: | 10.1145/2993236.2993248 |
| ISBN: | 978-1-4503-4446-3 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-GPCE-Kowal.pdf |
55.
Al-Hajjaji,
Mustafa;
Krieter,
Sebastian;
Thüm,
Thomas;
Lochau,
Malte;
Saake,
Gunter
IncLing: Efficient Product-line Testing Using Incremental Pairwise Sampling
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Page 144-155
Publisher: ACM, New York, NY, USA
October 2016
IncLing: Efficient Product-line Testing Using Incremental Pairwise Sampling
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Page 144-155
Publisher: ACM, New York, NY, USA
October 2016
| DOI: | 10.1145/2993236.2993253 |
| ISBN: | 978-1-4503-4446-3 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-GPCE-Al-Hajjaji.pdf |
54.
Pfofe,
Tristan;
Thüm,
Thomas;
Schulze,
Sandro;
Fenske,
Wolfram;
Schaefer,
Ina
Synchronizing Software Variants with VariantSync
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 329-332
Publisher: ACM, New York, NY, USA
September 2016
Synchronizing Software Variants with VariantSync
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 329-332
Publisher: ACM, New York, NY, USA
September 2016
| DOI: | 10.1145/2934466.2962726 |
| ISBN: | 978-1-4503-4050-2 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-SPLC-Pfofe.pdf |
53.
Thüm,
Thomas;
Ribeiro,
Marcio;
Schröter,
Reimar;
Siegmund,
Janet;
Dalton,
Francisco
Product-Line Maintenance with Emergent Contract Interfaces
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 134-143
Publisher: ACM, New York, NY, USA
September 2016
Product-Line Maintenance with Emergent Contract Interfaces
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 134-143
Publisher: ACM, New York, NY, USA
September 2016
| DOI: | 10.1145/2934466.2934471 |
| ISBN: | 978-1-4503-4050-2 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-SPLC-Thuem.pdf |
52.
Meinicke,
Jens;
Wong,
Chu-Pan;
Kästner,
Christian;
Thüm,
Thomas;
Saake,
Gunter
On Essential Configuration Complexity: Measuring Interactions In Highly-Configurable Systems
Proc. Int'l Conf. on Automated Software Engineering (ASE), Page 483-494
Publisher: ACM, New York, NY, USA
September 2016
On Essential Configuration Complexity: Measuring Interactions In Highly-Configurable Systems
Proc. Int'l Conf. on Automated Software Engineering (ASE), Page 483-494
Publisher: ACM, New York, NY, USA
September 2016
| DOI: | 10.1145/2970276.2970322 |
| ISBN: | 978-1-4503-3845-5 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-ASE-Meinicke.pdf |
51.
Krieter,
Sebastian;
Schröter,
Reimar;
Thüm,
Thomas;
Fenske,
Wolfram;
Saake,
Gunter
Comparing Algorithms for Efficient Feature-Model Slicing
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 60-64
Publisher: ACM, New York, NY, USA
September 2016
Comparing Algorithms for Efficient Feature-Model Slicing
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 60-64
Publisher: ACM, New York, NY, USA
September 2016
| DOI: | 10.1145/2934466.2934477 |
| ISBN: | 978-1-4503-4050-2 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-SPLC-Krieter.pdf |
50.
Thüm,
Thomas;
Leich,
Thomas;
Krieter,
Sebastian
Clean Your Variable Code with FeatureIDE
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 308-308
Publisher: ACM, New York, NY, USA
September 2016
Clean Your Variable Code with FeatureIDE
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 308-308
Publisher: ACM, New York, NY, USA
September 2016
| DOI: | 10.1145/2934466.2956655 |
| ISBN: | 978-1-4503-4050-2 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-SPLC-Thuem-Tutorial.pdf |
49.
Kowal,
Matthias;
Ananieva,
Sofia;
Thüm,
Thomas
Explaining Anomalies in Feature Models (Technical Report)
Germany
Technical Report 2016-01
August 2016
Explaining Anomalies in Feature Models (Technical Report)
Germany
Technical Report 2016-01
August 2016
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-TR-Kowal.pdf |
48.
Lity,
Sascha;
Morbach,
Thomas;
Thüm,
Thomas;
Schaefer,
Ina
Applying Incremental Model Slicing to Product-Line Regression Testing
Proc. Int'l Conf. on Software Reuse (ICSR), Page 3-19
Publisher: Springer, Berlin, Heidelberg, Germany
June 2016
Applying Incremental Model Slicing to Product-Line Regression Testing
Proc. Int'l Conf. on Software Reuse (ICSR), Page 3-19
Publisher: Springer, Berlin, Heidelberg, Germany
June 2016
| DOI: | 10.1007/978-3-319-35122-3_1 |
| ISBN: | 978-3-319-35122-3 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-ICSR-Lity.pdf |
47.
Meinicke,
Jens;
Thüm,
Thomas;
Schröter,
Reimar;
Krieter,
Sebastian;
Benduhn,
Fabian;
Saake,
Gunter;
Leich,
Thomas
FeatureIDE: Taming the Preprocessor Wilderness
Proc. Int'l Conf. on Software Engineering (ICSE), Page 629-632
Publisher: ACM, New York, NY, USA
May 2016
FeatureIDE: Taming the Preprocessor Wilderness
Proc. Int'l Conf. on Software Engineering (ICSE), Page 629-632
Publisher: ACM, New York, NY, USA
May 2016
| DOI: | 10.1145/2889160.2889175 |
| ISBN: | 978-1-4503-4205-6 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-ICSE-Meinicke.pdf |
46.
Schröter,
Reimar;
Krieter,
Sebastian;
Thüm,
Thomas;
Benduhn,
Fabian;
Saake,
Gunter
Feature-Model Interfaces: The Highway to Compositional Analyses of Highly-Configurable Systems
Proc. Int'l Conf. on Software Engineering (ICSE), Page 667-678
Publisher: ACM, New York, NY, USA
May 2016
Feature-Model Interfaces: The Highway to Compositional Analyses of Highly-Configurable Systems
Proc. Int'l Conf. on Software Engineering (ICSE), Page 667-678
Publisher: ACM, New York, NY, USA
May 2016
| DOI: | 10.1145/2884781.2884823 |
| ISBN: | 978-1-4503-3900-1 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-ICSE-Schroeter.pdf |
45.
Schink,
Hagen;
Siegmund,
Janet;
Schröter,
Reimar;
Thüm,
Thomas;
Saake,
Gunter
A Study on Tool Support for Refactoring in Database Applications
Softwaretechnik-Trends
May 2016
ISSN: 0720-8928
A Study on Tool Support for Refactoring in Database Applications
Softwaretechnik-Trends
May 2016
ISSN: 0720-8928
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-WSRE-Schink.pdf |
44.
Krieter,
Sebastian;
Schröter,
Reimar;
Thüm,
Thomas;
Saake,
Gunter
An Efficient Algorithm for Feature-Model Slicing
Germany
Technical Report FIN-001-2016
April 2016
An Efficient Algorithm for Feature-Model Slicing
Germany
Technical Report FIN-001-2016
April 2016
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-TR-Krieter.pdf |
43.
Al-Hajjaji,
Mustafa;
Benduhn,
Fabian;
Thüm,
Thomas;
Leich,
Thomas;
Saake,
Gunter
Mutation Operators for Preprocessor-Based Variability
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 81-88
Publisher: ACM, New York, NY, USA
January 2016
Mutation Operators for Preprocessor-Based Variability
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 81-88
Publisher: ACM, New York, NY, USA
January 2016
| DOI: | 10.1145/2866614.2866626 |
| ISBN: | 978-1-4503-4019-9 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-VaMoS-Al-Hajjaji.pdf |
42.
Rhein,
Alexander;
Thüm,
Thomas;
Schaefer,
Ina;
Liebig,
Jörg;
Apel,
Sven
Variability Encoding: From Compile-Time to Load-Time Variability
J. Logic and Algebraic Methods in Programming (JLAMP) :125-145
January 2016
ISSN: 2352-2208
Variability Encoding: From Compile-Time to Load-Time Variability
J. Logic and Algebraic Methods in Programming (JLAMP) :125-145
January 2016
ISSN: 2352-2208
| DOI: | 10.1016/j.jlamp.2015.06.007 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-JLAMP-Rhein.pdf |
41.
Thüm,
Thomas;
Winkelmann,
Tim;
Schröter,
Reimar;
Hentschel,
Martin;
Krüger,
Stefan
Variability Hiding in Contracts for Dependent Software Product Lines
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 97-104
Publisher: ACM, New York, NY, USA
January 2016
Variability Hiding in Contracts for Dependent Software Product Lines
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 97-104
Publisher: ACM, New York, NY, USA
January 2016
| DOI: | 10.1145/2866614.2866628 |
| ISBN: | 978-1-4503-4019-9 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-VaMoS-Thuem.pdf |
2015
40.
Ochoa,
Lina;
Gonzalez-Rojas,
Oscar;
Thüm,
Thomas
Using Decision Rules for Solving Conflicts in Extended Feature Models
Proc. Int'l Conf. on Software Language Engineering (SLE), Page 149-160
Publisher: ACM, New York, NY, USA
October 2015
Using Decision Rules for Solving Conflicts in Extended Feature Models
Proc. Int'l Conf. on Software Language Engineering (SLE), Page 149-160
Publisher: ACM, New York, NY, USA
October 2015
| ISBN: | 978-1-4503-3686-4 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2015/2015-SLE-Ochoa.pdf |
39.
Schröter,
Reimar;
Krieter,
Sebastian;
Thüm,
Thomas;
Benduhn,
Fabian;
Saake,
Gunter
Feature-Model Interfaces for Compositional Analyses
Germany
Technical Report FIN-001-2015
May 2015
Feature-Model Interfaces for Compositional Analyses
Germany
Technical Report FIN-001-2015
May 2015
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2015/2015-TR-Schroeter.pdf |
38.
Thüm,
Thomas;
Apel,
Sven;
Kästner,
Christian;
Schaefer,
Ina;
Saake,
Gunter
Analysis Strategies for Software Product Lines: A Classification and Survey
Proc. Software Engineering (SE), Page 57-58
Publisher: Gesellschaft für Informatik, Bonn, Germany
March 2015
Analysis Strategies for Software Product Lines: A Classification and Survey
Proc. Software Engineering (SE), Page 57-58
Publisher: Gesellschaft für Informatik, Bonn, Germany
March 2015
| ISBN: | 978-3-88579-633-6 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2015/2015-SE-Thuem.pdf |
37.
Thüm,
Thomas
Product-Line Specification and Verification with Feature-Oriented Contracts
University of Magdeburg, Germany
February 2015
Product-Line Specification and Verification with Feature-Oriented Contracts
University of Magdeburg, Germany
February 2015
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2015/2015-PhD-Thuem.pdf |
36.
Benduhn,
Fabian;
Thüm,
Thomas;
Lochau,
Malte;
Leich,
Thomas;
Saake,
Gunter
A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 80:80-80:87
Publisher: ACM, New York, NY, USA
January 2015
A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 80:80-80:87
Publisher: ACM, New York, NY, USA
January 2015
| DOI: | 10.1145/2701319.2701332 |
| ISBN: | 978-1-4503-3273-6 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2015/2015-VaMoS-Benduhn.pdf |
2014
35.
Thüm,
Thomas;
Meinicke,
Jens;
Benduhn,
Fabian;
Hentschel,
Martin;
Rhein,
Alexander;
Saake,
Gunter
Potential Synergies of Theorem Proving and Model Checking for Software Product Lines
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 177-186
Publisher: ACM, New York, NY, USA
September 2014
Potential Synergies of Theorem Proving and Model Checking for Software Product Lines
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 177-186
Publisher: ACM, New York, NY, USA
September 2014
| DOI: | 10.1145/2648511.2648530 |
| ISBN: | 978-1-4503-2740-4 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2014/2014-SPLC-Thuem.pdf |
34.
Al-Hajjaji,
Mustafa;
Thüm,
Thomas;
Meinicke,
Jens;
Lochau,
Malte;
Saake,
Gunter
Similarity-Based Prioritization in Software Product-Line Testing
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 197-206
Publisher: ACM, New York, NY, USA
September 2014
Similarity-Based Prioritization in Software Product-Line Testing
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 197-206
Publisher: ACM, New York, NY, USA
September 2014
| DOI: | 10.1145/2648511.2648532 |
| ISBN: | 978-1-4503-2740-4 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2014/2014-SPLC-Al-Hajjaji.pdf |
33.
Meinicke,
Jens;
Thüm,
Thomas;
Schröter,
Reimar;
Benduhn,
Fabian;
Saake,
Gunter
An Overview on Analysis Tools for Software Product Lines
Proc. Workshop on Software Product Line Analysis Tools (SPLat), Page 94-101
Publisher: ACM, New York, NY, USA
September 2014
An Overview on Analysis Tools for Software Product Lines
Proc. Workshop on Software Product Line Analysis Tools (SPLat), Page 94-101
Publisher: ACM, New York, NY, USA
September 2014
| DOI: | 10.1145/2647908.2655972 |
| ISBN: | 978-1-4503-2739-8 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2014/2014-SPLatools-Meinicke.pdf |
32.
Schröter,
Reimar;
Siegmund,
Norbert;
Thüm,
Thomas;
Saake,
Gunter
Feature-Context Interfaces: Tailored Programming Interfaces for Software Product Lines
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 102-111
Publisher: ACM, New York, NY, USA
September 2014
Feature-Context Interfaces: Tailored Programming Interfaces for Software Product Lines
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 102-111
Publisher: ACM, New York, NY, USA
September 2014
| DOI: | 10.1145/2648511.2648522 |
| ISBN: | 978-1-4503-2740-4 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2014/2014-SPLC-Schroeter.pdf |
31.
Thüm,
Thomas;
Apel,
Sven;
Kästner,
Christian;
Schaefer,
Ina;
Saake,
Gunter
A Classification and Survey of Analysis Strategies for Software Product Lines
ACM Computing Surveys (CSUR) :6:1-6:45
June 2014
Publisher: ACM
ISSN: 0360-0300
A Classification and Survey of Analysis Strategies for Software Product Lines
ACM Computing Surveys (CSUR) :6:1-6:45
June 2014
Publisher: ACM
ISSN: 0360-0300
| DOI: | 10.1145/2580950 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2014/2014-CSUR-Thuem.pdf |
30.
Rebelo,
Henrique;
Leavens,
Gary T.;
Bagherzadeh,
Mehdi;
Rajan,
Hridesh;
Lima,
Ricardo;
Zimmerman,
Daniel M.;
Cornelio,
Marcio;
Thüm,
Thomas
AspectJML: Modular Specification and Runtime Checking for Crosscutting Contracts
Proc. Int'l Conf. on Aspect-Oriented Software Development (AOSD), Page 157-168
Publisher: ACM, New York, NY, USA
April 2014
AspectJML: Modular Specification and Runtime Checking for Crosscutting Contracts
Proc. Int'l Conf. on Aspect-Oriented Software Development (AOSD), Page 157-168
Publisher: ACM, New York, NY, USA
April 2014
| DOI: | 10.1145/2577080.2577084 |
| ISBN: | 978-1-4503-2772-5 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2014/2014-AOSD-Rebelo.pdf |
29.
Rebelo,
Henrique;
Leavens,
Gary T.;
Bagherzadeh,
Mehdi;
Rajan,
Hridesh;
Lima,
Ricardo;
Zimmerman,
Daniel M.;
Cornelio,
Marcio;
Thüm,
Thomas
Modularizing Crosscutting Contracts with AspectJML
Proc. Int'l Conf. on Aspect-Oriented Software Development (AOSD), Page 21-24
Publisher: ACM, New York, NY, USA
April 2014
Modularizing Crosscutting Contracts with AspectJML
Proc. Int'l Conf. on Aspect-Oriented Software Development (AOSD), Page 21-24
Publisher: ACM, New York, NY, USA
April 2014
| DOI: | 10.1145/2584469.2584476 |
| ISBN: | 978-1-4503-2772-5 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2014/2014-AOSD-Rebelo-Demo.pdf |
28.
Thüm,
Thomas
Modular Reasoning for Crosscutting Concerns with Contracts
Proc. Software Engineering (SE), Page 65-66
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2014
Modular Reasoning for Crosscutting Concerns with Contracts
Proc. Software Engineering (SE), Page 65-66
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2014
| ISBN: | 978-388579-621-3 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2014/2014-SE-Thuem.pdf |
27.
Thüm,
Thomas;
Kästner,
Christian;
Benduhn,
Fabian;
Meinicke,
Jens;
Saake,
Gunter;
Leich,
Thomas
FeatureIDE: An Extensible Framework for Feature-Oriented Software Development
Science of Computer Programming (SCP) :70-85
January 2014
ISSN: 0167-6423
FeatureIDE: An Extensible Framework for Feature-Oriented Software Development
Science of Computer Programming (SCP) :70-85
January 2014
ISSN: 0167-6423
| DOI: | 10.1016/j.scico.2012.06.002 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2014/2014-SCP-Thuem.pdf |
26.
Fenske,
Wolfram;
Thüm,
Thomas;
Saake,
Gunter
A Taxonomy of Software Product Line Reengineering
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 4:1-4:8
Publisher: ACM, New York, NY, USA
January 2014
A Taxonomy of Software Product Line Reengineering
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 4:1-4:8
Publisher: ACM, New York, NY, USA
January 2014
| DOI: | 10.1145/2556624.2556643 |
| ISBN: | 978-1-4503-2556-1 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2014/2014-VaMoS-Fenske.pdf |
2013
25.
Siegmund,
Janet;
Thüm,
Thomas;
Schulze,
Sandro;
Jürgens,
Elmar
Agile Methoden im Softwareprojekt
Jahrestagung der Gesellschaft für Informatik, Page 234
Publisher: Gesellschaft für Informatik
September 2013
Agile Methoden im Softwareprojekt
Jahrestagung der Gesellschaft für Informatik, Page 234
Publisher: Gesellschaft für Informatik
September 2013
| ISBN: | 978-3-88579-614-5 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2013/2013-Informatik-Siegmund.pdf |
24.
Rebelo,
Henrique;
Leavens,
Gary T.;
Bagherzadeh,
Mehdi;
Rajan,
Hridesh;
Lima,
Ricardo;
Zimmerman,
Daniel M.;
Cornelio,
Marcio;
Thüm,
Thomas
AspectJML: Modular Specification and Runtime Checking for Crosscutting Contracts (Technical Report)
Orlando, FL, USA
Technical Report CS-TR-13-07
September 2013
AspectJML: Modular Specification and Runtime Checking for Crosscutting Contracts (Technical Report)
Orlando, FL, USA
Technical Report CS-TR-13-07
September 2013
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2013/2013-TR-Rebelo.pdf |
23.
Schröter,
Reimar;
Siegmund,
Norbert;
Thüm,
Thomas
Towards Modular Analysis of Multi Product Lines
Proc. Int'l Workshop on Multi Product Line Engineering (MultiPLE), Page 96-99
Publisher: ACM, New York, NY, USA
August 2013
Towards Modular Analysis of Multi Product Lines
Proc. Int'l Workshop on Multi Product Line Engineering (MultiPLE), Page 96-99
Publisher: ACM, New York, NY, USA
August 2013
| DOI: | 10.1145/2499777.2500719 |
| ISBN: | 978-1-4503-2325-3 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2013/2013-MultiPLE-Schroeter.pdf |
22.
Apel,
Sven;
Rhein,
Alexander;
Thüm,
Thomas;
Kästner,
Christian
Feature-Interaction Detection Based on Feature-Based Specifications
Computer Networks :2399-2409
August 2013
Publisher: Elsevier North-Holland, Inc.
ISSN: 1389-1286
Feature-Interaction Detection Based on Feature-Based Specifications
Computer Networks :2399-2409
August 2013
Publisher: Elsevier North-Holland, Inc.
ISSN: 1389-1286
| DOI: | 10.1016/j.comnet.2013.02.025 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2013/2013-ComNet-Apel.pdf |
21.
Thüm,
Thomas;
Apel,
Sven;
Zelend,
Andreas;
Schröter,
Reimar;
Möller,
Bernhard
Subclack: Feature-Oriented Programming with Behavioral Feature Interfaces
Proc. Workshop on MechAnisms for SPEcialization, Generalization and inHerItance (MASPEGHI), Page 1-8
Publisher: ACM, New York, NY, USA
July 2013
Subclack: Feature-Oriented Programming with Behavioral Feature Interfaces
Proc. Workshop on MechAnisms for SPEcialization, Generalization and inHerItance (MASPEGHI), Page 1-8
Publisher: ACM, New York, NY, USA
July 2013
| DOI: | 10.1145/2489828.2489829 |
| ISBN: | 978-1-4503-2046-7 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2013/2013-MASPEGHI-Thuem.pdf |
20.
Thüm,
Thomas
Product-Line Verification with Feature-Oriented Contracts
Proc. Int'l Symposium on Software Testing and Analysis (ISSTA), Page 374-377
Publisher: ACM, New York, NY, USA
July 2013
Product-Line Verification with Feature-Oriented Contracts
Proc. Int'l Symposium on Software Testing and Analysis (ISSTA), Page 374-377
Publisher: ACM, New York, NY, USA
July 2013
| DOI: | 10.1145/2483760.2492396 |
| ISBN: | 978-1-4503-2159-4 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2013/2013-ISSTA-Thuem.pdf |
19.
Schröter,
Reimar;
Thüm,
Thomas;
Siegmund,
Norbert;
Saake,
Gunter
Automated Analysis of Dependent Feature Models
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 9:1-9:5
Publisher: ACM, New York, NY, USA
January 2013
Automated Analysis of Dependent Feature Models
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 9:1-9:5
Publisher: ACM, New York, NY, USA
January 2013
| DOI: | 10.1145/2430502.2430515 |
| ISBN: | 978-1-4503-1541-8 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2013/2013-VaMoS-Schroeter.pdf |
18.
Rhein,
Alexander;
Apel,
Sven;
Kästner,
Christian;
Thüm,
Thomas;
Schaefer,
Ina
The PLA Model: On the Combination of Product-Line Analyses
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 14:1-14:8
Publisher: ACM, New York, NY, USA
January 2013
The PLA Model: On the Combination of Product-Line Analyses
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 14:1-14:8
Publisher: ACM, New York, NY, USA
January 2013
| DOI: | 10.1145/2430502.2430515 |
| ISBN: | 978-1-4503-1541-8 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2013/2013-VaMoS-Rhein.pdf |
2012
17.
Thüm,
Thomas;
Schaefer,
Ina;
Apel,
Sven;
Hentschel,
Martin
Family-Based Deductive Verification of Software Product Lines
Proc. Int'l Conf. on Generative Programming and Component Engineering (GPCE), Page 11-20
Publisher: ACM, New York, NY, USA
September 2012
Family-Based Deductive Verification of Software Product Lines
Proc. Int'l Conf. on Generative Programming and Component Engineering (GPCE), Page 11-20
Publisher: ACM, New York, NY, USA
September 2012
| DOI: | 10.1145/2371401.2371404 |
| ISBN: | 978-1-4503-1129-8 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2012/2012-GPCE-Thuem.pdf |
16.
Kästner,
Christian;
Apel,
Sven;
Thüm,
Thomas;
Saake,
Gunter
Type Checking Annotation-Based Product Lines
Trans. on Software Engineering and Methodology (TOSEM) :14:1-14:39
July 2012
Publisher: ACM
ISSN: 1049-331X
Type Checking Annotation-Based Product Lines
Trans. on Software Engineering and Methodology (TOSEM) :14:1-14:39
July 2012
Publisher: ACM
ISSN: 1049-331X
| DOI: | 10.1145/2211616.2211617 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2012/2012-TOSEM-Kaestner.pdf |
15.
Thüm,
Thomas
Verification of Software Product Lines Using Contracts
Doktorandentagung Magdeburger-Informatik-Tage (MIT), Page 75-82
Publisher: University of Magdeburg, Germany
July 2012
Verification of Software Product Lines Using Contracts
Doktorandentagung Magdeburger-Informatik-Tage (MIT), Page 75-82
Publisher: University of Magdeburg, Germany
July 2012
| ISBN: | 978-3-940961-73-0 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2012/2012-MIT-Thuem.pdf |
14.
Thüm,
Thomas;
Apel,
Sven;
Kästner,
Christian;
Kuhlemann,
Martin;
Schaefer,
Ina;
Saake,
Gunter
Analysis Strategies for Software Product Lines
Germany
Technical Report FIN-004-2012
April 2012
Analysis Strategies for Software Product Lines
Germany
Technical Report FIN-004-2012
April 2012
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2012/2012-TR-Thuem.pdf |
13.
Thüm,
Thomas;
Schulze,
Sandro;
Pukall,
Mario;
Saake,
Gunter;
Günther,
Sebastian
Secure and Customizable Data Management for Automotive Systems: A Feasibility Study
ISRN Software Engineering
March 2012
Secure and Customizable Data Management for Automotive Systems: A Feasibility Study
ISRN Software Engineering
March 2012
| DOI: | 10.5402/2012/424230 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2012/2012-ISRN-Thuem.pdf |
12.
Thüm,
Thomas;
Schaefer,
Ina;
Kuhlemann,
Martin;
Apel,
Sven;
Saake,
Gunter
Applying Design by Contract to Feature-Oriented Programming
Proc. Int'l Conf. on Fundamental Approaches to Software Engineering (FASE), Page 255-269
Publisher: Springer, Berlin, Heidelberg, Germany
March 2012
Applying Design by Contract to Feature-Oriented Programming
Proc. Int'l Conf. on Fundamental Approaches to Software Engineering (FASE), Page 255-269
Publisher: Springer, Berlin, Heidelberg, Germany
March 2012
| DOI: | 10.1007/978-3-642-28872-2_18 |
| ISBN: | 978-3-642-28871-5 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2012/2012-FASE-Thuem.pdf |
11.
Thüm,
Thomas;
Benduhn,
Fabian
Entwicklung von Softwarevarianten mit FeatureIDE
Eclipse Magazin :94-97
January 2012
Entwicklung von Softwarevarianten mit FeatureIDE
Eclipse Magazin :94-97
January 2012
10.
Schulze,
Sandro;
Thüm,
Thomas;
Kuhlemann,
Martin;
Saake,
Gunter
Variant-Preserving Refactoring in Feature-Oriented Software Product Lines
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 73-81
Publisher: ACM, New York, NY, USA
January 2012
Variant-Preserving Refactoring in Feature-Oriented Software Product Lines
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 73-81
Publisher: ACM, New York, NY, USA
January 2012
| DOI: | http://doi.acm.org/10.1145/2110147.2110156 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2012/2012-VaMoS-Schulze.pdf |
2011
9.
Thüm,
Thomas;
Schulze,
Sandro;
Pukall,
Mario;
Saake,
Gunter;
Günther,
Sebastian
AutoDaMa: On the Feasibility of Secure and Tailor-made Automotive Data Management
Germany
Technical Report FIN-008-2011
November 2011
AutoDaMa: On the Feasibility of Secure and Tailor-made Automotive Data Management
Germany
Technical Report FIN-008-2011
November 2011
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2011/2011-TR-Thuem.pdf |
8.
Thüm,
Thomas;
Kästner,
Christian;
Erdweg,
Sebastian;
Siegmund,
Norbert
Abstract Features in Feature Modeling
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 191-200
Publisher: IEEE, Washington, DC, USA
August 2011
Abstract Features in Feature Modeling
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 191-200
Publisher: IEEE, Washington, DC, USA
August 2011
| DOI: | 10.1109/SPLC.2011.53 |
| ISBN: | 978-0-7695-4487-8 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2011/2011-SPLC-Thuem.pdf |
7.
Scholz,
Wolfgang;
Thüm,
Thomas;
Apel,
Sven;
Lengauer,
Christian
Automatic Detection of Feature Interactions Using the Java Modeling Language: An Experience Report
Proc. Int'l Workshop on Feature-Oriented Software Development (FOSD), Page 7:1-7:8
Publisher: ACM, New York, NY, USA
August 2011
Automatic Detection of Feature Interactions Using the Java Modeling Language: An Experience Report
Proc. Int'l Workshop on Feature-Oriented Software Development (FOSD), Page 7:1-7:8
Publisher: ACM, New York, NY, USA
August 2011
| DOI: | http://doi.acm.org/10.1145/2019136.2019144 |
| ISBN: | 978-1-4503-0789-5 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2011/2011-FOSD-Scholz.pdf |
6.
Thüm,
Thomas;
Schaefer,
Ina;
Kuhlemann,
Martin;
Apel,
Sven
Proof Composition for Deductive Verification of Software Product Lines
Proc. Int'l Workshop on Variability-Intensive Systems Testing, Validation and Verification (VAST), Page 270-277
Publisher: IEEE, Washington, DC, USA
March 2011
Proof Composition for Deductive Verification of Software Product Lines
Proc. Int'l Workshop on Variability-Intensive Systems Testing, Validation and Verification (VAST), Page 270-277
Publisher: IEEE, Washington, DC, USA
March 2011
| DOI: | 10.1109/ICSTW.2011.48 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2011/2011-VAST-Thuem.pdf |
5.
Rosenmüller,
Marko;
Siegmund,
Norbert;
Thüm,
Thomas;
Saake,
Gunter
Multi-Dimensional Variability Modeling
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 11-22
Publisher: ACM, New York, NY, USA
January 2011
Multi-Dimensional Variability Modeling
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 11-22
Publisher: ACM, New York, NY, USA
January 2011
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2011/2011-VaMoS-Rosenmueller.pdf |
2010
4.
Thüm,
Thomas
A Machine-Checked Proof for a Product-Line-Aware Type System
Master's Thesis
Master's Thesis
University of Magdeburg, Germany
January 2010
A Machine-Checked Proof for a Product-Line-Aware Type System
Master's Thesis
Master's Thesis
University of Magdeburg, Germany
January 2010
| File: | https://github.com/SoftVarE-Group/Papers/raw/master/2010/2010-Master-Thuem.pdf |
2009
3.
Kästner,
Christian;
Thüm,
Thomas;
Saake,
Gunter;
Feigenspan,
Janet;
Leich,
Thomas;
Wielgorz,
Fabian;
Apel,
Sven
FeatureIDE: A Tool Framework for Feature-Oriented Software Development
Proc. Int'l Conf. on Software Engineering (ICSE), Page 611-614
Publisher: IEEE, Washington, DC, USA
May 2009
FeatureIDE: A Tool Framework for Feature-Oriented Software Development
Proc. Int'l Conf. on Software Engineering (ICSE), Page 611-614
Publisher: IEEE, Washington, DC, USA
May 2009
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2009/2009-ICSE-Kaestner.pdf |
2.
Thüm,
Thomas;
Batory,
Don;
Kästner,
Christian
Reasoning About Edits to Feature Models
Proc. Int'l Conf. on Software Engineering (ICSE), Page 254-264
Publisher: IEEE, Washington, DC, USA
May 2009
Reasoning About Edits to Feature Models
Proc. Int'l Conf. on Software Engineering (ICSE), Page 254-264
Publisher: IEEE, Washington, DC, USA
May 2009
| DOI: | 10.1109/ICSE.2009.5070526 |
| ISBN: | 978-1-4244-3453-4 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2009/2009-ICSE-Thuem.pdf |
2008
1.
Thüm,
Thomas
Reasoning About Feature Model Edits
Bachelor's Thesis
Bachelor's Thesis
University of Magdeburg, Germany
June 2008
Reasoning About Feature Model Edits
Bachelor's Thesis
Bachelor's Thesis
University of Magdeburg, Germany
June 2008
| File: | https://github.com/SoftVarE-Group/Papers/raw/master/2008/2008-Bachelor-Thuem.pdf |
2022
56.
Heimowski,
Yvonne
Simplifying Feature Models for Better Scalability of #SAT Solvers
Bachelor's Thesis
Bachelor's Thesis
University of Ulm, Germany
August 2022
Simplifying Feature Models for Better Scalability of #SAT Solvers
Bachelor's Thesis
Bachelor's Thesis
University of Ulm, Germany
August 2022
55.
Schiessl,
Dominik
An Incremental #SAT Solver for Efficient Analysis of Feature Models
Master's Thesis
Master's Thesis
University of Ulm, Germany
January 2022
An Incremental #SAT Solver for Efficient Analysis of Feature Models
Master's Thesis
Master's Thesis
University of Ulm, Germany
January 2022
54.
Raab,
Heiko
Exploiting d-DNNFs for Efficient Cardinality-Based Feature-Model Analyses
Bachelor's Thesis
Bachelor's Thesis
University of Ulm, Germany
January 2022
Exploiting d-DNNFs for Efficient Cardinality-Based Feature-Model Analyses
Bachelor's Thesis
Bachelor's Thesis
University of Ulm, Germany
January 2022
| DOI: | 10.18725/OPARU-43414 |
| File: | https://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/43490/Thesis_RaabHeiko.pdf |
53.
Kistner,
Konstantin
Survey and Evaluation of Dynamic Variable Ordering Heuristics for the Construction of Binary Decision Diagrams
Bachelor's Thesis
Bachelor's Thesis
University of Ulm, Germany
January 2022
Survey and Evaluation of Dynamic Variable Ordering Heuristics for the Construction of Binary Decision Diagrams
Bachelor's Thesis
Bachelor's Thesis
University of Ulm, Germany
January 2022
2021
52.
Witschel,
Tim
Generating Optimized Samples with Attributed Feature Models
Master's Thesis
Master's Thesis
TU Braunschweig, Germany
November 2021
Generating Optimized Samples with Attributed Feature Models
Master's Thesis
Master's Thesis
TU Braunschweig, Germany
November 2021
51.
Tschada,
Marcel
Generating Taxonomies of Feature-Model Anomalies
Bachelor's Thesis
Bachelor's Thesis
TU Braunschweig, Germany
September 2021
Generating Taxonomies of Feature-Model Anomalies
Bachelor's Thesis
Bachelor's Thesis
TU Braunschweig, Germany
September 2021
50.
Netzer,
Timo
Development of a Parallelized BDD Library in Rust
Bachelor's Thesis
Bachelor's Thesis
University of Ulm, Germany
July 2021
Development of a Parallelized BDD Library in Rust
Bachelor's Thesis
Bachelor's Thesis
University of Ulm, Germany
July 2021
| DOI: | 10.18725/OPARU-39798 |
| File: | https://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/39874/thesis_netzer.pdf |
49.
Young,
Jeffrey M.
Variational Satisfiability Solving (PhD Thesis)
Oregon State University, USA
June 2021
Variational Satisfiability Solving (PhD Thesis)
Oregon State University, USA
June 2021
| File: | https://ir.library.oregonstate.edu/concern/graduate_thesis_or_dissertations/dv140182g?locale=en |
48.
Viegener,
Sören
Empirical Evaluation of Feature Trace Recording on the Edit History of Marlin
Bachelor's Thesis
Bachelor's Thesis
University of Ulm, Germany
April 2021
Empirical Evaluation of Feature Trace Recording on the Edit History of Marlin
Bachelor's Thesis
Bachelor's Thesis
University of Ulm, Germany
April 2021
| DOI: | 10.18725/OPARU-38603 |
| File: | https://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/38679/BA_Viegener.pdf |
47.
Witschel,
Tim
Analyzing Sampling Stability of Highly Configurable Systems
Project Thesis
Project Thesis
TU Braunschweig, Germany
March 2021
Analyzing Sampling Stability of Highly Configurable Systems
Project Thesis
Project Thesis
TU Braunschweig, Germany
March 2021
| DOI: | 10.24355/dbbs.084-202201211010-0 |
| File: | https://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00048776/Witschel%20Analyzing%20Sampling%20Stability.pdf |
46.
Arens,
Rahel
Incremental Construction of Modal Implication Graphs for Feature-Model Evolution
Bachelor's Thesis
Bachelor's Thesis
TU Braunschweig, Germany
January 2021
Incremental Construction of Modal Implication Graphs for Feature-Model Evolution
Bachelor's Thesis
Bachelor's Thesis
TU Braunschweig, Germany
January 2021
| DOI: | 10.24355/dbbs.084-202107050823-0 |
| File: | https://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00048313/Arens_Rahel_Bachelorarbeit_4570828.pdf |
2020
45.
Heß,
Tobias
Binary Decision Diagrams for the Analysis of Large Feature Models
Master's Thesis
Master's Thesis
University of Ulm, Germany
November 2020
Binary Decision Diagrams for the Analysis of Large Feature Models
Master's Thesis
Master's Thesis
University of Ulm, Germany
November 2020
44.
Mund,
Niklas
Continuous T-Wise Coverage
Master's Thesis
Master's Thesis
TU Braunschweig, Germany
October 2020
Continuous T-Wise Coverage
Master's Thesis
Master's Thesis
TU Braunschweig, Germany
October 2020
43.
Sprey,
Joshua
Automated Comparison of Product Sampling Algorithms
Master's Thesis
Master's Thesis
TU Braunschweig, Germany
August 2020
Automated Comparison of Product Sampling Algorithms
Master's Thesis
Master's Thesis
TU Braunschweig, Germany
August 2020
| DOI: | 10.24355/dbbs.084-202009211318-0 |
| File: | https://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00047730/Sprey_Masterthesis.pdf |
42.
Sundermann,
Chico
Applications of #SAT Solvers on Product Lines
Master's Thesis
Master's Thesis
TU Braunschweig, Germany
August 2020
Applications of #SAT Solvers on Product Lines
Master's Thesis
Master's Thesis
TU Braunschweig, Germany
August 2020
| DOI: | 10.24355/dbbs.084-202009161329-0 |
| File: | https://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00047722/Masters_Thesis_Chico_Sundermann_4633286_22072020.pdf |
41.
Westphal,
Paul
Deriving Subset Software Product Lines Using Partial Configurations with FeatureIDE
Bachelor's Thesis
Bachelor's Thesis
TU Braunschweig, Germany
August 2020
Deriving Subset Software Product Lines Using Partial Configurations with FeatureIDE
Bachelor's Thesis
Bachelor's Thesis
TU Braunschweig, Germany
August 2020
| DOI: | 10.24355/dbbs.084-202011201423-0 |
| File: | https://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00047852/Westphal_thesis.pdf |
40.
Engelhardt,
Dominik
Towards a Universal Variability Language
Master's Thesis
Master's Thesis
TU Braunschweig, Germany
August 2020
Towards a Universal Variability Language
Master's Thesis
Master's Thesis
TU Braunschweig, Germany
August 2020
| DOI: | 10.24355/dbbs.084-202008211051-0 |
| File: | https://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00047673/Engelhardt_Thesis.pdf |
39.
Bittner,
Paul Maximilian
Semi-Automated Inference of Feature Traceability During Software Development
Master's Thesis
Master's Thesis
TU Braunschweig, Germany
February 2020
Semi-Automated Inference of Feature Traceability During Software Development
Master's Thesis
Master's Thesis
TU Braunschweig, Germany
February 2020
| DOI: | 10.24355/dbbs.084-202002271120-0 |
| File: | https://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00047261/Master_Thesis_Paul_Bittner.pdf |
2019
38.
Sundermann,
Chico
Evaluating #SAT-Solvers on Industrial Feature Models
Project Thesis
Project Thesis
TU Braunschweig, Germany
December 2019
Evaluating #SAT-Solvers on Industrial Feature Models
Project Thesis
Project Thesis
TU Braunschweig, Germany
December 2019
| File: | https://github.com/SoftVarE-Group/Papers/raw/master/2020/2020-VaMoS-Sundermann.pdf |
37.
Sprey,
Joshua
SMT-Based Variability Analyses in FeatureIDE (Project Thesis)
Project Thesis
Project Thesis
TU Braunschweig, Germany
December 2019
SMT-Based Variability Analyses in FeatureIDE (Project Thesis)
Project Thesis
Project Thesis
TU Braunschweig, Germany
December 2019
| File: | https://github.com/SoftVarE-Group/Papers/raw/master/2020/2020-VaMoS-Sprey.pdf |
36.
Bittner,
Paul Maximilian
SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses (Project Thesis)
Project Thesis
Project Thesis
TU Braunschweig, Germany
March 2019
SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses (Project Thesis)
Project Thesis
Project Thesis
TU Braunschweig, Germany
March 2019
| File: | https://github.com/SoftVarE-Group/Papers/raw/master/2019/2019-SEFM-Bittner.pdf |
2018
35.
Thiele,
Nico
Re-Engineering Feature Models from Product Configurators
Master's Thesis
Master's Thesis
TU Braunschweig, Germany
November 2018
Re-Engineering Feature Models from Product Configurators
Master's Thesis
Master's Thesis
TU Braunschweig, Germany
November 2018
| DOI: | 10.24355/dbbs.084-201812111501-0 |
| File: | https://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044869/Master_Thesis_Nico_Thiele.pdf |
34.
Pett,
Tobias
Stability of Product Sampling under Product-Line Evolution
Master's Thesis
Master's Thesis
TU Braunschweig, Germany
November 2018
Stability of Product Sampling under Product-Line Evolution
Master's Thesis
Master's Thesis
TU Braunschweig, Germany
November 2018
| DOI: | 10.24355/dbbs.084-201812111412-0 |
| File: | https://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044868/master_thesis_tobias_pett.pdf |
33.
Sontag,
Christopher
Recording Feature Mappings During Evolution of Cloned Variants
Master's Thesis
Master's Thesis
TU Braunschweig, Germany
September 2018
Recording Feature Mappings During Evolution of Cloned Variants
Master's Thesis
Master's Thesis
TU Braunschweig, Germany
September 2018
| DOI: | 10.24355/dbbs.084-201812191127-0 |
| File: | https://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044881/Sontag_Master_Thesis.pdf |
32.
Sprey,
Joshua;
Sundermann,
Chico
Computing Attribute Ranges for Partial Configurations with JavaSMT
Bachelor's Thesis
Bachelor's Thesis
TU Braunschweig, Germany
April 2018
Computing Attribute Ranges for Partial Configurations with JavaSMT
Bachelor's Thesis
Bachelor's Thesis
TU Braunschweig, Germany
April 2018
| DOI: | 10.24355/dbbs.084-201807060926-0 |
| File: | https://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044588/Thesis_Sprey_Sundermann.pdf |
2017
31.
Sontag,
Christopher
VariantSync: Automating the Synchronization of Software Variants
Project Thesis
Project Thesis
TU Braunschweig, Germany
December 2017
VariantSync: Automating the Synchronization of Software Variants
Project Thesis
Project Thesis
TU Braunschweig, Germany
December 2017
| File: | https://www.youtube.com/watch?v=JMIDvWYvaR0&list=PLBZnGZWZgEBZ8Me6WDQGdQRg438_Z4sl_&index=2 |
30.
(Burmeister),
Carsten Immanuel Pardylla
Ein Erfahrungsbericht zur Deduktiven Verifikation mit KeY
Master's Thesis
Master's Thesis
TU Braunschweig, Germany
December 2017
Ein Erfahrungsbericht zur Deduktiven Verifikation mit KeY
Master's Thesis
Master's Thesis
TU Braunschweig, Germany
December 2017
29.
Bolle,
Stefanie
Feature-orientiertes Framing für die Verifikation von Software-Produktlinien
Master's Thesis
Master's Thesis
TU Braunschweig, Germany
November 2017
Feature-orientiertes Framing für die Verifikation von Software-Produktlinien
Master's Thesis
Master's Thesis
TU Braunschweig, Germany
November 2017
| DOI: | 10.24355/dbbs.084-201711280920 |
| File: | https://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044117/Masterarbeit-Stefanie_Bolle.pdf |
28.
Günther,
Timo
Explaining Satisfiability Queries for Software Product Lines
Master's Thesis
Master's Thesis
TU Braunschweig, Germany
November 2017
Explaining Satisfiability Queries for Software Product Lines
Master's Thesis
Master's Thesis
TU Braunschweig, Germany
November 2017
27.
Burmeister,
Carsten Immanuel
On the Scalability of Contracting and Inlining for Deductive Verification
Project Thesis
Project Thesis
TU Braunschweig, Germany
March 2017
On the Scalability of Contracting and Inlining for Deductive Verification
Project Thesis
Project Thesis
TU Braunschweig, Germany
March 2017
26.
Bolle,
Stefanie
Automating Deductive Verification of Software Product Lines
Project Thesis
Project Thesis
TU Braunschweig, Germany
March 2017
Automating Deductive Verification of Software Product Lines
Project Thesis
Project Thesis
TU Braunschweig, Germany
March 2017
25.
Kanning,
Frederik
Presence Condition Reasoning with Feature Model Interfaces
Master's Thesis
Master's Thesis
TU Braunschweig, Germany
January 2017
Presence Condition Reasoning with Feature Model Interfaces
Master's Thesis
Master's Thesis
TU Braunschweig, Germany
January 2017
| DOI: | 10.24355/dbbs.084-201702231449-0 |
| File: | https://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00043191/ma_kanning.pdf |
2016
24.
Günther,
Timo
Visual Explanation of Defects in Feature Diagrams
Project Thesis
Project Thesis
TU Braunschweig, Germany
December 2016
Visual Explanation of Defects in Feature Diagrams
Project Thesis
Project Thesis
TU Braunschweig, Germany
December 2016
| File: | https://youtu.be/0n-CibotBnc |
23.
Ananieva,
Sofia
Explaining Defects and Identifying Dependencies in Interrelated Feature Models
Master's Thesis
Master's Thesis
TU Braunschweig, Germany
September 2016
Explaining Defects and Identifying Dependencies in Interrelated Feature Models
Master's Thesis
Master's Thesis
TU Braunschweig, Germany
September 2016
| DOI: | 10.24355/dbbs.084-201701191034-0 |
| File: | https://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00043005/thesisAnanieva16.pdf |
22.
Knüppel,
Alexander
The Role of Complex Constraints in Feature Modeling
Master's Thesis
Master's Thesis
TU Braunschweig, Germany
July 2016
The Role of Complex Constraints in Feature Modeling
Master's Thesis
Master's Thesis
TU Braunschweig, Germany
July 2016
| DOI: | 10.24355/dbbs.084-201701181304-0 |
| File: | https://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00043003/thesisKnueppel16.pdf |
21.
Sontag,
Christopher
FeatFork: Feature Tracking in Preprocessor-Based Forks
Bachelor's Thesis
Bachelor's Thesis
TU Braunschweig, Germany
May 2016
FeatFork: Feature Tracking in Preprocessor-Based Forks
Bachelor's Thesis
Bachelor's Thesis
TU Braunschweig, Germany
May 2016
20.
Menzel,
Vasco
Metaanalyse zu Strategien für die formale Verifikation von Software-Produktlinien
Master's Thesis
Master's Thesis
TU Braunschweig, Germany
February 2016
Metaanalyse zu Strategien für die formale Verifikation von Software-Produktlinien
Master's Thesis
Master's Thesis
TU Braunschweig, Germany
February 2016
| File: | https://www.isf.cs.tu-bs.de/cms/team/thuem/downloads/thesisMenzel16.pdf |
19.
Pfofe,
Tristan
Automating the Synchronization of Software Variants
Master's Thesis
Master's Thesis
University of Magdeburg, Germany
January 2016
Automating the Synchronization of Software Variants
Master's Thesis
Master's Thesis
University of Magdeburg, Germany
January 2016
| File: | https://www.isf.cs.tu-bs.de/cms/team/thuem/downloads/thesisPfofe16.pdf |
2015
18.
Krieter,
Sebastian
Efficient Configuration of Large-Scale Feature Models Using Extended Implication Graphs
Master's Thesis
Master's Thesis
University of Magdeburg, Germany
October 2015
Efficient Configuration of Large-Scale Feature Models Using Extended Implication Graphs
Master's Thesis
Master's Thesis
University of Magdeburg, Germany
October 2015
| File: | https://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisKrieter15.pdf |
2014
17.
Meinicke,
Jens
VarexJ: A Variability-Aware Interpreter for Java Applications
Master's Thesis
Master's Thesis
University of Magdeburg, Germany
December 2014
VarexJ: A Variability-Aware Interpreter for Java Applications
Master's Thesis
Master's Thesis
University of Magdeburg, Germany
December 2014
| File: | https://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/M14.pdf |
16.
Krüger,
Stefan
Product-Line Verification with Abstract Contracts
Master's Thesis
Master's Thesis
University of Magdeburg, Germany
December 2014
Product-Line Verification with Abstract Contracts
Master's Thesis
Master's Thesis
University of Magdeburg, Germany
December 2014
| File: | https://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/K14.pdf |
15.
Proksch,
Florian;
Krüger,
Stefan
Tool Support for Contracts in FeatureIDE
Project Thesis
Project Thesis
University of Magdeburg, Germany
April 2014
Tool Support for Contracts in FeatureIDE
Project Thesis
Project Thesis
University of Magdeburg, Germany
April 2014
| File: | https://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/PK14.pdf |
14.
Benduhn,
Fabian
Representing Variability in Product Lines: A Survey of Modeling and Specification Techniques
Master's Thesis
Master's Thesis
University of Magdeburg, Germany
April 2014
Representing Variability in Product Lines: A Survey of Modeling and Specification Techniques
Master's Thesis
Master's Thesis
University of Magdeburg, Germany
April 2014
| File: | https://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisBenduhn14.pdf |
13.
Praast,
Matthias
Effiziente Kodierung von Variabilität in Spezifikationen
Master's Thesis
Master's Thesis
University of Magdeburg, Germany
March 2014
Effiziente Kodierung von Variabilität in Spezifikationen
Master's Thesis
Master's Thesis
University of Magdeburg, Germany
March 2014
| File: | https://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisPraast14.pdf |
2013
12.
Weigelt,
Andre
Methoden-basierte Komposition von Kontrakten in Feature-orientierter Programmierung
Bachelor's Thesis
Bachelor's Thesis
University of Magdeburg, Germany
August 2013
Methoden-basierte Komposition von Kontrakten in Feature-orientierter Programmierung
Bachelor's Thesis
Bachelor's Thesis
University of Magdeburg, Germany
August 2013
| File: | https://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisWeigelt13.pdf |
11.
Broneske,
David
On the Impact of Hardware on Relational Join Processing
Master's Thesis
Master's Thesis
University of Magdeburg, Germany
August 2013
On the Impact of Hardware on Relational Join Processing
Master's Thesis
Master's Thesis
University of Magdeburg, Germany
August 2013
| File: | https://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisBroneske13.pdf |
10.
Meinicke,
Jens
JML-Based Verification for Feature-Oriented Programming
Bachelor's Thesis
Bachelor's Thesis
University of Magdeburg, Germany
May 2013
JML-Based Verification for Feature-Oriented Programming
Bachelor's Thesis
Bachelor's Thesis
University of Magdeburg, Germany
May 2013
| File: | https://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisMeinicke13.pdf |
9.
Luo,
Lei
Synchronisierung von Software-Varianten mit VariantSync
Master's Thesis
Master's Thesis
University of Magdeburg, Germany
January 2013
Synchronisierung von Software-Varianten mit VariantSync
Master's Thesis
Master's Thesis
University of Magdeburg, Germany
January 2013
| File: | https://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisLuo.pdf |
2012
8.
Benduhn,
Fabian
Contract-Aware Feature Composition
Bachelor's Thesis
Bachelor's Thesis
University of Magdeburg, Germany
October 2012
Contract-Aware Feature Composition
Bachelor's Thesis
Bachelor's Thesis
University of Magdeburg, Germany
October 2012
| File: | https://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisBenduhn12.pdf |
7.
Lüddecke,
Daniel
Extraktion von Feature-Modellen aus Implementierungsartefakten
Master's Thesis
Master's Thesis
University of Magdeburg, Germany
October 2012
Extraktion von Feature-Modellen aus Implementierungsartefakten
Master's Thesis
Master's Thesis
University of Magdeburg, Germany
October 2012
| File: | https://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/12/thesisLueddecke.pdf |
6.
Schröter,
Ivonne
Modulare Integration von konfigurierbaren Transaktionsmechanismen in Cloud-basierte Datenspeichersysteme
Master's Thesis (Diplomarbeit)
Master's Thesis (Diplomarbeit)
University of Magdeburg, Germany
September 2012
Modulare Integration von konfigurierbaren Transaktionsmechanismen in Cloud-basierte Datenspeichersysteme
Master's Thesis (Diplomarbeit)
Master's Thesis (Diplomarbeit)
University of Magdeburg, Germany
September 2012
| File: | https://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisSchroeterIvonne12.pdf |
5.
Holthusen,
Sönke
Typsicherheit in Feature-orientierten Software-Produktlinien in FeatureIDE
Master's Thesis
Master's Thesis
University of Magdeburg, Germany
July 2012
Typsicherheit in Feature-orientierten Software-Produktlinien in FeatureIDE
Master's Thesis
Master's Thesis
University of Magdeburg, Germany
July 2012
| File: | https://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisHolthusen.pdf |
4.
Schröter,
Reimar
Automatisierte Analysen der Modellierung von Multiproduktlinien in VELVET
Master's Thesis
Master's Thesis
University of Magdeburg, Germany
April 2012
Automatisierte Analysen der Modellierung von Multiproduktlinien in VELVET
Master's Thesis
Master's Thesis
University of Magdeburg, Germany
April 2012
| File: | https://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisSchroeter12.pdf |
3.
Haase,
Steffen
A Program Slicing Approach to Feature Identification in Legacy C Code
Master's Thesis (Diplomarbeit)
Master's Thesis (Diplomarbeit)
University of Magdeburg, Germany
February 2012
A Program Slicing Approach to Feature Identification in Legacy C Code
Master's Thesis (Diplomarbeit)
Master's Thesis (Diplomarbeit)
University of Magdeburg, Germany
February 2012
| File: | https://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisHaase.pdf |
2011
2.
Mewes,
Christoph
Migration von Subversion nach Mercurial und Einsatz dezentraler Versionskontrolle in Unternehmen
Bachelor's Thesis
Bachelor's Thesis
University of Magdeburg, Germany
August 2011
Migration von Subversion nach Mercurial und Einsatz dezentraler Versionskontrolle in Unternehmen
Bachelor's Thesis
Bachelor's Thesis
University of Magdeburg, Germany
August 2011
| File: | https://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisMewes.pdf |
1.
Adler,
Constanze
Optional Composition - A Solution to the Optional Feature Problem?
Master's Thesis
Master's Thesis
University of Magdeburg, Germany
February 2011
Optional Composition - A Solution to the Optional Feature Problem?
Master's Thesis
Master's Thesis
University of Magdeburg, Germany
February 2011
| File: | https://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/thesisAdler10.pdf |
Prof. Dr. Thomas Thüm
Prof. Dr.
Thomas
Thüm
Professor
Ulm University
Institute of Software Engineering and Programming Languages
Albert-Einstein-Allee 11
Institute of Software Engineering and Programming Languages
Albert-Einstein-Allee 11
89069
Ulm
Germany
Consultation Hours:
Wednesdays 1:00-1:30pm CET in O27-416 or Zoom