@inproceedings{10091,
  author       = {{König, Jürgen and Wehrheim, Heike}},
  booktitle    = {{{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings}},
  editor       = {{M. Badger, Julia and Yvonne Rozier, Kristin}},
  pages        = {{263--279}},
  publisher    = {{Springer}},
  title        = {{{Data Independence for Software Transactional Memory}}},
  doi          = {{10.1007/978-3-030-20652-9\_18}},
  volume       = {{11460}},
  year         = {{2019}},
}

@inbook{3536,
  author       = {{Schellhorn, Gerhard and Wedel, Monika and Travkin, Oleg and König, Jürgen and Wehrheim, Heike}},
  booktitle    = {{Software Engineering and Formal Methods}},
  isbn         = {{9783319929699}},
  issn         = {{0302-9743}},
  pages        = {{105--120}},
  publisher    = {{Springer International Publishing}},
  title        = {{{FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity}}},
  doi          = {{10.1007/978-3-319-92970-5_7}},
  year         = {{2018}},
}

@article{3551,
  author       = {{König, Jürgen and Mäcker, Alexander and Meyer auf der Heide, Friedhelm and Riechers, Sören}},
  journal      = {{Journal of Combinatorial Optimization}},
  number       = {{4}},
  pages        = {{1356--1379}},
  title        = {{{Scheduling with interjob communication on parallel processors}}},
  doi          = {{10.1007/s10878-018-0325-3}},
  volume       = {{36}},
  year         = {{2018}},
}