@inproceedings{20274,
  author       = {{Bila, Eleni and Doherty, Simon and Dongol, Brijesh and Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}},
  booktitle    = {{Formal Techniques for Distributed Objects, Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings}},
  editor       = {{Gotsman, Alexey and Sokolova, Ana}},
  pages        = {{39--58}},
  publisher    = {{Springer}},
  title        = {{{Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory}}},
  doi          = {{10.1007/978-3-030-50086-3\_3}},
  volume       = {{12136}},
  year         = {{2020}},
}

@inproceedings{13993,
  author       = {{Derrick, John and Doherty, Simon and Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim, Heike}},
  booktitle    = {{Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings}},
  pages        = {{179--195}},
  title        = {{{Verifying Correctness of Persistent Concurrent Data Structures}}},
  doi          = {{10.1007/978-3-030-30942-8\_12}},
  year         = {{2019}},
}

@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}},
}

@inproceedings{10092,
  author       = {{Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike and Derrick, John}},
  booktitle    = {{Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019}},
  editor       = {{K. Hollingsworth, Jeffrey and Keidar, Idit}},
  pages        = {{355--365}},
  publisher    = {{{ACM}}},
  title        = {{{Verifying C11 programs operationally}}},
  doi          = {{10.1145/3293883.3295702}},
  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}},
}

@inproceedings{3156,
  author       = {{König, Jürgen and Wehrheim, Heike}},
  booktitle    = {{Theoretical Aspects of Computing - {ICTAC} 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings}},
  editor       = {{Van Hung, Dang and Kapur, Deepak}},
  pages        = {{118----135}},
  title        = {{{Value-Based or Conflict-Based? Opacity Definitions for STMs}}},
  doi          = {{10.1007/978-3-319-67729-3_8}},
  year         = {{2017}},
}

@inproceedings{3160,
  author       = {{Doherty, Simon and Dongol, Brijesh and Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}},
  booktitle    = {{20th International Conference on Principles of Distributed Systems, {OPODIS} 2016, December 13-16, 2016, Madrid, Spain}},
  editor       = {{Fatourou, Panagiota and Jim{\'{e}}nez, Ernesto and Pedone, Fernando}},
  pages        = {{35:1----35:17}},
  title        = {{{Proving Opacity of a Pessimistic {STM}}}},
  doi          = {{10.4230/LIPIcs.OPODIS.2016.35}},
  year         = {{2016}},
}

@inproceedings{3164,
  author       = {{Derrick, John and Dongol, Brijesh and Schellhorn, Gerhard and Travkin, Oleg and Wehrheim, Heike}},
  booktitle    = {{{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings}},
  editor       = {{Bj{\o}rner, Nikolaj and S. de Boer, Frank}},
  pages        = {{161----177}},
  title        = {{{Verifying Opacity of a Transactional Mutex Lock}}},
  doi          = {{10.1007/978-3-319-19249-9_11}},
  year         = {{2015}},
}