Brijesh Dongol
University of Surrey
H-index: 17
Europe-United Kingdom
Top articles of Brijesh Dongol
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Operationally proving memory access violations in Isabelle/HOL | Science of Computer Programming | Sharar Ahmadi Brijesh Dongol Matt Griffin | 2024/5/1 |
Relative security: Formally modeling and (dis) proving resilience against semantic optimization vulnerabilities | Brijesh Dongol Matt Griffin Andrei Popescu Jamie Wright | 2024/4/9 | |
Artifact Report: Intel PMDK Transactions: Specification, Validation and Concurrency | Azalea Raad Ori Lahav John Wickerson Piotr Balcer Brijesh Dongol | 2024/4/5 | |
Intel PMDK Transactions: Specification, Validation and Concurrency | arXiv preprint arXiv:2312.13828 | Azalea Raad Ori Lahav John Wickerson Piotr Balcer Brijesh Dongol | 2023/12/21 |
Ownership-Based Owicki-Gries Reasoning | Mikhail Semenyuk Brijesh Dongol | 2023/3/27 | |
A fully verified persistency library | Stefan Bodenmüller John Derrick Brijesh Dongol Gerhard Schellhorn Heike Wehrheim | 2023/12/30 | |
Reasoning about promises in weak memory models with event structures | Heike Wehrheim Lara Bargmann Brijesh Dongol | 2023/3/3 | |
Verifying Read-Copy Update Under RC11 | Mikhail Semenyuk Mark Batty Brijesh Dongol | 2023/10/31 | |
The Role of Formal Methods in Computer Science Education | MAURICE H TER BEEK MANFRED BROY BRIJESH DONGOL EMIL SEKERINSKI | 2023 | |
Rely-guarantee reasoning for causally consistent shared memory | Ori Lahav Brijesh Dongol Heike Wehrheim | 2023/7/17 | |
Mechanised operational reasoning for C11 programs with relaxed dependencies | Formal aspects of computing | Daniel Wright Sadegh Dalvandi Mark Batty Brijesh Dongol | 2023/6/23 |
Verifying List Swarm Attestation Protocols | Jay Le-Papin Brijesh Dongol Helen Treharne Stephan Wesemeyer | 2023/5/29 | |
Unifying operational weak memory verification: an axiomatic approach | ACM transactions on computational logic | Simon Doherty Sadegh Dalvandi Brijesh Dongol Heike Wehrheim | 2022/10/20 |
Integrating Owicki–Gries for C11-style memory models into Isabelle/HOL | Journal of automated reasoning | Sadegh Dalvandi Brijesh Dongol Simon Doherty Heike Wehrheim | 2022/2 |
Introduction to the Special Section on iFM 2020 | Brijesh Dongol Elena Troubitsyna | 2022/9/20 | |
View-Based Owicki-Gries Reasoning for Persistent x86-TSO (Extended Version) | arXiv preprint arXiv:2201.05860 | Eleni Vafeiadi Bila Brijesh Dongol Ori Lahav Azalea Raad John Wickerson | 2022/1/15 |
A blockchain-enabled e-learning platform | Interactive learning environments | Tsz Yiu Lam Brijesh Dongol | 2022/8/18 |
Weak progressive forward simulation is necessary and sufficient for strong observational refinement | Brijesh Dongol Gerhard Schellhorn Heike Wehrheim | 2022 | |
Modularising verification of durable opacity | Logical methods in computer science | Eleni Bila John Derrick Simon Doherty Brijesh Dongol Gerhard Schellhorn | 2022/7/28 |
Proving Memory Access Violations in Isabelle/HOL | Sharar Ahmadi Brijesh Dongol Matt Griffin | 2022/11/29 |