Brijesh Dongol
Scholar

Brijesh Dongol

Google Scholar ID: fjA_2-cAAAAJ
University of Surrey
VerificationFormal methodsConcurrency
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,400
 
H-index
18
 
i10-index
47
 
Publications
20
 
Co-authors
71
list available
Contact
No contact links provided.
Publications
3 items
Specifying and Verifying RDMA Synchronisation (Extended Version)
2026
Cited
0
A Verified High-Performance Composable Object Library for Remote Direct Memory Access (Extended Version)
2025
Cited
0
IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL (Extended Version)
2025
Cited
0
Resume (English only)
Co-authors
71 total
Co-author 1
Co-author 1
Heike Wehrheim
Heike Wehrheim
University of Oldenburg
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Graeme Smith
Graeme Smith
The University of Queensland
Ori Lahav
Ori Lahav
Tel Aviv University
Georg Struth
Georg Struth
University of Sheffield