301 - Moved Permanently
Prof. Thomas 罢丑眉尘 has moved to TU Braunschweig. .
Prof. Dr.-Ing. Thomas 罢丑眉尘
Thomas 罢丑眉尘 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鈥檚 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鈥檚 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
鈥淧eople 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
Eclipse Plugin for Feature Oriented Software Development
Analyzing Large Configuration Spaces with Feature-Model Counting
Automating the Synchronization of Software Variants
Optimal Binary Decision Diagrams for Information Visualization, Model Analysis, and Logic Operations
Teaching
Lectures, Projects and Seminars
Lectures
Projects
Seminars
- tba
Lectures
Projects:
Seminars:
- : 27th Systems and Software Product Line Conference (Research Track)
- : 1st Workshop on Trends in Configurable System Analysis
- : 27th Int鈥檒 Conf. on Evaluation and Assessment in Software Engineering (Research Track)
- : 45th International Conference on Software Engineering (Technical Track)
- : 16th Int'l Conf.\ on Variability Modelling of Software-Intensive Systems (Program Chair)
- : 5th International Workshop on Languages for Modelling Variability
- : 26th Systems and Software Product Line Conference (Research Track and Doctorial Symposium)
- : 3rd Workshop on Quantitative Aspects of Variant-Rich Systems
- : 19th Workshop on Automotive Software Engineering
- : 16th International Working Conference on Variability Modelling of Software-Intensive Systems
- : 2nd Workshop on Quantitative Aspects of Variant-Rich Systems
- : 18th Workshop on Automotive Software Engineering
- : 4th International Workshop on Languages for Modelling Variability (Program Chair)
- : 25th Systems and Software Product Line Conference (Research Track and Doctorial Symposium)
- : 15th International Working Conference on Variability Modelling of Software-Intensive Systems
- : 3rd International Workshop on Languages for Modelling Variability
- : 24th Systems and Software Product Line Conference (Research Track and Challenge Solutions Track)
- : 2nd International Workshop on Languages for Modelling Variability
- : 42nd International Conference on Software Engineering (SEIP Track)
- : 1st International Workshop on Languages for Modelling Variability
- : 22nd International Systems and Software Product Line Conference (Research Track Chair, Challenge Track)
- : 13th International Workshop on Variability Modelling of Software-Intensive Systems
- : 41st International Conference on Software Engineering (Workshop Selection Committee)
- : 21st International Systems and Software Product Line Conference (Research Track and Challenge Track)
- : Variability and Software Product Line Engineering track at
- : 12th International Workshop on Variability Modelling of Software-Intensive Systems
- : International Workshop on Feature-Oriented Software Development
- : IEEE International Workshop on Combinatorial Testing and its Applications
- : 16th International Conference on Generative Programming: Concepts & Experiences
- : 20th International Systems and Software Product Line Conference (Workshop Chair and Research Track PC Member)
- : 2nd Workshop on Live Adaptation of Software SYstems at
- : 7th Workshop on Formal Methods and Analysis in Software Product Line Engineering at (Program Chair)
- : 15th Workshop on Foundations of Aspect-Oriented Languages
- : 7th Workshop on Eclipse Technology eXchange at
- : ACM SIGPLAN Conference on Systems, Programming, Languages and Applications: Software for Humanity (Workshop Chair)
- : 6th Workshop on Formal Methods and Analysis in Software Product Line Engineering at
- : 6th Workshop on Eclipse Technology eXchange at
- : 4th International Workshop on Feature-Oriented Software Development (Program Chair)
- : 6th International Workshop on Variability Modelling of Software-intensive Systems
- : 3rd International Workshop on Feature-Oriented Software Development
- : 2nd International Workshop on Feature-Oriented Software Development
2024
9.
SPLC '24: Proceedings of the 28th ACM International Systems and Software Product Line Conference
In Maxime Cordy and Daniel Str眉ber and Monica Pinto and Iris Groher and Deepak Dhungana and Jacob Kr眉ger and Juliana Alves Pereira and Mathieu Acher and Thomas 罢丑眉尘 and Maurice ter Beek and Jessie Galasso-Carbonnel and Paolo Arcaini and Mohammad Reza Mousavi and Xhevahire Ternava and Jose Galindo and Tao Yue and Lidia Fuentes and Jose Miguel Horcas, Editor
Herausgeber: ACM, New York, NY, USA
September 2024
| ISBN: | 9798400705939 |
2023
8.
VaMoS '23: Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems
In Myra Cohen and Thomas 罢丑眉尘 and Jacopo Mauro, Editor
Herausgeber: ACM, New York, NY, USA
Januar 2023
| ISBN: | 9798400700019 |
2021
7.
Fourth International Workshop on Languages for Modelling Variability (MODEVAR@SPLC 2021)
In Thomas 罢丑眉尘 and Philippe Collet and Mathieu Acher, Editor
Herausgeber: ACM, New York, NY, USA
September 2021
| DOI: | |
| ISBN: | 9781450384698 |
| Datei: |  |
6.
Special Issue on Configurable Systems in Empirical Software Engineering (EMSE)
In Laurence Duchien and Paul Gr眉nbacher and Thomas 罢丑眉尘, Editor
Herausgeber: Springer
Mai 2021
| DOI: | |
| Datei: | |
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 罢丑眉尘 and Tewfik Ziadi, Editor
Herausgeber: ACM, New York, NY, USA
September 2019
| ISBN: | 978-1-4503-7138-4 |
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 罢丑眉尘 and Tewfik Ziadi, Editor
Herausgeber: ACM, New York, NY, USA
September 2019
| ISBN: | 978-1-4503-6668-7 |
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 罢丑眉尘 and Javier Troya and Antonio Ruiz-Cortes and David Benavides, Editor
Herausgeber: ACM, New York, NY, USA
2017
| DOI: | |
| ISBN: | 978-1-4503-5119-5 |
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 罢丑眉尘, Editor
Herausgeber: Open Publishing Association, Waterloo, Australia
April 2016
| DOI: |
2012
1.
Proceedings of the 4th International Workshop on Feature-Oriented Software Development (FOSD)
In Ina Schaefer and Thomas 罢丑眉尘, Editor
Herausgeber: ACM, New York, NY, USA
September 2012
| DOI: | |
| ISBN: | 978-1-4503-1309-4 |
2025
174.
B枚hm,
Sabrina;
Schmidt,
Tim;
Krieter,
Sebastian;
Pett,
Tobias;
罢丑眉尘,
Thomas;
Lochau,
Malte
Coverage Metrics for T-Wise Feature Interactions
Proc. Int'l Conf. on Software Testing, Verification and Validation (ICST) (To Appear)
Herausgeber: IEEE, Washington, DC, USA
M盲rz 2025
Coverage Metrics for T-Wise Feature Interactions
Proc. Int'l Conf. on Software Testing, Verification and Validation (ICST) (To Appear)
Herausgeber: IEEE, Washington, DC, USA
M盲rz 2025
173.
Sundermann,
Rahel;
B枚hm,
Sabrina;
Krieter,
Sebastian;
Lochau,
Malte;
罢丑眉尘,
Thomas
Covering T-Wise Interactions of Deployed Configurations
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS) (To Appear)
Herausgeber: ACM, New York, NY, USA
Februar 2025
Covering T-Wise Interactions of Deployed Configurations
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS) (To Appear)
Herausgeber: ACM, New York, NY, USA
Februar 2025
172.
Kuiter,
Elias;
罢丑眉尘,
Thomas;
Kehrer,
Timo
Teach Variability! A Modern University Course on Software Product Lines
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS) (To Appear)
Herausgeber: ACM, New York, NY, USA
Februar 2025
Teach Variability! A Modern University Course on Software Product Lines
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS) (To Appear)
Herausgeber: ACM, New York, NY, USA
Februar 2025
171.
Krupke,
Dominik Michael;
Moradi,
Ahmad;
Perk,
Michael;
Keldenich,
Phillip;
Gehrke,
Gabriel;
Krieter,
Sebastian;
罢丑眉尘,
Thomas;
Fekete,
Sandor
How Low Can We Go? Minimizing Interaction Samples for Configurable Systems
Trans. on Software Engineering and Methodology (TOSEM) (To Appear)
2025
Herausgeber: ACM
How Low Can We Go? Minimizing Interaction Samples for Configurable Systems
Trans. on Software Engineering and Methodology (TOSEM) (To Appear)
2025
Herausgeber: ACM
2024
170.
Sundermann,
Chico;
Raab,
Heiko;
He脽,
Tobias;
罢丑眉尘,
Thomas;
Schaefer,
Ina
Reusing d-DNNFs for Efficient Feature-Model Counting
Trans. on Software Engineering and Methodology (TOSEM)
November 2024
Herausgeber: ACM
Reusing d-DNNFs for Efficient Feature-Model Counting
Trans. on Software Engineering and Methodology (TOSEM)
November 2024
Herausgeber: ACM
| DOI: |
169.
Bittner,
Paul Maximilian;
Schulthei脽,
Alexander;
Moosherr,
Benjamin;
Young,
Jeffrey M.;
Teixeira,
Leopoldo;
Walkingshaw,
Eric;
Ataei,
Parisa;
罢丑眉尘,
Thomas
On the Expressive Power of Languages for Static Variability
Proceedings of the ACM on Programming Languages (PACMPL)
Oktober 2024
Herausgeber: ACM
On the Expressive Power of Languages for Static Variability
Proceedings of the ACM on Programming Languages (PACMPL)
Oktober 2024
Herausgeber: ACM
| DOI: | |
| Datei: | |
168.
Sundermann,
Chico;
Brancaccio,
Vincenzo Francesco;
Kuiter,
Elias;
Krieter,
Sebastian;
He脽,
Tobias;
罢丑眉尘,
Thomas
Collecting Feature Models from the Literature: A Comprehensive Dataset for Benchmarking
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 54-65
Herausgeber: ACM, New York, NY, USA
September 2024
Collecting Feature Models from the Literature: A Comprehensive Dataset for Benchmarking
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 54-65
Herausgeber: ACM, New York, NY, USA
September 2024
| DOI: |
167.
Sundermann,
Chico;
He脽,
Tobias;
Sundermann,
Rahel;
Kuiter,
Elias;
Krieter,
Sebastian;
罢丑眉尘,
Thomas
Generating Feature Models with UVL's Full Expressiveness
Proc. Int'l Workshop on Languages for Modelling Variability (MODEVAR), Seite 61-65
Herausgeber: ACM, New York, NY, USA
September 2024
Generating Feature Models with UVL's Full Expressiveness
Proc. Int'l Workshop on Languages for Modelling Variability (MODEVAR), Seite 61-65
Herausgeber: ACM, New York, NY, USA
September 2024
| DOI: |
166.
Greiner,
Sandra;
Schulthei脽,
Alexander;
Bittner,
Paul Maximilian;
罢丑眉尘,
Thomas;
Kehrer,
Timo
Give an Inch and Take a Mile? Effects of Adding Reliable Knowledge to Heuristic Feature Tracing
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 84-95
Herausgeber: ACM, New York, NY, USA
September 2024
Give an Inch and Take a Mile? Effects of Adding Reliable Knowledge to Heuristic Feature Tracing
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 84-95
Herausgeber: ACM, New York, NY, USA
September 2024
| DOI: | |
| ISBN: | 9798400705939 |
| Datei: | |
165.
Pett,
Tobias;
Krieter,
Sebastian;
罢丑眉尘,
Thomas;
Schaefer,
Ina
MulTi-Wise Sampling: Trading Uniform T-Wise Feature Interaction Coverage for Smaller Samples
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 47-53
Herausgeber: ACM, New York, NY, USA
September 2024
MulTi-Wise Sampling: Trading Uniform T-Wise Feature Interaction Coverage for Smaller Samples
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 47-53
Herausgeber: ACM, New York, NY, USA
September 2024
| DOI: | |
| ISBN: | 9798400705939 |
164.
Sundermann,
Chico;
Kuiter,
Elias;
He脽,
Tobias;
Raab,
Heiko;
Krieter,
Sebastian;
罢丑眉尘,
Thomas
On the Benefits of Knowledge Compilation for Feature-Model Analyses (Journal First)
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 217
Herausgeber: ACM, New York, NY, USA
September 2024
On the Benefits of Knowledge Compilation for Feature-Model Analyses (Journal First)
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 217
Herausgeber: ACM, New York, NY, USA
September 2024
| DOI: |
163.
He脽,
Tobias;
Semmler,
Sean Niklas;
Sundermann,
Chico;
Toran,
Jacobo;
罢丑眉尘,
Thomas
Towards Deterministic Compilation of Binary Decision Diagrams From Feature Models
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 136-147
Herausgeber: ACM, New York, NY, USA
September 2024
Towards Deterministic Compilation of Binary Decision Diagrams From Feature Models
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 136-147
Herausgeber: ACM, New York, NY, USA
September 2024
| DOI: | |
| ISBN: | 9798400705939 |
162.
Bittner,
Paul Maximilian;
Schulthei脽,
Alexander;
Moosherr,
Benjamin;
Kehrer,
Timo;
罢丑眉尘,
Thomas
Variability-Aware Differencing with DiffDetective
Companion Proc. Int'l Conference on the Foundations of Software Engineering (FSE Companion), Seite 632-636
Herausgeber: ACM, New York, NY, USA
Juli 2024
Variability-Aware Differencing with DiffDetective
Companion Proc. Int'l Conference on the Foundations of Software Engineering (FSE Companion), Seite 632-636
Herausgeber: ACM, New York, NY, USA
Juli 2024
| DOI: | |
| ISBN: | 9798400706585 |
161.
Sundermann,
Chico;
He脽,
Tobias;
Nieke,
Michael;
Bittner,
Paul Maximilian;
Young,
Jeffrey M.;
罢丑眉尘,
Thomas;
Schaefer,
Ina
Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces - Summary
Proc. Software Engineering (SE), Seite 67-68
Herausgeber: Gesellschaft f眉r Informatik, Bonn, Germany
Februar 2024
Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces - Summary
Proc. Software Engineering (SE), Seite 67-68
Herausgeber: Gesellschaft f眉r Informatik, Bonn, Germany
Februar 2024
| DOI: | |
| ISBN: | 978-3-88579-737-1 |
| Datei: | |
160.
G眉thing,
Lukas;
Bittner,
Paul Maximilian;
Schaefer,
Ina;
罢丑眉尘,
Thomas
Explaining Edits to Variability Annotations in Evolving Software Product Lines
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 93-102
Herausgeber: ACM, New York, NY, USA
Februar 2024
Explaining Edits to Variability Annotations in Evolving Software Product Lines
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 93-102
Herausgeber: ACM, New York, NY, USA
Februar 2024
| DOI: | |
| Datei: | |
159.
Kuiter,
Elias;
He脽,
Tobias;
Sundermann,
Chico;
Krieter,
Sebastian;
罢丑眉尘,
Thomas;
Saake,
Gunter
How Easy Is SAT-Based Analysis of a Feature Model?
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 149-151
Herausgeber: ACM, New York, NY, USA
Februar 2024
How Easy Is SAT-Based Analysis of a Feature Model?
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 149-151
Herausgeber: ACM, New York, NY, USA
Februar 2024
| DOI: | |
| Datei: | |
158.
B枚hm,
Sabrina;
Krieter,
Sebastian;
He脽,
Tobias;
罢丑眉尘,
Thomas;
Lochau,
Malte
Incremental Identification of T-Wise Feature Interactions
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 27-36
Herausgeber: ACM, New York, NY, USA
Februar 2024
Incremental Identification of T-Wise Feature Interactions
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 27-36
Herausgeber: ACM, New York, NY, USA
Februar 2024
| DOI: | |
| ISBN: | 9798400708770 |
| Datei: | |
157.
He脽,
Tobias;
Schmidt,
Tim Jannik;
Ostheimer,
Lukas;
Krieter,
Sebastian;
罢丑眉尘,
Thomas
UnWise: High T-Wise Coverage From Uniform Sampling
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 37-45
Herausgeber: ACM, New York, NY, USA
Februar 2024
UnWise: High T-Wise Coverage From Uniform Sampling
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 37-45
Herausgeber: ACM, New York, NY, USA
Februar 2024
| DOI: | |
| Datei: | |
156.
He脽,
Tobias;
Ostheimer,
Lukas;
Betz,
Tobias;
Karrer,
Simon;
Schmidt,
Tim Jannik;
Coquet,
Pierre;
Semmler,
Sean;
罢丑眉尘,
Thomas
variability.dev: Towards an Online Toolbox for Feature Modeling
Proc. Int'l Workshop on Languages for Modelling Variability (MODEVAR) (To Appear)
Februar 2024
variability.dev: Towards an Online Toolbox for Feature Modeling
Proc. Int'l Workshop on Languages for Modelling Variability (MODEVAR) (To Appear)
Februar 2024
| Datei: | |
155.
Sundermann,
Chico;
Loth,
Jacob;
罢丑眉尘,
Thomas
Efficient Slicing of Feature Models via Projected d-DNNF Compilation
Proc. Int'l Conf. on Automated Software Engineering (ASE) (To Appear)
Herausgeber: ACM, New York, NY, USA
2024
Efficient Slicing of Feature Models via Projected d-DNNF Compilation
Proc. Int'l Conf. on Automated Software Engineering (ASE) (To Appear)
Herausgeber: ACM, New York, NY, USA
2024
2023
154.
Bottner,
Laura;
Hermann,
Artur;
Eppler,
Jeremias;
罢丑眉尘,
Thomas;
Kargl,
Frank
Evaluation of Free and Open Source Tools for Automated Software Composition Analysis
Proc. 7th ACM Computer Science in Cars Symposium (CSCS), Seite 3:1-3:11
Herausgeber: ACM, New York, NY, USA
Dezember 2023
Evaluation of Free and Open Source Tools for Automated Software Composition Analysis
Proc. 7th ACM Computer Science in Cars Symposium (CSCS), Seite 3:1-3:11
Herausgeber: ACM, New York, NY, USA
Dezember 2023
| DOI: | |
| ISBN: | 9798400704543 |
| Datei: | |
153.
Sundermann,
Chico;
Kuiter,
Elias;
He脽,
Tobias;
Raab,
Heiko;
Krieter,
Sebastian;
罢丑眉尘,
Thomas
On the Benefits of Knowledge Compilation for Feature-Model Analyses
Annals of Mathematics and Artificial Intelligence (AMAI) :1013-1050
November 2023
Herausgeber: Springer
On the Benefits of Knowledge Compilation for Feature-Model Analyses
Annals of Mathematics and Artificial Intelligence (AMAI) :1013-1050
November 2023
Herausgeber: Springer
| DOI: | |
| Datei: | |
152.
Schulthei脽,
Alexander;
Bittner,
Paul Maximilian;
Boll,
Alexander;
Grunske,
Lars;
罢丑眉尘,
Thomas;
Kehrer,
Timo
RaQuN: A Generic and Scalable N-Way Model Matching Algorithm
Software and Systems Modeling (SoSyM) :1495-1517
Oktober 2023
Herausgeber: Springer
RaQuN: A Generic and Scalable N-Way Model Matching Algorithm
Software and Systems Modeling (SoSyM) :1495-1517
Oktober 2023
Herausgeber: Springer
| DOI: | |
| Datei: | |
151.
Krieter,
Sebastian;
Feichtinger,
Kevin;
Galindo,
Jose A.;
Benavides,
David;
Rabiser,
Rick;
Sundermann,
Chico;
罢丑眉尘,
Thomas
Second Tutorial on the Universal Variability Language
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 273
Herausgeber: ACM, New York, NY, USA
September 2023
Second Tutorial on the Universal Variability Language
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 273
Herausgeber: ACM, New York, NY, USA
September 2023
| DOI: | |
| ISBN: | 9798400700910 |
| Datei: | |
150.
Pett,
Tobias;
He脽,
Tobias;
Krieter,
Sebastian;
罢丑眉尘,
Thomas;
Schaefer,
Ina
Continuous T-Wise Coverage
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 87-98
Herausgeber: ACM, New York, NY, USA
August 2023
Continuous T-Wise Coverage
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 87-98
Herausgeber: ACM, New York, NY, USA
August 2023
| DOI: | |
| ISBN: | 9798400700910 |
| Datei: | |
149.
Sundermann,
Chico;
Vill,
Stefan;
罢丑眉尘,
Thomas;
Feichtinger,
Kevin;
Agarwal,
Prankur;
Rabiser,
Rick;
Galindo,
Jose A.;
Benavides,
David
UVLParser: Extending UVL With Language Levels and Conversion Strategies
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 39-42
Herausgeber: ACM, New York, NY, USA
August 2023
UVLParser: Extending UVL With Language Levels and Conversion Strategies
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 39-42
Herausgeber: ACM, New York, NY, USA
August 2023
| DOI: | |
| ISBN: | 9798400700927 |
| Datei: | |
148.
Loth,
Jacob;
Sundermann,
Chico;
Schrull,
Tobias;
Brugger,
Thilo;
Rieg,
Felix;
罢丑眉尘,
Thomas
UVLS: A Language Server Protocol for UVL
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 43-46
Herausgeber: ACM, New York, NY, USA
August 2023
UVLS: A Language Server Protocol for UVL
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 43-46
Herausgeber: ACM, New York, NY, USA
August 2023
| DOI: | |
| ISBN: | 9798400700927 |
| Datei: | |
147.
Bittner,
Paul Maximilian;
Schulthei脽,
Alexander;
Greiner,
Sandra;
Moosherr,
Benjamin;
Krieter,
Sebastian;
Tinnes,
Christof;
Kehrer,
Timo;
罢丑眉尘,
Thomas
Views on Edits to Variational Software
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 141-152
Herausgeber: ACM, New York, NY, USA
August 2023
Views on Edits to Variational Software
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 141-152
Herausgeber: ACM, New York, NY, USA
August 2023
| DOI: | |
| ISBN: | 9798400700910 |
| Datei: | |
146.
Runge,
Tobias;
Bordis,
Tabea;
Potanin,
Alex;
罢丑眉尘,
Thomas;
Schaefer,
Ina
Flexible Correct-by-Construction Programming
Logical Methods in Computer Science (LMCS) :16:1-16:36
Juni 2023
Flexible Correct-by-Construction Programming
Logical Methods in Computer Science (LMCS) :16:1-16:36
Juni 2023
| DOI: | |
| Datei: | |
145.
Sundermann,
Chico;
Raab,
Heiko;
He脽,
Tobias;
罢丑眉尘,
Thomas;
Schaefer,
Ina
Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models
Technical Report arXiv:2303.12383
M盲rz 2023
Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models
Technical Report arXiv:2303.12383
M盲rz 2023
| DOI: | |
| Datei: | |
144.
Bittner,
Paul Maximilian;
Tinnes,
Christof;
Schulthei脽,
Alexander;
Viegener,
S枚ren;
Kehrer,
Timo;
罢丑眉尘,
Thomas
Classifying Edits to Variability in Source Code - Summary
Proc. Software Engineering (SE), Seite 39-40
Herausgeber: Gesellschaft f眉r Informatik, Bonn, Germany
Februar 2023
Classifying Edits to Variability in Source Code - Summary
Proc. Software Engineering (SE), Seite 39-40
Herausgeber: Gesellschaft f眉r Informatik, Bonn, Germany
Februar 2023
| ISBN: | 978-3-88579-726-5 |
| Datei: | |
143.
Feichtinger,
Kevin;
Sundermann,
Chico;
罢丑眉尘,
Thomas;
Rabiser,
Rick
It's Your Loss: Classifying Information Loss During Variability Model Roundtrip Transformations - Summary
Proc. Software Engineering (SE), Seite 51-52
Herausgeber: Gesellschaft f眉r Informatik, Bonn, Germany
Februar 2023
It's Your Loss: Classifying Information Loss During Variability Model Roundtrip Transformations - Summary
Proc. Software Engineering (SE), Seite 51-52
Herausgeber: Gesellschaft f眉r Informatik, Bonn, Germany
Februar 2023
| Datei: | |
142.
Schulthei脽,
Alexander;
Bittner,
Paul Maximilian;
罢丑眉尘,
Thomas;
Kehrer,
Timo
Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own - Summary
Proc. Software Engineering (SE), Seite 109-110
Herausgeber: Gesellschaft f眉r Informatik, Bonn, Germany
Februar 2023
Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own - Summary
Proc. Software Engineering (SE), Seite 109-110
Herausgeber: Gesellschaft f眉r Informatik, Bonn, Germany
Februar 2023
| Datei: | |
141.
Kuiter,
Elias;
Krieter,
Sebastian;
Sundermann,
Chico;
罢丑眉尘,
Thomas;
Saake,
Gunter
Tseitin or Not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses - Summary
Proc. Software Engineering (SE), Seite 83-84
Herausgeber: Gesellschaft f眉r Informatik, Bonn, Germany
Februar 2023
Tseitin or Not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses - Summary
Proc. Software Engineering (SE), Seite 83-84
Herausgeber: Gesellschaft f眉r Informatik, Bonn, Germany
Februar 2023
| Datei: | |
140.
Young,
Jeffrey M.;
Bittner,
Paul Maximilian;
Walkingshaw,
Eric;
罢丑眉尘,
Thomas
Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems - Summary
Proc. Software Engineering (SE), Seite 129-130
Herausgeber: Gesellschaft f眉r Informatik, Bonn, Germany
Februar 2023
Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems - Summary
Proc. Software Engineering (SE), Seite 129-130
Herausgeber: Gesellschaft f眉r Informatik, Bonn, Germany
Februar 2023
| Datei: | |
139.
Sundermann,
Chico;
He脽,
Tobias;
Nieke,
Michael;
Bittner,
Paul Maximilian;
Young,
Jeffrey M.;
罢丑眉尘,
Thomas;
Schaefer,
Ina
Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces
Empirical Software Engineering (EMSE) :38
Januar 2023
Herausgeber: Springer
Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces
Empirical Software Engineering (EMSE) :38
Januar 2023
Herausgeber: Springer
| DOI: | |
| Datei: | |
2022
138.
Hentze,
Marc;
Pett,
Tobias;
Sundermann,
Chico;
Krieter,
Sebastian;
罢丑眉尘,
Thomas;
Schaefer,
Ina
Generic Solution-Space Sampling for Multi-Domain Product Lines
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE)
Herausgeber: ACM, New York, NY, USA
Dezember 2022
Generic Solution-Space Sampling for Multi-Domain Product Lines
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE)
Herausgeber: ACM, New York, NY, USA
Dezember 2022
| DOI: | |
| Datei: | |
137.
Bittner,
Paul Maximilian;
Tinnes,
Christof;
Schulthei脽,
Alexander;
Viegener,
S枚ren;
Kehrer,
Timo;
罢丑眉尘,
Thomas
Classifying Edits to Variability in Source Code
Proc. Europ. Software Engineering Conf./Foundations of Software Engineering (ESEC/FSE), Seite 196-208
Herausgeber: 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), Seite 196-208
Herausgeber: ACM, New York, NY, USA
November 2022
| DOI: | |
| ISBN: | 9781450394130 |
| Datei: | |
136.
Runge,
Tobias;
Bordis,
Tabea;
Potanin,
Alex;
罢丑眉尘,
Thomas;
Schaefer,
Ina
Flexible Correct-by-Construction Programming (Technical Report)
Technical Report arXiv:2211.15261
November 2022
Flexible Correct-by-Construction Programming (Technical Report)
Technical Report arXiv:2211.15261
November 2022
| DOI: | |
| Datei: | |
135.
Young,
Jeffrey M.;
Bittner,
Paul Maximilian;
Walkingshaw,
Eric;
罢丑眉尘,
Thomas
Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems
Empirical Software Engineering (EMSE) :53
November 2022
Herausgeber: Springer
Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems
Empirical Software Engineering (EMSE) :53
November 2022
Herausgeber: Springer
| DOI: |
134.
Schulthei脽,
Alexander;
Bittner,
Paul Maximilian;
罢丑眉尘,
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), Seite 269-280
Herausgeber: IEEE, Piscataway, NJ, USA
Oktober 2022
Quantifying the Potential to Automate the Synchronization of Variants in Clone-and-Own
Proc. Int'l Conf. on Software Maintenance and Evolution (ICSME), Seite 269-280
Herausgeber: IEEE, Piscataway, NJ, USA
Oktober 2022
| DOI: | |
| Datei: | |
133.
Hentze,
Marc;
Sundermann,
Chico;
罢丑眉尘,
Thomas;
Schaefer,
Ina
Quantifying the Variability Mismatch Between Problem and Solution Space
Proc. Int'l Conf. on Model Driven Engineering Languages and Systems (MODELS), Seite 322-333
Herausgeber: IEEE, Washington, DC, USA
Oktober 2022
Quantifying the Variability Mismatch Between Problem and Solution Space
Proc. Int'l Conf. on Model Driven Engineering Languages and Systems (MODELS), Seite 322-333
Herausgeber: IEEE, Washington, DC, USA
Oktober 2022
| DOI: | |
| ISBN: | 9781450394666 |
| Datei: | |
132.
Kuiter,
Elias;
Krieter,
Sebastian;
Sundermann,
Chico;
罢丑眉尘,
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), Seite 110:1-110:13
Herausgeber: ACM, New York, NY, USA
Oktober 2022
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses
Proc. Int'l Conf. on Automated Software Engineering (ASE), Seite 110:1-110:13
Herausgeber: ACM, New York, NY, USA
Oktober 2022
| DOI: | |
| ISBN: | 9781450394758 |
| Datei: | |
131.
He脽,
Tobias;
M眉ller,
Tobias;
Sundermann,
Chico;
罢丑眉尘,
Thomas
ddueruem: A Wrapper for Feature-Model Analysis Tools
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 54-57
Herausgeber: 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), Seite 54-57
Herausgeber: ACM, New York, NY, USA
September 2022
| DOI: | |
| ISBN: | 9781450392068 |
| Datei: | |
130.
Linsbauer,
Lukas;
Westphal,
Paul;
Bittner,
Paul Maximilian;
Krieter,
Sebastian;
罢丑眉尘,
Thomas;
Schaefer,
Ina
Derivation of Subset Product Lines in FeatureIDE
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 38-41
Herausgeber: ACM, New York, NY, USA
September 2022
Derivation of Subset Product Lines in FeatureIDE
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 38-41
Herausgeber: ACM, New York, NY, USA
September 2022
| DOI: | |
| ISBN: | 9781450392068 |
| Datei: | |
129.
Feichtinger,
Kevin;
Sundermann,
Chico;
罢丑眉尘,
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), Seite 67-78
Herausgeber: 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), Seite 67-78
Herausgeber: ACM, New York, NY, USA
September 2022
| DOI: | |
| ISBN: | 9781450394437 |
| Datei: | |
128.
Sundermann,
Chico;
Feichtinger,
Kevin;
Galindo,
Jose A.;
Benavides,
David;
Rabiser,
Rick;
Krieter,
Sebastian;
罢丑眉尘,
Thomas
Tutorial on the Universal Variability Language
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 260:1
Herausgeber: ACM, New York, NY, USA
September 2022
Tutorial on the Universal Variability Language
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 260:1
Herausgeber: ACM, New York, NY, USA
September 2022
| DOI: | |
| ISBN: | 9781450394437 |
| Datei: | |
127.
Schulthei脽,
Alexander;
Bittner,
Paul Maximilian;
El-Sharkawy,
Sascha;
罢丑眉尘,
Thomas;
Kehrer,
Timo
Simulating the Evolution of Clone-and-Own Projects With VEVOS
Proc. Int'l Conf. on Evaluation Assessment in Software Engineering (EASE), Seite 231-236
Herausgeber: ACM, New York, NY, USA
Juni 2022
Simulating the Evolution of Clone-and-Own Projects With VEVOS
Proc. Int'l Conf. on Evaluation Assessment in Software Engineering (EASE), Seite 231-236
Herausgeber: ACM, New York, NY, USA
Juni 2022
| DOI: | |
| ISBN: | 9781450396134 |
| Datei: | |
126.
Runge,
Tobias;
Potanin,
Alex;
罢丑眉尘,
Thomas;
Schaefer,
Ina
Traits: Correctness-by-Construction for Free
Proc. Int'l Conf. on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Seite 131-150
Herausgeber: Springer, Cham, Switzerland
Juni 2022
Traits: Correctness-by-Construction for Free
Proc. Int'l Conf. on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Seite 131-150
Herausgeber: Springer, Cham, Switzerland
Juni 2022
| DOI: | |
| ISBN: | 978-3-031-08679-3 |
| Datei: | |
125.
Krieter,
Sebastian;
罢丑眉尘,
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
Mai 2022
T-Wise Presence Condition Coverage and Sampling for Configurable Systems
Technical Report arXiv:2205.15180
Mai 2022
| DOI: | |
| Datei: | |
124.
Runge,
Tobias;
Potanin,
Alex;
罢丑眉尘,
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
| DOI: | |
| Datei: | |
123.
Bittner,
Paul Maximilian;
Schulthei脽,
Alexander;
罢丑眉尘,
Thomas;
Kehrer,
Timo;
Young,
Jeffrey M.;
Linsbauer,
Lukas
Feature Trace Recording - Summary
Proc. Software Engineering (SE), Seite 19-20
Herausgeber: Gesellschaft f眉r Informatik, Bonn, Germany
Februar 2022
Feature Trace Recording - Summary
Proc. Software Engineering (SE), Seite 19-20
Herausgeber: Gesellschaft f眉r Informatik, Bonn, Germany
Februar 2022
| DOI: | |
| Datei: | |
122.
Nieke,
Michael;
Sampaio,
Gabriela;
罢丑眉尘,
Thomas;
Seidl,
Christoph;
Teixeira,
Leopoldo;
Schaefer,
Ina
Guiding the Evolution of Product-Line Configurations
Software and Systems Modeling (SoSyM) :225-247
Februar 2022
Guiding the Evolution of Product-Line Configurations
Software and Systems Modeling (SoSyM) :225-247
Februar 2022
| DOI: | |
| Datei: | |
121.
Schulthei脽,
Alexander;
Bittner,
Paul Maximilian;
罢丑眉尘,
Thomas;
Kehrer,
Timo
Scalable N-Way Model Matching Using Multi-Dimensional Search Trees - Summary
Proc. Software Engineering (SE), Seite 83-84
Herausgeber: Gesellschaft f眉r Informatik, Bonn, Germany
Februar 2022
Scalable N-Way Model Matching Using Multi-Dimensional Search Trees - Summary
Proc. Software Engineering (SE), Seite 83-84
Herausgeber: Gesellschaft f眉r Informatik, Bonn, Germany
Februar 2022
| DOI: | |
| Datei: | |
2021
120.
Runge,
Tobias;
Bordis,
Tabea;
罢丑眉尘,
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), Seite 101-116
Herausgeber: Springer, Berlin, Heidelberg
November 2021
Teaching Correctness-by-Construction and Post-Hoc Verification - The Online Experience
Proc. Int'l Workshop and Tutorial on Formal Methods Teaching (FMTea), Seite 101-116
Herausgeber: Springer, Berlin, Heidelberg
November 2021
| DOI: | |
| ISBN: | 978-3-030-91549-0 |
| Datei: | |
119.
Schulthei脽,
Alexander;
Bittner,
Paul Maximilian;
Grunske,
Lars;
罢丑眉尘,
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), Seite 1-12
Herausgeber: IEEE, Washington, DC, USA
Oktober 2021
Scalable N-Way Model Matching Using Multi-Dimensional Search Trees
Proc. Int'l Conf. on Model Driven Engineering Languages and Systems (MODELS), Seite 1-12
Herausgeber: IEEE, Washington, DC, USA
Oktober 2021
| DOI: | |
| Datei: | |
118.
Pett,
Tobias;
Krieter,
Sebastian;
罢丑眉尘,
Thomas;
Lochau,
Malte;
Schaefer,
Ina
AutoSMP: An Evaluation Platform for Sampling Algorithms
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 41-44
Herausgeber: ACM, New York, NY, USA
September 2021
AutoSMP: An Evaluation Platform for Sampling Algorithms
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 41-44
Herausgeber: ACM, New York, NY, USA
September 2021
| DOI: | |
| ISBN: | 9781450384704 |
| Datei: | |
117.
Krieter,
Sebastian;
Arens,
Rahel;
Nieke,
Michael;
Sundermann,
Chico;
He脽,
Tobias;
罢丑眉尘,
Thomas;
Seidl,
Christoph
Incremental Construction of Modal Implication Graphs for Evolving Feature Models
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 64-74
Herausgeber: 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), Seite 64-74
Herausgeber: ACM, New York, NY, USA
September 2021
| DOI: | |
| ISBN: | 9781450384698 |
| Datei: | |
116.
罢丑眉尘,
Thomas
Keynote: Where Are My Constraints and What Do They Constrain?
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite XVIII
Herausgeber: 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), Seite XVIII
Herausgeber: ACM, New York, NY, USA
September 2021
| ISBN: | 9781450384698 |
| Datei: | |
115.
He脽,
Tobias;
Sundermann,
Chico;
罢丑眉尘,
Thomas
On the Scalability of Building Binary Decision Diagrams for Current Feature Models
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 131-135
Herausgeber: 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), Seite 131-135
Herausgeber: ACM, New York, NY, USA
September 2021
| DOI: | |
| ISBN: | 9781450384698 |
| Datei: | |
114.
Sundermann,
Chico;
Feichtinger,
Kevin;
Engelhardt,
Dominik;
Rabiser,
Rick;
罢丑眉尘,
Thomas
Yet Another Textual Variability Language? A Community Effort Towards a Unified Language
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 136-147
Herausgeber: 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), Seite 136-147
Herausgeber: ACM, New York, NY, USA
September 2021
| DOI: | |
| ISBN: | 9781450384698 |
| Datei: | |
113.
Bittner,
Paul Maximilian;
Schulthei脽,
Alexander;
罢丑眉尘,
Thomas;
Kehrer,
Timo;
Young,
Jeffrey M.;
Linsbauer,
Lukas
Feature Trace Recording
Proc. Europ. Software Engineering Conf./Foundations of Software Engineering (ESEC/FSE), Seite 1007-1020
Herausgeber: ACM, New York, NY, USA
August 2021
Feature Trace Recording
Proc. Europ. Software Engineering Conf./Foundations of Software Engineering (ESEC/FSE), Seite 1007-1020
Herausgeber: ACM, New York, NY, USA
August 2021
| DOI: | |
| ISBN: | 9781450385626 |
| Datei: | |
112.
Kehrer,
Timo;
罢丑眉尘,
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), Seite 21-25
Herausgeber: IEEE, Piscataway, NJ, USA
Mai 2021
Bridging the Gap Between Clone-and-Own and Software Product Lines
Proc. Int'l Conf. on Software Engineering (ICSE), Seite 21-25
Herausgeber: IEEE, Piscataway, NJ, USA
Mai 2021
| DOI: | |
| ISBN: | 978-1-6654-0140-1 |
| Datei: | |
111.
Kn眉ppel,
Alexander;
罢丑眉尘,
Thomas;
Schaefer,
Ina
GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers
Proc. Int'l Conf. on Formal Methods in Software Engineering (FormaliSE), Seite 124-129
Herausgeber: IEEE, Piscataway, NJ, USA
Mai 2021
GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers
Proc. Int'l Conf. on Formal Methods in Software Engineering (FormaliSE), Seite 124-129
Herausgeber: IEEE, Piscataway, NJ, USA
Mai 2021
| DOI: | |
| Datei: | |
110.
Sundermann,
Chico;
Nieke,
Michael;
Bittner,
Paul Maximilian;
He脽,
Tobias;
罢丑眉尘,
Thomas;
Schaefer,
Ina
Applications of #SAT Solvers on Feature Models
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Herausgeber: ACM, New York, NY, USA
Februar 2021
Applications of #SAT Solvers on Feature Models
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Herausgeber: ACM, New York, NY, USA
Februar 2021
| DOI: | |
| ISBN: | 9781450388245 |
| Datei: | |
109.
Hentze,
Marc;
Pett,
Tobias;
罢丑眉尘,
Thomas;
Schaefer,
Ina
Hyper Explanations for Feature-Model Defect Analysis
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Herausgeber: ACM, New York, NY, USA
Februar 2021
Hyper Explanations for Feature-Model Defect Analysis
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Herausgeber: ACM, New York, NY, USA
Februar 2021
| DOI: | |
| ISBN: | 9781450388245 |
| Datei: | |
108.
Kn眉ppel,
Alexander;
Jatzkowski,
Inga;
Nolte,
Marcus;
罢丑眉尘,
Thomas;
Runge,
Tobias;
Schaefer,
Ina
Skill-Based Verification of Cyber-Physical Systems (Extended Abstract)
Proc. Software Engineering (SE), Seite 67-68
Herausgeber: Gesellschaft f眉r Informatik, Bonn, Germany
Februar 2021
Skill-Based Verification of Cyber-Physical Systems (Extended Abstract)
Proc. Software Engineering (SE), Seite 67-68
Herausgeber: Gesellschaft f眉r Informatik, Bonn, Germany
Februar 2021
| DOI: | |
| Datei: | |
107.
Pett,
Tobias;
Krieter,
Sebastian;
Runge,
Tobias;
罢丑眉尘,
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)
Herausgeber: ACM, New York, NY, USA
Februar 2021
Stability of Product-Line Sampling in Continuous Integration
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Herausgeber: ACM, New York, NY, USA
Februar 2021
| DOI: | |
| ISBN: | 9781450388245 |
| Datei: | |
106.
Runge,
Tobias;
Schaefer,
Ina;
Cleophas,
Loek;
罢丑眉尘,
Thomas;
Kourie,
Derrick;
Watson,
Bruce W.
Tool Support for Correctness-by-Construction (Extended Abstract)
Proc. Software Engineering (SE), Seite 93-94
Herausgeber: Gesellschaft f眉r Informatik, Bonn, Germany
Februar 2021
Tool Support for Correctness-by-Construction (Extended Abstract)
Proc. Software Engineering (SE), Seite 93-94
Herausgeber: Gesellschaft f眉r Informatik, Bonn, Germany
Februar 2021
| DOI: | |
| Datei: | |
2020
105.
Kn眉ppel,
Alexander;
Kr眉ger,
Stefan;
罢丑眉尘,
Thomas;
Bubel,
Richard;
Krieter,
Sebastian;
Bodden,
Eric;
Schaefer,
Ina
Using Abstract Contracts for Verifying Evolving Features and Their Interactions
Seite 122-148
Herausgeber: Springer, Cham, Switzerland
Dezember 2020
122-148
Using Abstract Contracts for Verifying Evolving Features and Their Interactions
Seite 122-148
Herausgeber: Springer, Cham, Switzerland
Dezember 2020
122-148
| DOI: | |
| ISBN: | 978-3-030-64354-6 |
| Datei: | |
104.
罢丑眉尘,
Thomas
A BDD for Linux? The Knowledge Compilation Challenge for Variability
Proc. Int'l Systems and Software Product Line Conf. (SPLC)
Herausgeber: ACM, New York, NY, USA
Oktober 2020
A BDD for Linux? The Knowledge Compilation Challenge for Variability
Proc. Int'l Systems and Software Product Line Conf. (SPLC)
Herausgeber: ACM, New York, NY, USA
Oktober 2020
| DOI: | |
| ISBN: | 9781450375696 |
| Datei: | |
103.
Nieke,
Michael;
Sampaio,
Gabriela;
罢丑眉尘,
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), Seite 56-64
Herausgeber: ACM, New York, NY, USA
Oktober 2020
GuyDance: Guiding Configuration Updates for Product-Line Evolution
Proc. Int'l Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution), Seite 56-64
Herausgeber: ACM, New York, NY, USA
Oktober 2020
| DOI: | |
| ISBN: | 9781450375702 |
| Datei: | |
102.
Runge,
Tobias;
Kn眉ppel,
Alexander;
罢丑眉尘,
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), Seite 44-54
Herausgeber: ACM, New York, NY, USA
Oktober 2020
Lattice-Based Information Flow Control-by-Construction for Security-by-Design
Proc. Int'l Conf. on Formal Methods in Software Engineering (FormaliSE), Seite 44-54
Herausgeber: ACM, New York, NY, USA
Oktober 2020
| DOI: | |
| ISBN: | 9781450370714 |
| Datei: | |
101.
Schulthei脽,
Alexander;
Bittner,
Paul Maximilian;
Kehrer,
Timo;
罢丑眉尘,
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)
Herausgeber: ACM, New York, NY, USA
Oktober 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)
Herausgeber: ACM, New York, NY, USA
Oktober 2020
| DOI: | |
| ISBN: | 9781450375696 |
| Datei: | |
100.
Young,
Jeffrey M.;
Walkingshaw,
Eric;
罢丑眉尘,
Thomas
Variational Satisfiability Solving
Proc. Int'l Systems and Software Product Line Conf. (SPLC)
Herausgeber: ACM, New York, NY, USA
Oktober 2020
Variational Satisfiability Solving
Proc. Int'l Systems and Software Product Line Conf. (SPLC)
Herausgeber: ACM, New York, NY, USA
Oktober 2020
| DOI: | |
| ISBN: | 9781450375696 |
| Datei: | |
99.
Runge,
Tobias;
罢丑眉尘,
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), Seite 388-405
Herausgeber: Springer, Cham, Switzerland
August 2020
Comparing Correctness-by-Construction With Post-Hoc Verification - A Qualitative User Study
Proc. Int'l Workshop on Refinement (REFINE), Seite 388-405
Herausgeber: Springer, Cham, Switzerland
August 2020
| DOI: | |
| Datei: | |
98.
Kn眉ppel,
Alexander;
Jatzkowski,
Inga;
Nolte,
Marcus;
罢丑眉尘,
Thomas;
Runge,
Tobias;
Schaefer,
Ina
Skill-Based Verification of Cyber-Physical Systems
Proc. Int'l Conf. on Fundamental Approaches to Software Engineering (FASE), Seite 203-223
Herausgeber: Springer, Berlin, Heidelberg
April 2020
Skill-Based Verification of Cyber-Physical Systems
Proc. Int'l Conf. on Fundamental Approaches to Software Engineering (FASE), Seite 203-223
Herausgeber: Springer, Berlin, Heidelberg
April 2020
| DOI: | |
| Datei: | |
97.
Sundermann,
Chico;
罢丑眉尘,
Thomas;
Schaefer,
Ina
Evaluating #SAT Solvers on Industrial Feature Models
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Herausgeber: ACM, New York, NY, USA
Februar 2020
Evaluating #SAT Solvers on Industrial Feature Models
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Herausgeber: ACM, New York, NY, USA
Februar 2020
| DOI: | |
| ISBN: | 9781450375016 |
| Datei: | |
96.
Sprey,
Joshua;
Sundermann,
Chico;
Krieter,
Sebastian;
Nieke,
Michael;
Mauro,
Jacopo;
罢丑眉尘,
Thomas;
Schaefer,
Ina
SMT-Based Variability Analyses in FeatureIDE
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Herausgeber: ACM, New York, NY, USA
Februar 2020
SMT-Based Variability Analyses in FeatureIDE
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Herausgeber: ACM, New York, NY, USA
Februar 2020
| DOI: | |
| ISBN: | 9781450375016 |
| Datei: | |
95.
Bordis,
Tabea;
Runge,
Tobias;
Kn眉ppel,
Alexander;
罢丑眉尘,
Thomas;
Schaefer,
Ina
Variational Correctness-by-Construction
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Herausgeber: ACM, New York, NY, USA
Februar 2020
Variational Correctness-by-Construction
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Herausgeber: ACM, New York, NY, USA
Februar 2020
| DOI: | |
| ISBN: | 9781450375016 |
| Datei: | |
94.
Krieter,
Sebastian;
罢丑眉尘,
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)
Herausgeber: ACM, New York, NY, USA
Februar 2020
YASA: Yet Another Sampling Algorithm
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Herausgeber: ACM, New York, NY, USA
Februar 2020
| DOI: | |
| ISBN: | 9781450375016 |
| Datei: | |
2019
93.
罢丑眉尘,
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), Seite 25
Herausgeber: ACM, New York, NY, USA
September 2019
Feature-Oriented Contract Composition (Extended Abstract)
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 25
Herausgeber: ACM, New York, NY, USA
September 2019
| DOI: | |
| ISBN: | 9781450371384 |
| Datei: | |
92.
罢丑眉尘,
Thomas;
Seidl,
Christoph;
Schaefer,
Ina
On Language Levels for Feature Modeling Notations
Proc. Int'l Workshop on Languages for Modelling Variability (MODEVAR), Seite 158-161
Herausgeber: ACM, New York, NY, USA
September 2019
On Language Levels for Feature Modeling Notations
Proc. Int'l Workshop on Languages for Modelling Variability (MODEVAR), Seite 158-161
Herausgeber: ACM, New York, NY, USA
September 2019
| DOI: | |
| ISBN: | 9781450366687 |
| Datei: | |
91.
Pett,
Tobias;
罢丑眉尘,
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), Seite 78-83
Herausgeber: 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), Seite 78-83
Herausgeber: ACM, New York, NY, USA
September 2019
| DOI: | |
| ISBN: | 9781450371384 |
| Datei: | |
90.
Bittner,
Paul Maximilian;
罢丑眉尘,
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), Seite 127-144
Herausgeber: Springer, Berlin, Heidelberg
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), Seite 127-144
Herausgeber: Springer, Berlin, Heidelberg
September 2019
| DOI: | |
| Datei: | |
89.
罢丑眉尘,
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), Seite 57-64
Herausgeber: 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), Seite 57-64
Herausgeber: ACM, New York, NY, USA
September 2019
| DOI: | |
| ISBN: | 9781450366687 |
| Datei: | |
88.
Jung,
Reiner;
M盲rtin,
Lukas;
Johanssen,
Jan Ole;
Paech,
Barbara;
Lochau,
Malte;
罢丑眉尘,
Thomas;
Schneider,
Kurt;
Tichy,
Matthias;
Ulbrich,
Mattias
Addressed Challenges
Seite 21-36
Herausgeber: Springer, Cham, Switzerland
Juni 2019
21-36
Addressed Challenges
Seite 21-36
Herausgeber: Springer, Cham, Switzerland
Juni 2019
21-36
| DOI: | |
| ISBN: | 978-3-030-13499-0 |
| Datei: | |
87.
罢丑眉尘,
Thomas;
Kn眉ppel,
Alexander;
Kr眉ger,
Stefan;
Bolle,
Stefanie;
Schaefer,
Ina
Feature-Oriented Contract Composition
J. Systems and Software (JSS) :83-107
Juni 2019
Herausgeber: Elsevier Science Inc.
ISSN: 0164-1212
Feature-Oriented Contract Composition
J. Systems and Software (JSS) :83-107
Juni 2019
Herausgeber: Elsevier Science Inc.
ISSN: 0164-1212
| DOI: | |
| Datei: | |
86.
罢丑眉尘,
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
Seite 175-206
Herausgeber: Springer, Cham, Switzerland
Juni 2019
175-206
Performance Analysis Strategies for Software Variants and Versions
Seite 175-206
Herausgeber: Springer, Cham, Switzerland
Juni 2019
175-206
| DOI: | |
| ISBN: | 978-3-030-13499-0 |
| Datei: | |
85.
Runge,
Tobias;
Schaefer,
Ina;
Cleophas,
Loek;
罢丑眉尘,
Thomas;
Kourie,
Derrick;
Watson,
Bruce W.
Tool Support for Correctness-by-Construction
Proc. Int'l Conf. on Fundamental Approaches to Software Engineering (FASE), Seite 25-42
Herausgeber: Springer, Cham, Switzerland
April 2019
Tool Support for Correctness-by-Construction
Proc. Int'l Conf. on Fundamental Approaches to Software Engineering (FASE), Seite 25-42
Herausgeber: Springer, Cham, Switzerland
April 2019
| DOI: | |
| ISBN: | 978-3-030-16722-6 |
| Datei: | |
84.
Al-Hajjaji,
Mustafa;
罢丑眉尘,
Thomas;
Lochau,
Malte;
Meinicke,
Jens;
Saake,
Gunter
Effective Product-Line Testing Using Similarity-Based Product Prioritization
Software and Systems Modeling (SoSyM) :499-521
Februar 2019
Herausgeber: Springer
ISSN: 1619-1366
Effective Product-Line Testing Using Similarity-Based Product Prioritization
Software and Systems Modeling (SoSyM) :499-521
Februar 2019
Herausgeber: Springer
ISSN: 1619-1366
| DOI: | |
| Datei: | |
83.
Krieter,
Sebastian;
罢丑眉尘,
Thomas;
Schulze,
Sandro;
Schr枚ter,
Reimar;
Saake,
Gunter
Propagating Configuration Decisions With Modal Implication Graphs (Extended Abstract)
Proc. Software Engineering (SE), Seite 77-78
Herausgeber: Gesellschaft f眉r Informatik
Februar 2019
Propagating Configuration Decisions With Modal Implication Graphs (Extended Abstract)
Proc. Software Engineering (SE), Seite 77-78
Herausgeber: Gesellschaft f眉r Informatik
Februar 2019
| DOI: | |
| ISBN: | 978-3-88579-686-2 |
| Datei: | |
82.
Kn眉ppel,
Alexander;
罢丑眉尘,
Thomas;
Pardylla,
Carsten Immanuel;
Schaefer,
Ina
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY (Extended Abstract)
Proc. Software Engineering (SE), Seite 165-166
Herausgeber: Gesellschaft f眉r Informatik
Februar 2019
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY (Extended Abstract)
Proc. Software Engineering (SE), Seite 165-166
Herausgeber: Gesellschaft f眉r Informatik
Februar 2019
| DOI: | |
| ISBN: | 978-3-88579-686-2 |
| Datei: | |
81.
Lity,
Sascha;
Nieke,
Manuel;
罢丑眉尘,
Thomas;
Schaefer,
Ina
Retest Test Selection for Product-Line Regression Testing of Variants and Versions of Variants
J. Systems and Software (JSS) :46-63
Januar 2019
Herausgeber: 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
Januar 2019
Herausgeber: Elsevier Science Inc.
ISSN: 0164-1212
| DOI: | |
| Datei: | |
2018
80.
Nieke,
Michael;
Mauro,
Jacopo;
Seidl,
Christoph;
罢丑眉尘,
Thomas;
Yu,
Ingrid Chieh;
Franzke,
Felix
Anomaly Analyses for Feature-Model Evolution
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Seite 188-201
Herausgeber: ACM, New York, NY, USA
November 2018
Anomaly Analyses for Feature-Model Evolution
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Seite 188-201
Herausgeber: ACM, New York, NY, USA
November 2018
| DOI: | |
| ISBN: | 978-1-4503-6045-6 |
| Datei: | |
79.
Kn眉ppel,
Alexander;
罢丑眉尘,
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), Seite 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), Seite 53-70
November 2018
| DOI: | |
| Datei: | |
78.
Ruland,
Sebastian;
Luthmann,
Lars;
B眉rdek,
Johannes;
Lity,
Sascha;
罢丑眉尘,
Thomas;
Lochau,
Malte;
Ribeiro,
Marcio
Measuring Effectiveness of Sample-Based Product-Line Testing
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Seite 119-133
Herausgeber: 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), Seite 119-133
Herausgeber: ACM, New York, NY, USA
November 2018
| DOI: | |
| ISBN: | 978-1-4503-6045-6 |
| Datei: | |
77.
Kn眉ppel,
Alexander;
罢丑眉尘,
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), Seite 159-175
Herausgeber: 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), Seite 159-175
Herausgeber: Springer, Cham, Switzerland
November 2018
| DOI: | |
| ISBN: | 978-3-030-03426-9 |
| Datei: | |
76.
Varshosaz,
Mahsa;
Al-Hajjaji,
Mustafa;
罢丑眉尘,
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), Seite 1-13
Herausgeber: 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), Seite 1-13
Herausgeber: ACM, New York, NY, USA
September 2018
| DOI: | |
| ISBN: | 978-1-4503-6464-5 |
| Datei: | |
75.
Kr眉ger,
Jacob;
Fenske,
Wolfram;
罢丑眉尘,
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), Seite 251-256
Herausgeber: 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), Seite 251-256
Herausgeber: ACM, New York, NY, USA
September 2018
| DOI: | |
| ISBN: | 978-1-4503-6464-5 |
| Datei: | |
74.
Nieke,
Michael;
Seidl,
Christoph;
罢丑眉尘,
Thomas
Back to the Future: Avoiding Paradoxes in Feature-Model Evolution
Proc. Int'l Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution), Seite 48-51
Herausgeber: 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), Seite 48-51
Herausgeber: ACM, New York, NY, USA
September 2018
| DOI: | |
| ISBN: | 978-1-4503-5945-0 |
| Datei: | |
73.
罢丑眉尘,
Thomas;
Krieter,
Sebastian;
Leich,
Thomas
Clean Your Variable Code With FeatureIDE (Second Edition)
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 299-299
Herausgeber: 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), Seite 299-299
Herausgeber: ACM, New York, NY, USA
September 2018
| DOI: | |
| ISBN: | 978-1-4503-6464-5 |
| Datei: | |
72.
罢丑眉尘,
Thomas;
Krieter,
Sebastian;
Schaefer,
Ina
Product Configuration in the Wild: Strategies for Conflicting Decisions in Web Configurators
Proc. Configuration Workshop (ConfWS), Seite 1-8
Herausgeber: RWTH Aachen University, Aachen, Germany
September 2018
Product Configuration in the Wild: Strategies for Conflicting Decisions in Web Configurators
Proc. Configuration Workshop (ConfWS), Seite 1-8
Herausgeber: RWTH Aachen University, Aachen, Germany
September 2018
| Datei: | |
71.
Kn眉ppel,
Alexander;
罢丑眉尘,
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), Seite 342-361
Herausgeber: Springer, Berlin, Heidelberg
Juli 2018
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY
Proc. Inte'l Conf. on Interactive Theorem Proving (ITP), Seite 342-361
Herausgeber: Springer, Berlin, Heidelberg
Juli 2018
| DOI: | |
| ISBN: | 978-3-319-94820-1 |
| Datei: | |
70.
Krieter,
Sebastian;
罢丑眉尘,
Thomas;
Schulze,
Sandro;
Schr枚ter,
Reimar;
Saake,
Gunter
Propagating Configuration Decisions With Modal Implication Graphs
Proc. Int'l Conf. on Software Engineering (ICSE), Seite 898-909
Herausgeber: ACM, New York, NY, USA
Mai 2018
Propagating Configuration Decisions With Modal Implication Graphs
Proc. Int'l Conf. on Software Engineering (ICSE), Seite 898-909
Herausgeber: ACM, New York, NY, USA
Mai 2018
| DOI: | |
| ISBN: | 978-1-4503-5638-1 |
| Datei: | |
69.
Kn眉ppel,
Alexander;
罢丑眉尘,
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), Seite 53-54
Herausgeber: Gesellschaft f眉r Informatik
M盲rz 2018
Is There a Mismatch Between Real-World Feature Models and Product-Line Research? (Extended Abstract)
Proc. Software Engineering (SE), Seite 53-54
Herausgeber: Gesellschaft f眉r Informatik
M盲rz 2018
| ISBN: | 978-3-88579-673-2 |
| Datei: | |
68.
Lity,
Sascha;
Nahrendorf,
Sophia;
罢丑眉尘,
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), Seite 27-34
Herausgeber: ACM, New York, NY, USA
Februar 2018
175% Modeling for Product-Line Evolution of Domain Artifacts
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 27-34
Herausgeber: ACM, New York, NY, USA
Februar 2018
| DOI: | |
| ISBN: | 978-1-4503-5398-4 |
| Datei: | |
67.
Carvalho,
Luiz;
Guimaraes,
Marcio Augusto;
Ribeiro,
Marcio;
Fernandes,
Leonardo;
Al-Hajjaji,
Mustafa;
Gheyi,
Rohit;
罢丑眉尘,
Thomas
Equivalent Mutants in Configurable Systems: An Empirical Study
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 11-18
Herausgeber: ACM, New York, NY, USA
Februar 2018
Equivalent Mutants in Configurable Systems: An Empirical Study
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 11-18
Herausgeber: ACM, New York, NY, USA
Februar 2018
| DOI: | |
| ISBN: | 978-1-4503-5398-4 |
| Datei: | |
66.
罢丑眉尘,
Thomas;
Krieter,
Sebastian;
Leich,
Thomas
Feature Modeling and Development With FeatureIDE
Proc. Modellierung, Seite 297-298
Herausgeber: Gesellschaft f眉r Informatik, Bonn, Germany
Februar 2018
Feature Modeling and Development With FeatureIDE
Proc. Modellierung, Seite 297-298
Herausgeber: Gesellschaft f眉r Informatik, Bonn, Germany
Februar 2018
| ISBN: | 978-3-88579-674-9 |
| Datei: | |
2017
65.
Benduhn,
Fabian;
罢丑眉尘,
Thomas;
Schaefer,
Ina;
Saake,
Gunter
Modularization of Refinement Steps for Agile Formal Methods
Proc. Int'l Conf. on Formal Engineering Methods (ICFEM), Seite 19-35
Herausgeber: Springer, Cham, Switzerland
November 2017
Modularization of Refinement Steps for Agile Formal Methods
Proc. Int'l Conf. on Formal Engineering Methods (ICFEM), Seite 19-35
Herausgeber: Springer, Cham, Switzerland
November 2017
| DOI: | |
| ISBN: | 978-3-319-68690-5 |
| Datei: | |
64.
Krieter,
Sebastian;
Pinnecke,
Marcus;
Kr眉ger,
Jacob;
Sprey,
Joshua;
Sontag,
Christopher;
罢丑眉尘,
Thomas;
Leich,
Thomas;
Saake,
Gunter
FeatureIDE: Empowering Third-Party Developers
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 42-45
Herausgeber: ACM, New York, NY, USA
September 2017
FeatureIDE: Empowering Third-Party Developers
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 42-45
Herausgeber: ACM, New York, NY, USA
September 2017
| DOI: | |
| ISBN: | 978-1-4503-5119-5 |
| Datei: | |
63.
Kn眉ppel,
Alexander;
罢丑眉尘,
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), Seite 291-302
Herausgeber: 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), Seite 291-302
Herausgeber: ACM, New York, NY, USA
September 2017
| DOI: | |
| ISBN: | 978-1-4503-5105-8 |
| Datei: | |
62.
Kowal,
Matthias;
Ananieva,
Sofia;
罢丑眉尘,
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
Juli 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
Juli 2017
ISSN: 2405-8963
| DOI: | |
| Datei: | |
61.
Al-Hajjaji,
Mustafa;
Lity,
Sascha;
Lachmann,
Remo;
罢丑眉尘,
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), Seite 34-40
Herausgeber: IEEE, Piscataway, NJ, USA
Mai 2017
Delta-Oriented Product Prioritization for Similarity-Based Product-Line Testing
Proc. Int'l Workshop on Variability and Complexity in Software Design (VACE), Seite 34-40
Herausgeber: IEEE, Piscataway, NJ, USA
Mai 2017
| DOI: | |
| ISBN: | 978-1-5386-2803-4 |
| Datei: | |
60.
Schr枚ter,
Reimar;
Krieter,
Sebastian;
罢丑眉尘,
Thomas;
Benduhn,
Fabian;
Saake,
Gunter
Compositional Analyses of Highly-Configurable Systems With Feature-Model Interfaces
Proc. Software Engineering (SE), Seite 129-130
Herausgeber: Gesellschaft f眉r Informatik
Februar 2017
Compositional Analyses of Highly-Configurable Systems With Feature-Model Interfaces
Proc. Software Engineering (SE), Seite 129-130
Herausgeber: Gesellschaft f眉r Informatik
Februar 2017
| ISBN: | 978-3-88579-661-9 |
| Datei: | |
59.
Meinicke,
Jens;
罢丑眉尘,
Thomas;
Schr枚ter,
Reimar;
Benduhn,
Fabian;
Leich,
Thomas;
Saake,
Gunter
Mastering Software Variability With FeatureIDE
Herausgeber: Springer, Berlin, Heidelberg
2017
Mastering Software Variability With FeatureIDE
Herausgeber: Springer, Berlin, Heidelberg
2017
| DOI: | |
| ISBN: | 978-3-319-61442-7 |
58.
Lity,
Sascha;
Al-Hajjaji,
Mustafa;
罢丑眉尘,
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), Seite 60-67
Herausgeber: ACM, New York, NY, USA
Januar 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), Seite 60-67
Herausgeber: ACM, New York, NY, USA
Januar 2017
| DOI: | |
| ISBN: | 978-1-4503-4811-9 |
| Datei: | |
2016
57.
Kowal,
Matthias;
Ananieva,
Sofia;
罢丑眉尘,
Thomas
Explaining Anomalies in Feature Models
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Seite 132-143
Herausgeber: ACM, New York, NY, USA
Oktober 2016
Explaining Anomalies in Feature Models
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Seite 132-143
Herausgeber: ACM, New York, NY, USA
Oktober 2016
| DOI: | |
| ISBN: | 978-1-4503-4446-3 |
| Datei: | |
56.
Ananieva,
Sofia;
Kowal,
Matthias;
罢丑眉尘,
Thomas;
Schaefer,
Ina
Implicit Constraints in Partial Feature Models
Proc. Int'l Workshop on Feature-Oriented Software Development (FOSD), Seite 18-27
Herausgeber: ACM, New York, NY, USA
Oktober 2016
Implicit Constraints in Partial Feature Models
Proc. Int'l Workshop on Feature-Oriented Software Development (FOSD), Seite 18-27
Herausgeber: ACM, New York, NY, USA
Oktober 2016
| DOI: | |
| ISBN: | 978-1-4503-4647-4 |
| Datei: | |
55.
Al-Hajjaji,
Mustafa;
Krieter,
Sebastian;
罢丑眉尘,
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), Seite 144-155
Herausgeber: ACM, New York, NY, USA
Oktober 2016
IncLing: Efficient Product-line Testing Using Incremental Pairwise Sampling
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Seite 144-155
Herausgeber: ACM, New York, NY, USA
Oktober 2016
| DOI: | |
| ISBN: | 978-1-4503-4446-3 |
| Datei: | |
54.
Holthusen,
S枚nke;
Nieke,
Michael;
罢丑眉尘,
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), Seite 839-855
Herausgeber: Springer, Berlin, Heidelberg
Oktober 2016
Proof-Carrying Apps: Contract-Based Deployment-Time Verification
Proc. Int'l Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Seite 839-855
Herausgeber: Springer, Berlin, Heidelberg
Oktober 2016
| DOI: | |
| ISBN: | 978-3-319-47166-2 |
| Datei: | |
53.
罢丑眉尘,
Thomas
Spezifikation und Verifikation von Produktlinien mit Feature-orientierten Vertr盲gen
Ausgezeichnete Informatikdissertationen 2015, Seite 299-308
Herausgeber: Gesellschaft f眉r Informatik, Bonn, Germany
Oktober 2016
Spezifikation und Verifikation von Produktlinien mit Feature-orientierten Vertr盲gen
Ausgezeichnete Informatikdissertationen 2015, Seite 299-308
Herausgeber: Gesellschaft f眉r Informatik, Bonn, Germany
Oktober 2016
| Datei: | |
52.
Al-Hajjaji,
Mustafa;
Meinicke,
Jens;
Krieter,
Sebastian;
Schr枚ter,
Reimar;
罢丑眉尘,
Thomas;
Leich,
Thomas;
Saake,
Gunter
Tool Demo: Testing Configurable Systems With FeatureIDE
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Seite 173-177
Herausgeber: ACM, New York, NY, USA
Oktober 2016
Tool Demo: Testing Configurable Systems With FeatureIDE
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Seite 173-177
Herausgeber: ACM, New York, NY, USA
Oktober 2016
| DOI: | |
| ISBN: | 978-1-4503-4446-3 |
| Datei: | |
51.
罢丑眉尘,
Thomas;
Leich,
Thomas;
Krieter,
Sebastian
Clean Your Variable Code With FeatureIDE
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 308-308
Herausgeber: ACM, New York, NY, USA
September 2016
Clean Your Variable Code With FeatureIDE
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 308-308
Herausgeber: ACM, New York, NY, USA
September 2016
| DOI: | |
| ISBN: | 978-1-4503-4050-2 |
| Datei: | |
50.
Krieter,
Sebastian;
Schr枚ter,
Reimar;
罢丑眉尘,
Thomas;
Fenske,
Wolfram;
Saake,
Gunter
Comparing Algorithms for Efficient Feature-Model Slicing
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 60-64
Herausgeber: ACM, New York, NY, USA
September 2016
Comparing Algorithms for Efficient Feature-Model Slicing
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 60-64
Herausgeber: ACM, New York, NY, USA
September 2016
| DOI: | |
| ISBN: | 978-1-4503-4050-2 |
| Datei: | |
49.
Meinicke,
Jens;
Wong,
Chu-Pan;
K盲stner,
Christian;
罢丑眉尘,
Thomas;
Saake,
Gunter
On Essential Configuration Complexity: Measuring Interactions in Highly-Configurable Systems
Proc. Int'l Conf. on Automated Software Engineering (ASE), Seite 483-494
Herausgeber: 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), Seite 483-494
Herausgeber: ACM, New York, NY, USA
September 2016
| DOI: | |
| ISBN: | 978-1-4503-3845-5 |
| Datei: | |
48.
Pfofe,
Tristan;
罢丑眉尘,
Thomas;
Schulze,
Sandro;
Fenske,
Wolfram;
Schaefer,
Ina
Synchronizing Software Variants With VariantSync
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 329-332
Herausgeber: ACM, New York, NY, USA
September 2016
Synchronizing Software Variants With VariantSync
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 329-332
Herausgeber: ACM, New York, NY, USA
September 2016
| DOI: | |
| ISBN: | 978-1-4503-4050-2 |
| Datei: | |
47.
Kowal,
Matthias;
Ananieva,
Sofia;
罢丑眉尘,
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
| Datei: | |
46.
Lity,
Sascha;
Morbach,
Thomas;
罢丑眉尘,
Thomas;
Schaefer,
Ina
Applying Incremental Model Slicing to Product-Line Regression Testing
Proc. Int'l Conf. on Software Reuse (ICSR), Seite 3-19
Herausgeber: Springer, Berlin, Heidelberg
Juni 2016
Applying Incremental Model Slicing to Product-Line Regression Testing
Proc. Int'l Conf. on Software Reuse (ICSR), Seite 3-19
Herausgeber: Springer, Berlin, Heidelberg
Juni 2016
| DOI: | |
| ISBN: | 978-3-319-35122-3 |
| Datei: | |
45.
Schink,
Hagen;
Siegmund,
Janet;
Schr枚ter,
Reimar;
罢丑眉尘,
Thomas;
Saake,
Gunter
A Study on Tool Support for Refactoring in Database Applications
Softwaretechnik-Trends
Mai 2016
ISSN: 0720-8928
A Study on Tool Support for Refactoring in Database Applications
Softwaretechnik-Trends
Mai 2016
ISSN: 0720-8928
| Datei: | |
44.
Schr枚ter,
Reimar;
Krieter,
Sebastian;
罢丑眉尘,
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), Seite 667-678
Herausgeber: ACM, New York, NY, USA
Mai 2016
Feature-Model Interfaces: The Highway to Compositional Analyses of Highly-Configurable Systems
Proc. Int'l Conf. on Software Engineering (ICSE), Seite 667-678
Herausgeber: ACM, New York, NY, USA
Mai 2016
| DOI: | |
| ISBN: | 978-1-4503-3900-1 |
| Datei: | |
43.
Meinicke,
Jens;
罢丑眉尘,
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), Seite 629-632
Herausgeber: ACM, New York, NY, USA
Mai 2016
FeatureIDE: Taming the Preprocessor Wilderness
Proc. Int'l Conf. on Software Engineering (ICSE), Seite 629-632
Herausgeber: ACM, New York, NY, USA
Mai 2016
| DOI: | |
| ISBN: | 978-1-4503-4205-6 |
| Datei: | |
42.
Krieter,
Sebastian;
Schr枚ter,
Reimar;
罢丑眉尘,
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
| Datei: | |
41.
Al-Hajjaji,
Mustafa;
Benduhn,
Fabian;
罢丑眉尘,
Thomas;
Leich,
Thomas;
Saake,
Gunter
Mutation Operators for Preprocessor-Based Variability
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 81-88
Herausgeber: ACM, New York, NY, USA
Januar 2016
Mutation Operators for Preprocessor-Based Variability
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 81-88
Herausgeber: ACM, New York, NY, USA
Januar 2016
| DOI: | |
| ISBN: | 978-1-4503-4019-9 |
| Datei: | |
40.
Rhein,
Alexander;
罢丑眉尘,
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
Januar 2016
ISSN: 2352-2208
Variability Encoding: From Compile-Time to Load-Time Variability
J. Logic and Algebraic Methods in Programming (JLAMP) :125-145
Januar 2016
ISSN: 2352-2208
| DOI: | |
| Datei: | |
39.
罢丑眉尘,
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), Seite 97-104
Herausgeber: ACM, New York, NY, USA
Januar 2016
Variability Hiding in Contracts for Dependent Software Product Lines
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 97-104
Herausgeber: ACM, New York, NY, USA
Januar 2016
| DOI: | |
| ISBN: | 978-1-4503-4019-9 |
| Datei: | |
2015
38.
Ochoa,
Lina;
Gonzalez-Rojas,
Oscar;
罢丑眉尘,
Thomas
Using Decision Rules for Solving Conflicts in Extended Feature Models
Proc. Int'l Conf. on Software Language Engineering (SLE), Seite 149-160
Herausgeber: ACM, New York, NY, USA
Oktober 2015
Using Decision Rules for Solving Conflicts in Extended Feature Models
Proc. Int'l Conf. on Software Language Engineering (SLE), Seite 149-160
Herausgeber: ACM, New York, NY, USA
Oktober 2015
| ISBN: | 978-1-4503-3686-4 |
| Datei: | |
37.
Schr枚ter,
Reimar;
Krieter,
Sebastian;
罢丑眉尘,
Thomas;
Benduhn,
Fabian;
Saake,
Gunter
Feature-Model Interfaces for Compositional Analyses
Germany
Technical Report FIN-001-2015
Mai 2015
Feature-Model Interfaces for Compositional Analyses
Germany
Technical Report FIN-001-2015
Mai 2015
| Datei: | |
36.
罢丑眉尘,
Thomas;
Apel,
Sven;
K盲stner,
Christian;
Schaefer,
Ina;
Saake,
Gunter
Analysis Strategies for Software Product Lines: A Classification and Survey
Proc. Software Engineering (SE), Seite 57-58
Herausgeber: Gesellschaft f眉r Informatik, Bonn, Germany
M盲rz 2015
Analysis Strategies for Software Product Lines: A Classification and Survey
Proc. Software Engineering (SE), Seite 57-58
Herausgeber: Gesellschaft f眉r Informatik, Bonn, Germany
M盲rz 2015
| ISBN: | 978-3-88579-633-6 |
| Datei: | |
35.
罢丑眉尘,
Thomas
Product-Line Specification and Verification With Feature-Oriented Contracts
University of Magdeburg, Germany
Februar 2015
Product-Line Specification and Verification With Feature-Oriented Contracts
University of Magdeburg, Germany
Februar 2015
| Datei: | |
34.
Benduhn,
Fabian;
罢丑眉尘,
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), Seite 80:80-80:87
Herausgeber: ACM, New York, NY, USA
Januar 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), Seite 80:80-80:87
Herausgeber: ACM, New York, NY, USA
Januar 2015
| DOI: | |
| ISBN: | 978-1-4503-3273-6 |
| Datei: | |
2014
33.
Meinicke,
Jens;
罢丑眉尘,
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), Seite 94-101
Herausgeber: 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), Seite 94-101
Herausgeber: ACM, New York, NY, USA
September 2014
| DOI: | |
| ISBN: | 978-1-4503-2739-8 |
| Datei: | |
32.
Schr枚ter,
Reimar;
Siegmund,
Norbert;
罢丑眉尘,
Thomas;
Saake,
Gunter
Feature-Context Interfaces: Tailored Programming Interfaces for Software Product Lines
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 102-111
Herausgeber: 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), Seite 102-111
Herausgeber: ACM, New York, NY, USA
September 2014
| DOI: | |
| ISBN: | 978-1-4503-2740-4 |
| Datei: | |
31.
罢丑眉尘,
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), Seite 177-186
Herausgeber: 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), Seite 177-186
Herausgeber: ACM, New York, NY, USA
September 2014
| DOI: | |
| ISBN: | 978-1-4503-2740-4 |
| Datei: | |
30.
Al-Hajjaji,
Mustafa;
罢丑眉尘,
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), Seite 197-206
Herausgeber: 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), Seite 197-206
Herausgeber: ACM, New York, NY, USA
September 2014
| DOI: | |
| ISBN: | 978-1-4503-2740-4 |
| Datei: | |
29.
罢丑眉尘,
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
Juni 2014
Herausgeber: ACM
ISSN: 0360-0300
A Classification and Survey of Analysis Strategies for Software Product Lines
ACM Computing Surveys (CSUR) :6:1-6:45
Juni 2014
Herausgeber: ACM
ISSN: 0360-0300
| DOI: | |
| Datei: | |
28.
Rebelo,
Henrique;
Leavens,
Gary T.;
Bagherzadeh,
Mehdi;
Rajan,
Hridesh;
Lima,
Ricardo;
Zimmerman,
Daniel M.;
Cornelio,
Marcio;
罢丑眉尘,
Thomas
AspectJML: Modular Specification and Runtime Checking for Crosscutting Contracts
Proc. Int'l Conf. on Aspect-Oriented Software Development (AOSD), Seite 157-168
Herausgeber: 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), Seite 157-168
Herausgeber: ACM, New York, NY, USA
April 2014
| DOI: | |
| ISBN: | 978-1-4503-2772-5 |
| Datei: | |
27.
Rebelo,
Henrique;
Leavens,
Gary T.;
Bagherzadeh,
Mehdi;
Rajan,
Hridesh;
Lima,
Ricardo;
Zimmerman,
Daniel M.;
Cornelio,
Marcio;
罢丑眉尘,
Thomas
Modularizing Crosscutting Contracts With AspectJML
Proc. Int'l Conf. on Aspect-Oriented Software Development (AOSD), Seite 21-24
Herausgeber: ACM, New York, NY, USA
April 2014
Modularizing Crosscutting Contracts With AspectJML
Proc. Int'l Conf. on Aspect-Oriented Software Development (AOSD), Seite 21-24
Herausgeber: ACM, New York, NY, USA
April 2014
| DOI: | |
| ISBN: | 978-1-4503-2772-5 |
| Datei: | |
26.
罢丑眉尘,
Thomas
Modular Reasoning for Crosscutting Concerns With Contracts
Proc. Software Engineering (SE), Seite 65-66
Herausgeber: Gesellschaft f眉r Informatik, Bonn, Germany
Februar 2014
Modular Reasoning for Crosscutting Concerns With Contracts
Proc. Software Engineering (SE), Seite 65-66
Herausgeber: Gesellschaft f眉r Informatik, Bonn, Germany
Februar 2014
| ISBN: | 978-388579-621-3 |
| Datei: | |
25.
Fenske,
Wolfram;
罢丑眉尘,
Thomas;
Saake,
Gunter
A Taxonomy of Software Product Line Reengineering
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 4:1-4:8
Herausgeber: ACM, New York, NY, USA
Januar 2014
A Taxonomy of Software Product Line Reengineering
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 4:1-4:8
Herausgeber: ACM, New York, NY, USA
Januar 2014
| DOI: | |
| ISBN: | 978-1-4503-2556-1 |
| Datei: | |
24.
罢丑眉尘,
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
Januar 2014
ISSN: 0167-6423
FeatureIDE: An Extensible Framework for Feature-Oriented Software Development
Science of Computer Programming (SCP) :70-85
Januar 2014
ISSN: 0167-6423
| DOI: | |
| Datei: | |
2013
23.
Siegmund,
Janet;
罢丑眉尘,
Thomas;
Schulze,
Sandro;
J眉rgens,
Elmar
Agile Methoden im Softwareprojekt
Jahrestagung der Gesellschaft f眉r Informatik, Seite 234
Herausgeber: Gesellschaft f眉r Informatik
September 2013
Agile Methoden im Softwareprojekt
Jahrestagung der Gesellschaft f眉r Informatik, Seite 234
Herausgeber: Gesellschaft f眉r Informatik
September 2013
| ISBN: | 978-3-88579-614-5 |
| Datei: | |
22.
Rebelo,
Henrique;
Leavens,
Gary T.;
Bagherzadeh,
Mehdi;
Rajan,
Hridesh;
Lima,
Ricardo;
Zimmerman,
Daniel M.;
Cornelio,
Marcio;
罢丑眉尘,
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
| Datei: | |
21.
Apel,
Sven;
Rhein,
Alexander;
罢丑眉尘,
Thomas;
K盲stner,
Christian
Feature-Interaction Detection Based on Feature-Based Specifications
Computer Networks :2399-2409
August 2013
Herausgeber: Elsevier North-Holland, Inc.
ISSN: 1389-1286
Feature-Interaction Detection Based on Feature-Based Specifications
Computer Networks :2399-2409
August 2013
Herausgeber: Elsevier North-Holland, Inc.
ISSN: 1389-1286
| DOI: | |
| Datei: | |
20.
Schr枚ter,
Reimar;
Siegmund,
Norbert;
罢丑眉尘,
Thomas
Towards Modular Analysis of Multi Product Lines
Proc. Int'l Workshop on Multi Product Line Engineering (MultiPLE), Seite 96-99
Herausgeber: ACM, New York, NY, USA
August 2013
Towards Modular Analysis of Multi Product Lines
Proc. Int'l Workshop on Multi Product Line Engineering (MultiPLE), Seite 96-99
Herausgeber: ACM, New York, NY, USA
August 2013
| DOI: | |
| ISBN: | 978-1-4503-2325-3 |
| Datei: | |
19.
罢丑眉尘,
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), Seite 1-8
Herausgeber: ACM, New York, NY, USA
Juli 2013
Subclack: Feature-Oriented Programming With Behavioral Feature Interfaces
Proc. Workshop on MechAnisms for SPEcialization, Generalization and inHerItance (MASPEGHI), Seite 1-8
Herausgeber: ACM, New York, NY, USA
Juli 2013
| DOI: | |
| ISBN: | 978-1-4503-2046-7 |
| Datei: | |
18.
Schr枚ter,
Reimar;
罢丑眉尘,
Thomas;
Siegmund,
Norbert;
Saake,
Gunter
Automated Analysis of Dependent Feature Models
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 9:1-9:5
Herausgeber: ACM, New York, NY, USA
Januar 2013
Automated Analysis of Dependent Feature Models
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 9:1-9:5
Herausgeber: ACM, New York, NY, USA
Januar 2013
| DOI: | |
| ISBN: | 978-1-4503-1541-8 |
| Datei: | |
17.
Rhein,
Alexander;
Apel,
Sven;
K盲stner,
Christian;
罢丑眉尘,
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), Seite 14:1-14:8
Herausgeber: ACM, New York, NY, USA
Januar 2013
The PLA Model: On the Combination of Product-Line Analyses
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 14:1-14:8
Herausgeber: ACM, New York, NY, USA
Januar 2013
| DOI: | |
| ISBN: | 978-1-4503-1541-8 |
| Datei: | |
2012
16.
罢丑眉尘,
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), Seite 11-20
Herausgeber: 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), Seite 11-20
Herausgeber: ACM, New York, NY, USA
September 2012
| DOI: | |
| ISBN: | 978-1-4503-1129-8 |
| Datei: | |
15.
K盲stner,
Christian;
Apel,
Sven;
罢丑眉尘,
Thomas;
Saake,
Gunter
Type Checking Annotation-Based Product Lines
Trans. on Software Engineering and Methodology (TOSEM) :14:1-14:39
Juli 2012
Herausgeber: ACM
ISSN: 1049-331X
Type Checking Annotation-Based Product Lines
Trans. on Software Engineering and Methodology (TOSEM) :14:1-14:39
Juli 2012
Herausgeber: ACM
ISSN: 1049-331X
| DOI: | |
| Datei: | |
14.
罢丑眉尘,
Thomas
Verification of Software Product Lines Using Contracts
Doktorandentagung Magdeburger-Informatik-Tage (MIT), Seite 75-82
Herausgeber: University of Magdeburg, Germany
Juli 2012
Verification of Software Product Lines Using Contracts
Doktorandentagung Magdeburger-Informatik-Tage (MIT), Seite 75-82
Herausgeber: University of Magdeburg, Germany
Juli 2012
| ISBN: | 978-3-940961-73-0 |
| Datei: | |
13.
罢丑眉尘,
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
| Datei: | |
12.
罢丑眉尘,
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), Seite 255-269
Herausgeber: Springer, Berlin, Heidelberg
M盲rz 2012
Applying Design by Contract to Feature-Oriented Programming
Proc. Int'l Conf. on Fundamental Approaches to Software Engineering (FASE), Seite 255-269
Herausgeber: Springer, Berlin, Heidelberg
M盲rz 2012
| DOI: | |
| ISBN: | 978-3-642-28871-5 |
| Datei: | |
11.
罢丑眉尘,
Thomas;
Schulze,
Sandro;
Pukall,
Mario;
Saake,
Gunter;
G眉nther,
Sebastian
Secure and Customizable Data Management for Automotive Systems: A Feasibility Study
ISRN Software Engineering
M盲rz 2012
Secure and Customizable Data Management for Automotive Systems: A Feasibility Study
ISRN Software Engineering
M盲rz 2012
| DOI: | |
| Datei: | |
10.
罢丑眉尘,
Thomas;
Benduhn,
Fabian
Entwicklung von Softwarevarianten mit FeatureIDE
Eclipse Magazin :94-97
Januar 2012
Entwicklung von Softwarevarianten mit FeatureIDE
Eclipse Magazin :94-97
Januar 2012
2011
9.
罢丑眉尘,
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
| Datei: | |
8.
罢丑眉尘,
Thomas;
K盲stner,
Christian;
Erdweg,
Sebastian;
Siegmund,
Norbert
Abstract Features in Feature Modeling
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 191-200
Herausgeber: IEEE, Washington, DC, USA
August 2011
Abstract Features in Feature Modeling
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Seite 191-200
Herausgeber: IEEE, Washington, DC, USA
August 2011
| DOI: | |
| ISBN: | 978-0-7695-4487-8 |
| Datei: | |
7.
Scholz,
Wolfgang;
罢丑眉尘,
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), Seite 7:1-7:8
Herausgeber: 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), Seite 7:1-7:8
Herausgeber: ACM, New York, NY, USA
August 2011
| DOI: | |
| ISBN: | 978-1-4503-0789-5 |
| Datei: | |
6.
罢丑眉尘,
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), Seite 270-277
Herausgeber: IEEE, Washington, DC, USA
M盲rz 2011
Proof Composition for Deductive Verification of Software Product Lines
Proc. Int'l Workshop on Variability-Intensive Systems Testing, Validation and Verification (VAST), Seite 270-277
Herausgeber: IEEE, Washington, DC, USA
M盲rz 2011
| DOI: | |
| Datei: | |
5.
Rosenm眉ller,
Marko;
Siegmund,
Norbert;
罢丑眉尘,
Thomas;
Saake,
Gunter
Multi-Dimensional Variability Modeling
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 11-22
Herausgeber: ACM, New York, NY, USA
Januar 2011
Multi-Dimensional Variability Modeling
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Seite 11-22
Herausgeber: ACM, New York, NY, USA
Januar 2011
| Datei: | |
2010
4.
罢丑眉尘,
Thomas
A Machine-Checked Proof for a Product-Line-Aware Type System
Master's Thesis
University of Magdeburg, Germany
Januar 2010
A Machine-Checked Proof for a Product-Line-Aware Type System
Master's Thesis
University of Magdeburg, Germany
Januar 2010
| Datei: | |
2009
3.
K盲stner,
Christian;
罢丑眉尘,
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), Seite 611-614
Herausgeber: IEEE, Washington, DC, USA
Mai 2009
FeatureIDE: A Tool Framework for Feature-Oriented Software Development
Proc. Int'l Conf. on Software Engineering (ICSE), Seite 611-614
Herausgeber: IEEE, Washington, DC, USA
Mai 2009
| DOI: | |
| Datei: | |
2.
罢丑眉尘,
Thomas;
Batory,
Don;
K盲stner,
Christian
Reasoning About Edits to Feature Models
Proc. Int'l Conf. on Software Engineering (ICSE), Seite 254-264
Herausgeber: IEEE, Washington, DC, USA
Mai 2009
Reasoning About Edits to Feature Models
Proc. Int'l Conf. on Software Engineering (ICSE), Seite 254-264
Herausgeber: IEEE, Washington, DC, USA
Mai 2009
| DOI: | |
| ISBN: | 978-1-4244-3453-4 |
| Datei: | |
2008
1.
罢丑眉尘,
Thomas
Reasoning About Feature Model Edits
Bachelor's Thesis
University of Magdeburg, Germany
Juni 2008
Reasoning About Feature Model Edits
Bachelor's Thesis
University of Magdeburg, Germany
Juni 2008
| Datei: | |
2024
86.
Semmler,
Sean
Domain-Specific Variable Ordering for Compiling Binary Decision Diagrams from Feature Models
Bachelor's Thesis
University of Ulm, Germany
Juni 2024
Domain-Specific Variable Ordering for Compiling Binary Decision Diagrams from Feature Models
Bachelor's Thesis
University of Ulm, Germany
Juni 2024
85.
Berlinger,
Simon
Automated Repair of Feature Model Defects in FeatureIDE
Bachelor's Thesis
University of Ulm, Germany
Mai 2024
Automated Repair of Feature Model Defects in FeatureIDE
Bachelor's Thesis
University of Ulm, Germany
Mai 2024
84.
F枚rster,
Pascal
Efficient Analysis of Indeterminate Hidden Features
Master's Thesis
University of Ulm, Germany
Mai 2024
Efficient Analysis of Indeterminate Hidden Features
Master's Thesis
University of Ulm, Germany
Mai 2024
83.
Riesland,
Jonathan
Optimizing T-Wise Sampling on d-DNNFs with Objective Functions
Bachelor's Thesis
University of Ulm, Germany
Januar 2024
Optimizing T-Wise Sampling on d-DNNFs with Objective Functions
Bachelor's Thesis
University of Ulm, Germany
Januar 2024
2023
82.
Dunkel,
Raphael
One Solver to Rule All Feature Models - Or Not? Addressing the Algorithm Selection Problem for #SAT
Bachelor's Thesis
University of Ulm, Germany
Dezember 2023
One Solver to Rule All Feature Models - Or Not? Addressing the Algorithm Selection Problem for #SAT
Bachelor's Thesis
University of Ulm, Germany
Dezember 2023
81.
Raab,
Heiko
Incrementally Adapting d-DNNFs to Cope with Feature-Model Evolution
Master's Thesis
University of Ulm, Germany
November 2023
Incrementally Adapting d-DNNFs to Cope with Feature-Model Evolution
Master's Thesis
University of Ulm, Germany
November 2023
| DOI: |
80.
Loth,
Jacob
Projected d-DNNF Compilation for Feature Models
Master's Thesis
University of Ulm, Germany
November 2023
Projected d-DNNF Compilation for Feature Models
Master's Thesis
University of Ulm, Germany
November 2023
79.
Schmid,
Clemens
Parameterizations for Approximate #SAT Solvers
Bachelor's Thesis
University of Ulm, Germany
Oktober 2023
Parameterizations for Approximate #SAT Solvers
Bachelor's Thesis
University of Ulm, Germany
Oktober 2023
78.
Arens,
Rahel
Product-Line Sampling of Field Configurations
Master's Thesis
University of Ulm, Germany
Oktober 2023
Product-Line Sampling of Field Configurations
Master's Thesis
University of Ulm, Germany
Oktober 2023
| DOI: | |
| Datei: | |
77.
Schiessle,
Pascal
Repairing Samples After Feature-Model Evolution
Master's Thesis
University of Ulm, Germany
Oktober 2023
Repairing Samples After Feature-Model Evolution
Master's Thesis
University of Ulm, Germany
Oktober 2023
76.
Karrer,
Simon
Interactive Product Configuration for Multiple Feature-Model Versions
Master's Thesis
University of Ulm, Germany
Juli 2023
Interactive Product Configuration for Multiple Feature-Model Versions
Master's Thesis
University of Ulm, Germany
Juli 2023
75.
Betz,
Tobias
Analyzing Feature-Model Histories With Binary Decision Diagrams
Master's Thesis
University of Ulm, Germany
Mai 2023
Analyzing Feature-Model Histories With Binary Decision Diagrams
Master's Thesis
University of Ulm, Germany
Mai 2023
| DOI: | |
| Datei: | |
74.
Sehlen,
Till
Evaluating the Efficiency of Hybrid CNF Transformations for Feature-Model Formulas
Master's Thesis
University of Magdeburg, Germany
Mai 2023
Evaluating the Efficiency of Hybrid CNF Transformations for Feature-Model Formulas
Master's Thesis
University of Magdeburg, Germany
Mai 2023
73.
Klassen,
Jasmin
Localizing Faulty Feature Interactions Using Data Mining Techniques
Master's Thesis
University of Ulm, Germany
Mai 2023
Localizing Faulty Feature Interactions Using Data Mining Techniques
Master's Thesis
University of Ulm, Germany
Mai 2023
72.
Moosherr,
Benjamin
Constructing Variation Diffs Using Tree Diffing Algorithms
Bachelor's Thesis
University of Ulm, Germany
April 2023
Constructing Variation Diffs Using Tree Diffing Algorithms
Bachelor's Thesis
University of Ulm, Germany
April 2023
| DOI: | |
| Datei: | |
71.
Klier,
Daniel
Hashing Strategies for Concurrent Building of Binary Decision Diagrams
Bachelor's Thesis
University of Ulm, Germany
Februar 2023
Hashing Strategies for Concurrent Building of Binary Decision Diagrams
Bachelor's Thesis
University of Ulm, Germany
Februar 2023
70.
Licha,
Lars
Cutting Edge T-Wise Sampling With ddnnife
Bachelor's Thesis
University of Ulm, Germany
Januar 2023
Cutting Edge T-Wise Sampling With ddnnife
Bachelor's Thesis
University of Ulm, Germany
Januar 2023
69.
G眉thing,
Lukas
Inspecting the Evolution of Feature Annotations in Configurable Software
Master's Thesis
University of Ulm, Germany
Januar 2023
Inspecting the Evolution of Feature Annotations in Configurable Software
Master's Thesis
University of Ulm, Germany
Januar 2023
68.
Langenbucher,
Eric
The Impact of Static Variable Ordering on Building BDDs for Real-World Feature Models
Master's Thesis
University of Ulm, Germany
Januar 2023
The Impact of Static Variable Ordering on Building BDDs for Real-World Feature Models
Master's Thesis
University of Ulm, Germany
Januar 2023
2022
67.
Ostheimer,
Lukas
Identification of Variance Driving Features in Feature Models
Bachelor's Thesis
University of Ulm, Germany
Dezember 2022
Identification of Variance Driving Features in Feature Models
Bachelor's Thesis
University of Ulm, Germany
Dezember 2022
66.
Brancaccio,
Vincenzo
A Systematic Literature Review Towards a Representative Feature-Model Benchmark
Master's Thesis
University of Ulm, Germany
November 2022
A Systematic Literature Review Towards a Representative Feature-Model Benchmark
Master's Thesis
University of Ulm, Germany
November 2022
| DOI: |
65.
Vill,
Stefan
Language Levels for the Universal Variability Language: An Extension Mechanism and Conversion Strategies
Bachelor's Thesis
University of Ulm, Germany
November 2022
Language Levels for the Universal Variability Language: An Extension Mechanism and Conversion Strategies
Bachelor's Thesis
University of Ulm, Germany
November 2022
| DOI: | |
| Datei: | |
64.
B枚hm,
Sabrina
Identification of Feature Interactions Through Combinatorial Interaction Analysis
Master's Thesis
University of Ulm, Germany
Oktober 2022
Identification of Feature Interactions Through Combinatorial Interaction Analysis
Master's Thesis
University of Ulm, Germany
Oktober 2022
| DOI: | |
| Datei: | |
63.
Bormann,
Lukas
Reverse Engineering Feature-Aware Commits From Software Product-Line Repositories
Bachelor's Thesis
University of Ulm, Germany
Oktober 2022
Reverse Engineering Feature-Aware Commits From Software Product-Line Repositories
Bachelor's Thesis
University of Ulm, Germany
Oktober 2022
| DOI: | |
| Datei: | |
62.
Jedelhauser,
Kevin
Type-Checking Variability in Clone-and-Own Variants With Product-Line Tooling
Master's Thesis
University of Ulm, Germany
September 2022
Type-Checking Variability in Clone-and-Own Variants With Product-Line Tooling
Master's Thesis
University of Ulm, Germany
September 2022
61.
Lukas,
Marc
A Survey of BDD-Based Tools for Points-To Analysis
Bachelor's Thesis
University of Ulm, Germany
August 2022
A Survey of BDD-Based Tools for Points-To Analysis
Bachelor's Thesis
University of Ulm, Germany
August 2022
60.
Heimowski,
Yvonne
Simplifying Feature Models for Better Scalability of #SAT Solvers
Bachelor's Thesis
University of Ulm, Germany
August 2022
Simplifying Feature Models for Better Scalability of #SAT Solvers
Bachelor's Thesis
University of Ulm, Germany
August 2022
59.
Krieter,
Sebastian
Efficient Interactive and Automated Product-Line Configuration
University of Magdeburg, Germany
Juni 2022
Efficient Interactive and Automated Product-Line Configuration
University of Magdeburg, Germany
Juni 2022
| DOI: | |
| Datei: |
58.
Hohmann,
Daniel
Konfiguration von Softwareproduktlinien mit Configuring-Constraints 眉ber Feature-Attributen
Master's Thesis
University of Magdeburg, Germany
Mai 2022
Konfiguration von Softwareproduktlinien mit Configuring-Constraints 眉ber Feature-Attributen
Master's Thesis
University of Magdeburg, Germany
Mai 2022
| Datei: | |
57.
St枚rmer,
Karl
T-Wise Interaction Samples for Automotive Systems Using Solution-Space Sampling
Master's Thesis
TU Braunschweig, Germany
Mai 2022
T-Wise Interaction Samples for Automotive Systems Using Solution-Space Sampling
Master's Thesis
TU Braunschweig, Germany
Mai 2022
56.
Kittelmann,
Alexander
A Maneuver-Centric Formal Engineering Approach for Cyber-Physical Systems
TU Braunschweig, Germany
Februar 2022
A Maneuver-Centric Formal Engineering Approach for Cyber-Physical Systems
TU Braunschweig, Germany
Februar 2022
| DOI: | |
| Datei: | |
55.
Schiessl,
Dominik
An Incremental #SAT Solver for Efficient Analysis of Feature Models
Master's Thesis
University of Ulm, Germany
Januar 2022
An Incremental #SAT Solver for Efficient Analysis of Feature Models
Master's Thesis
University of Ulm, Germany
Januar 2022
54.
Raab,
Heiko
Exploiting d-DNNFs for Efficient Cardinality-Based Feature-Model Analyses
Bachelor's Thesis
University of Ulm, Germany
Januar 2022
Exploiting d-DNNFs for Efficient Cardinality-Based Feature-Model Analyses
Bachelor's Thesis
University of Ulm, Germany
Januar 2022
| DOI: | |
| Datei: | |
53.
Kistner,
Konstantin
Survey and Evaluation of Dynamic Variable Ordering Heuristics for the Construction of Binary Decision Diagrams
Bachelor's Thesis
University of Ulm, Germany
Januar 2022
Survey and Evaluation of Dynamic Variable Ordering Heuristics for the Construction of Binary Decision Diagrams
Bachelor's Thesis
University of Ulm, Germany
Januar 2022
2021
52.
Witschel,
Tim
Generating Optimized Samples With Attributed Feature Models
Master's Thesis
TU Braunschweig, Germany
November 2021
Generating Optimized Samples With Attributed Feature Models
Master's Thesis
TU Braunschweig, Germany
November 2021
| DOI: | |
| Datei: | |
51.
Tschada,
Marcel
Generating Taxonomies of Feature-Model Anomalies
Bachelor's Thesis
TU Braunschweig, Germany
September 2021
Generating Taxonomies of Feature-Model Anomalies
Bachelor's Thesis
TU Braunschweig, Germany
September 2021
50.
Netzer,
Timo
Development of a Parallelized BDD Library in Rust
Bachelor's Thesis
University of Ulm, Germany
Juli 2021
Development of a Parallelized BDD Library in Rust
Bachelor's Thesis
University of Ulm, Germany
Juli 2021
| DOI: | |
| Datei: | |
49.
Young,
Jeffrey M.
Variational Satisfiability Solving (PhD Thesis)
Oregon State University, USA
Juni 2021
Variational Satisfiability Solving (PhD Thesis)
Oregon State University, USA
Juni 2021
| Datei: |
48.
Viegener,
S枚ren
Empirical Evaluation of Feature Trace Recording on the Edit History of Marlin
Bachelor's Thesis
University of Ulm, Germany
April 2021
Empirical Evaluation of Feature Trace Recording on the Edit History of Marlin
Bachelor's Thesis
University of Ulm, Germany
April 2021
| DOI: | |
| Datei: | |
47.
Witschel,
Tim
Analyzing Sampling Stability of Highly Configurable Systems
Project Thesis
TU Braunschweig, Germany
M盲rz 2021
Analyzing Sampling Stability of Highly Configurable Systems
Project Thesis
TU Braunschweig, Germany
M盲rz 2021
| DOI: | |
| Datei: | |
46.
Arens,
Rahel
Incremental Construction of Modal Implication Graphs for Feature-Model Evolution
Bachelor's Thesis
TU Braunschweig, Germany
Januar 2021
Incremental Construction of Modal Implication Graphs for Feature-Model Evolution
Bachelor's Thesis
TU Braunschweig, Germany
Januar 2021
| DOI: | |
| Datei: | |
2020
45.
He脽,
Tobias
Binary Decision Diagrams for the Analysis of Large Feature Models
Master's Thesis
University of Ulm, Germany
November 2020
Binary Decision Diagrams for the Analysis of Large Feature Models
Master's Thesis
University of Ulm, Germany
November 2020
44.
Mund,
Niklas
Continuous T-Wise Coverage
Master's Thesis
TU Braunschweig, Germany
Oktober 2020
Continuous T-Wise Coverage
Master's Thesis
TU Braunschweig, Germany
Oktober 2020
43.
Sundermann,
Chico
Applications of #SAT Solvers on Product Lines
Master's Thesis
TU Braunschweig, Germany
August 2020
Applications of #SAT Solvers on Product Lines
Master's Thesis
TU Braunschweig, Germany
August 2020
| DOI: | |
| Datei: | |
42.
Sprey,
Joshua
Automated Comparison of Product Sampling Algorithms
Master's Thesis
TU Braunschweig, Germany
August 2020
Automated Comparison of Product Sampling Algorithms
Master's Thesis
TU Braunschweig, Germany
August 2020
| DOI: | |
| Datei: | |
41.
Westphal,
Paul
Deriving Subset Software Product Lines Using Partial Configurations With FeatureIDE
Bachelor's Thesis
TU Braunschweig, Germany
August 2020
Deriving Subset Software Product Lines Using Partial Configurations With FeatureIDE
Bachelor's Thesis
TU Braunschweig, Germany
August 2020
| DOI: | |
| Datei: | |
40.
Engelhardt,
Dominik
Towards a Universal Variability Language
Master's Thesis
TU Braunschweig, Germany
August 2020
Towards a Universal Variability Language
Master's Thesis
TU Braunschweig, Germany
August 2020
| DOI: | |
| Datei: | |
39.
Bittner,
Paul Maximilian
Semi-Automated Inference of Feature Traceability During Software Development
Master's Thesis
TU Braunschweig, Germany
Februar 2020
Semi-Automated Inference of Feature Traceability During Software Development
Master's Thesis
TU Braunschweig, Germany
Februar 2020
| DOI: | |
| Datei: | |
2019
38.
Sundermann,
Chico
Evaluating #SAT-Solvers on Industrial Feature Models
Project Thesis
TU Braunschweig, Germany
Dezember 2019
Evaluating #SAT-Solvers on Industrial Feature Models
Project Thesis
TU Braunschweig, Germany
Dezember 2019
| Datei: | |
37.
Sprey,
Joshua
SMT-Based Variability Analyses in FeatureIDE (Project Thesis)
Project Thesis
TU Braunschweig, Germany
Dezember 2019
SMT-Based Variability Analyses in FeatureIDE (Project Thesis)
Project Thesis
TU Braunschweig, Germany
Dezember 2019
| Datei: | |
36.
Bittner,
Paul Maximilian
SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses (Project Thesis)
Project Thesis
TU Braunschweig, Germany
M盲rz 2019
SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses (Project Thesis)
Project Thesis
TU Braunschweig, Germany
M盲rz 2019
| Datei: | |
2018
35.
Thiele,
Nico
Re-Engineering Feature Models From Product Configurators
Master's Thesis
TU Braunschweig, Germany
November 2018
Re-Engineering Feature Models From Product Configurators
Master's Thesis
TU Braunschweig, Germany
November 2018
| DOI: | |
| Datei: | |
34.
Pett,
Tobias
Stability of Product Sampling Under Product-Line Evolution
Master's Thesis
TU Braunschweig, Germany
November 2018
Stability of Product Sampling Under Product-Line Evolution
Master's Thesis
TU Braunschweig, Germany
November 2018
| DOI: | |
| Datei: | |
33.
Sontag,
Christopher
Recording Feature Mappings During Evolution of Cloned Variants
Master's Thesis
TU Braunschweig, Germany
September 2018
Recording Feature Mappings During Evolution of Cloned Variants
Master's Thesis
TU Braunschweig, Germany
September 2018
| DOI: | |
| Datei: | |
32.
Sprey,
Joshua;
Sundermann,
Chico
Computing Attribute Ranges for Partial Configurations With JavaSMT
Bachelor's Thesis
TU Braunschweig, Germany
April 2018
Computing Attribute Ranges for Partial Configurations With JavaSMT
Bachelor's Thesis
TU Braunschweig, Germany
April 2018
| DOI: | |
| Datei: | |
2017
31.
(Burmeister),
Carsten Immanuel Pardylla
Ein Erfahrungsbericht zur Deduktiven Verifikation mit KeY
Master's Thesis
TU Braunschweig, Germany
Dezember 2017
Ein Erfahrungsbericht zur Deduktiven Verifikation mit KeY
Master's Thesis
TU Braunschweig, Germany
Dezember 2017
| DOI: | |
| Datei: | |
30.
Sontag,
Christopher
VariantSync: Automating the Synchronization of Software Variants
Project Thesis
TU Braunschweig, Germany
Dezember 2017
VariantSync: Automating the Synchronization of Software Variants
Project Thesis
TU Braunschweig, Germany
Dezember 2017
| Datei: |
29.
G眉nther,
Timo
Explaining Satisfiability Queries for Software Product Lines
Master's Thesis
TU Braunschweig, Germany
November 2017
Explaining Satisfiability Queries for Software Product Lines
Master's Thesis
TU Braunschweig, Germany
November 2017
| DOI: | |
| Datei: | |
28.
Bolle,
Stefanie
Feature-orientiertes Framing f眉r die Verifikation von Software-Produktlinien
Master's Thesis
TU Braunschweig, Germany
November 2017
Feature-orientiertes Framing f眉r die Verifikation von Software-Produktlinien
Master's Thesis
TU Braunschweig, Germany
November 2017
| DOI: | |
| Datei: | |
27.
Bolle,
Stefanie
Automating Deductive Verification of Software Product Lines
Project Thesis
TU Braunschweig, Germany
M盲rz 2017
Automating Deductive Verification of Software Product Lines
Project Thesis
TU Braunschweig, Germany
M盲rz 2017
26.
Burmeister,
Carsten Immanuel
On the Scalability of Contracting and Inlining for Deductive Verification
Project Thesis
TU Braunschweig, Germany
M盲rz 2017
On the Scalability of Contracting and Inlining for Deductive Verification
Project Thesis
TU Braunschweig, Germany
M盲rz 2017
25.
Kanning,
Frederik
Presence Condition Reasoning With Feature Model Interfaces
Master's Thesis
TU Braunschweig, Germany
Januar 2017
Presence Condition Reasoning With Feature Model Interfaces
Master's Thesis
TU Braunschweig, Germany
Januar 2017
| DOI: | |
| Datei: | |
2016
24.
G眉nther,
Timo
Visual Explanation of Defects in Feature Diagrams
Project Thesis
TU Braunschweig, Germany
Dezember 2016
Visual Explanation of Defects in Feature Diagrams
Project Thesis
TU Braunschweig, Germany
Dezember 2016
| Datei: |
23.
Ananieva,
Sofia
Explaining Defects and Identifying Dependencies in Interrelated Feature Models
Master's Thesis
TU Braunschweig, Germany
September 2016
Explaining Defects and Identifying Dependencies in Interrelated Feature Models
Master's Thesis
TU Braunschweig, Germany
September 2016
| DOI: | |
| Datei: | |
22.
Kn眉ppel,
Alexander
The Role of Complex Constraints in Feature Modeling
Master's Thesis
TU Braunschweig, Germany
Juli 2016
The Role of Complex Constraints in Feature Modeling
Master's Thesis
TU Braunschweig, Germany
Juli 2016
| DOI: | |
| Datei: | |
21.
Sontag,
Christopher
FeatFork: Feature Tracking in Preprocessor-Based Forks
Bachelor's Thesis
TU Braunschweig, Germany
Mai 2016
FeatFork: Feature Tracking in Preprocessor-Based Forks
Bachelor's Thesis
TU Braunschweig, Germany
Mai 2016
20.
Menzel,
Vasco
Metaanalyse zu Strategien f眉r die formale Verifikation von Software-Produktlinien
Master's Thesis
TU Braunschweig, Germany
Februar 2016
Metaanalyse zu Strategien f眉r die formale Verifikation von Software-Produktlinien
Master's Thesis
TU Braunschweig, Germany
Februar 2016
| Datei: | |
19.
Pfofe,
Tristan
Automating the Synchronization of Software Variants
Master's Thesis
University of Magdeburg, Germany
Januar 2016
Automating the Synchronization of Software Variants
Master's Thesis
University of Magdeburg, Germany
Januar 2016
| Datei: | |
2015
18.
Krieter,
Sebastian
Efficient Configuration of Large-Scale Feature Models Using Extended Implication Graphs
Master's Thesis
University of Magdeburg, Germany
Oktober 2015
Efficient Configuration of Large-Scale Feature Models Using Extended Implication Graphs
Master's Thesis
University of Magdeburg, Germany
Oktober 2015
| Datei: | |
2014
17.
Kr眉ger,
Stefan
Product-Line Verification With Abstract Contracts
Master's Thesis
University of Magdeburg, Germany
Dezember 2014
Product-Line Verification With Abstract Contracts
Master's Thesis
University of Magdeburg, Germany
Dezember 2014
| Datei: | |
16.
Meinicke,
Jens
VarexJ: A Variability-Aware Interpreter for Java Applications
Master's Thesis
University of Magdeburg, Germany
Dezember 2014
VarexJ: A Variability-Aware Interpreter for Java Applications
Master's Thesis
University of Magdeburg, Germany
Dezember 2014
| Datei: | |
15.
Benduhn,
Fabian
Representing Variability in Product Lines: A Survey of Modeling and Specification Techniques
Master's Thesis
University of Magdeburg, Germany
April 2014
Representing Variability in Product Lines: A Survey of Modeling and Specification Techniques
Master's Thesis
University of Magdeburg, Germany
April 2014
| Datei: | |
14.
Proksch,
Florian;
Kr眉ger,
Stefan
Tool Support for Contracts in FeatureIDE
Project Thesis
University of Magdeburg, Germany
April 2014
Tool Support for Contracts in FeatureIDE
Project Thesis
University of Magdeburg, Germany
April 2014
| Datei: | |
13.
Praast,
Matthias
Effiziente Kodierung von Variabilit盲t in Spezifikationen
Master's Thesis
University of Magdeburg, Germany
M盲rz 2014
Effiziente Kodierung von Variabilit盲t in Spezifikationen
Master's Thesis
University of Magdeburg, Germany
M盲rz 2014
| Datei: | |
2013
12.
Weigelt,
Andre
Methoden-basierte Komposition von Kontrakten in Feature-orientierter Programmierung
Bachelor's Thesis
University of Magdeburg, Germany
August 2013
Methoden-basierte Komposition von Kontrakten in Feature-orientierter Programmierung
Bachelor's Thesis
University of Magdeburg, Germany
August 2013
| Datei: | |
11.
Broneske,
David
On the Impact of Hardware on Relational Join Processing
Master's Thesis
University of Magdeburg, Germany
August 2013
On the Impact of Hardware on Relational Join Processing
Master's Thesis
University of Magdeburg, Germany
August 2013
| Datei: | |
10.
Meinicke,
Jens
JML-Based Verification for Feature-Oriented Programming
Bachelor's Thesis
University of Magdeburg, Germany
Mai 2013
JML-Based Verification for Feature-Oriented Programming
Bachelor's Thesis
University of Magdeburg, Germany
Mai 2013
| Datei: | |
9.
Luo,
Lei
Synchronisierung von Software-Varianten mit VariantSync
Master's Thesis
University of Magdeburg, Germany
Januar 2013
Synchronisierung von Software-Varianten mit VariantSync
Master's Thesis
University of Magdeburg, Germany
Januar 2013
| Datei: | |
2012
8.
Benduhn,
Fabian
Contract-Aware Feature Composition
Bachelor's Thesis
University of Magdeburg, Germany
Oktober 2012
Contract-Aware Feature Composition
Bachelor's Thesis
University of Magdeburg, Germany
Oktober 2012
| Datei: | |
7.
L眉ddecke,
Daniel
Extraktion von Feature-Modellen aus Implementierungsartefakten
Master's Thesis
University of Magdeburg, Germany
Oktober 2012
Extraktion von Feature-Modellen aus Implementierungsartefakten
Master's Thesis
University of Magdeburg, Germany
Oktober 2012
| Datei: | |
6.
Schr枚ter,
Ivonne
Modulare Integration von konfigurierbaren Transaktionsmechanismen in Cloud-basierte Datenspeichersysteme
Master's Thesis
University of Magdeburg, Germany
September 2012
Modulare Integration von konfigurierbaren Transaktionsmechanismen in Cloud-basierte Datenspeichersysteme
Master's Thesis
University of Magdeburg, Germany
September 2012
| Datei: | |
5.
Holthusen,
S枚nke
Typsicherheit in Feature-orientierten Software-Produktlinien in FeatureIDE
Master's Thesis
University of Magdeburg, Germany
Juli 2012
Typsicherheit in Feature-orientierten Software-Produktlinien in FeatureIDE
Master's Thesis
University of Magdeburg, Germany
Juli 2012
| Datei: | |
4.
Schr枚ter,
Reimar
Automatisierte Analysen der Modellierung von Multiproduktlinien in VELVET
Master's Thesis
University of Magdeburg, Germany
April 2012
Automatisierte Analysen der Modellierung von Multiproduktlinien in VELVET
Master's Thesis
University of Magdeburg, Germany
April 2012
| Datei: | |
3.
Haase,
Steffen
A Program Slicing Approach to Feature Identification in Legacy C Code
Master's Thesis
University of Magdeburg, Germany
Februar 2012
A Program Slicing Approach to Feature Identification in Legacy C Code
Master's Thesis
University of Magdeburg, Germany
Februar 2012
| Datei: | |
2011
2.
Mewes,
Christoph
Migration von Subversion nach Mercurial und Einsatz dezentraler Versionskontrolle in Unternehmen
Bachelor's Thesis
University of Magdeburg, Germany
August 2011
Migration von Subversion nach Mercurial und Einsatz dezentraler Versionskontrolle in Unternehmen
Bachelor's Thesis
University of Magdeburg, Germany
August 2011
| Datei: | |
1.
Adler,
Constanze
Optional Composition - A Solution to the Optional Feature Problem?
Master's Thesis
University of Magdeburg, Germany
Februar 2011
Optional Composition - A Solution to the Optional Feature Problem?
Master's Thesis
University of Magdeburg, Germany
Februar 2011
| Datei: | |
Prof. Dr. Thomas 罢丑眉尘
__________________Prof. Dr.__________Thomas__________罢丑眉尘_________
________________
______Professor_
_____________
__________
_______________www:____Prof. Dr. Thomas 罢丑眉尘___
_________________
______________
______ ___
______
___________
_________
___Consultation Hours:
_Wednesdays 1:00-1:30pm CET in O27-416 or
____';
});
});