76 citations · 129 across the 23 of their papers we have counts for
4 papers · 1 filter
Modularising Verification Of Durable Opacity
Eleni Bila, John Derrick, Simon Doherty +3
Non-volatile memory (NVM), also known as persistent memory, is an emerging paradigm for memory that preserves its contents even after power loss. NVM is widely expected to become u…
Cooperative Verification via Collective Invariant Generation
Jan Haltermann, Heike Wehrheim
Software verification has recently made enormous progress due to the development of novel verification methods and the speed-up of supporting technologies like SMT solving. To keep…
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory
Eleni Bila, Simon Doherty, Brijesh Dongol +3
Non-volatile memory (NVM), aka persistent memory, is a new paradigm for memory that preserves its contents even after power loss. The expected ubiquity of NVM has stimulated intere…
Testing Monotonicity of Machine Learning Models
Arnab Sharma, Heike Wehrheim
Today, machine learning (ML) models are increasingly applied in decision making. This induces an urgent need for quality assurance of ML models with respect to (often domain-depend…