叠枚丑尘,
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
218.
Sundermann,
Rahel;
叠枚丑尘,
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
217.
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
216.
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
2024
215.
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
DOI:
214.
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
DOI:
Datei:
213.
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
DOI:
212.
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
DOI:
211.
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
DOI:
ISBN:
9798400705939
Datei:
210.
He脽,
Tobias;
Karrer,
Simon;
Ostheimer,
Lukas
Multi-Version Decision Propagation for Configuring Feature Models in Space and Time
Proc. Int'l Systems and Software Product Line Conf. (SPLC),
Seite 88-92
Herausgeber:
ACM,
New York, NY, USA
September 2024
DOI:
ISBN:
9798400705939
209.
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
DOI:
ISBN:
9798400705939
208.
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
DOI:
207.
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
206.
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
DOI:
ISBN:
9798400705939
205.
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
DOI:
ISBN:
9798400706585
204.
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
DOI:
ISBN:
978-3-88579-737-1
Datei:
203.
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
DOI:
Datei:
202.
Greiner,
Sandra;
Schmid,
Klaus;
Berger,
Thorsten;
Krieter,
Sebastian;
Meixner,
Kristof
Generative AI and Software Variability - A Research Vision
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS),
Seite 71-76
Herausgeber:
ACM,
New York, NY, USA
Februar 2024
DOI:
Datei:
201.
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
DOI:
Datei:
200.
叠枚丑尘,
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
DOI:
ISBN:
9798400708770
Datei:
199.
Sixth International Workshop on Languages for Modelling Variability (MODEVAR 2024)
In Jessie Galasso-Carbonnel and Chico Sundermann, Editor
Februar 2024
Datei:
198.
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
DOI:
Datei:
197.
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
Datei:
196.
Boll,
Alexander;
Rani,
Pooja;
Schulthei脽,
Alexander;
Kehrer,
Timo
Beyond Code: Is There a Difference Between Comments in Visual and Textual Languages?
J. Systems and Software (JSS)
:112087
2024
Herausgeber: Elsevier Science Inc.
DOI:
195.
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
194.
Boll,
Alexander;
Dok,
Yael Van;
Ohrndorf,
Manuel;
Schulthei脽,
Alexander;
Kehrer,
Timo
Towards Semi-Automated Merge Conflict Resolution: Is It Easier Than We Expected?
Proc. Int'l Conf. on Evaluation Assessment in Software Engineering (EASE),
Seite 282-292
Herausgeber:
ACM,
New York, NY, USA
2024
DOI:
193.
Romero-Organvidez,
David;
Galindo,
Jose A;
Sundermann,
Chico;
Horcas,
Jose-Miguel;
Benavides,
David
UVLHub: A Feature Model Data Repository Using UVL and Open Science Principles
J. Systems and Software (JSS) (To Appear)
2024
Herausgeber: Elsevier Science Inc.
2023
192.
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
DOI:
ISBN:
9798400704543
Datei:
191.
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
DOI:
Datei:
190.
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
DOI:
Datei:
189.
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
DOI:
ISBN:
9798400700910
Datei:
188.
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
DOI:
ISBN:
9798400700910
Datei:
187.
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
DOI:
ISBN:
9798400700927
Datei:
186.
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
DOI:
ISBN:
9798400700927
Datei:
185.
Krieter,
Sebastian;
Kr眉ger,
Jacob;
Leich,
Thomas;
Saake,
Gunter
VariantInc: Automatically Pruning and Integrating Versioned Software Variants
Proc. Int'l Systems and Software Product Line Conf. (SPLC),
Seite 129-140
Herausgeber:
ACM,
New York, NY, USA
August 2023
DOI:
ISBN:
9798400700910
Datei:
184.
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
DOI:
ISBN:
9798400700910
Datei:
183.
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
DOI:
Datei:
182.
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
DOI:
Datei:
181.
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
ISBN:
978-3-88579-726-5
Datei:
180.
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
Datei:
179.
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
Datei:
178.
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
Datei:
177.
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
Datei:
176.
Kuiter,
Elias;
Krieter,
Sebastian;
Kr眉ger,
Jacob;
Saake,
Gunter;
Leich,
Thomas
variED: An Editor for Collaborative, Real-Time Feature Modeling - Summary
Proc. Software Engineering (SE),
Seite 85-86
Herausgeber:
Gesellschaft f眉r Informatik,
Bonn, Germany
Februar 2023
Datei:
175.
Schulthei脽,
Alexander;
Bittner,
Paul Maximilian;
Greiner,
Sandra;
Kehrer,
Timo
Benchmark Generation With VEVOS: A Coverage Analysis of Evolution Scenarios in Variant-Rich Systems
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS),
Seite 13-22
Herausgeber:
ACM,
New York, NY, USA
Januar 2023
DOI:
ISBN:
9798400700019
Datei:
174.
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
DOI:
Datei:
173.
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
2022
172.
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
DOI:
Datei:
171.
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
DOI:
ISBN:
9781450394130
Datei:
170.
Runge,
Tobias;
Bordis,
Tabea;
Potanin,
Alex;
罢丑眉尘,
Thomas;
Schaefer,
Ina
Flexible Correct-by-Construction Programming (Technical Report) Technical Report arXiv:2211.15261
November 2022
DOI:
Datei:
169.
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
DOI:
168.
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
DOI:
Datei:
167.
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
DOI:
ISBN:
9781450394666
Datei:
166.
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
DOI:
ISBN:
9781450394758
Datei:
165.
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
DOI:
ISBN:
9781450392068
Datei:
164.
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
DOI:
ISBN:
9781450392068
Datei:
163.
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
DOI:
ISBN:
9781450394437
Datei:
162.
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
DOI:
ISBN:
9781450394437
Datei:
161.
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
DOI:
ISBN:
9781450396134
Datei:
160.
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
DOI:
ISBN:
978-3-031-08679-3
Datei:
159.
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
DOI:
Datei:
158.
Runge,
Tobias;
Potanin,
Alex;
罢丑眉尘,
Thomas;
Schaefer,
Ina
Traits for Correct-by-Construction Programming Technical Report arXiv:2204.05644
April 2022
DOI:
Datei:
157.
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
DOI:
Datei:
156.
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
DOI:
Datei:
155.
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
DOI:
Datei:
2021
154.
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
DOI:
ISBN:
978-3-030-91549-0
Datei:
153.
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
DOI:
Datei:
152.
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
DOI:
ISBN:
9781450384704
Datei:
151.
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:
150.
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
DOI:
ISBN:
9781450384698
Datei:
149.
Sundermann,
Chico;
He脽,
Tobias;
Engelhardt,
Dominik;
Arens,
Rahel;
Herschel,
Johannes;
Jedelhauser,
Kevin;
Jutz,
Benedikt;
Krieter,
Sebastian;
Schaefer,
Ina
Integration of UVL in FeatureIDE
Proc. Int'l Workshop on Languages for Modelling Variability (MODEVAR),
Seite 73-79
Herausgeber:
ACM,
New York, NY, USA
September 2021
DOI:
ISBN:
9781450384704
Datei:
148.
罢丑眉尘,
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
ISBN:
9781450384698
Datei:
147.
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
DOI:
ISBN:
9781450384698
Datei:
146.
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
DOI:
ISBN:
9781450384698
Datei:
145.
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
DOI:
ISBN:
9781450385626
Datei:
144.
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
DOI:
ISBN:
978-1-6654-0140-1
Datei:
143.
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
DOI:
Datei:
142.
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:
141.
Kuiter,
Elias;
Krieter,
Sebastian;
Kr眉ger,
Jacob;
Saake,
Gunter;
Leich,
Thomas
variED: An Editor for Collaborative, Real-Time Feature Modeling
Empirical Software Engineering (EMSE)
:24
M盲rz 2021
Herausgeber: Springer
DOI:
140.
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
DOI:
ISBN:
9781450388245
Datei:
139.
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
DOI:
ISBN:
9781450388245
Datei:
138.
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
DOI:
Datei:
137.
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
DOI:
ISBN:
9781450388245
Datei:
136.
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
DOI:
Datei:
2020
135.
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
DOI:
ISBN:
978-3-030-64354-6
Datei:
134.
M眉hlhausen,
Moritz;
Kappel,
Moritz;
Kassubeck,
Marc;
Bittner,
Paul Maximilian;
Castillo,
Susana;
Magnor,
Marcus
Temporal Consistent Motion Parallax for Omnidirectional Stereo Panorama Video
Proc. ACM Symposium on Virtual Reality Software and Technology (VRST)
Herausgeber:
ACM,
New York, NY, USA
November 2020
DOI:
Datei:
133.
罢丑眉尘,
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
DOI:
ISBN:
9781450375696
Datei:
132.
Ananieva,
Sofia;
Greiner,
Sandra;
K眉hn,
Thomas;
Kr眉ger,
Jacob;
Linsbauer,
Lukas;
Gr眉ner,
Sten;
Kehrer,
Timo;
Klare,
Heiko;
Koziolek,
Anne;
L枚nn,
Henrik;
Krieter,
Sebastian;
Seidl,
Christoph;
Ramesh,
S.;
Reussner,
Ralf;
Westfechtel,
Bernhard
A Conceptual Model for Unifying Variability in Space and Time
Proc. Int'l Systems and Software Product Line Conf. (SPLC),
Seite 1-12
Herausgeber:
ACM,
New York, NY, USA
Oktober 2020
DOI:
ISBN:
9781450375696
131.
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
DOI:
ISBN:
9781450375702
Datei:
130.
Krieter,
Sebastian
Large-Scale T-Wise Interaction Sampling Using YASA
Proc. Int'l Systems and Software Product Line Conf. (SPLC),
Seite 29:1-29:4
Herausgeber:
ACM
Oktober 2020
129.
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
DOI:
ISBN:
9781450370714
Datei:
128.
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
DOI:
ISBN:
9781450375696
Datei:
127.
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
DOI:
ISBN:
9781450375696
Datei:
126.
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
DOI:
Datei:
125.
Schulthei脽,
Alexander;
Boll,
Alexander;
Kehrer,
Timo
Comparison of Graph-based Model Transformation Rules
J. Object Technology (JOT)
:3:1-21
Juli 2020
DOI:
124.
Bertel,
Tobias;
M眉hlhausen,
Moritz;
Kappel,
Moritz;
Bittner,
Paul Maximilian;
Richardt,
Christian;
Magnor,
Marcus
Depth Augmented Omnidirectional Stereo for 6-DoF VR Photography
Proc. IEEE Virtual Reality Workshop (VR),
Seite 660-661
Herausgeber:
IEEE,
Piscataway, NJ, USA
Mai 2020
DOI:
ISBN:
978-1-7281-6532-5
Datei:
123.
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
DOI:
Datei:
122.
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
DOI:
ISBN:
9781450375016
Datei:
121.
Kr眉ger,
Jacob;
Krieter,
Sebastian;
Saake,
Gunter;
Leich,
Thomas
EXtracting Product Lines from vAriaNTs (EXPLANT)
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS),
Seite 13:1-13:2
Herausgeber:
ACM
Februar 2020
DOI:
120.
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
DOI:
ISBN:
9781450375016
Datei:
119.
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
DOI:
ISBN:
9781450375016
Datei:
118.
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
DOI:
ISBN:
9781450375016
Datei:
2019
117.
Krieter,
Sebastian
Enabling Efficient Automated Configuration Generation and Management
Proc. Int'l Systems and Software Product Line Conf. (SPLC),
Seite 93:1-93:7
Herausgeber:
ACM
September 2019
116.
罢丑眉尘,
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
DOI:
ISBN:
9781450371384
Datei:
115.
Kuiter,
Elias;
Krieter,
Sebastian;
Kr眉ger,
Jacob;
Leich,
Thomas;
Saake,
Gunter
Foundations of Collaborative, Real-Time Feature Modeling
Proc. Int'l Systems and Software Product Line Conf. (SPLC),
Seite 36:1-36:8
Herausgeber:
ACM
September 2019
DOI:
114.
罢丑眉尘,
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
DOI:
ISBN:
9781450366687
Datei:
113.
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
DOI:
ISBN:
9781450371384
Datei:
112.
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
DOI:
Datei:
111.
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
110.
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
109.
罢丑眉尘,
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
DOI:
ISBN:
9781450366687
Datei:
108.
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
DOI:
ISBN:
978-3-030-13499-0
Datei:
107.
罢丑眉尘,
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
DOI:
Datei:
106.
罢丑眉尘,
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
DOI:
ISBN:
978-3-030-13499-0
Datei:
105.
Bittner,
Paul Maximilian;
Tauscher,
Jan-Philipp;
Grogorick,
Steve;
Magnor,
Marcus
Evaluation of Optimised Centres of Rotation Skinning April 2019
Datei:
104.
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
DOI:
ISBN:
978-3-030-16722-6
Datei:
103.
Grogorick,
Steve;
脺berheide,
Matthias;
Tauscher,
Jan-Philipp;
Bittner,
Paul Maximilian;
Magnor,
Marcus
Gaze and Motion-Aware Real-Time Dome Projection System
Proc. IEEE Virtual Reality Workshop (VR),
Seite 1780-1783
Herausgeber:
IEEE,
Piscataway, NJ, USA
M盲rz 2019
DOI:
ISBN:
978-1-7281-1377-7
Datei:
102.
Tauscher,
Jan-Philipp;
Schottky,
Fabian Wolf;
Grogorick,
Steve;
Bittner,
Paul Maximilian;
Mustafa,
Maryam;
Magnor,
Marcus
Immersive EEG: Evaluating Electroencephalography in Virtual Reality
Proc. IEEE Virtual Reality Workshop (VR),
Seite 1794-1800
Herausgeber:
IEEE,
Piscataway, NJ, USA
M盲rz 2019
DOI:
Datei:
101.
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
DOI:
Datei:
100.
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
DOI:
ISBN:
978-3-88579-686-2
Datei:
99.
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
DOI:
ISBN:
978-3-88579-686-2
Datei:
98.
Krieter,
Sebastian;
Thiem,
Tobias;
Leich,
Thomas
Using Dynamic Software Product Lines to Implement Adaptive SGX-Enabled Systems
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS),
Seite 9:1-9:9
Herausgeber:
ACM
Februar 2019
DOI:
97.
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
DOI:
Datei:
2018
96.
Pereira,
Juliana Alves;
Pawel,
Matuszyk;
Krieter,
Sebastian;
Spiliopoulou,
Myra;
Saake,
Gunter
Personalized Recommender Systems for Product-Line Configuration Processes
Comput. Lang. Syst. Struct.
:451-471
Dezember 2018
DOI:
95.
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
DOI:
ISBN:
978-1-4503-6045-6
Datei:
94.
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
DOI:
Datei:
93.
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
DOI:
ISBN:
978-1-4503-6045-6
Datei:
92.
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
DOI:
ISBN:
978-3-030-03426-9
Datei:
91.
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
DOI:
ISBN:
978-1-4503-6464-5
Datei:
90.
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
DOI:
ISBN:
978-1-4503-6464-5
Datei:
89.
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
DOI:
ISBN:
978-1-4503-5945-0
Datei:
88.
罢丑眉尘,
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
DOI:
ISBN:
978-1-4503-6464-5
Datei:
87.
Kuiter,
Elias;
Kr眉ger,
Jacob;
Krieter,
Sebastian;
Leich,
Thomas;
Saake,
Gunter
Getting Rid of Clone-and-Own: Moving to a Software Product Line for Temperature Monitoring
Proc. Int'l Systems and Software Product Line Conf. (SPLC),
Seite 179-189
Herausgeber:
ACM,
New York, NY, USA
September 2018
DOI:
ISBN:
9781450364645
86.
Kuiter,
Elias;
Krieter,
Sebastian;
Kr眉ger,
Jacob;
Ludwig,
Kai;
Leich,
Thomas;
Saake,
Gunter
PClocator: A Tool Suite to Automatically Identify Configurations for Code Locations
Proc. Int'l Systems and Software Product Line Conf. (SPLC),
Seite 284-288
September 2018
85.
罢丑眉尘,
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
Datei:
84.
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
DOI:
ISBN:
978-3-319-94820-1
Datei:
83.
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
DOI:
ISBN:
978-1-4503-5638-1
Datei:
82.
Krieter,
Sebastian;
Kr眉ger,
Jacob;
Weichbrodt,
Nico;
Sartakov,
Vasily A.;
Kapitza,
R眉diger;
Leich,
Thomas
Towards Secure Dynamic Product Lines in the Cloud
Proc. Int'l Conf. on Software Engineering (ICSE),
Seite 5-8
Herausgeber:
ACM
Mai 2018
DOI:
Datei:
81.
Sartakov,
Vasily A.;
Weichbrodt,
Nico;
Krieter,
Sebastian;
Leich,
Thomas;
Kapitza,
R眉diger
STANlite - A Database Engine for Secure Data Processing at Rack-Scale Level
IEEE International Conference on Cloud Engineering (IC2E),
Seite 23-33
Herausgeber:
IEEE Computer Society
April 2018
DOI:
80.
Pereira,
Juliana Alves;
Martinez,
Jabier;
Gurudu,
Hari Kumar;
Krieter,
Sebastian;
Saake,
Gunter
Visual Guidance for Product Line Configuration Using Recommendations and Non-Functional Properties
Proc. ACM Symposium on Applied Computing (SAC),
Seite 2058-2065
Herausgeber:
ACM
April 2018
DOI:
79.
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
ISBN:
978-3-88579-673-2
Datei:
78.
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
DOI:
ISBN:
978-1-4503-5398-4
Datei:
77.
Pereira,
Juliana Alves;
Schulze,
Sandro;
Krieter,
Sebastian;
Ribeiro,
Marcio;
Saake,
Gunter
A Context-Aware Recommender System for Extended Software Product Line Configurations
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS),
Seite 97-104
Herausgeber:
ACM,
New York, NY, USA
Februar 2018
DOI:
ISBN:
9781450353984
76.
Krieter,
Sebastian;
Kr眉ger,
Jacob;
Leich,
Thomas
Don't Worry About It: Managing Variability On-The-Fly
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS),
Seite 19-26
Herausgeber:
ACM,
New York, NY, USA
Februar 2018
DOI:
ISBN:
9781450353984
75.
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
DOI:
ISBN:
978-1-4503-5398-4
Datei:
74.
罢丑眉尘,
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
ISBN:
978-3-88579-674-9
Datei:
2017
73.
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
DOI:
ISBN:
978-3-319-68690-5
Datei:
72.
Kr眉ger,
Jacob;
Nielebock,
Sebastian;
Krieter,
Sebastian;
Diedrich,
Christian;
Leich,
Thomas;
Saake,
Gunter;
Zug,
Sebastian;
Ortmeier,
Frank
Beyond Software Product Lines: Variability Modeling in Cyber-Physical Systems
Proc. Int'l Systems and Software Product Line Conf. (SPLC),
Seite 237-241
Herausgeber:
ACM
September 2017
DOI:
71.
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
DOI:
ISBN:
978-1-4503-5119-5
Datei:
70.
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
DOI:
ISBN:
978-1-4503-5105-8
Datei:
69.
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
DOI:
Datei:
68.
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
DOI:
ISBN:
978-1-5386-2803-4
Datei:
67.
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
ISBN:
978-3-88579-661-9
Datei:
66.
Schulthei脽,
Alexander;
K盲ding,
Christoph;
Freytag,
Alexander;
Denzler,
Joachim
Finding the Unknown: Novelty Detection with Extreme Value Signatures of Deep Neural Activations
Proc. German Conf. on Pattern Recognition (GCPR),
Seite 226-238
Herausgeber:
Springer,
Cham, Switzerland
2017
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
DOI:
ISBN:
978-1-4503-4811-9
Datei:
63.
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
62.
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
DOI:
ISBN:
978-1-4503-4446-3
Datei:
61.
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
DOI:
ISBN:
978-1-4503-4647-4
Datei:
60.
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
DOI:
ISBN:
978-1-4503-4446-3
Datei:
59.
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
DOI:
ISBN:
978-3-319-47166-2
Datei:
58.
罢丑眉尘,
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
Datei:
57.
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
DOI:
ISBN:
978-1-4503-4446-3
Datei:
56.
罢丑眉尘,
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
DOI:
ISBN:
978-1-4503-4050-2
Datei:
55.
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
DOI:
ISBN:
978-1-4503-4050-2
Datei:
54.
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
DOI:
ISBN:
978-1-4503-3845-5
Datei:
53.
Th??m,
Thomas;
Ribeiro,
Marcio;
Schr枚ter,
Reimar;
Siegmund,
Janet;
Dalton,
Francisco
Product-Line Maintenance With Emergent Contract Interfaces
Proc. Int'l Systems and Software Product Line Conf. (SPLC),
Seite 134-143
Herausgeber:
ACM,
New York, NY, USA
September 2016
DOI:
ISBN:
978-1-4503-4050-2
Datei:
52.
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
DOI:
ISBN:
978-1-4503-4050-2
Datei:
51.
Kowal,
Matthias;
Ananieva,
Sofia;
罢丑眉尘,
Thomas
Explaining Anomalies in Feature Models (Technical Report)
Germany
Technical Report 2016-01
August 2016
Datei:
50.
Pereira,
Juliana Alves;
Matuszyk,
Pawel;
Krieter,
Sebastian;
Spiliopoulou,
Myra;
Saake,
Gunter
A Feature-Based Personalized Recommender System for Product-Line Configuration
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE)
Herausgeber:
ACM,
New York, NY, USA
Juni 2016
DOI:
49.
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
DOI:
ISBN:
978-3-319-35122-3
Datei:
48.
Pereira,
Juliana Alves;
Krieter,
Sebastian;
Meinicke,
Jens;
Schr枚ter,
Reimar;
Saake,
Gunter;
Leich,
Thomas
FeatureIDE: Scalable Product Configuration of Variable Systems
Proc. Int'l Conf. on Software Reuse (ICSR),
Seite 397-401
Herausgeber:
Springer,
Berlin, Heidelberg
Juni 2016
47.
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
Datei:
46.
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
DOI:
ISBN:
978-1-4503-3900-1
Datei:
45.
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
DOI:
ISBN:
978-1-4503-4205-6
Datei:
44.
Krieter,
Sebastian;
Schr枚ter,
Reimar;
罢丑眉尘,
Thomas;
Saake,
Gunter
An Efficient Algorithm for Feature-Model Slicing
Germany
Technical Report FIN-001-2016
April 2016
Datei:
43.
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:
42.
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
DOI:
ISBN:
978-1-4503-4019-9
Datei:
41.
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
DOI:
Datei:
40.
罢丑眉尘,
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
DOI:
ISBN:
978-1-4503-4019-9
Datei:
2015
39.
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
罢丑眉尘,
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
ISBN:
978-3-88579-633-6
Datei:
36.
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
DOI:
ISBN:
978-1-4503-3273-6
Datei:
35.
Krieter,
Sebastian;
Schr枚ter,
Reimar;
Fenske,
Wolfram;
Saake,
Gunter
Use-Case-Specific Source-Code Documentation for Feature-Oriented Programming
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS),
Seite 27:27-27:34
Herausgeber:
ACM,
New York, NY, USA
Januar 2015
ISBN:
978-1-4503-3273-6
2014
34.
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
DOI:
ISBN:
978-1-4503-2739-8
Datei:
33.
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
DOI:
ISBN:
978-1-4503-2740-4
Datei:
32.
罢丑眉尘,
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
DOI:
ISBN:
978-1-4503-2740-4
Datei:
31.
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
DOI:
ISBN:
978-1-4503-2740-4
Datei:
30.
罢丑眉尘,
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
DOI:
Datei:
29.
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
DOI:
ISBN:
978-1-4503-2772-5
Datei:
28.
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
DOI:
ISBN:
978-1-4503-2772-5
Datei:
27.
罢丑眉尘,
Thomas
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:
26.
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
DOI:
ISBN:
978-1-4503-2556-1
Datei:
25.
罢丑眉尘,
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
DOI:
Datei:
2013
24.
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
ISBN:
978-3-88579-614-5
Datei:
23.
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
Datei:
22.
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
DOI:
Datei:
21.
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
DOI:
ISBN:
978-1-4503-2325-3
Datei:
20.
Th??m,
Thomas
Product-Line Verification With Feature-Oriented Contracts
Proc. Int'l Symposium on Software Testing and Analysis (ISSTA),
Seite 374-377
Herausgeber:
ACM,
New York, NY, USA
Juli 2013
DOI:
ISBN:
978-1-4503-2159-4
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
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
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
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
DOI:
ISBN:
978-1-4503-1129-8
Datei:
15.
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
14.
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
DOI:
Datei:
13.
罢丑眉尘,
Thomas
Verification of Software Product Lines Using Contracts
Doktorandentagung Magdeburger-Informatik-Tage (MIT),
Seite 75-82
Herausgeber:
University of Magdeburg,
Germany
Juli 2012
罢丑眉尘,
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
DOI:
ISBN:
978-3-642-28871-5
Datei:
10.
罢丑眉尘,
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
DOI:
Datei:
9.
罢丑眉尘,
Thomas;
Benduhn,
Fabian
Entwicklung von Softwarevarianten mit FeatureIDE
Eclipse Magazin
:94-97
Januar 2012
8.
Schulze,
Sandro;
Th??m,
Thomas;
Kuhlemann,
Martin;
Saake,
Gunter
Variant-Preserving Refactoring in Feature-Oriented Software Product Lines
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS),
Seite 73-81
Herausgeber:
ACM,
New York, NY, USA
Januar 2012
DOI:
Datei:
2011
7.
罢丑眉尘,
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
Datei:
6.
罢丑眉尘,
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
DOI:
ISBN:
978-0-7695-4487-8
Datei:
5.
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
DOI:
ISBN:
978-1-4503-0789-5
Datei:
4.
罢丑眉尘,
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
DOI:
Datei:
3.
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
Datei:
2009
2.
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
DOI:
Datei:
1.
罢丑眉尘,
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
DOI:
ISBN:
978-1-4244-3453-4
Datei:
2024
86.
S. Semmler,
"Domain-Specific Variable Ordering for Compiling Binary Decision Diagrams from Feature Models",
Bachelor's Thesis,
University of Ulm,
Germany,
Jun.
2024.
85.
S. Berlinger,
"Automated Repair of Feature Model Defects in FeatureIDE",
Bachelor's Thesis,
University of Ulm,
Germany,
Mai
2024.
84.
P. F枚rster,
"Efficient Analysis of Indeterminate Hidden Features",
Master's Thesis,
University of Ulm,
Germany,
Mai
2024.
83.
J. Riesland,
"Optimizing T-Wise Sampling on d-DNNFs with Objective Functions",
Bachelor's Thesis,
University of Ulm,
Germany,
Jan.
2024.
2023
82.
R. Dunkel,
"One Solver to Rule All Feature Models - Or Not? Addressing the Algorithm Selection Problem for #SAT",
Bachelor's Thesis,
University of Ulm,
Germany,
Dez.
2023.
81.
H. Raab,
"Incrementally Adapting d-DNNFs to Cope with Feature-Model Evolution",
Master's Thesis,
University of Ulm,
Germany,
Nov.
2023.
DOI:
80.
J. Loth,
"Projected d-DNNF Compilation for Feature Models",
Master's Thesis,
University of Ulm,
Germany,
Nov.
2023.
79.
C. Schmid,
"Parameterizations for Approximate #SAT Solvers",
Bachelor's Thesis,
University of Ulm,
Germany,
Okt.
2023.
78.
R. Arens,
"Product-Line Sampling of Field Configurations",
Master's Thesis,
University of Ulm,
Germany,
Okt.
2023.
DOI:
Datei:
77.
P. Schiessle,
"Repairing Samples After Feature-Model Evolution",
Master's Thesis,
University of Ulm,
Germany,
Okt.
2023.
76.
S. Karrer,
"Interactive Product Configuration for Multiple Feature-Model Versions",
Master's Thesis,
University of Ulm,
Germany,
Jul.
2023.
75.
T. Betz,
"Analyzing Feature-Model Histories With Binary Decision Diagrams",
Master's Thesis,
University of Ulm,
Germany,
Mai
2023.
DOI:
Datei:
74.
T. Sehlen,
"Evaluating the Efficiency of Hybrid CNF Transformations for Feature-Model Formulas",
Master's Thesis,
University of Magdeburg,
Germany,
Mai
2023.
73.
J. Klassen,
"Localizing Faulty Feature Interactions Using Data Mining Techniques",
Master's Thesis,
University of Ulm,
Germany,
Mai
2023.
72.
B. Moosherr,
"Constructing Variation Diffs Using Tree Diffing Algorithms",
Bachelor's Thesis,
University of Ulm,
Germany,
Apr.
2023.
DOI:
Datei:
71.
D. Klier,
"Hashing Strategies for Concurrent Building of Binary Decision Diagrams",
Bachelor's Thesis,
University of Ulm,
Germany,
Feb.
2023.
70.
L. Licha,
"Cutting Edge T-Wise Sampling With ddnnife",
Bachelor's Thesis,
University of Ulm,
Germany,
Jan.
2023.
69.
L. G眉thing,
"Inspecting the Evolution of Feature Annotations in Configurable Software",
Master's Thesis,
University of Ulm,
Germany,
Jan.
2023.
68.
E. Langenbucher,
"The Impact of Static Variable Ordering on Building BDDs for Real-World Feature Models",
Master's Thesis,
University of Ulm,
Germany,
Jan.
2023.
2022
67.
L. Ostheimer,
"Identification of Variance Driving Features in Feature Models",
Bachelor's Thesis,
University of Ulm,
Germany,
Dez.
2022.
66.
V. Brancaccio,
"A Systematic Literature Review Towards a Representative Feature-Model Benchmark",
Master's Thesis,
University of Ulm,
Germany,
Nov.
2022.
DOI:
65.
S. Vill,
"Language Levels for the Universal Variability Language: An Extension Mechanism and Conversion Strategies",
Bachelor's Thesis,
University of Ulm,
Germany,
Nov.
2022.
DOI:
Datei:
64.
S. 叠枚丑尘,
"Identification of Feature Interactions Through Combinatorial Interaction Analysis",
Master's Thesis,
University of Ulm,
Germany,
Okt.
2022.
DOI:
Datei:
63.
L. Bormann,
"Reverse Engineering Feature-Aware Commits From Software Product-Line Repositories",
Bachelor's Thesis,
University of Ulm,
Germany,
Okt.
2022.
DOI:
Datei:
62.
K. Jedelhauser,
"Type-Checking Variability in Clone-and-Own Variants With Product-Line Tooling",
Master's Thesis,
University of Ulm,
Germany,
Sep.
2022.
61.
M. Lukas,
"A Survey of BDD-Based Tools for Points-To Analysis",
Bachelor's Thesis,
University of Ulm,
Germany,
Aug.
2022.
60.
Y. Heimowski,
"Simplifying Feature Models for Better Scalability of #SAT Solvers",
Bachelor's Thesis,
University of Ulm,
Germany,
Aug.
2022.
59.
S. Krieter,
"Efficient Interactive and Automated Product-Line Configuration",
University of Magdeburg,
Germany,
Jun.
2022.
DOI:
Datei:
58.
D. Hohmann,
"Konfiguration von Softwareproduktlinien mit Configuring-Constraints 眉ber Feature-Attributen",
Master's Thesis,
University of Magdeburg,
Germany,
Mai
2022.
Datei:
57.
K. St枚rmer,
"T-Wise Interaction Samples for Automotive Systems Using Solution-Space Sampling",
Master's Thesis,
TU Braunschweig,
Germany,
Mai
2022.
56.
A. Kittelmann,
"A Maneuver-Centric Formal Engineering Approach for Cyber-Physical Systems",
TU Braunschweig,
Germany,
Feb.
2022.
DOI:
Datei:
55.
D. Schiessl,
"An Incremental #SAT Solver for Efficient Analysis of Feature Models",
Master's Thesis,
University of Ulm,
Germany,
Jan.
2022.
54.
H. Raab,
"Exploiting d-DNNFs for Efficient Cardinality-Based Feature-Model Analyses",
Bachelor's Thesis,
University of Ulm,
Germany,
Jan.
2022.
DOI:
Datei:
53.
K. Kistner,
"Survey and Evaluation of Dynamic Variable Ordering Heuristics for the Construction of Binary Decision Diagrams",
Bachelor's Thesis,
University of Ulm,
Germany,
Jan.
2022.
2021
52.
T. Witschel,
"Generating Optimized Samples With Attributed Feature Models",
Master's Thesis,
TU Braunschweig,
Germany,
Nov.
2021.
DOI:
Datei:
51.
M. Tschada,
"Generating Taxonomies of Feature-Model Anomalies",
Bachelor's Thesis,
TU Braunschweig,
Germany,
Sep.
2021.
50.
T. Netzer,
"Development of a Parallelized BDD Library in Rust",
Bachelor's Thesis,
University of Ulm,
Germany,
Jul.
2021.
DOI:
Datei:
49.
J. M. Young,
"Variational Satisfiability Solving (PhD Thesis)",
Oregon State University,
USA,
Jun.
2021.
Datei:
48.
S. Viegener,
"Empirical Evaluation of Feature Trace Recording on the Edit History of Marlin",
Bachelor's Thesis,
University of Ulm,
Germany,
Apr.
2021.
DOI:
Datei:
47.
T. Witschel,
"Analyzing Sampling Stability of Highly Configurable Systems",
Project Thesis,
TU Braunschweig,
Germany,
M盲.
2021.
DOI:
Datei:
46.
R. Arens,
"Incremental Construction of Modal Implication Graphs for Feature-Model Evolution",
Bachelor's Thesis,
TU Braunschweig,
Germany,
Jan.
2021.
DOI:
Datei:
2020
45.
T. He脽,
"Binary Decision Diagrams for the Analysis of Large Feature Models",
Master's Thesis,
University of Ulm,
Germany,
Nov.
2020.
44.
N. Mund,
"Continuous T-Wise Coverage",
Master's Thesis,
TU Braunschweig,
Germany,
Okt.
2020.
43.
C. Sundermann,
"Applications of #SAT Solvers on Product Lines",
Master's Thesis,
TU Braunschweig,
Germany,
Aug.
2020.
DOI:
Datei:
42.
J. Sprey,
"Automated Comparison of Product Sampling Algorithms",
Master's Thesis,
TU Braunschweig,
Germany,
Aug.
2020.
DOI:
Datei:
41.
P. Westphal,
"Deriving Subset Software Product Lines Using Partial Configurations With FeatureIDE",
Bachelor's Thesis,
TU Braunschweig,
Germany,
Aug.
2020.
DOI:
Datei:
40.
D. Engelhardt,
"Towards a Universal Variability Language",
Master's Thesis,
TU Braunschweig,
Germany,
Aug.
2020.
DOI:
Datei:
39.
P. M. Bittner,
"Semi-Automated Inference of Feature Traceability During Software Development",
Master's Thesis,
TU Braunschweig,
Germany,
Feb.
2020.
DOI:
Datei:
2019
38.
C. Sundermann,
"Evaluating #SAT-Solvers on Industrial Feature Models",
Project Thesis,
TU Braunschweig,
Germany,
Dez.
2019.
Datei:
37.
J. Sprey,
"SMT-Based Variability Analyses in FeatureIDE (Project Thesis)",
Project Thesis,
TU Braunschweig,
Germany,
Dez.
2019.
Datei:
36.
P. M. Bittner,
"SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses (Project Thesis)",
Project Thesis,
TU Braunschweig,
Germany,
M盲.
2019.
Datei:
2018
35.
N. Thiele,
"Re-Engineering Feature Models From Product Configurators",
Master's Thesis,
TU Braunschweig,
Germany,
Nov.
2018.
DOI:
Datei:
34.
T. Pett,
"Stability of Product Sampling Under Product-Line Evolution",
Master's Thesis,
TU Braunschweig,
Germany,
Nov.
2018.
DOI:
Datei:
33.
C. Sontag,
"Recording Feature Mappings During Evolution of Cloned Variants",
Master's Thesis,
TU Braunschweig,
Germany,
Sep.
2018.
DOI:
Datei:
32.
J. Sprey and
C. Sundermann,
"Computing Attribute Ranges for Partial Configurations With JavaSMT",
Bachelor's Thesis,
TU Braunschweig,
Germany,
Apr.
2018.
DOI:
Datei:
2017
31.
C. I. P. (Burmeister),
"Ein Erfahrungsbericht zur Deduktiven Verifikation mit KeY",
Master's Thesis,
TU Braunschweig,
Germany,
Dez.
2017.
DOI:
Datei:
30.
C. Sontag,
"VariantSync: Automating the Synchronization of Software Variants",
Project Thesis,
TU Braunschweig,
Germany,
Dez.
2017.
Datei:
29.
T. G眉nther,
"Explaining Satisfiability Queries for Software Product Lines",
Master's Thesis,
TU Braunschweig,
Germany,
Nov.
2017.
DOI:
Datei:
28.
S. Bolle,
"Feature-orientiertes Framing f眉r die Verifikation von Software-Produktlinien",
Master's Thesis,
TU Braunschweig,
Germany,
Nov.
2017.
DOI:
Datei:
27.
S. Bolle,
"Automating Deductive Verification of Software Product Lines",
Project Thesis,
TU Braunschweig,
Germany,
M盲.
2017.
26.
C. I. Burmeister,
"On the Scalability of Contracting and Inlining for Deductive Verification",
Project Thesis,
TU Braunschweig,
Germany,
M盲.
2017.
25.
F. Kanning,
"Presence Condition Reasoning With Feature Model Interfaces",
Master's Thesis,
TU Braunschweig,
Germany,
Jan.
2017.
DOI:
Datei:
2016
24.
T. G眉nther,
"Visual Explanation of Defects in Feature Diagrams",
Project Thesis,
TU Braunschweig,
Germany,
Dez.
2016.
Datei:
23.
S. Ananieva,
"Explaining Defects and Identifying Dependencies in Interrelated Feature Models",
Master's Thesis,
TU Braunschweig,
Germany,
Sep.
2016.
DOI:
Datei:
22.
A. Kn眉ppel,
"The Role of Complex Constraints in Feature Modeling",
Master's Thesis,
TU Braunschweig,
Germany,
Jul.
2016.
DOI:
Datei:
21.
C. Sontag,
"FeatFork: Feature Tracking in Preprocessor-Based Forks",
Bachelor's Thesis,
TU Braunschweig,
Germany,
Mai
2016.
20.
V. Menzel,
"Metaanalyse zu Strategien f眉r die formale Verifikation von Software-Produktlinien",
Master's Thesis,
TU Braunschweig,
Germany,
Feb.
2016.
Datei:
19.
T. Pfofe,
"Automating the Synchronization of Software Variants",
Master's Thesis,
University of Magdeburg,
Germany,
Jan.
2016.
Datei:
2015
18.
S. Krieter,
"Efficient Configuration of Large-Scale Feature Models Using Extended Implication Graphs",
Master's Thesis,
University of Magdeburg,
Germany,
Okt.
2015.
Datei:
2014
17.
S. Kr眉ger,
"Product-Line Verification With Abstract Contracts",
Master's Thesis,
University of Magdeburg,
Germany,
Dez.
2014.
Datei:
16.
J. Meinicke,
"VarexJ: A Variability-Aware Interpreter for Java Applications",
Master's Thesis,
University of Magdeburg,
Germany,
Dez.
2014.
Datei:
15.
F. Benduhn,
"Representing Variability in Product Lines: A Survey of Modeling and Specification Techniques",
Master's Thesis,
University of Magdeburg,
Germany,
Apr.
2014.
Datei:
14.
F. Proksch and
S. Kr眉ger,
"Tool Support for Contracts in FeatureIDE",
Project Thesis,
University of Magdeburg,
Germany,
Apr.
2014.
Datei:
13.
M. Praast,
"Effiziente Kodierung von Variabilit盲t in Spezifikationen",
Master's Thesis,
University of Magdeburg,
Germany,
M盲.
2014.
Datei:
2013
12.
A. Weigelt,
"Methoden-basierte Komposition von Kontrakten in Feature-orientierter Programmierung",
Bachelor's Thesis,
University of Magdeburg,
Germany,
Aug.
2013.
Datei:
11.
D. Broneske,
"On the Impact of Hardware on Relational Join Processing",
Master's Thesis,
University of Magdeburg,
Germany,
Aug.
2013.
Datei:
10.
J. Meinicke,
"JML-Based Verification for Feature-Oriented Programming",
Bachelor's Thesis,
University of Magdeburg,
Germany,
Mai
2013.
Datei:
9.
L. Luo,
"Synchronisierung von Software-Varianten mit VariantSync",
Master's Thesis,
University of Magdeburg,
Germany,
Jan.
2013.
Datei:
2012
8.
F. Benduhn,
"Contract-Aware Feature Composition",
Bachelor's Thesis,
University of Magdeburg,
Germany,
Okt.
2012.
Datei:
7.
D. L眉ddecke,
"Extraktion von Feature-Modellen aus Implementierungsartefakten",
Master's Thesis,
University of Magdeburg,
Germany,
Okt.
2012.
Datei:
6.
I. Schr枚ter,
"Modulare Integration von konfigurierbaren Transaktionsmechanismen in Cloud-basierte Datenspeichersysteme",
Master's Thesis,
University of Magdeburg,
Germany,
Sep.
2012.
Datei:
5.
S. Holthusen,
"Typsicherheit in Feature-orientierten Software-Produktlinien in FeatureIDE",
Master's Thesis,
University of Magdeburg,
Germany,
Jul.
2012.
Datei:
4.
R. Schr枚ter,
"Automatisierte Analysen der Modellierung von Multiproduktlinien in VELVET",
Master's Thesis,
University of Magdeburg,
Germany,
Apr.
2012.
Datei:
3.
S. Haase,
"A Program Slicing Approach to Feature Identification in Legacy C Code",
Master's Thesis,
University of Magdeburg,
Germany,
Feb.
2012.
Datei:
2011
2.
C. Mewes,
"Migration von Subversion nach Mercurial und Einsatz dezentraler Versionskontrolle in Unternehmen",
Bachelor's Thesis,
University of Magdeburg,
Germany,
Aug.
2011.
Datei:
1.
C. Adler,
"Optional Composition - A Solution to the Optional Feature Problem?",
Master's Thesis,
University of Magdeburg,
Germany,
Feb.
2011.
________
________
________
________
________
________
________
________
________