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

Teaching

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

Publications

2017

2016

2015

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

Supervised Theses

2015

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.