Get started
Author

Eleni Bila

Observed names: Eleni Vafeiadi Bila, Eleni Vafeiadi Bila
ORCID: 0000-0003-3399-0736
Observed ORCID: 0000-0003-3399-0736
OpenAlex ID: A5022450101
View-Based Owicki–Gries Reasoning for Persistent x86-TSO
2022 · Eleni Vafeiadi Bila, Brijesh Dongol, et al. · Lecture notes in computer science · 33
PDF
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory
2020 · Eleni Bila, Simon Doherty, et al. · Lecture notes in computer science · 15
Modularising Verification Of Durable Opacity
2022 · Eleni Bila, John Derrick, et al. · Logical Methods in Computer Science · 9
PDF
A verified durable transactional mutex lock for persistent x86-TSO
2024 · Eleni Vafeiadi Bila, Brijesh Dongol · Formal Methods in System Design · 3
Works count: 4
Citation count: 60
H-index: 3
I10-index: 2
Year
Topic
Type