Scalability of Deductive Verification Depends on Method Call Treatment. - Alexander Knüppel; Thomas Thüm; Carsten Pardylla; Ina Schaefer (ISoLA (4), 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)