Alexander Knüppel

Feature-Oriented Contract Composition

I. Schaefer, Thomas Thüm, Alexander Knüppel, 2019, J. Syst. Softw..

Using Abstract Contracts for Verifying Evolving Features and Their Interactions

Sebastian Krieter, Eric Bodden, Thomas Thüm, 2020, 20 Years of KeY.

Scalability of Deductive Verification Depends on Method Call Treatment

Thomas Thüm, Ina Schaefer, Alexander Knüppel, 2018, ISoLA.

Experience Report on Formally Verifying Parts of OpenJDK's API with KeY pdf

Thomas Thüm, Ina Schaefer, Alexander Knüppel, 2018, F-IDE@FLoC.

GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers

Thomas Thüm, Ina Schaefer, Alexander Knüppel, 2021, 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE).

Is there a mismatch between real-world feature models and product-line research?

Stephan Mennicke, Thomas Thüm, Ina Schaefer, 2017, ESEC/SIGSOFT FSE.

Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY

Thomas Thüm, Ina Schaefer, Alexander Knüppel, 2018, ITP.

How much Specification is Enough? Mutation Analysis for Software Contracts

Ina Schaefer, Alexander Knüppel, Leon Schaer, 2021, 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE).

Verification Strategies for Feature-Oriented Software Product Lines

Alexander Knüppel, Tabea Bordis, Tobias Runge, 2022, VaMoS.

Incremental feature model synthesis for clone-and-own software systems in MATLAB/Simulink

C. Seidl, Alexander Knüppel, Alexander Schlie, 2020, SPLC.

The Role of Complex Constraints in Feature Modeling: Master’s Thesis

Alexander Knüppel, Alexander Knüppel, 2016 .

Running High Level Architecture in Real-Time for Flight Simulator Integration

Umut Durak, Tim Rambau, Torsten Gerlach, 2016 .