| A blockchain-enabled e-learning platform TY Lam, B Dongol Interactive learning environments 30 (7), 1229-1251, 2022 | 168 | 2022 |
| 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 | 82 | 2022 |
| Verifying linearisability: A comparative survey B Dongol, J Derrick ACM Computing Surveys (CSUR) 48 (2), 1-43, 2015 | 81 | 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 | 55 | 2019 |
| Owicki-Gries reasoning for C11 RAR S Dalvandi, S Doherty, B Dongol, H Wehrheim 34th European Conference on Object-Oriented Programming (ECOOP 2020), 11: 1 …, 2020 | 42 | 2020 |
| 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 |
| 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 | 36 | 2022 |
| A program construction and verification tool for separation logic B Dongol, VBF Gomes, G Struth International Conference on Mathematics of Program Construction, 137-158, 2015 | 32 | 2015 |
| Quiescent consistency: Defining and verifying relaxed linearizability J Derrick, B Dongol, G Schellhorn, B Tofan, O Travkin, H Wehrheim International Symposium on Formal Methods, 200-214, 2014 | 32 | 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 | 29 | 2022 |
| Formalising progress properties of non-blocking programs B Dongol International Conference on Formal Engineering Methods, 284-303, 2006 | 28 | 2006 |
| Verifying linearizability on TSO architectures J Derrick, G Smith, B Dongol International Conference on Integrated Formal Methods, 341-356, 2014 | 26 | 2014 |
| On abstraction and compositionality for weak-memory linearisability B Dongol, R Jagadeesan, J Riely, A Armstrong International Conference on Verification, Model Checking, and Abstract …, 2017 | 25 | 2017 |
| Reasoning about goal-directed real-time teleo-reactive programs B Dongol, IJ Hayes, PJ Robinson Formal aspects of computing 26 (3), 563-589, 2014 | 25* | 2014 |
| Making linearizability compositional for partially ordered executions S Doherty, B Dongol, H Wehrheim, J Derrick International Conference on Integrated Formal Methods, 110-129, 2018 | 23 | 2018 |
| On formal methods thinking in computer science education B Dongol, C Dubois, S Hallerstede, E Hehner, C Morgan, P Müller, ... Formal Aspects of Computing 37 (1), 1-23, 2024 | 21 | 2024 |
| A general technique for proving lock-freedom R Colvin, B Dongol Science of Computer Programming 74 (3), 143-165, 2009 | 21 | 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 | 20 | 2019 |
| Verifying correctness of persistent concurrent data structures: a sound and complete method J Derrick, S Doherty, B Dongol, G Schellhorn, H Wehrheim Formal Aspects of Computing 33 (4), 547-573, 2021 | 19 | 2021 |
| Owicki-Gries reasoning for C11 programs with relaxed dependencies D Wright, M Batty, B Dongol International Symposium on Formal Methods, 237-254, 2021 | 18 | 2021 |
John DerrickUniversity of SheffieldVerified email at sheffield.ac.uk
