Jürgen König, M.Sc.
Address: | Jürgen König Paderborn University Faculty of Electrical Engineering, Computer Science and Mathematics Warburger Str. 100 D-33098 Paderborn, Germany |
Office: | O4.134 |
Phone: | +49 (0) 5251-60-1715 |
Fax: | +49 (0) 5251-60-3993 |
Email: | jkoenig(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 2018 | Softwaremodellierung mit formalen Methoden | |
WS 2017/18 | Seminar: Software Transactional Memory Modellierung | |
SS 2017 | Grundlagen der Programmierung 2 | |
WS 2016/17 | Model Checking (in English) |
Liste im Research Information System öffnen
J. König, A. Mäcker, F. Meyer auf der Heide, S. Riechers, in: Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 563--577
J. König, H. Wehrheim, in: Theoretical Aspects of Computing - {ICTAC} 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings, 2017, pp. 118--135
G. Schellhorn, M. Wedel, O. Travkin, J. König, H. Wehrheim, in: Software Engineering and Formal Methods, Springer International Publishing, 2018, pp. 105-120
J. König, A. Mäcker, F. Meyer auf der Heide, S. Riechers, Journal of Combinatorial Optimization (2018), 36(4), pp. 1356-1379
J. König, H. Wehrheim, in: {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, Springer, 2019, pp. 263-279