Alexander Knüppel
发表
Alexander Knüppel,
Alexander Knüppel,
2016
.
Thomas Thüm,
Ina Schaefer,
Tobias Runge,
2020,
FormaliSE@ICSE.
Thomas Thüm,
Ina Schaefer,
Alexander Knüppel,
2018,
F-IDE@FLoC.
Thomas Thüm,
Ina Schaefer,
Tobias Runge,
2020,
VaMoS.
Thomas Thüm,
Ina Schaefer,
Stefan Krüger,
2019,
SPLC.
Bruce W. Watson,
Loek Cleophas,
Ina Schaefer,
2019,
ALET.
Umut Durak,
Tim Rambau,
Torsten Gerlach,
2016
.
Thomas Thüm,
Ina Schaefer,
Alexander Knüppel,
2018,
ITP.
Thomas Thüm,
Ina Schaefer,
Alexander Knüppel,
2018,
ISoLA.
Derrick G. Kourie,
Ina Schaefer,
Bruce W. Watson,
2018,
ISoLA.
Thomas Thüm,
Ina Schaefer,
Alexander Knüppel,
2019,
SE/SWM.
Sebastian Krieter,
Eric Bodden,
Thomas Thüm,
2020,
20 Years of KeY.
Thomas Thüm,
Marcus Nolte,
Inga Jatzkowski,
2020,
FASE.
Ina Schaefer,
Tobias Runge,
Alexander Knüppel,
2020,
ISoLA.
Thomas Thüm,
Ina Schaefer,
Stefan Krüger,
2019,
J. Syst. Softw..
Christoph Seidl,
Alexander Schlie,
Alexander Knüppel,
2020,
SPLC.
Stephan Mennicke,
Thomas Thüm,
Ina Schaefer,
2017,
ESEC/SIGSOFT FSE.
Thomas Thüm,
Ina Schaefer,
Marcus Nolte,
2021,
Software Engineering.
Thomas Thüm,
Ina Schaefer,
Alexander Knüppel,
2021,
2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE).
Ina Schaefer,
Alexander Knüppel,
Leon Schaer,
2021,
2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE).