Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. - Eleni Bila; Simon Doherty; Brijesh Dongol; John Derrick; Gerhard Schellhorn; Heike Wehrheim (FORTE, 2020)

View-Based Owicki-Gries Reasoning for Persistent x86-TSO. - Eleni Vafeiadi Bila; Brijesh Dongol; Ori Lahav 001; Azalea Raad; John Wickerson (ESOP, 2022)

View-Based Owicki-Gries Reasoning for Persistent x86-TSO (Extended Version). - Eleni Vafeiadi Bila; Brijesh Dongol; Ori Lahav 001; Azalea Raad; John Wickerson (CoRR, 2022)

Modularising Verification Of Durable Opacity. - Eleni Bila; John Derrick; Simon Doherty; Brijesh Dongol; Gerhard Schellhorn; Heike Wehrheim (Log. Methods Comput. Sci., 2022)

A verified durable transactional mutex lock for persistent x86-TSO. - Eleni Vafeiadi Bila; Brijesh Dongol (Formal Methods Syst. Des., 2024)