| 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 |
| 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 |
| Formalising the hybrid ERTMS level 3 specification in iUML-B and Event-B D Dghaym, M Dalvandi, M Poppleton, C Snook International Journal on Software Tools for Technology Transfer 22, 297-313, 2020 | 21 | 2020 |
| Unifying operational weak memory verification: an axiomatic approach S Doherty, S Dalvandi, B Dongol, H Wehrheim ACM Transactions on Computational Logic 23 (4), 1-39, 2022 | 14 | 2022 |
| From Event-B models to Dafny code contracts M Dalvandi, M Butler, A Rezazadeh 6th IPM International Conference on Fundamentals of Software Engineering …, 2015 | 13 | 2015 |
| Verifiable code generation from scheduled Event-B models M Dalvandi, M Butler, A Rezazadeh, A Salehi Fathabadi Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018 | 11 | 2018 |
| Derivation of algorithmic control structures in Event-B refinement M Dalvandi, M Butler, A Rezazadeh Science of Computer Programming 148, 49-65, 2017 | 6 | 2017 |
| Transforming Event-B models to Dafny contracts M Dalvandi, M Butler, A Rezazadeh 15th International Workshop on Automated Verification of Critical Systems …, 2015 | 6 | 2015 |
| Verifying C11-style weak memory libraries S Dalvandi, B Dongol Proceedings of the 26th ACM SIGPLAN Symposium on Principles and Practice of …, 2021 | 5 | 2021 |
| Implementing and verifying release-acquire transactional memory in C11 S Dalvandi, B Dongol Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1817-1844, 2022 | 4 | 2022 |
| Mechanised operational reasoning for C11 programs with relaxed dependencies D Wright, S Dalvandi, M Batty, B Dongol Formal Aspects of Computing 35 (2), 1-27, 2023 | 3 | 2023 |
| Owicki-Gries Reasoning for C11 RAR (Artifact). S Dalvandi, S Doherty, B Dongol, H Wehrheim Dagstuhl Artifacts Ser. 6 (2), 15:1-15:2, 2020 | 3 | 2020 |
| SEB-CG: Code generation tool with algorithmic refinement support for Event-B M Dalvandi, M Butler, A Salehi Fathabadi Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7 …, 2020 | 3 | 2020 |
| Verifying cross-layer interactions through formal model-based assertion generation AS Fathabadi, M Dalvandi, M Butler, BM Al-Hashimi IEEE Embedded Systems Letters 12 (3), 83-86, 2019 | 3 | 2019 |
| Using formal methods for automatic platform-independent code generation of run-time management MS Dalvandi, A Salehi Fathabadi, M Butler | 2 | 2018 |
| Implementing and Verifying Release-Acquire Transactional Memory (Extended Version) S Dalvandi, B Dongol arXiv preprint arXiv:2208.00315, 2022 | 1 | 2022 |
| Towards deductive verification of C11 programs with Event-B and ProB M Dalvandi, B Dongol Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs …, 2019 | 1 | 2019 |
| A report on PRiME code generation activities MS Dalvandi, A Salehi Fathabadi, M Butler | 1 | 2018 |
| Developing verified sequential programs with Event-B MS Dalvandi University of Southampton, 2018 | 1 | 2018 |
| Verifying C11-Style Weak Memory Libraries via Refinement S Dalvandi, B Dongol arXiv preprint arXiv:2108.06944, 2021 | | 2021 |
Brijesh DongolUniversity of SurreyVerified email at surrey.ac.uk
