Login / Signup
Eleni Bila
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 4
Top Topics
Blue Gene
Parallel Architectures
Speculative Execution
Face Verification
Top Venues
CoRR
FORTE
Log. Methods Comput. Sci.
</>
Publications
</>
Eleni Bila
,
John Derrick
,
Simon Doherty
,
Brijesh Dongol
,
Gerhard Schellhorn
,
Heike Wehrheim
Modularising Verification Of Durable Opacity.
Log. Methods Comput. Sci.
18 (3) (2022)
Eleni Bila
,
Simon Doherty
,
Brijesh Dongol
,
John Derrick
,
Gerhard Schellhorn
,
Heike Wehrheim
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory.
CoRR
(2020)
Eleni Bila
,
Simon Doherty
,
Brijesh Dongol
,
John Derrick
,
Gerhard Schellhorn
,
Heike Wehrheim
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory.
FORTE
(2020)
Eleni Bila
,
John Derrick
,
Simon Doherty
,
Brijesh Dongol
,
Gerhard Schellhorn
,
Heike Wehrheim
Modularising Verification Of Durable Opacity.
CoRR
(2020)