Cedric Richter, M.Sc.
Address: | Cedric Richter 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-1762 |
Fax: | +49 (0) 5251-60-3993 |
Email: | cedricr(at)mail.upb(dot)de |
Secretary: | Elisabeth Schlatt Phone: +49 (0) 5251-60-3764 Email: schlatt(at)mail.upb.de Office: O4.125 |
Teaching
WS 2020/21 | Programmierung | |
SS 2020 | Softwaremodellierung mit formalen Methoden | |
WS 2019/20 | Seminar: Software Testing |
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
2022
C. Richter, H. Wehrheim, in: 2022 IEEE Conference on Software Testing, Verification and Validation (ICST), 2022, pp. 162-173
C. Richter, H. Wehrheim, in: 2022 IEEE/ACM 19th International Conference on Mining Software Repositories (MSR), 2022, pp. 418-422
2020
C. Richter, H. Wehrheim, in: 35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020, {IEEE}, 2020, pp. 1016-1028
C. Richter, E. Hüllermeier, M. Jakobs, H. Wehrheim, Journal of Automated Software Engineering (2020)
2019
C. Richter, H. Wehrheim, in: Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}, Springer, 2019, pp. 229-233