Brijesh Dongol

Cited by

	All	Since 2019
Citations	1198	745
h-index	18	14
i10-index	43	21

200

100

150

200620072008200920102011201220132014201520162017201820192020202120222023202414 15 18 18 16 3 66 52 48 48 41 57 50 54 52 143 155 198 133

Public access

View all

58 articles

0 articles

available

not available

Based on funding mandates

Co-authors

John DerrickUniversity of SheffieldVerified email at sheffield.ac.uk
Heike WehrheimUniversity of OldenburgVerified email at uni-oldenburg.de
Ian James HayesProfessor of Software Engineering, The University of QueenslandVerified email at uq.edu.au
Simon DohertyUniversity of SheffieldVerified email at sheffield.ac.uk
Sadegh DalvandiPrincipal Formal Verification Engineer at AxiomiseVerified email at dalvandi.com
Graeme SmithThe University of QueenslandVerified email at itee.uq.edu.au
Georg StruthUniversity of SheffieldVerified email at sheffield.ac.uk
Ori LahavTel Aviv UniversityVerified email at tau.ac.il
Azalea RaadImperial College LondonVerified email at imperial.ac.uk
Oleg TravkinPhD Student, Universität PaderbornVerified email at zitmail.uni-paderborn.de
John WickersonImperial College LondonVerified email at imperial.ac.uk
Jim WoodcockProfessor of Software Engineering, University of YorkVerified email at york.ac.uk
Matt GriffinPhD ResearcherVerified email at surrey.ac.uk
Victor GomesResearch Associate, University of CambridgeVerified email at cl.cam.ac.uk
Radha JagadeesanProfessor. School of Computing.Verified email at depaul.edu
James RielyProfessor of Computing, DePaul UniversityVerified email at cs.depaul.edu
Tsz Yiu LamBrunel University LondonVerified email at alumni.brunel.ac.uk
Peter Gorm LarsenAarhus UniversityVerified email at ece.au.dk
Tomas KulikSecurity and Formal Methods evangelist, Sweet GeeksVerified email at sweetgeeks.dk
Hugo Daniel MacedoAarhus UniversityVerified email at ece.au.dk

Brijesh Dongol

University of Surrey

Verified email at surrey.ac.uk - Homepage

Verification Formal methods Concurrency


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A blockchain-enabled e-learning platform TY Lam, B Dongol Interactive learning environments 30 (7), 1229-1251, 2022	135	2022
Verifying linearisability: A comparative survey B Dongol, J Derrick ACM Computing Surveys (CSUR) 48 (2), 1-43, 2015	65	2015
Verifying C11 programs operationally S Doherty, B Dongol, H Wehrheim, J Derrick PPoPP '19 Proceedings of the 24th Symposium on Principles and Practice of …, 2019	49	2019
A survey of practical formal methods for security T Kulik, B Dongol, PG Larsen, HD Macedo, S Schneider, ... Formal aspects of computing 34 (1), 1-39, 2022	43	2022
Comparing degrees of non-determinism in expression evaluation IJ Hayes, A Burns, B Dongol, CB Jones The Computer Journal 56 (6), 741-755, 2013	40*	2013
Owicki-Gries reasoning for C11 RAR S Dalvandi, S Doherty, B Dongol, H Wehrheim 34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020	35	2020
A program construction and verification tool for separation logic B Dongol, VBF Gomes, G Struth Mathematics of Program Construction: 12th International Conference, MPC 2015 …, 2015	31	2015
Quiescent consistency: Defining and verifying relaxed linearizability J Derrick, B Dongol, G Schellhorn, B Tofan, O Travkin, H Wehrheim FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014	29	2014
Formalising progress properties of non-blocking programs B Dongol International Conference on Formal Engineering Methods, 284-303, 2006	27	2006
Reasoning about goal-directed real-time teleo-reactive programs B Dongol, IJ Hayes, PJ Robinson Formal Aspects of Computing 26, 563-589, 2014	26*	2014
View-based Owicki–Gries reasoning for persistent x86-TSO EV Bila, B Dongol, O Lahav, A Raad, J Wickerson European Symposium on Programming, 234-261, 2022	25	2022
Verifying linearizability on TSO architectures J Derrick, G Smith, B Dongol Integrated Formal Methods: 11th International Conference, IFM 2014 …, 2014	25	2014
Integrating Owicki–Gries for C11-style memory models into Isabelle/HOL S Dalvandi, B Dongol, S Doherty, H Wehrheim Journal of Automated Reasoning 66 (1), 141-171, 2022	24	2022
Making linearizability compositional for partially ordered executions S Doherty, B Dongol, H Wehrheim, J Derrick Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth …, 2018	23	2018
On abstraction and compositionality for weak-memory linearisability B Dongol, R Jagadeesan, J Riely, A Armstrong Verification, Model Checking, and Abstract Interpretation: 19th …, 2018	21	2018
A general technique for proving lock-freedom R Colvin, B Dongol Science of Computer Programming 74 (3), 143-165, 2009	19	2009
Verifying correctness of persistent concurrent data structures J Derrick, S Doherty, B Dongol, G Schellhorn, H Wehrheim International Symposium on Formal Methods, 179-195, 2019	18	2019
Convolution as a unifying concept: Applications in separation logic, interval calculi, and concurrency B Dongol, IJ Hayes, G Struth ACM Transactions on Computational Logic (TOCL) 17 (3), 1-25, 2016	18	2016
Proving opacity of a pessimistic STM S Doherty, B Dongol, J Derrick, G Schellhorn, H Wehrheim Leibniz International Proceedings in Informatics 70 (35), 35.1-35.17, 2017	17	2017
Progress in deriving concurrent programs: emphasizing the role of stable guards B Dongol, AJ Mooij International Conference on Mathematics of Program Construction, 140-161, 2006	17	2006

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors