Felix Pauck, M.Sc.
Address: | Felix Pauck Paderborn University Faculty of Electrical Engineering, Computer Science and Mathematics Warburger Str. 100 D-33098 Paderborn, Germany |
Office: | O4.122 |
Phone: | +49 (0) 5251-60-1765 |
Fax: | +49 (0) 5251-60-3993 |
Email: | fpauck(at)mail.uni-paderborn.de |
Secretary: | Elisabeth Schlatt Phone: +49 (0) 5251-60-3764 Email: schlatt(at)mail.upb.de Office: O4.125 |
Teaching
SS 2020 | Model Checking (in English) | Organization, Tutorial |
WS 2019/20 | Software Analysis (in English) | Laboratory |
SS 2019 | PG: BANANA | Organization |
WS 2018/19 | Modellierung | Organization, Tutorial |
SS 2018 | Proseminar: Android App Analyse | Organization |
WS 2017/18 | Software Analysis (in English) | Tutorial, Laboratory |
Publications
Open list in Research Information System
2023
C. Richter, J.F. Haltermann, M. Jakobs, F. Pauck, S. Schott, H. Wehrheim, in: 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023
S. Schott, F. Pauck, in: 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM), IEEE, 2023
F. Pauck, in: 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023
F. Pauck, Paderborn University, 2023
2021
F. Pauck, H. Wehrheim, in: 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), 2021
F. Pauck, H. Wehrheim, in: Software Engineering 2021, Gesellschaft für Informatik e.V., 2021, pp. 83-84
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)
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
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
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
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
F. Pauck, E. Bodden, H. Wehrheim, in: arXiv:1804.02903, 2018
2017
F. Pauck, Master's thesis, 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, Bachelor's thesis, Universität Paderborn, 2014