| No. |
Title |
Author |
Year |
| 1 |
Exact Separation Logic: Towards Bridging the Gap Between Verification and Bug-Finding |
Maksimović, Petar et al. |
2023 |
| 2 |
Concurrent Separation Logics: Logical Abstraction, Logical Atomicity and Environment Liveness Conditions (Invited Talk) |
Gardner, Philippa |
2022 |
| 3 |
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications |
Sampaio, Gabriela et al. |
2020 |
| 4 |
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications (Artifact) |
Sampaio, Gabriela et al. |
2020 |
| 5 |
Data Consistency in Transactional Storage Systems: A Centralised Semantics |
Xiong, Shale et al. |
2020 |
| 6 |
A Program Logic for First-Order Encapsulated WebAssembly |
Watt, Conrad et al. |
2019 |
| 7 |
A Concurrent Specification of POSIX File Systems |
Ntzik, Gian et al. |
2018 |
| 8 |
Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191) |
Birkedal, Lars et al. |
2015 |
| 9 |
04241 Abstracts Collection -- Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems |
König, Barbara et al. |
2005 |
