Scalability of Deductive Verification Depends on Method Call Treatment. - Alexander Knüppel; Thomas Thüm; Carsten Pardylla; Ina Schaefer (ISoLA (4), 2018)

Towards Confidentiality-by-Construction. - Ina Schaefer; Tobias Runge; Alexander Knüppel; Loek Cleophas; Derrick G. Kourie; Bruce W. Watson (ISoLA (1), 2018)

Is There a Mismatch between Real-World Feature Models and Product-Line Research? - Alexander Knüppel; Thomas Thüm; Stephan Mennicke; Jens Meinicke; Ina Schaefer (Software Engineering, 2018)

Experience Report on Formally Verifying Parts of OpenJDK's API with KeY. - Alexander Knüppel; Thomas Thüm; Carsten Pardylla; Ina Schaefer (F-IDE@FLoC, 2018)

Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY. - Alexander Knüppel; Thomas Thüm; Carsten Immanuel Pardylla; Ina Schaefer (SE/SWM, 2019)

Feature-oriented contract composition. - Thomas Thüm; Alexander Knüppel; Stefan Krüger; Stefanie Bolle; Ina Schaefer (J. Syst. Softw., 2019)

Lattice-Based Information Flow Control-by-Construction for Security-by-Design. - Tobias Runge; Alexander Knüppel; Thomas Thüm; Ina Schaefer (FormaliSE@ICSE, 2020)

Scaling Correctness-by-Construction. - Alexander Knüppel; Tobias Runge; Ina Schaefer (ISoLA (1), 2020)

Incremental feature model synthesis for clone-and-own software systems in MATLAB/Simulink. - Alexander Schlie; Alexander Knüppel; Christoph Seidl 001; Ina Schaefer (SPLC (A), 2020)

Variational correctness-by-construction. - Tabea Bordis; Tobias Runge; Alexander Knüppel; Thomas Thüm; Ina Schaefer (VaMoS, 2020)

Using Abstract Contracts for Verifying Evolving Features and Their Interactions. - Alexander Knüppel; Stefan Krüger; Thomas Thüm; Richard Bubel; Sebastian Krieter; Eric Bodden; Ina Schaefer (20 Years of KeY, 2020)

How much Specification is Enough? Mutation Analysis for Software Contracts. - Alexander Knüppel; Leon Schaer; Ina Schaefer (FormaliSE@ICSE, 2021)

GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers. - Alexander Knüppel; Thomas Thüm; Ina Schaefer (FormaliSE@ICSE, 2021)

Skill-Based Verification of Cyber-Physical Systems. - Alexander Knüppel; Inga Jatzkowski; Marcus Nolte; Tobias Runge; Thomas Thüm; Ina Schaefer (Software Engineering, 2021)

Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY. - Tabea Bordis; Loek Cleophas; Alexander Kittelmann; Tobias Runge; Ina Schaefer; Bruce W. Watson (The Logic of Software. A Tasting Menu of Formal Methods, 2022)

Runtime Verification of Correct-by-Construction Driving Maneuvers. - Alexander Kittelmann; Tobias Runge; Tabea Bordis; Ina Schaefer (ISoLA (1), 2022)

Information Flow Control-by-Construction for an Object-Oriented Language. - Tobias Runge; Alexander Kittelmann; Marco Servetto; Alex Potanin; Ina Schaefer (SEFM, 2022)

Verification Strategies for Feature-Oriented Software Product Lines. - Elias Kuiter; Alexander Knüppel; Tabea Bordis; Tobias Runge; Ina Schaefer (VaMoS, 2022)

Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers. - Tobias Runge; Alexander Kittelmann; Marco Servetto; Alex Potanin; Ina Schaefer (CoRR, 2022)

A Maneuver-Centric Formal Engineering Approach for Cyber-Physical Systems / Alexander Kittelmann ; Ina Schaefer, Reiner Hähnle, Einar Broch Johnsen. - Alexander Kittelmann (2022)