Felix Pauck

Spezifikation und Modellierung von Softwaresystemen
Doktorand
Verfügbarkeit (Arbeitszeit):
Montag - Freitag
07:00 bis ~15:30
33098 Paderborn
Liste im Research Information System öffnen
2021
F. Pauck, H. Wehrheim, in: 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), 2021
L. Luo, F. Pauck, G. Piskachev, M. Benz, I. Pashchenko, M. Mory, E. Bodden, B. Hermann, F. Massacci, Empirical Software Engineering (2021)
M. Jakobs, F. Pauck, M. Platzner, H. Wehrheim, T. Wiersema, IEEE Access (2021)
F. Pauck, H. Wehrheim, in: Software Engineering 2021, Gesellschaft für Informatik e.V., 2021, pp. 83-84
2020
F. Pauck, E. Bodden, H. Wehrheim, in: Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria, Gesellschaft f{\"{u}}r Informatik e.V., 2020, pp. 123-124
2019
F. Pauck, S. Zhang, in: 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW), 2019
T. Isenberg, M. Jakobs, F. Pauck, H. Wehrheim, in: Tests and Proofs - 13th International Conference, {TAP} 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings, 2019, pp. 3-20
F. Pauck, H. Wehrheim, in: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019, pp. 374-384
2018
F. Pauck, E. Bodden, H. Wehrheim, in: arXiv:1804.02903, 2018
F. Pauck, E. Bodden, H. Wehrheim, in: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2018, ACM Press, 2018
T. Isenberg, M. Jakobs, F. Pauck, H. Wehrheim, IEEE Embedded Systems Letters (2018), pp. 22-25
2017
F. Pauck, Masterarbeit, Universität Paderborn, 2017
2016
M. Jakobs, M. Töws, F. Pauck, in: Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems, 2016
2014
F. Pauck, Bachelorarbeit, Universität Paderborn, 2014