Fabian Benduhn
Title
Cited by
Cited by
Year
FeatureIDE: An extensible framework for feature-oriented software development
T Thüm, C Kästner, F Benduhn, J Meinicke, G Saake, T Leich
Science of Computer Programming 79, 70-85, 2014
5002014
Mastering software variability with FeatureIDE
J Meinicke, T Thüm, R Schröter, F Benduhn, T Leich, G Saake
Springer International Publishing, 2017
942017
Feature-model interfaces: the highway to compositional analyses of highly-configurable systems
R Schröter, S Krieter, T Thüm, F Benduhn, G Saake
Proceedings of the 38th International Conference on Software Engineering …, 2016
492016
An overview on analysis tools for software product lines
J Meinicke, T Thüm, R Schröter, F Benduhn, G Saake
Proceedings of the 18th International Software Product Line Conference …, 2014
482014
Potential synergies of theorem proving and model checking for software product lines
T Thüm, J Meinicke, F Benduhn, M Hentschel, A Von Rhein, G Saake
Proceedings of the 18th International Software Product Line Conference …, 2014
432014
FeatureIDE: Taming the preprocessor wilderness
J Meinicke, T Thüm, R Schröter, S Krieter, F Benduhn, G Saake, T Leich
2016 IEEE/ACM 38th International Conference on Software Engineering …, 2016
382016
Migration from annotation-based to composition-based product lines: towards a tool-driven process
F Benduhn, R Schröter, A Kenner, C Kruczek, T Leich, G ANDSAAKE
Proc. Conf. Advances and Trends in Software Engineering (SOFTENG). IARIA …, 2016
282016
A survey on modeling techniques for formal behavioral verification of software product lines
F Benduhn, T Thüm, M Lochau, T Leich, G Saake
Proceedings of the Ninth International Workshop on Variability Modelling of …, 2015
242015
Mutation operators for preprocessor-based variability
M Al-Hajjaji, F Benduhn, T Thüm, T Leich, G Saake
Proceedings of the Tenth International Workshop on Variability Modelling of …, 2016
182016
Composing annotations without regret? Practical experiences using FeatureC
J Krüger, M Pinnecke, A Kenner, C Kruczek, F Benduhn, T Leich, G Saake
Software: Practice and Experience 48 (3), 402-427, 2018
152018
Contract-Aware Feature Composition
F Benduhn
Bachelor's thesis, University of Magdeburg, Germany, 2012
122012
Efficient mutation testing in configurable systems
M Al-Hajjaji, J Krüger, F Benduhn, T Leich, G Saake
2017 IEEE/ACM 2nd International Workshop on Variability and Complexity in …, 2017
102017
Modularization of refinement steps for agile formal methods
F Benduhn, T Thüm, I Schaefer, G Saake
International Conference on Formal Engineering Methods, 19-35, 2017
22017
Feature-Model Interfaces for Compositional Analyses
R Schröter, S Krieter, T Thüm, F Benduhn, G Saake
Technical Report FIN-001-2015, University of Magdeburg, Germany, 2015
22015
Representing Variability in Product Lines: A Survey of Modeling and Specification Techniques
F Benduhn
Master’s thesis, University of Magdeburg, Germany, 2014
22014
Compositional Analyses of Highly-Configurable Systems with Feature-Model Interfaces
R Schröter, S Krieter, T Thüm, F Benduhn, G Saake
Software Engineering 2017, 2017
2017
Secure Database Infrastructures
F Benduhn, A Hultsch, R Mäkeler
Techniken zur forensischen Datenhaltung-Ausgewählte studentische Beiträge, 25, 2012
2012
Entwicklung von Softwarevarianten mit FeatureIDE
T Thüm, F Benduhn
Eclipse Magazin 12 (1), 94-97, 2011
2011
FeatureIDE: A novel approach to develop software
F Benduhn, T Thüm
Online Portal jaxenter.com, 2011
2011
The system can't perform the operation now. Try again later.
Articles 1–19