Faculty of Computer Science Workgroup Databases & Software Engineering

M.Sc. Fabian Benduhn

Fabian Benduhn Otto-von-Guericke-University Magdeburg
School of Computer Science
Department of Technical and Business Information Systems
Workgroup Databases & Software Engineering
P.O. Box 4120, D-39016 Magdeburg, Germany

Office: Building 29, Room 108

Google Scholar

Phone: +49 391 67-51899
Fax: +49 391 67-12020
E-mail: fabian.benduhn@ovgu.de

Research Interests

  • Feature-Oriented Software Development (FOSD), Software Product Lines (SPL)
  • Implementation Techniques for Software Product Lines
  • Formal Modeling and Specification
  • Formal Verification

Research Projects


Summer term 2015 Summer term 2013 Summer term 2014
  • Individual Research Project (Master): Feature-Orientation for Abstract State Machines
Summer term 2012 Summer term 2011




  • 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.





  • 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.


Supervised Theses


Additonal Activities

Copyright Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.