Office Address:
Pohlweg 51
33098 Paderborn
Room:
O4.134

Publications

Latest Publications

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.


Show all publications