Jürgen König

Spezifikation und Modellierung von Softwaresystemen

Mitglied - Ehemaliger

Büro­anschrift:
Pohlweg 51
33098 Paderborn
Raum:
O4.134

Publikationen

Aktuelle Publikationen

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.


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.


Alle Publikationen anzeigen