Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

5 Publications


2019 | Conference Paper | LibreCat-ID: 10091
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.
LibreCat | DOI
 

2018 | Book Chapter | LibreCat-ID: 3536
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.
LibreCat | DOI
 

2018 | Journal Article | LibreCat-ID: 3551
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.
LibreCat | Files available | DOI
 

2017 | Conference Paper | LibreCat-ID: 3156
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.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 157
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.
LibreCat | Files available | DOI
 

Filters and Search Terms

(person=22358) OR (id=157 OR id=3156)

Search

Filter Publications

Display / Sort

Export / Embed