M.Sc. Fabian Benduhn

Fabian Benduhn

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