Fabian Benduhn

12 papers A* 1B 1C 2Journal 2Unranked 5
YearRankTypeTitle / Venue / Authors
2018 J jnl
Composing annotations without regret? Practical experiences using FeatureC.
Softw. Pract. Exp.
Jacob Krüger, Marcus Pinnecke, Andy Kenner, Christopher Kruczek, Fabian Benduhn, Thomas Leich, Gunter Saake
2017 C conf
Compositional Analyses of Highly-Configurable Systems with Feature-Model Interfaces.
Software Engineering
Reimar Schröter, Sebastian Krieter, Thomas Thüm, Fabian Benduhn, Gunter Saake
2017 — conf
Efficient Mutation Testing in Configurable Systems.
VACE@ICSE
Mustafa Al-Hajjaji, Jacob Krüger, Fabian Benduhn, Thomas Leich, Gunter Saake
2017 — book
Mastering Software Variability with FeatureIDE
Jens Meinicke, Thomas Thüm, Reimar Schröter, Fabian Benduhn, Thomas Leich, Gunter Saake
2017 C conf
Modularization of Refinement Steps for Agile Formal Methods.
ICFEM
Fabian Benduhn, Thomas Thüm, Ina Schaefer, Gunter Saake
2016 A* conf
Feature-model interfaces: the highway to compositional analyses of highly-configurable systems.
ICSE
Reimar Schröter, Sebastian Krieter, Thomas Thüm, Fabian Benduhn, Gunter Saake
2016 — conf
FeatureIDE: taming the preprocessor wilderness.
ICSE (Companion Volume)
Jens Meinicke, Thomas Thüm, Reimar Schröter, Sebastian Krieter, Fabian Benduhn, Gunter Saake, Thomas Leich
2016 — conf
Mutation Operators for Preprocessor-Based Variability.
VaMoS
Mustafa Al-Hajjaji, Fabian Benduhn, Thomas Thüm, Thomas Leich, Gunter Saake
2015 — conf
A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines.
VaMoS
Fabian Benduhn, Thomas Thüm, Malte Lochau, Thomas Leich, Gunter Saake
2014 — conf
An overview on analysis tools for software product lines.
SPLC Workshops
Jens Meinicke, Thomas Thüm, Reimar Schröter, Fabian Benduhn, Gunter Saake
2014 J jnl
FeatureIDE: An extensible framework for feature-oriented software development.
Sci. Comput. Program.
Thomas Thüm, Christian Kästner, Fabian Benduhn, Jens Meinicke, Gunter Saake, Thomas Leich
2014 B conf
Potential synergies of theorem proving and model checking for software product lines.
SPLC
Thomas Thüm, Jens Meinicke, Fabian Benduhn, Martin Hentschel, Alexander von Rhein, Gunter Saake