Alexander Knüppel, M.Sc.

Institut für Softwaretechnik und Fahrzeuginformatik
Technische Universität Braunschweig

Mühlenpfordtstr. 23
38106 Braunschweig

Raum: IZ 412
Sprechstunde: Nach Vereinbarung

Tel. +49 531 391-2289

Email: a.knueppel[at]tu-bs.de


  • Feature-oriented software development (FOSD)
  • Software Produktlinien (SPLs) und Analyse
  • Feature-Modellierung
  • Formale Methoden und Verifikation: Deduktive Verifikation, Model Checking, Type Systems, statische Analyse, Assertion checking
  • Formale Spezifikation: Design by Contracts (DbC), Z-Notation, B-Method
  • Theorembeweisen mit Coq



  • (CCC: Controlling Concurrent Change)


Wintersemester 2017/2018

Sommersemester 2017

Wintersemester 2016/2017

  • Teamprojekt: Plugin-Entwicklung mit Eclipse (Organisation)

Sommersemester 2016

Aktuell angebotene studentische Arbeiten:

Schaut bitte hier nach: aktuelle Abschlussarbeiten. Bei Interesse einfach melden.



  • Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, and Ina Schaefer. Is There a Mismatch Between Real-World Feature Models and Product-Line Research?. In Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE). 2017. To appear. Software artifacts available: GitHub
    Feature modeling has emerged as the de-facto standard to compactly capture the variability of a software product line. Multiple feature modeling languages have been proposed that evolved over the last decades to manage industrial-size product lines. However, less expressive languages, solely permitting require and exclude constraints, are permanently and carelessly used in product-line research. We address the problem whether those less expressive languages are sufficient for industrial product lines. We developed an algorithm to eliminate complex cross-tree constraints in a feature model, enabling the combination of tools and algorithms working with different feature model dialects in a plug-and-play manner. However, the scope of our algorithm is limited. Our evaluation on large feature models, including the Linux kernel, gives evidence that require and exclude constraints are not sufficient to express real-world feature models. Hence, we promote that research on feature models needs to consider arbitrary propositional formulas as cross-tree constraints prospectively.


  aktualisiert am 02.09.2016
TU_Icon_E_Mail_1_17x17_RGB Zum Seitenanfang