I. Schaefer

发表

Viviana Bono, Ina Schaefer, Lorenzo Bettini, 2010, SPLC.

Ralf H. Reussner, L. Prechelt, B. Rumpe, 2020, Denert Award.

I. Schaefer, Thomas Thüm, Christian Kästner, 2012 .

Christoph Seidl, Ina Schaefer, David Wille, 2017, 2017 IEEE International Conference on Software Architecture Workshops (ICSAW).

I. Schaefer, Lorenzo Bettini, F. Damiani, 2015 .

I. Schaefer, M. Nieke, Gabriela Sampaio, 2020, Proceedings of the 24th ACM International Systems and Software Product Line Conference - Volume B.

U. Goltz, I. Schaefer, Malte Lochau, 2012 .

A. Wortmann, L. Linsbauer, I. Schaefer, 2021, Software Engineering.

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

Ioannis Stamelos, Ina Schaefer, I. Schaefer, 2017, J. Syst. Softw..

D. Schultz, I. Schaefer, Tabea Bordis, 2022, J. Comput. Lang..

I. Schaefer, Lorenzo Bettini, V. Bono, 2010 .

I. Schaefer, Thomas Thüm, Dominik Engelhardt, 2011 .

Sören van der Wall, I. Schaefer, R. Meyer, 2022, 2208.14290.

L. Linsbauer, I. Schaefer, C. König, 2022, SPLC.

Malte Lochau, Johannes Bürdek, Ina Schaefer, 2015 .

Sebastian Krieter, Malte Lochau, Thomas Thüm, 2021, VaMoS.

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

I. Schaefer, Thomas Thüm, A. Potanin, 2022, ArXiv.

I. Schaefer, A. Potanin, M. Servetto, 2022, ACM Transactions on Programming Languages and Systems.

David Benavides, D. Clarke, Animesh Pathak, 2012, International Journal on Software Tools for Technology Transfer.

Sören van der Wall, I. Schaefer, R. Meyer, 2022, APLAS.