Jürgen König

According to our database, Jürgen König authored at least 6 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

On the membership and correctness problem for state serializability and value opacity.

Jürgen König

PhD thesis, 2023

2021

On the Correctness Problem for Serializability.

Jürgen König, Heike Wehrheim

Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021

2019

Data Independence for Software Transactional Memory.

Jürgen König, Heike Wehrheim

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

2018

Scheduling with interjob communication on parallel processors.

Jürgen König, Alexander Mäcker, Friedhelm Meyer auf der Heide, Sören Riechers

J. Comb. Optim., 2018

FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity.

Gerhard Schellhorn, Monika Wedel, Oleg Travkin, Jürgen König, Heike Wehrheim

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

2017

Value-Based or Conflict-Based? Opacity Definitions for STMs.

Jürgen König, Heike Wehrheim

Proceedings of the Theoretical Aspects of Computing - ICTAC 2017, 2017