M.Sc. Fabian Benduhn
Fakultät für Informatik (FIN)
AG Datenbanken & Software Engineering
AG Datenbanken & Software Engineering
Universitätsplatz 2,
39106, Magdeburg,
G29-001
Es wurde keine Person definiert.
Es wurde keine Person definiert.
2018
- Jacob Krüger, Marcus Pinnecke, Andy
Kenner, Christopher Kruczek, Fabian Benduhn, Thomas Leich, and Gunter Saake.
Composing Annotations Without Regret? Practical Experiences Using
FeatureC.
Software: Practice and Experience, 48(3):402–427, March 2018.
(PDF)
2017
- Mustafa Al-Hajjaji, Jacob Krüger,
Fabian Benduhn, Thomas Leich, and Gunter Saake.
Efficient Mutation Testing in Configurable
Systems.
In International Workshop on Variability and Complexity in Software
Design, VACE, pages 2–8. IEEE, May 2017.
- Reimar Schröter, Sebastian Krieter,
Thomas Thüm, Fabian Benduhn, and Gunter Saake.
Compositional Analyses of Highly-Configurable Systems with
Feature-Model Interfaces.
In Tagung Software Engineering. Gesellschaft für Informatik,
February 2017.
- Jens Meinicke, Thomas Thüm, Reimar
Schröter, Fabian Benduhn, Thomas Leich, and Gunter Saake.
Mastering
Software Variability with FeatureIDE.
Springer, October 2017.
- Fabian Benduhn, Thomas Thüm, Ina
Schaefer, and Gunter Saake.
Modularization of Refinement Steps for Agile Formal
Methods.
In Proc. International Conference on Formal Engineering Methods (ICFEM
2017), pages 19–35. Springer, October 2017.
2016
- Jens Meinicke, Thomas Thüm, Reimar
Schröter, Sebastian Krieter, Fabian Benduhn, Gunter Saake, and Thomas
Leich.
FeatureIDE: Taming the Preprocessor
Wilderness.
In Proceedings of the International Conference on Software Engineering
(ICSE), pages 629–632, New York, NY, USA, May 2016.
ACM.
- Reimar Schröter, Sebastian Krieter,
Thomas Thüm, Fabian Benduhn, and Gunter Saake.
Feature-Model Interfaces: The Highway to
Compositional Analyses of Highly-Configurable Systems.
In Proceedings of International Conference on Software Engineering
(ICSE), pages 667–678, New York, NY, USA, May 2016.
ACM.
- Fabian Benduhn, Reimar Schröter,
Andy Kenner, Christopher Kruczek, Thomas Leich, and Gunter Saake.
Migration from Annotation-Based to Composition-Based
Product Lines: Towards a Tool-Driven Process.
In International Conference on Advances and Trends in Software
Engineering (SOFTENG), pages 102–109. IARIA, February
2016.
- Mustafa Al-Hajjaji, Fabian Benduhn,
Thomas Thüm, Thomas Leich, and Gunter Saake.
Mutation Operators for Preprocessor-Based
Variability.
In International Workshop on Variability Modelling of Software-intensive
Systems (VaMoS), pages 81–88, New York, NY, USA, January 2016.
ACM.
2015
- Reimar Schröter, Sebastian Krieter,
Thomas Thüm, Fabian Benduhn, and Gunter Saake.
Feature-Model
Interfaces for Compositional Analyses.
Technical Report 1, University of Magdeburg, Germany, May
2015.
- Fabian Benduhn, Thomas Thüm, Malte
Lochau, Thomas Leich, and Gunter Saake.
A Survey on Modeling Techniques for Formal Behavioral
Verification of Software Product Lines.
In International Workshop on Variability Modelling of Software-intensive
Systems (VaMoS), pages 80–87, New York, NY, USA, January 2015.
ACM.
2014
- Jens Meinicke, Thomas Thüm, Reimar
Schröter, Fabian Benduhn, and Gunter Saake.
An Overview on Analysis Tools for Software Product
Lines.
In Workshop on Software Product Line Analysis Tools (SPLat), pages
94–101, New York, NY, USA, September 2014. ACM.
- Thomas Thüm, Jens Meinicke, Fabian
Benduhn, Martin Hentschel, Alexander von Rhein, and Gunter Saake.
Potential Synergies of Theorem Proving and Model
Checking for Software Product Lines.
In Proceedings of the International Software Product Line Conference
(SPLC), pages 177–186, New York, NY, USA, September 2014.
ACM.
- Fabian Benduhn.
Representing Variability in Product Lines: A Survey of
Modeling and Speci fication Techniques.
Master thesis, University of Magdeburg, Germany, April
2014.
- Thomas Thüm, Christian Kästner,
Fabian Benduhn, Jens Meinicke, Gunter Saake, and Thomas Leich.
FeatureIDE: An Extensible Framework for Feature-Oriented
Software Development.
Science of Computer Programming, 79(0):70–85, January
2014.
2012
- Fabian Benduhn, Albrecht Hultsch, and
René Mäkeler.
Secure Database
Infrastructures.
In Techniken zur forensischen Datenhaltung, volume 1 of
Ausgewählte studentische Beiträge (AsB), pages 25 – 36.
Fakultät für Informatik, Otto-von-Guericke-Universität Magdeburg,
October 2012.
- Fabian Benduhn.
Contract-Aware Feature Composition.
Bachelor thesis, University of Magdeburg, Germany, October
2012.
2011
- Fabian Benduhn and Thomas Thüm.
FeatureIDE - A Novel Approach to Develop Software.
Online Portal, November 2011.
- Thomas Thüm and Fabian Benduhn.
Entwicklung von Softwarevarianten mit FeatureIDE.
Eclipse Magazin, 12(1):94–97, November 2011.
In German.