J. König and H. Wehrheim, “Data Independence for Software Transactional Memory,” in NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, 2019, vol. 11460, pp. 263–279.
LibreCat: /record/10091
DOI: 10.1007/978-3-030-20652-9‑18

G. Schellhorn, M. Wedel, O. Travkin, J. König, and H. Wehrheim, “FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity,” in Software Engineering and Formal Methods, Cham: Springer International Publishing, 2018, pp. 105–120.
LibreCat: /record/3536
DOI: 10.1007/978-3-319-92970-5_7

J. König, A. Mäcker, F. Meyer auf der Heide, and S. Riechers, “Scheduling with interjob communication on parallel processors,” Journal of Combinatorial Optimization, vol. 36, no. 4, pp. 1356–1379, 2018.
LibreCat: /record/3551
DOI: 10.1007/s10878-018-0325-3