Fabian Benduhn

According to our database, Fabian Benduhn authored at least 12 papers between 2014 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Composing annotations without regret? Practical experiences using FeatureC.

Jacob Krüger, Marcus Pinnecke, Andy Kenner, Christopher Kruczek, Fabian Benduhn, Thomas Leich, Gunter Saake

Softw. Pract. Exp., 2018

2017

Compositional Analyses of Highly-Configurable Systems with Feature-Model Interfaces.

Reimar Schröter, Sebastian Krieter, Thomas Thüm, Fabian Benduhn, Gunter Saake

Proceedings of the Software Engineering 2017, 2017

Efficient Mutation Testing in Configurable Systems.

Mustafa Al-Hajjaji, Jacob Krüger, Fabian Benduhn, Thomas Leich, Gunter Saake

Proceedings of the 2nd IEEE/ACM International Workshop on Variability and Complexity in Software Design, 2017

Modularization of Refinement Steps for Agile Formal Methods.

Fabian Benduhn, Thomas Thüm, Ina Schaefer, Gunter Saake

Proceedings of the Formal Methods and Software Engineering, 2017

Mastering Software Variability with FeatureIDE

Jens Meinicke, Thomas Thüm, Reimar Schröter, Fabian Benduhn, Thomas Leich, Gunter Saake

Springer, ISBN: 978-3-319-61442-7, 2017

2016

Mutation Operators for Preprocessor-Based Variability.

Mustafa Al-Hajjaji, Fabian Benduhn, Thomas Thüm, Thomas Leich, Gunter Saake

Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27, 2016

Feature-model interfaces: the highway to compositional analyses of highly-configurable systems.

Reimar Schröter, Sebastian Krieter, Thomas Thüm, Fabian Benduhn, Gunter Saake

Proceedings of the 38th International Conference on Software Engineering, 2016

FeatureIDE: taming the preprocessor wilderness.

Jens Meinicke, Thomas Thüm, Reimar Schröter, Sebastian Krieter, Fabian Benduhn, Gunter Saake, Thomas Leich

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines.

Fabian Benduhn, Thomas Thüm, Malte Lochau, Thomas Leich, Gunter Saake

Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems, 2015

2014

FeatureIDE: An extensible framework for feature-oriented software development.

Thomas Thüm, Christian Kästner, Fabian Benduhn, Jens Meinicke, Gunter Saake, Thomas Leich

Sci. Comput. Program., 2014

Potential synergies of theorem proving and model checking for software product lines.

Thomas Thüm, Jens Meinicke, Fabian Benduhn, Martin Hentschel, Alexander von Rhein, Gunter Saake

Proceedings of the 18th International Software Product Line Conference, 2014

An overview on analysis tools for software product lines.

Jens Meinicke, Thomas Thüm, Reimar Schröter, Fabian Benduhn, Gunter Saake

Proceedings of the 18th International Software Product Lines Conference, 2014