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) |
Publications
Scheduling with Interjob Communication on Parallel Processors
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.
Value-Based or Conflict-Based? Opacity Definitions for STMs
J. König, H. Wehrheim, in: D. Van Hung, D. Kapur (Eds.), Theoretical Aspects of Computing - {ICTAC} 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings, 2017, pp. 118--135.
FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity
G. Schellhorn, M. Wedel, O. Travkin, J. König, H. Wehrheim, in: Software Engineering and Formal Methods, Springer International Publishing, Cham, 2018, pp. 105–120.
Scheduling with interjob communication on parallel processors
J. König, A. Mäcker, F. Meyer auf der Heide, S. Riechers, Journal of Combinatorial Optimization 36 (2018) 1356–1379.
Data Independence for Software Transactional Memory
J. König, H. Wehrheim, in: J. M. Badger, K. Yvonne Rozier (Eds.), {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, Springer, 2019, pp. 263–279.
Show all publications