@inproceedingsBila_Doherty_Dongol_Derrick_Schellhorn_Wehrheim_2020, series=Lecture Notes in Computer Science, title=Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory, volume=12136, DOI=10.1007/978-3-030-50086-3‑3, 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, publisher=Springer, author=Bila, Eleni and Doherty, Simon and Dongol, Brijesh and Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike, editor=Gotsman, Alexey and Sokolova, AnaEditors, year=2020, pages=39–58, collection=Lecture Notes in Computer Science 
LibreCat: /record/20274
DOI: 10.1007/978-3-030-50086-3‑3

@inproceedingsDerrick_Doherty_Dongol_Schellhorn_Wehrheim_2019, title=Verifying Correctness of Persistent Concurrent Data Structures, DOI=10.1007/978-3-030-30942-8‑12, booktitle=Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, author=Derrick, John and Doherty, Simon and Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim, Heike, year=2019, pages=179–195 
LibreCat: /record/13993
DOI: 10.1007/978-3-030-30942-8‑12

@inproceedingsKönig_Wehrheim_2019, series=Lecture Notes in Computer Science, title=Data Independence for Software Transactional Memory, volume=11460, DOI=10.1007/978-3-030-20652-9‑18, booktitle=NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, publisher=Springer, author=König, Jürgen and Wehrheim, Heike, editor=M. Badger, Julia and Yvonne Rozier, KristinEditors, year=2019, pages=263–279, collection=Lecture Notes in Computer Science 
LibreCat: /record/10091
DOI: 10.1007/978-3-030-20652-9‑18

@inproceedingsDoherty_Dongol_Wehrheim_Derrick_2019, title=Verifying10.1145/3293883.3295702__programs operationally, DOI=10.1145/3293883.3295702, booktitle=Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, publisher=ACM, author=Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike and Derrick, John, editor=K. Hollingsworth, Jeffrey and Keidar, IditEditors, year=2019, pages=355–365 
LibreCat: /record/10092
DOI: 10.1145/3293883.3295702

@inbookSchellhorn_Wedel_Travkin_König_Wehrheim_2018, place=Cham, title=FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity, DOI=10.1007/978-3-319-92970-5_7, booktitle=Software Engineering and Formal Methods, publisher=Springer International Publishing, author=Schellhorn, Gerhard and Wedel, Monika and Travkin, Oleg and König, Jürgen and Wehrheim, Heike, year=2018, pages=105–120 
LibreCat: /record/3536
DOI: 10.1007/978-3-319-92970-5_7

@inproceedingsKönig_Wehrheim_2017, series=Lecture Notes in Computer Science, title=Value-Based or Conflict-Based? Opacity Definitions for STMs, DOI=10.1007/978-3-319-67729-3_8, booktitle=Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings, author=König, Jürgen and Wehrheim, Heike, editor=Van Hung, Dang and Kapur, DeepakEditors, year=2017, pages=118--135, collection=Lecture Notes in Computer Science 
LibreCat: /record/3156
DOI: 10.1007/978-3-319-67729-3_8

@inproceedingsDoherty_Dongol_Derrick_Schellhorn_Wehrheim_2016, series=LIPIcs, title=Proving Opacity of a Pessimistic STM, DOI=10.4230/LIPIcs.OPODIS.2016.35, booktitle=20th International Conference on Principles of Distributed Systems, OPODIS 2016, December 13-16, 2016, Madrid, Spain, author=Doherty, Simon and Dongol, Brijesh and Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike, editor=Fatourou, Panagiota and Jim\rquote enez, Ernesto and Pedone, FernandoEditors, year=2016, pages=35:1--35:17, collection=LIPIcs 
LibreCat: /record/3160
DOI: 10.4230/LIPIcs.OPODIS.2016.35

@inproceedingsDerrick_Dongol_Schellhorn_Travkin_Wehrheim_2015, series=Lecture Notes in Computer Science, title=Verifying Opacity of a Transactional Mutex Lock, DOI=10.1007/978-3-319-19249-9_11, booktitle=FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, author=Derrick, John and Dongol, Brijesh and Schellhorn, Gerhard and Travkin, Oleg and Wehrheim, Heike, editor=Bjrner, Nikolaj and S. de Boer, FrankEditors, year=2015, pages=161--177, collection=Lecture Notes in Computer Science 
LibreCat: /record/3164
DOI: 10.1007/978-3-319-19249-9_11